5757 search results - page 863 / 1152 » Dynamic Policy Programming |
193
click to vote
LCPC
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. The increased popularity of grid systems and cycle sharing across organizations requires scalable systems that provide facilities to locate resources, to be fair in the u...
180
click to vote
SIGADA
2005
Springer
16 years 21 days ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
200
click to vote
ASPLOS
2004
ACM
16 years 20 days ago
2004
ACM
Distributed Shortest-Positioning Time First (D-SPTF) is a request distribution protocol for decentralized systems of storage servers. D-SPTF exploits high-speed interconnects to d...
208
click to vote
COORDINATION
2004
Springer
16 years 19 days ago
2004
Springer
There has been significant recent interest in exploring the role of coordination languages as middleware for distributed systems. These languages provide operations that allow pro...
165
click to vote
IWMM
2004
Springer
16 years 18 days ago
2004
Springer
Concurrent garbage collectors require write barriers to preserve consistency, but these barriers impose significant direct and indirect costs. While there has been a lot of work ...