61 search results - page 12 / 13 » Partial Order Reduction for Rewriting Semantics of Programmi... |
199
click to vote
IPPS
2007
IEEE
16 years 10 hour ago
2007
IEEE
High-end computing is universally recognized to be a strategic tool for leadership in science and technology. A significant portion of high-end computing is conducted on clusters...
190
click to vote
PEPM
2011
ACM
14 years 8 months ago
2011
ACM
Navigating through tree structures is a core operation in tree processing programs. Most notably, XML processing programs intensively use XPath, the path specification language t...
150
click to vote
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
Self-adjusting computation provides an evaluation model where computations can respond automatically to modifications to their data by using a mechanism for propagating modifica...
179
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. Pseudo-code descriptions of STMs assume sequentially consistent program execution and atomicity of high-level STM operations like read, write, and commit. These assumptio...
172
click to vote
ICFCA
2004
Springer
15 years 11 months ago
2004
Springer
Lattice diagrams, known as Hasse diagrams, have played an ever increasing role in lattice theory and fields that use lattices as a tool. Initially regarded with suspicion, they no...