2784 search results - page 281 / 557 » Instruction Level Parallelism |
157
Voted
VMCAI
2004
Springer
15 years 9 months ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...
121
click to vote
SIGUCCS
2003
ACM
15 years 9 months ago
2003
ACM
DePauw University is a small, liberal arts institution with 2200 undergraduate residential students and 222 faculty members, located in Greencastle, Indiana. The challenges of sup...
136
click to vote
TLDI
2003
ACM
15 years 9 months ago
2003
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work has addresse...
146
click to vote
IEEEINTERACT
2002
IEEE
15 years 8 months ago
2002
IEEE
A dynamic optimizer is a software-based system that performs code modifications at runtime, and several such systems have been proposed over the past several years. These systems ...
140
Voted
ISCA
2002
IEEE
15 years 8 months ago
2002
IEEE
Tarantula is an aggressive floating point machine targeted at technical, scientific and bioinformatics workloads, originally planned as a follow-on candidate to the EV8 processo...