2918 search results - page 35 / 584 » Design tools for reliability analysis |
101
click to vote
DSRT
2008
IEEE
14 years 11 months ago
2008
IEEE
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...
CSCW
2006
ACM
15 years 3 months ago
2006
ACM
Task dependencies drive the need to coordinate work activities. We describe a technique for using automatically generated archival data to compute coordination requirements, i.e.,...
114
click to vote
TACAS
1997
Springer
15 years 1 months ago
1997
Springer
In this paper, we describe the computer tool Design CPN supporting editing, simulation, and state space analysis of Coloured Petri Nets. So far, approximately 40 man-years have bee...
ICCAD
2002
IEEE
15 years 6 months ago
2002
IEEE
In this paper we present an advanced functional extraction tool for automatic generation of high-level RTL from switch-level circuit netlist representation. The tool is called FEV...
SAINT
2005
IEEE
15 years 3 months ago
2005
IEEE
In this work we present a protocol ensuring the eTransaction guarantee (i.e. a recently proposed end-to-end reliability guarantee) in a Web based, three-tier transactional system....