11022 search results - page 1904 / 2205 » Programming Systems for Autonomy |
175
click to vote
CGO
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper describes an algorithm that takes a trace (i.e., a sequence of numbers or vectors of numbers) as input, and from that produces a sequence of loop nests that, when run, ...
156
click to vote
ISCA
2008
IEEE
16 years 1 months ago
2008
IEEE
As CMOS technology scales and more transistors are packed on to the same chip, soft error reliability has become an increasingly important design issue for processors. Prior resea...
173
click to vote
ISCA
2007
IEEE
16 years 1 months ago
2007
IEEE
Speculative compiler optimizations are effective in improving both single-thread performance and reducing power consumption, but their implementation introduces significant compl...
186
click to vote
ISCA
2007
IEEE
16 years 1 months ago
2007
IEEE
Indirect branches have become increasingly common in modular programs written in modern object-oriented languages and virtualmachine based runtime systems. Unfortunately, the pred...
205
click to vote
KBSE
2007
IEEE
16 years 29 days ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...