138 search results - page 22 / 28 » Self-stabilization Preserving Compiler |
PPDP
2007
Springer
14 years 3 months ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
CGO
2005
IEEE
14 years 3 months ago
2005
IEEE
Many excepting instructions cannot be removed by existing Partial Redundancy Elimination (PRE) algorithms because the ordering constraints must be preserved between the excepting ...
DSN
2005
IEEE
14 years 3 months ago
2005
IEEE
View-oriented group communication is an important and widely used building block for constructing highlyavailable fault-tolerant systems. Unfortunately, groupcommunication based s...
LATIN
2004
Springer
14 years 3 months ago
2004
Springer
Equality logic with or without uninterpreted functions is used for proving the equivalence or refinement between systems (hardware verification, compiler’s translation, etc). C...
EUROPAR
2003
Springer
14 years 3 months ago
2003
Springer
Partial redundancy elimination (PRE) techniques play an important role in optimizing compilers. Many optimizations, such as elimination of redundant expressions, communication opti...