970 search results - page 29 / 194 » Reliability Analysis of Concurrent Systems Using LTSA |
PLDI
2004
ACM
14 years 1 months ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
FMICS
2010
Springer
13 years 5 months ago
2010
Springer
Mutual exclusion protocols are an essential building block of concurrent systems: indeed, such a protocol is required whenever a shared resource has to be protected against concurr...
ASPLOS
1992
ACM
13 years 11 months ago
1992
ACM
Given the decreasing cost of non-volatile RAM (NVRAM), by the late 1990's it will be feasible for most workstations to include a megabyte or more of NVRAM, enabling the desig...
DSN
2004
IEEE
13 years 11 months ago
2004
IEEE
Advanced molecular nanotechnology devices are expected to have exceedingly high transient fault rates and large numbers of inherent device defects compared to conventional CMOS de...
CTW
2002
13 years 7 months ago
2002
Abstract: The present study began with an assessment of the reliability and usefulness of an existing minor event coding system in a British `highconsequence' industry. It was...