1989 search results - page 55 / 398 » Set functions for functional logic programming |
123
click to vote
ENTCS
2002
15 years 1 months ago
2002
Non-deterministic computations greatly enhance the expressive power of functional logic programs, but are often computationally expensive. We analyze a programming technique that ...
114
Voted
DAC
2008
ACM
16 years 2 months ago
2008
ACM
Extensive software-based simulation continues to be the mainstream methodology for functional verification of designs. To optimize the use of limited simulation resources, coverag...
114
click to vote
AAAI
1990
15 years 3 months ago
1990
An equational approach to the synthesis of functional and logic programs is taken. Typically, a target program contains equations that are only true in the standard model of the g...
103
Voted
DAC
2003
ACM
16 years 2 months ago
2003
ACM
Binary Decision Diagrams (BDDs) often fail to exploit sharing between Boolean functions that differ only in their support variables. In a memory circuit, for example, the function...
129
Voted
MICRO
1994
IEEE
15 years 6 months ago
1994
IEEE
This paper explores a novel way to incorporate hardware-programmable resources into a processor microarchitecture to improve the performance of general-purpose applications. Throu...