1131 search results - page 158 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
105
Voted
ICCAD
2007
IEEE
15 years 9 months ago
2007
IEEE
— Small gates, such as AND2, XOR2 and MUX2, have been mixed with lookup tables (LUTs) inside the programmable logic block (PLB) to reduce area and power and increase performance ...
106
click to vote
ECOOP
2010
Springer
15 years 5 months ago
2010
Springer
Recently, object-oriented languages, such as C , have been extended with language features prevalent in most functional languages: parametric polymorphism and higher-order function...
103
click to vote
HOTOS
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, we propose FLUXO, a system that separates an Internet service's logical functionality from the architectural decisions made to support performance, scalability...
131
Voted
JAR
2008
15 years 16 days ago
2008
This article presents detailed implementations of quantifier elimination for both integer and real linear arithmetic for theorem provers. The underlying algorithms are those by Coo...
113
click to vote
IEEEARES
2009
IEEE
14 years 10 months ago
2009
IEEE
We present an automatic analyzer for measuring information flow within software systems. In this paper, we quantify leakage in terms of information theory and incorporate this comp...