4722 search results - page 172 / 945 » Encoding Program Executions |
236
click to vote
CC
2009
Springer
16 years 5 months ago
2009
Springer
Register allocation decides which parts of a variable's live range are held in registers and which in memory. The compiler inserts spill code to move the values of variables b...
148
Voted
IWMM
2000
Springer
15 years 8 months ago
2000
Springer
We investigate reference counting in the context of a multithreaded architecture by exploiting two observations: (1) reference-counting can be performed by a transformed program s...
166
click to vote
ENTCS
2010
15 years 4 months ago
2010
Program debugging is an extremely time-consuming process, and it takes up a large portion of software development time. In practice, debugging is still very much of an art, with t...
138
click to vote
HYBRID
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In this paper, we consider the problem of generating optimized, executable control code from high-level, symbolic specifications. In particular, we construct symbolic co...
133
click to vote
AMS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The implementation of high-performance robot controllers for complex control tasks such as playing autonomous robot soccer is tedious, errorprone, and a never ending prog...