2918 search results - page 338 / 584 » Design tools for reliability analysis |
173
click to vote
IV
2003
IEEE
15 years 12 months ago
2003
IEEE
1 This paper reports results from a study on the adoption of an information visualization system by administrative data analysts. Despite the fact that the system was neither fully...
182
click to vote
CODES
2000
IEEE
15 years 11 months ago
2000
IEEE
The concept of system-on-a-chip is becoming increasingly popular for the integration of complex systems. New types of processor cores are now available that enable the designer to...
150
click to vote
IWSSD
2000
IEEE
15 years 11 months ago
2000
IEEE
A good architecture is a necessary condition to guarantee that the expected levels of performance, availability, fault tolerance, and scalability are achieved by the implemented s...
134
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
This paper discusses the obstacles that stand in the way of doing a good job of machine-code analysis. Compared with analysis of source code, the challenge is to drop all assumptio...
157
click to vote
ACSD
2001
IEEE
15 years 10 months ago
2001
IEEE
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...