4 search results - page 1 / 1 » Back to the Future: Towards a Theory of Timed Regular Langua... |
65
Voted
FOCS
1992
IEEE
15 years 3 months ago
1992
IEEE
88
Voted
ICALP
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We propose a theory of time-bounded verification for realtime systems, in which verification queries are phrased over time intervals of fixed, bounded duration. We argue ...
118
click to vote
FOSSACS
2009
Springer
15 years 5 months ago
2009
Springer
In this essay we discuss the origin, central results, and some perspectives of algorithmic synthesis of nonterminating reactive programs. We recall the fundamental questions raised...
ASPLOS
2004
ACM
15 years 4 months ago
2004
ACM
This paper introduces a compiler-orchestrated prefetching system as a unified framework geared toward ameliorating the gap between processing speeds and memory access latencies. ...