Performance Comparison of Techniques on Static Path Analysis of WCET

Authors:
Mingsong Lv;Zonghua Gu;Nan Guan;Qingxu Deng;Ge Yu
Affiliations:
-;-;-;-;-
Venue:
EUC '08 Proceedings of the 2008 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing - Volume 01
Year:
2008

Citing 0
Cited 2

Symbolic simulation on complicated loops for WCET path analysis

EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
A Model Checking Based Approach to Bounding Worst-Case Execution Time for Multicore Processors

ACM Transactions on Embedded Computing Systems (TECS) - Special Section on CAPA'09, Special Section on WHS'09, and Special Section VCPSS' 09

Quantified Score

Hi-index	0.00

Visualization

Abstract

Ubiquitous and pervasive computing systems are characterized by intelligent sensing and computing. These systems seamlessly understand and respond to the environment with little human intervention. Since such systems are required to be small and inobtrusive, ...