5180 search results - page 347 / 1036 » Concurrency, Time, and Constraints |
201
click to vote
ISSS
2002
IEEE
15 years 11 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...
172
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
Multimedia-dominated consumer electronics devices (such as cellular phone, digital camera, etc.) operate under soft real-time constraints. Overly pessimistic worst-case execution ...
180
Voted
HAPTICS
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we present computationally efficient algorithms for the real time simulation of minimally invasive surgical (MIS) procedures. To develop a surgical simulator for tr...
187
click to vote
STACS
2001
Springer
15 years 11 months ago
2001
Springer
Using an automata-theoretic approach, we investigate the decidability of liveness properties (called Presburger liveness properties) for timed automata when Presburger formulas on ...
177
click to vote
ICCAD
1998
IEEE
15 years 11 months ago
1998
IEEE
Noise can cause digital circuits to switch incorrectly and thus produce spurious results. Noise can also have adverse power, timing and reliability e ects. Dynamic logic is partic...