4 search results - page 1 / 1 » Back to the Future: Towards a Theory of Timed Regular Langua... |
FOCS
1992
IEEE
13 years 9 months ago
1992
IEEE
ICALP
2010
Springer
13 years 5 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 ...
FOSSACS
2009
Springer
14 years 1 days 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
13 years 10 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. ...