1018 search results - page 52 / 204 » Property Testing in Computational Geometry |
SAC
2006
ACM
13 years 11 months ago
2006
ACM
The objective of testing is to determine the conformance between a system and its specification. When testing distributed systems, the existence of multiple testers brings out the...
VTS
2003
IEEE
14 years 4 months ago
2003
IEEE
Irreversible computation necessarily results in energy dissipation due to information loss. While small in comparison to the power consumption of today’s VLSI circuits, if curre...
CHI
2002
ACM
14 years 11 months ago
2002
ACM
Evaluating errors that result from user interactions with incar applications, it has to be considered that the user is permanently involved with driving the car. Reproducing this ...
DSN
2000
IEEE
14 years 3 months ago
2000
IEEE
We describe an methodology for testing a software system for possible security flaws. Based on the observation that most security flaws are caused by the program’s inappropria...
DAC
2008
ACM
15 years 2 hour ago
2008
ACM
A SystemC simulation kernel consists of a deterministic implementation of the scheduler, whose specification is nondeterministic. To leverage testing of a SystemC TLM design, we f...