5314 search results - page 771 / 1063 » Hybrid Dynamic Programming |
154
click to vote
SIGADA
2005
Springer
16 years 4 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...
183
click to vote
ASPLOS
2004
ACM
16 years 3 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...
179
click to vote
COORDINATION
2004
Springer
16 years 2 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...
144
click to vote
IWMM
2004
Springer
16 years 1 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 ...
227
click to vote
SPIN
2004
Springer
16 years 14 hour ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...