9842 search results - page 286 / 1969 » Compositional timing analysis |
262
click to vote
ICDT
2009
ACM
16 years 5 months ago
2009
ACM
A technique called user views has recently been proposed to focus user attention on relevant information in response to provenance queries over workflow executions [1, 2]: Given u...
147
click to vote
RSP
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper addresses the need for systematic verification of timing properties of real-time prototypes, which consist of timing constraints that must be satisfied at any given tim...
116
Voted
TVLSI
2008
15 years 4 months ago
2008
With aggressive scaling down of feature sizes in VLSI fabrication, process variation has become a critical issue in designs. We show that two necessary conditions for the "Max...
126
Voted
WCET
2008
15 years 6 months ago
2008
Conditional branches connect the values of program variables with the execution paths and thus with the execution times, including the worstcase execution time (WCET). Flow analys...
132
click to vote
ICIP
2000
IEEE
16 years 6 months ago
2000
IEEE
This paper is motivated through the advantages offered by employing real-time (priority-driven) scheduling (RTS) for efficiently implementing quality-of-service guarantees. For em...