6201 search results - page 1132 / 1241 » Implementation of Axiomatic Language |
128
click to vote
ASPLOS
2006
ACM
15 years 11 months ago
2006
ACM
Redundant threading architectures duplicate all instructions to detect and possibly recover from transient faults. Several lighter weight Partial Redundant Threading (PRT) archite...
129
click to vote
ASPLOS
2006
ACM
15 years 11 months ago
2006
ACM
Current taint checking architectures monitor tainted data usage mainly with control transfer instructions. An alarm is raised once the program counter becomes tainted. However, su...
165
click to vote
ICDE
2005
IEEE
15 years 10 months ago
2005
IEEE
— XQuery, the defacto XML query language, is a functional language with operational semantics, which precludes the direct application of classical query optimization techniques. ...
172
Voted
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
Software for resource constrained embedded devices is often implemented in the Java programming language because the Java compiler and virtual machine provide enhanced safety, por...
147
Voted
APLAS
2005
ACM
15 years 10 months ago
2005
ACM
This paper presents a novel method to construct a dynamic single assignment (DSA) form of array-intensive, pointer-free C programs (or in any other procedural language). A program ...