1492 search results - page 93 / 299 » Testing Properties of Constraint-Graphs |
146
Voted
JMLR
2010
14 years 10 months ago
2010
A Hilbert space embedding for probability measures has recently been proposed, with applications including dimensionality reduction, homogeneity testing, and independence testing....
182
Voted
ISCA
2011
IEEE
14 years 7 months ago
2011
IEEE
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...
129
Voted
ASPLOS
2011
ACM
14 years 7 months ago
2011
ACM
In practice, it is quite difficult to write correct multithreaded programs due to the potential for unintended and nondeterministic interference between parallel threads. A funda...
121
Voted
FORTE
2004
15 years 5 months ago
2004
In this paper, we present an approach for modeling an existing web application using communicating finite automata model based on the userdefined properties to be validated. We ela...
90
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
In this paper, we present a system called Checkbochs, a machine simulator that checks rules about its guest operating system and applications at the hardware level. The properties...