5376 search results - page 170 / 1076 » Scalable Kernel Systems |
131
click to vote
KDD
2008
ACM
16 years 4 months ago
2008
ACM
In large scale online systems like Search, eCommerce, or social network applications, user queries represent an important dimension of activities that can be used to study the imp...
160
click to vote
CADE
2002
Springer
16 years 4 months ago
2002
Springer
Abstract. Proof-carrying code (PCC) allows a code producer to associate to a program a machine-checkable proof of its safety. In the original approach to PCC, the safety policy inc...
140
click to vote
NOSSDAV
2009
Springer
15 years 11 months ago
2009
Springer
A critical problem in implementing interactive perception applications is the considerable computational cost of current computer vision and machine learning algorithms, which typ...
148
click to vote
HPDC
2008
IEEE
15 years 10 months ago
2008
IEEE
A lease is a token which grants its owner exclusive access to a resource for a defined span of time. In order to be able to tolerate failures, leases need to be coordinated by di...