970 search results - page 36 / 194 » Reliability Analysis of Concurrent Systems Using LTSA |
EPIA
2003
Springer
14 years 25 days ago
2003
Springer
Abstract. This paper describes jcc, an integration of the timed default concurrent constraint programming framework [16] (Timed Default cc) into JAVA [7]. jcc is intended for use i...
HASE
1998
IEEE
13 years 12 months ago
1998
IEEE
Independence is a fundamental requirement for calculating system reliability from component reliabilities, whether in hardware or software systems. Markov analysis is often used i...
SEFM
2007
IEEE
14 years 1 months ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
CAV
2007
Springer
14 years 1 months ago
2007
Springer
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...
CONCURRENCY
1998
13 years 7 months ago
1998
Abstract Advances in high performance computing, communications, and user interfaces enable developers to construct increasingly interactive high performance applications. The Falc...