168 search results - page 5 / 34 » Abstract Interpretation for Worst and Average Case Analysis |
CASES
2005
ACM
13 years 9 months ago
2005
ACM
The concurrent synchronous language Esterel allows proto treat reactive systems in an abstract, concise manner. An Esterel program is typically first translated into other, non-s...
TIT
2010
13 years 1 months ago
2010
This paper considers recovery of jointly sparse multichannel signals from incomplete measurements. Several approaches have been developed to recover the unknown sparse vectors from...
EMSOFT
2003
Springer
14 years 6 days ago
2003
Springer
Abstract. To guarantee timeliness in hard real-time systems the knowledge of the worst-case execution time (WCET) for its time-critical tasks is mandatory. Accurate and correct WCE...
ICPP
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper proposes a novel and simple adaptive control algorithm for the effective delay control and resource utilization of EMcast when the traffic load becomes heavy in the mu...
ICALP
2001
Springer
13 years 11 months ago
2001
Springer
Abstract. We consider the scheduling problem of minimizing the average weighted job completion time on a single machine under precedence constraints. We show that this problem with...