Sciweavers

3200 search results - page 13 / 640
» Scalable computing with parallel tasks
Sort
View
SPIN
2007
Springer
14 years 1 months ago
Scalable Multi-core LTL Model-Checking
Recent development in computer hardware has brought more wide-spread emergence of shared-memory, multi-core systems. These architectures offer opportunities to speed up various ta...
Jiri Barnat, Lubos Brim, Petr Rockai