Sciweavers

4586 search results - page 44 / 918
» Computing stable models in parallel
Sort
View
78
Voted
EUROPAR
2006
Springer
15 years 5 months ago
A Super-Peer Model for Multiple Job Submission on a Grid
Pasquale Cozza, Carlo Mastroianni, Domenico Talia,...
CONCUR
1995
Springer
15 years 5 months ago
Compositional Model Checking of Real Time Systems
François Laroussinie, Kim Guldstrand Larsen