3335 search results - page 66 / 667 » Grid result checking |
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
ATVA
2008
Springer
15 years 1 months ago
2008
Springer
Multi-valued Model Checking is an extension of classical, two-valued model checking with multi-valued logic. Multi-valuedness has been proved useful in expressing additional inform...
102
click to vote
GPC
2007
Springer
15 years 6 months ago
2007
Springer
Grid systems are well-known for its high performance computing or large data storage with inexpensive devices. They can be categorized into two major types: computational grid and ...
MIDDLEWARE
2007
Springer
15 years 6 months ago
2007
Springer
Scheduling parallel and distributed applications efficiently onto grid environments is a difficult task and a great variety of scheduling heuristics have been developed aiming to ...
103
click to vote
CCGRID
2006
IEEE
15 years 6 months ago
2006
IEEE
Grid computing is emerging as a new infrastructure to provide collaborative and secure resource sharing over multiple geographically distributed organizations. In this scenario, r...