181 search results - page 23 / 37 » Symbolic system level reliability analysis |
VSTTE
2005
Springer
14 years 2 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
ECIS
2003
13 years 10 months ago
2003
This paper argues that ERP systems take the part of an organization’s administrative paradox. An administrative paradox is two sides of the same coin when coordinating organizat...
IEEEARES
2006
IEEE
14 years 2 months ago
2006
IEEE
There is an increasing demand for highly reliable systems in the safety conscious climate of today’s world. When a fault does occur there are two desirable outcomes. Firstly, de...
DAC
2008
ACM
14 years 9 months ago
2008
ACM
Achieving high performance under a peak temperature limit is a first-order concern for VLSI designers. This paper presents a new model of a thermally-managed system, where a stoch...
CF
2009
ACM
13 years 6 months ago
2009
ACM
Emulation sits between simulation and experimentation to complete the set of tools available for software designers to evaluate their software and predict behavior under condition...