1768 search results - page 210 / 354 » A Logic for Algebraic Effects |
193
Voted
FPGA
2005
ACM
16 years 19 days ago
2005
ACM
Logic duplication is an effective method for improving circuit performance. In this paper we present an algorithm named SPD that performs simultaneous placement and duplication to...
168
click to vote
MICRO
2003
IEEE
16 years 11 days ago
2003
IEEE
Ensuring back-to-back execution of dependent instructions in a conventional out-of-order processor requires scheduling logic that wakes up and selects instructions at the same rat...
201
Voted
NMELP
1994
15 years 11 months ago
1994
In this paper, we propose a new constructive characterization of those semantics for disjunctive logic programs which are extensions of the well-founded semantics for normal progra...
190
click to vote
CAISE
2009
Springer
15 years 11 months ago
2009
Springer
Despite the abundance of analysis techniques to discover control-flow errors in workflow designs, there is hardly any support for w verification. Most techniques simply abstract fr...
183
click to vote
GLVLSI
2009
IEEE
15 years 11 months ago
2009
IEEE
Mounting concerns over variability, defects and noise motivate a new approach for integrated circuits: the design of stochastic logic, that is to say, digital circuitry that opera...