6306 search results - page 227 / 1262 » Space, Time, and the Use of Language |
ICFP
2001
ACM
15 years 11 months ago
2001
ACM
Contification is a compiler optimization that turns a function that always returns to the same place into a continuation. Compilers for functional languages use contification to e...
215
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
Inefficient use of memory, including leaks and bloat, remain a significant challenge for C and C++ developers. Applications with these problems become slower over time as their wo...
193
click to vote
ICLP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
COOPIS
2002
IEEE
15 years 3 months ago
2002
IEEE
Over 90 percent of all microprocessors are now used for realtime and embedded applications. Since the behavior of these applications is often constrained by the physical world, it...
FORMATS
2007
Springer
15 years 5 months ago
2007
Springer
Dierence Bound Matrices (DBMs) are the most commonly used data structure for model checking timed automata. Since long they are being used in successful tools like Kronos or UPPAA...