1154 search results - page 20 / 231 » Mathematizing C concurrency |
97
Voted
CORR
2004
Springer
15 years 10 days ago
2004
Springer
The inequations of the delays of the asynchronous circuits are written, by making use of pseudo-Boolean differential calculus. We consider these efforts to be a possible starting p...
101
Voted
WORDS
2005
IEEE
15 years 6 months ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
94
Voted
ICCD
2002
IEEE
15 years 5 months ago
2002
IEEE
Concurrent detection of failures in analog circuits is becoming increasingly more important as safety-critical systems become more widespread. A methodology for the automatic desi...
116
Voted
FCS
2006
15 years 1 months ago
2006
: In this paper, functioning and interaction of distributed devices and concurrent algorithms are analyzed in the context of the theory of algorithms. Although different systems in...
114
Voted
PPOPP
2012
ACM
13 years 8 months ago
2012
ACM
In program debugging, reproducibility of bugs is a key requirement. Unfortunately, bugs in concurrent programs are notoriously difficult to reproduce because bugs due to concurre...