2918 search results - page 54 / 584 » Design tools for reliability analysis |
77
Voted
CAV
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...
VLSID
2006
IEEE
16 years 7 days ago
2006
IEEE
Radiation induced soft errors in combinational logic is expected to become as important as directly induced errors on state elements. Consequently, it has become important to deve...
ICRA
1994
IEEE
15 years 4 months ago
1994
IEEE
The application of robots in critical missions in hazardous environments requires the development of reliable or fault tolerant manipulators. In this paper, we define fault tolera...
BCSHCI
2008
15 years 1 months ago
2008
Significant research has been dedicated to the development of creativity support tools, tools intended to amplify human creativity in the arts, sciences, and design disciplines. W...
127
click to vote
BMCBI
2011
14 years 6 months ago
2011
Background: The PathOlogist is a new tool designed to transform large sets of gene expression data into quantitative descriptors of pathway-level behavior. The tool aims to provid...