15401 search results - page 2725 / 3081 » Software in Automotive Systems |
174
click to vote
LCTRTS
2004
Springer
16 years 29 days ago
2004
Springer
Most modern compilers operate by applying a fixed, program-independent sequence of optimizations to all programs. Compiler writers choose a single “compilation sequence”, or ...
242
click to vote
OOPSLA
2004
Springer
16 years 29 days ago
2004
Springer
This paper reports on the design and implementation of Chianti, a change impact analysis tool for Java that is implemented in the context of the Eclipse environment. Chianti analy...
226
click to vote
ROBOCUP
2004
Springer
16 years 29 days ago
2004
Springer
We show how to apply learning methods to two robotics problems, namely the optimization of the on-board controller of an omnidirectional robot, and the derivation of a model of the...
212
click to vote
VMCAI
2004
Springer
16 years 29 days 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...
219
click to vote
CGO
2003
IEEE
16 years 27 days ago
2003
IEEE
To meet the performance demands of modern architectures, compilers incorporate an everincreasing number of aggressive code transformations. Since most of these transformations are...