Sciweavers

917 search results - page 138 / 184
» Application reviews
Sort
View
DSN
2000
IEEE
15 years 10 months ago
Loki: A State-Driven Fault Injector for Distributed Systems
Distributed applications can fail in subtle ways that depend on the state of multiple parts of a system. This complicates the validation of such systems via fault injection, since...
Ramesh Chandra, Ryan M. Lefever, Michel Cukier, Wi...
ISSRE
2000
IEEE
15 years 10 months ago
Testing Nondeterminate Systems
The behavior of nondeterminate systems can be hard to predict, since similar inputs at different times can generate different outputs. In other words, the behavior seen during tes...
Tim Menzies, Bojan Cukic, Harshinder Singh, John D...
VRST
2000
ACM
15 years 10 months ago
Interaction, imagination and immersion some research needs
This paper discusses four ways that humans interact with their environments, plus four variables that determine the experience of virtual reality, and also which of the interactio...
Thomas B. Sheridan
ECAI
2000
Springer
15 years 10 months ago
Search Pruning Conditions for Boolean Optimization
This paper proposes new algorithms for the Binate Covering Problem (BCP), a well-known restriction of Boolean Optimization. Binate Covering finds application in many areas of Com...
Vasco M. Manquinho, João P. Marques Silva
ICCAD
1999
IEEE
108views Hardware» more  ICCAD 1999»
15 years 10 months ago
Copy detection for intellectual property protection of VLSI designs
We give the first study of copy detection techniques for VLSI CAD applications; these techniques are complementary to previous watermarking-based IP protection methods in finding ...
Andrew B. Kahng, Darko Kirovski, Stefanus Mantik, ...