1768 search results - page 153 / 354 » A Logic for Algebraic Effects |
220
click to vote
AAAI
2011
14 years 7 months ago
2011
In this paper we examine the general problem of generating preferred explanations for observed behavior with respect to a model of the behavior of a dynamical system. This problem...
151
Voted
IOLTS
2006
IEEE
16 years 1 months ago
2006
IEEE
The early propagation effect found in many logic gates is a potential source of data-dependent power consumption. We show that the effect and the corresponding power dependency ca...
214
click to vote
ACMICEC
2005
ACM
16 years 18 days ago
2005
ACM
In order to capture the full fledge semantic of complicated product data model, the expressive language ALCNHR+ K(D) is introduced. It cannot only be able to represent knowledge a...
173
click to vote
ARITH
2009
IEEE
16 years 1 months ago
2009
IEEE
Despite the impressive progress of logic synthesis in the past decade, finding the best architecture for a given circuit still remains an open and largely unsolved problem, espec...
195
click to vote
FPGA
2004
ACM
15 years 10 months ago
2004
ACM
This paper presents a new approach to timing optimization for FPGA designs, namely incremental physical resynthesis, to answer the challenge of effectively integrating logic and p...