3335 search results - page 153 / 667 » Grid result checking |
175
Voted
CAI
2002
Springer
15 years 3 months ago
2002
Springer
Grid technology has evolved over the past several years to provide the services and infrastructure needed for building "virtual" systems and organizations. With this Gri...
228
Voted
ICA3PP
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. Resource provisioning is one of the main challenges in resource sharing environments such as multi-cluster Grids. In these environments each cluster serves requests from ...
128
Voted
ICCAD
2004
IEEE
16 years 16 days ago
2004
IEEE
edicate Abstraction and Induction Edmund Clarke Daniel Kroening June 25, 2004 CMU-CS-04-131 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 It is common...
111
Voted
ASPLOS
2006
ACM
15 years 9 months ago
2006
ACM
Current taint checking architectures monitor tainted data usage mainly with control transfer instructions. An alarm is raised once the program counter becomes tainted. However, su...
136
Voted
ECOOP
2006
Springer
15 years 7 months ago
2006
Springer
A test case consists of two parts: a test input to exercise the program under test and a test oracle to check the correctness of the test execution. A test oracle is often in the f...