2227 search results - page 103 / 446 » Reversibility and Models for Concurrency |
134
click to vote
ICCAD
1995
IEEE
15 years 9 months ago
1995
IEEE
With an ever-increasing portion of the delay in highspeed CMOS chips attributable to the interconnect, interconnect-circuit design automation continues to grow in importance. By t...
148
click to vote
CAL
2006
15 years 6 months ago
2006
Chip multiprocessors are of increasing importance due to recent difficulties in achieving higher clock frequencies in uniprocessors, but their success depends on finding useful wor...
173
click to vote
CONCUR
2009
Springer
15 years 3 months ago
2009
Springer
Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...
162
click to vote
ECRTS
2008
IEEE
16 years 13 days ago
2008
IEEE
Embedded services and applications that interact with the real world often, over time, need to run on different kinds of hardware (low-cost microcontrollers to powerful multicore ...
192
click to vote
CASES
2008
ACM
15 years 8 months ago
2008
ACM
Detailed or cycle-accurate/bit-accurate (CABA) simulation is a critical phase in the design flow of embedded systems. However, with increasing system complexity, full detailed sim...