5376 search results - page 818 / 1076 » Scalable Kernel Systems |
185
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
Scalable handling of real arithmetic is a crucial part of the verification of hybrid systems, mathematical algorithms, and mixed analog/digital circuits. Despite substantial advanc...
189
click to vote
KDD
2006
ACM
16 years 7 months ago
2006
ACM
Localized search engines are small-scale systems that index a particular community on the web. They offer several benefits over their large-scale counterparts in that they are rel...
174
click to vote
OSDI
2006
ACM
16 years 7 months ago
2006
ACM
In this paper, we present the design, implementation, and evaluation of iPlane, a scalable service providing accurate predictions of Internet path performance for emerging overlay...
289
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
Data availability, collection and storage have increased dramatically in recent years, raising new technological and algorithmic challenges for database design and data management...
285
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
Clio, the IBM Research system for expressing declarative schema mappings, has progressed in the past few years from a research prototype into a technology that is behind some of I...