970 search results - page 58 / 194 » Reliability Analysis of Concurrent Systems Using LTSA |
TSD
2000
Springer
13 years 11 months ago
2000
Springer
In text processing systems German words require special treatment because of the possibility to form compound words as a combination of existing words. To this end, a universal wor...
APSEC
2000
IEEE
14 years 3 days ago
2000
IEEE
Survivability is the ability of a system to continue operating despite the presence of abnormal events such as failures and intrusions. Ensuring system survivability has increased...
ICCAD
2000
IEEE
14 years 2 days ago
2000
IEEE
We present an error catch and analysis (ECA) system for semiconductor memories. The system consists of a test algorithm generator called TAGS, a fault simulator called RAMSES, and...
VTC
2010
IEEE
13 years 6 months ago
2010
IEEE
— Wireless multi-hop relaying has been attracting considerable attention as a promising technique for future communication systems. The multi-hop relaying technique has many bene...
CAV
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...