13383 search results - page 2582 / 2677 » Abstractions from proofs |
149
click to vote
NSDI
2007
15 years 5 months ago
2007
Ricochet is a low-latency reliable multicast protocol designed for time-critical clustered applications. It uses IP Multicast to transmit data and recovers from packet loss in end...
140
Voted
USENIX
2007
15 years 5 months ago
2007
Current disk prefetch policies in major operating systems track access patterns at the level of the file abstraction. While this is useful for exploiting application-level access...
135
click to vote
USENIX
2008
15 years 5 months ago
2008
zation is a well-known method of abstracting physical resources and of separating the manipulation and use of logical resources from their underlying implementation. We have used ...
110
click to vote
APLAS
2008
ACM
15 years 5 months ago
2008
ACM
Abstract. Exceptions are an indispensable part of modern programming languages. They are, however, handled poorly, especially by higherorder languages such as Standard ML and Haske...
133
Voted
ASWC
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Ontology construction is a labour-intensive and costly process. Even though many formal and semi-formal vocabularies are available, creating an ontology for a specific ap...