422 search results - page 85 / 85 » Multithreaded SAT Solving |
MONET
2011
13 years 7 days ago
2011
Critical Infrastructures (CIs) such as the Power Grid play an important role in our lives. Of all important aspects of CIs, real-time data delivery is the most important one becaus...
HPCA
2011
IEEE
12 years 9 months ago
2011
IEEE
Queues are commonly used in multithreaded programs for synchronization and communication. However, because software queues tend to be too expensive to support finegrained paralle...