Sciweavers

2784 search results - page 105 / 557
» Instruction Level Parallelism
Sort
View
ISORC
2007
IEEE
16 years 20 days ago
System-Level Energy-Efficiency for Real-Time Tasks
Chuan-Yue Yang, Jian-Jia Chen, Chia-Mei Hung, Tei-...
CLUSTER
2005
IEEE
16 years 3 hour ago
Job-Site Level Fault Tolerance for Cluster and Grid environments
Kshitij Limaye, Box Leangsuksun, Zeno Greenwood, S...
LCPC
2005
Springer
15 years 12 months ago
Loop Selection for Thread-Level Speculation
Thread-level speculation (TLS) allows potentially dependent threads to speculatively execute in parallel, thus making it easier for the compiler to extract parallel threads. Howeve...
Shengyue Wang, Xiaoru Dai, Kiran Yellajyosula, Ant...
SPIN
2005
Springer
15 years 12 months ago
Model Checking Machine Code with the GNU Debugger
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
Eric Mercer, Michael Jones