1173 search results - page 57 / 235 » Weighted Distributed Systems and Their Logics |
102
Voted
CADE
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
104
Voted
WWW
2005
ACM
16 years 1 months ago
2005
ACM
We present a browser extension to dynamically learn to filter unwanted images (such as advertisements or flashy graphics) based on minimal user feedback. To do so, we apply the we...
115
click to vote
IPPS
2009
IEEE
15 years 7 months ago
2009
IEEE
We are interested in this paper to study scheduling problems in systems where many users compete to perform their respective jobs on shared parallel resources. Each user has speci...
112
Voted
ICDCS
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract— Distributed stream processing systems offer a highly scalable and dynamically configurable platform for time-critical applications ranging from real-time, exploratory ...
101
Voted
CD
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We describe a methodology for developing and deploying distributed Java applications using a reflective middleware system called RAFDA. We illustrate the methodology by d...