6111 search results - page 224 / 1223 » Time, Hardware, and Uniformity |
108
Voted
ISSS
2002
IEEE
15 years 5 months ago
2002
IEEE
Static timing analysis of embedded software is important for systems with hard real-time constraints. To accurately estimate time bounds, it is essential to model the underlying m...
101
Voted
CAV
2000
Springer
15 years 5 months ago
2000
Springer
We introduce discrete pushdown timed automata that are timed automata with integer-valued clocks augmented with a pushdown stack. A con guration of a discrete pushdown timed automa...
152
click to vote
CAV
1994
Springer
15 years 4 months ago
1994
Springer
We introduce event-recording automata. An event-recording automaton is a timed automaton that contains, for every event a, a clock that records the time of the last occurrence of a...
ICCAD
2007
IEEE
15 years 9 months ago
2007
IEEE
Timing budgeting under process variations is an important step in a statistical optimization flow. We propose a novel formulation of the problem where budgets are statistical ins...
69
Voted
ICCAD
2004
IEEE
15 years 9 months ago
2004
IEEE
With the increase of design complexities and the decrease of minimal feature sizes, IP reuse is becoming a common practice while crosstalk is becoming a critical issue that must b...