Sciweavers

4586 search results - page 45 / 918
» Computing stable models in parallel
Sort
View
EDOC
2006
IEEE
15 years 4 months ago
A reference model for IT management responsibilities
Magnus Gammelgård, Åsa Lindström,...
72
Voted
ICDCS
2010
IEEE
15 years 4 months ago
Distributed Node Coloring in the SINR Model
Bilel Derbel, El-Ghazali Talbi
ICPADS
2010
IEEE
15 years 11 days ago
Employing Multiple CUDA Devices to Accelerate LTL Model Checking
Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska