5109 search results - page 841 / 1022 » On Learning Limiting Programs |
114
click to vote
HOTOS
2003
IEEE
15 years 9 months ago
2003
IEEE
User applications that move a lot of data across the user-kernel boundary suffer from a serious performance penalty. We provide a framework, Compound System Calls (CoSy), to enhan...
108
click to vote
HPDC
2003
IEEE
15 years 9 months ago
2003
IEEE
Despite the enormous amount of research and development work in the area of parallel computing, it is a common observation that simultaneous performance and ease-of-use are elusiv...
118
click to vote
HPDC
2003
IEEE
15 years 9 months ago
2003
IEEE
Despite many competitors, Ethernet became the dominant protocol for local area networking due to its simplicity, robustness, and efficiency in wide variety of conditions and tech...
144
click to vote
KBSE
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
141
click to vote
MICRO
2003
IEEE
15 years 9 months ago
2003
IEEE
Many dynamic optimization and/or binary translation systems hold optimized/translated superblocks in a code cache. Conventional code caching systems suffer from overheads when con...