1834 search results - page 37 / 367 » A Dynamic Multithreading Processor |
JSSPP
2010
Springer
13 years 6 months ago
2010
Springer
This paper proposes and evaluates APIs for Inter-Core Time Aggregation Scheduler (IAS), which is a kernel-level thread scheduler to enhance performances of multi-threaded programs ...
SPAA
2010
ACM
14 years 1 months ago
2010
ACM
In dynamically multithreaded platforms that employ work stealing, there appears to be a fundamental tradeoff between providing provably good time and space bounds and supporting S...
SPIN
2009
Springer
14 years 3 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
FPL
2009
Springer
14 years 22 days ago
2009
Springer
Preemptive multitasking, a popular technique for timesharing of computational resources in software-based systems, faces considerable difficulties when applied to partially reconf...
HVC
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents a dynamic program analysis algorithm that can detect deadlock potentials in a multi-threaded program by examining a single execution trace, obtained by running ...