11172 search results - page 2179 / 2235 » Testing Physical Systems |
173
click to vote
PLDI
2005
ACM
15 years 9 months ago
2005
ACM
We present a statistical debugging algorithm that isolates bugs in programs containing multiple undiagnosed bugs. Earlier statistical algorithms that focus solely on identifying p...
125
click to vote
SOUPS
2005
ACM
15 years 9 months ago
2005
ACM
In our research, we have been concerned with the question of how to make relevant features of security situations visible to users in order to allow them to make informed decision...
132
click to vote
ECMDAFA
2005
Springer
15 years 9 months ago
2005
Springer
This article presents a control flow analysis methodology based on UML 2.0 sequence diagrams (SD). In contrast to the conventional code-based control flow analysis techniques, thi...
122
Voted
FSE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The need of true random number generators for many purposes (ranging from applications in cryptography and stochastic simulation, to search heuristics and game playing) i...
121
Voted
ICS
2005
Tsinghua U.
15 years 9 months ago
2005
Tsinghua U.
Performance simulation tools must be validated during the design process as functional models and early hardware are developed, so that designers can be sure of the performance of...