1901 search results - page 238 / 381 » Predicting Program Properties from |
119
click to vote
ESOP
2012
Springer
13 years 10 months ago
2012
Springer
The existing call-by-need λ calculi describe lazy evaluation via equational logics. A programmer can use these logics to safely ascertain whether one term is behaviorally equivale...
137
click to vote
ICCAD
2003
IEEE
15 years 8 months ago
2003
IEEE
: This paper presents FROSTY, a computer program for automatically extracting the hierarchy of a large-scale digital CMOS circuit from its transistor-level netlist description and ...
140
click to vote
CJ
2010
15 years 16 days ago
2010
A concurrent object is an object that can be concurrently accessed by several processes. Sequential consistency is a consistency criterion for such objects. Informally, it states ...
149
click to vote
TON
2012
13 years 5 months ago
2012
—In order to achieve resilient multipath routing we introduce the concept of Independent Directed Acyclic Graphs (IDAGs) in this study. Link-independent (Node-independent) DAGs s...
111
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
We explore settings where a principal must make a decision about which action to take to achieve a desired outcome. The principal elicits the probability of achieving the outcome ...