144 search results - page 23 / 29 » It Is Time to Mechanize Programming Language Metatheory |
104
Voted
ASPLOS
2009
ACM
15 years 4 months ago
2009
ACM
Software systems are constantly changing. Patches to fix bugs and patches to add features are all too common. Every change risks breaking a previously working system. Hence admini...
IPPS
1999
IEEE
15 years 4 months ago
1999
IEEE
In this paper we present a paradigm to express streams and its implementation. Streams are a convenient mechanism to communicate multimedia data, for example video or audio, betwe...
119
click to vote
SIGCSE
2005
ACM
15 years 6 months ago
2005
ACM
Networking course projects are usually described by an informal specification and a collection of test cases. Students often misunderstand the specification or oversimplify it t...
104
Voted
PLDI
1999
ACM
15 years 4 months ago
1999
ACM
Hardware trends have produced an increasing disparity between processor speeds and memory access times. While a variety of techniques for tolerating or reducing memory latency hav...
198
click to vote
ASPLOS
2009
ACM
16 years 1 months ago
2009
ACM
Software failures in server applications are a significant problem for preserving system availability. We present ASSURE, a system that introduces rescue points that recover softw...