2797 search results - page 528 / 560 » Code query by example |
112
click to vote
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
142
click to vote
ICCAD
2001
IEEE
15 years 11 months ago
2001
IEEE
The increasing popularity of SAT and BDD techniques in verification and synthesis encourages the search for additional speed-ups. Since typical SAT and BDD algorithms are exponent...
130
click to vote
SOSP
2001
ACM
15 years 11 months ago
2001
ACM
ing Abstraction to Improve Fault Tolerance MIGUEL CASTRO Microsoft Research and RODRIGO RODRIGUES and BARBARA LISKOV MIT Laboratory for Computer Science Software errors are a major...
118
click to vote
SOSP
2003
ACM
15 years 11 months ago
2003
ACM
Despite decades of research in extensible operating system technology, extensions such as device drivers remain a significant cause of system failures. In Windows XP, for example,...
126
click to vote
PEPM
2009
ACM
15 years 11 months ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...