Sciweavers

4586 search results - page 45 / 918
» Computing stable models in parallel
Sort
View
EDOC
2006
IEEE
15 years 3 months ago
A reference model for IT management responsibilities
Magnus Gammelgård, Åsa Lindström,...
67
Voted
ICDCS
2010
IEEE
15 years 3 months ago
Distributed Node Coloring in the SINR Model
Bilel Derbel, El-Ghazali Talbi
113
Voted
CLUSTER
2008
IEEE
15 years 1 months ago
A regression-based analytic model for capacity planning of multi-tier applications
Qi Zhang, Ludmila Cherkasova, Ningfang Mi, Evgenia...
ICPADS
2010
IEEE
14 years 11 months ago
Employing Multiple CUDA Devices to Accelerate LTL Model Checking
Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska