1768 search results - page 284 / 354 » A Logic for Algebraic Effects |
133
click to vote
ICCAD
2005
IEEE
16 years 2 months ago
2005
IEEE
The increasing variability of process parameters leads to substantial parametric yield losses due to timing and leakage power constraints. Leakage power is especially affected by ...
138
click to vote
DATE
2008
IEEE
16 years 15 days ago
2008
IEEE
∗ Diagnosis is becoming a major concern with the rapid development of semiconductor memories. It provides information about the location of manufacturing defects in the memory, a...
150
click to vote
LPNMR
2007
Springer
16 years 5 days ago
2007
Springer
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approach...
203
click to vote
PLDI
2004
ACM
15 years 11 months ago
2004
ACM
This paper presents the first scalable context-sensitive, inclusionbased pointer alias analysis for Java programs. Our approach to context sensitivity is to create a clone of a m...
190
click to vote
ER
2004
Springer
15 years 11 months ago
2004
Springer
The envisioned Semantic Web aims to provide richly annotated and explicitly structured Web pages in XML, RDF, or description logics, based upon underlying ontologies and thesauri. ...