Sciweavers

4586 search results - page 45 / 918
» Computing stable models in parallel
Sort
View
EDOC
2006
IEEE
13 years 11 months ago
A reference model for IT management responsibilities
Magnus Gammelgård, Åsa Lindström,...
ICPADS
2010
IEEE
13 years 7 months ago
Employing Multiple CUDA Devices to Accelerate LTL Model Checking
Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska