15 search results - page 1 / 3 » Assessment of High Integrity Software Components for Complet... |
CBSQ
2003
Springer
13 years 9 months ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
CASES
2009
ACM
13 years 9 months ago
2009
ACM
Nanowire crossbar circuits are an emerging architectural paradigm that promises a higher integration density and an improved fault-tolerance due to its reconfigurability. In this...
CF
2009
ACM
13 years 2 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...
GI
2004
Springer
13 years 10 months ago
2004
Springer
: The transition from microelectronics to nanoelectronics reaches physical limits and results in a paradigm shift in the design and fabrication of electronic circuits. The conserva...
CPE
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. Several tools have been developed for the estimation of software reliability. However, they are highly specialized in the approaches they implement and the particular pha...