2062 search results - page 290 / 413 » Derivatives of Logical Formulas |
148
click to vote
FPL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Data dependent circuits are logic circuits specialized to specific input data. They are smaller and faster than the original circuits, although they are not reusable and...
161
click to vote
PPDP
2007
Springer
16 years 2 days ago
2007
Springer
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
181
click to vote
TPHOL
2005
IEEE
15 years 11 months ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...
149
click to vote
ISLPED
2004
ACM
15 years 11 months ago
2004
ACM
In this paper we investigate the statistics of multiplier operands and identify two characteristics of their distribution that have important consequences for the design of low po...
146
click to vote
IGPL
2006
15 years 6 months ago
2006
Abduction or retroduction, as introduced by C.S. Peirce in the double sense of searching for explanatory instances and providing an explanation (i.e., involving the procedure of s...