2605 search results - page 34 / 521 » The many levels of CSCL |
146
click to vote
IWPC
2003
IEEE
15 years 11 months ago
2003
IEEE
Many applications have one or more important modules that are written in a language other than conventional procedural or object oriented languages. These languages are often tran...
152
click to vote
CHARME
2003
Springer
15 years 11 months ago
2003
Springer
We consider the problem of bounded model checking of systems expressed in a decidable fragment of first-order logic. While model checking is not guaranteed to terminate for an ar...
146
click to vote
ISCA
2002
IEEE
15 years 11 months ago
2002
IEEE
An instruction set architecture (ISA) suitable for future microprocessor design constraints is proposed. The ISA has hierarchical register files with a small number of accumulator...
145
click to vote
WCRE
2002
IEEE
15 years 11 months ago
2002
IEEE
As new computer architectures are developed to exploit large-scale data-level parallelism, techniques are needed to retarget legacy sequential code to these platforms. Sequential ...
139
click to vote
ICPP
1999
IEEE
15 years 10 months ago
1999
IEEE
Trace-level reuse is based on the observation that some traces (dynamic sequences of instructions) are frequently repeated during the execution of a program, and in many cases, th...