3368 search results - page 323 / 674 » The Complexity of Query Reliability |
159
click to vote
GLVLSI
2007
IEEE
16 years 1 months ago
2007
IEEE
The path-delay fault simulation of functional tests on complex circuits such as current processor-based systems is a daunting task. The amount of computing power and memory needed...
184
click to vote
HPDC
2007
IEEE
16 years 1 months ago
2007
IEEE
In desktop grids the use of off-the-shelf shared components makes the use of dedicated resources economically nonviable and increases the complexity of design of efficient storag...
182
click to vote
ICDCS
2007
IEEE
16 years 1 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
169
click to vote
WISE
2007
Springer
16 years 28 days ago
2007
Springer
Nowadays information systems are increasingly distributed and deployed within the Internet platform. Without any doubt, the World Wide Web represents the de facto standard platform...
145
click to vote
ICAC
2005
IEEE
16 years 9 days ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...