4743 search results - page 370 / 949 » The PlusCal Algorithm Language |
185
click to vote
DEBS
2011
ACM
14 years 8 months ago
2011
ACM
Many data-driven social and Web applications involve collaboration and coordination. The vision of declarative data-driven coordination (D3C), proposed in [9], is to support coord...
185
click to vote
POPL
2011
ACM
14 years 7 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
156
click to vote
PPOPP
2012
ACM
14 years 6 days ago
2012
ACM
We introduce the first binary search tree algorithm designed for speculative executions. Prior to this work, tree structures were mainly designed for their pessimistic (non-specu...
174
click to vote
TACAS
2012
Springer
14 years 6 days ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
114
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
This paper describes a query algebra for queries over XML p2p databases that provides explicit mechanisms for modeling data dissemination, replication constraints, and for capturi...