5159 search results - page 71 / 1032 » Structural Testing of Executables |
127
click to vote
ECAI
2006
Springer
15 years 6 months ago
2006
Springer
An important application of both data abstraction and plan execution is the execution of clinical guidelines and protocols (CGP), both to validate them against a large set of test ...
138
Voted
SC
2000
ACM
15 years 6 months ago
2000
ACM
This is a project for developing a distributed job execution environment for highly iterative jobs. An iterative job is one where the same binary code is run hundreds of times wit...
116
click to vote
SP
2010
IEEE
15 years 6 months ago
2010
IEEE
—Dynamic taint analysis and forward symbolic execution are quickly becoming staple techniques in security analyses. Example applications of dynamic taint analysis and forward sym...
122
Voted
AIPS
2007
15 years 4 months ago
2007
A great deal of research has addressed the problem of generating optimal plans, but these plans are of limited use in circumstances where noisy sensors, unanticipated exogenous ac...
104
click to vote
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
In message-passing parallel applications, messages are not delivered in a strict order. In most applications, the computation results and the set of messages produced during the e...