940 search results - page 175 / 188 » Local rely-guarantee reasoning |
214
click to vote
EMSOFT
2004
Springer
16 years 13 days ago
2004
Springer
We present a technique to approximate the worst-case execution time that combines structural analysis with a loop-bounding algorithm based on local induction variable analysis. St...
220
click to vote
IFIP
2004
Springer
16 years 12 days ago
2004
Springer
Peer-to-peer systems, exchanging dynamic documents through Web services, are a simple and effective platform for data integration on the internet. Dynamic documents can contain b...
216
click to vote
KR
2004
Springer
16 years 12 days ago
2004
Springer
One of the major advances in classical planning has been the development of Graphplan. Graphplan builds a layered structure called the planning graph, and then searches this struc...
196
click to vote
FTDCS
2003
IEEE
16 years 10 days ago
2003
IEEE
Mobile clients retrieve and update databases at servers. They use transactions in order to ensure the consistency of shared data in the presence of concurrent accesses. Transactio...
217
click to vote
PLDI
2003
ACM
16 years 8 days ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...