Sciweavers

3200 search results - page 13 / 640
» Scalable computing with parallel tasks
Sort
View
SPIN
2007
Springer
16 years 14 days 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
117
Voted
PDP
2003
IEEE
15 years 11 months ago
k-Dependency Vectors: A Scalable Causality-Tracking Protocol
Roberto Baldoni, Giovanna Melideo