208 search results - page 1 / 42 » Highly dependable concurrent programming using design for ve... |
94
Voted
FAC
2007
15 years 1 months ago
2007
110
Voted
TACAS
1998
Springer
15 years 5 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
106
Voted
DAC
2005
ACM
16 years 2 months ago
2005
ACM
In the design of highly complex, heterogeneous, and concurrent systems, deadlock detection and resolution remains an important issue. In this paper, we systematically analyze the ...
108
Voted
LISP
2002
15 years 23 days ago
2002
Program termination verification is a challenging research subject of significant practical importance. While there is already a rich body of literature on this subject, it is sti...
97
Voted
IEEEPACT
2007
IEEE
15 years 7 months ago
2007
IEEE
Continued scaling of CMOS technology to smaller transistor sizes makes modern processors more susceptible to both transient and permanent hardware faults. Circuitlevel techniques ...