3689 search results - page 591 / 738 » A Language with Distributed Scope |
188
click to vote
PPDP
2007
Springer
16 years 14 days ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
175
click to vote
ASPLOS
2006
ACM
16 years 10 days ago
2006
ACM
Control-Flow Integrity (CFI) is a property that guarantees program control flow cannot be subverted by a malicious adversary, even if the adversary has complete control of data m...
148
click to vote
ASPLOS
2006
ACM
16 years 10 days ago
2006
ACM
Growing on-chip wire delays are motivating architectural features that expose on-chip communication to the compiler. EDGE architectures are one example of communication-exposed mi...
164
click to vote
PLDI
2006
ACM
16 years 9 days ago
2006
ACM
In order to generate high-quality code for modern processors, a compiler must aggressively schedule instructions, maximizing resource utilization for execution efficiency. For a ...
188
click to vote
SAC
2006
ACM
16 years 9 days ago
2006
ACM
Traditional semantic web query languages support a logicbased access to the semantic web. They offer a retrieval (or reasoning) of data based on facts. On the traditional web and...