Sciweavers

4586 search results - page 69 / 918
» Computing stable models in parallel
Sort
View
EUROPAR
2006
Springer
14 years 1 months ago
Integration of Grid Cost Model into ISS/VIOLA Meta-scheduler Environment
Ralf Gruber, Vincent Keller, Michela Thiéma...
CONCUR
2008
Springer
14 years 1 days ago
Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern...