Sciweavers

1554 search results - page 119 / 311
» Testing Polymorphic Behavior
Sort
View
HICSS
2003
IEEE
125views Biometrics» more  HICSS 2003»
14 years 1 months ago
Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
Andreas Ulrich, Hesham Hallal, Alexandre Petrenko,...
GLVLSI
2010
IEEE
178views VLSI» more  GLVLSI 2010»
14 years 27 days ago
Improving the testability and reliability of sequential circuits with invariant logic
In this paper, we investigate dual applications for logic implications, which can provide both online error detection capabilities and improve the testing efficiency of an integr...
Nuno Alves, Kundan Nepal, Jennifer Dworak, R. Iris...
DSN
2000
IEEE
14 years 14 days ago
Software-Implemented Fault Detection for High-Performance Space Applications
We describe and test a software approach to overcoming radiation-induced errors in spaceborne applications running on commercial off-the-shelf components. The approach uses checks...
Michael J. Turmon, Robert Granat, Daniel S. Katz
SIGGRAPH
1994
ACM
14 years 3 days ago
Predicting the drape of woven cloth using interacting particles
We demonstrate a physically-based technique for predicting the drape of a wide variety of woven fabrics. The approach exploits a theoretical model that explicitly represents the m...
David E. Breen, Donald H. House, Michael J. Wozny
HICSS
2007
IEEE
104views Biometrics» more  HICSS 2007»
13 years 12 months ago
Assigned tasks are not the same as self-chosen Web search tasks
Short assigned question-answering style tasks are often used as a probe to understand how users do search. While such assigned tasks are simple to test and are effective at elicit...
Daniel M. Russell, Carrie Grimes