553 search results - page 46 / 111 » Verified, Executable Parsing |
PTS
2004
15 years 3 months ago
2004
A methodology that combines verification and conformance testing for validating safety requirements of reactive systems is presented. The requirements are first automatically verif...
133
click to vote
AIS
2006
Springer
15 years 2 months ago
2006
Springer
Negative attitudes toward robots are considered as one of psychological factors preventing humans from interacting with robots in daily life. To verify their influence on humans&#...
100
click to vote
CN
1999
15 years 2 months ago
1999
Secure coprocessors enable secure distributed applications by providing safe havens where an application program can Z .execute and accumulate state , free of observation and inte...
137
Voted
TPHOL
2009
IEEE
15 years 9 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
138
Voted
CLUSTER
2006
IEEE
15 years 2 months ago
2006
IEEE
Many parallel applications from scientific computing use MPI collective communication operations to collect or distribute data. Since the execution times of these communication op...