138 search results - page 3 / 28 » Self-stabilization Preserving Compiler |
PLDI
2000
ACM
14 years 2 months ago
2000
ACM
We describe a translation validation infrastructure for the GNU C compiler. During the compilation the infrastructure compares the intermediate form of the program before and afte...
ACTAC
2008
13 years 10 months ago
2008
Rules provide an expressive means for implementing database behavior: They cope with changes and their ramifications. Rules are commonly used for integrity enforcement, i.e., for ...
APLAS
2000
ACM
14 years 2 months ago
2000
ACM
Previous studies on safety of program transformations with respect to performance considered two criteria: preserving performance within a constant factor and preserving complexit...
CGO
2004
IEEE
14 years 1 months ago
2004
IEEE
Efficient inter-thread value communication is essential for improving performance in Thread-Level Speculation (TLS). Although several mechanisms for improving value communication ...
WWW
2007
ACM
14 years 10 months ago
2007
ACM
Cryptographic protocols are useful for trust engineering in Web transactions. The Cryptographic Protocol Programming Language (CPPL) provides a model wherein trust management anno...