4930 search results - page 379 / 986 » Testing a Safety-Critical Application |
172
Voted
KDD
2010
ACM
15 years 10 months ago
2010
ACM
At Google, experimentation is practically a mantra; we evaluate almost every change that potentially affects what our users experience. Such changes include not only obvious user-...
196
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
The Trusted Computing Group (TCG) has addressed a new generation of computing platforms employing both supplemental hardware and software with the primary goal to improve the secu...
200
click to vote
COCO
2010
Springer
15 years 10 months ago
2010
Springer
A PCP is a proof system for NP in which the proof can be checked by a probabilistic verifier. The verifier is only allowed to read a very small portion of the proof, and in return ...
209
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Fitness functions based on test cases are very common in Genetic Programming (GP). This process can be assimilated to a learning task, with the inference of models from a limited n...
182
click to vote
ENTCS
2006
15 years 6 months ago
2006
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...