Sciweavers

2918 search results - page 194 / 584
» Design tools for reliability analysis
Sort
View
ISCA
2010
IEEE
219views Hardware» more  ISCA 2010»
15 years 9 months ago
Using hardware vulnerability factors to enhance AVF analysis
Fault tolerance is now a primary design constraint for all major microprocessors. One step in determining a processor’s compliance to its failure rate target is measuring the Ar...
Vilas Sridharan, David R. Kaeli
WCRE
1995
IEEE
15 years 7 months ago
Pattern Matching for Design Concept Localization
A legacy system is an operational, large-scale software system that is maintained beyond its first generation of programmers. It typically represents a massive economic investmen...
Kostas Kontogiannis, Renato de Mori, Morris Bernst...
118
Voted
CSE
2009
IEEE
15 years 11 months ago
Ceremonies Formal Analysis in PKI's Context
—Ceremonies are a useful tool to establish trust in scenarios where protocols operate. They describe a greater range of issues not taken into account by protocol designers. We ta...
Jean Everson Martina, Túlio Cicero Salvaro ...
153
Voted
HICSS
2000
IEEE
130views Biometrics» more  HICSS 2000»
15 years 8 months ago
Towards a Relationship Navigation Analysis
Many conceptual modeling and system design methodologies provide tools to help system designers to model the real world. No guidelines exist, however, for determining the relation...
Joonhee Yoo, Michael Bieber
FM
2005
Springer
125views Formal Methods» more  FM 2005»
15 years 9 months ago
End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
Mikael Buchholtz, Stephen Gilmore, Valentin Haenel...