8766 search results - page 1343 / 1754 » Functional logic programming |
133
click to vote
FPL
2006
Springer
15 years 8 months ago
2006
Springer
This paper is concerned with the application of formal optimisation methods to the design of mixed-granularity FPGAs. In particular, we investigate the appropriate mix and floorpl...
138
click to vote
ICSE
2000
IEEE-ACM
15 years 8 months ago
2000
IEEE-ACM
The fundamental goal of all good design and engineering is to create maximal value added for any given investment. There are many dimensions in which value can be assessed, from m...
128
click to vote
LPAR
2000
Springer
15 years 8 months ago
2000
Springer
We present the rational construction of a generic domain for structural information analysis of real CLP languages called Pattern(D ), where the parameter D is an abstract domain s...
153
Voted
CAV
1997
Springer
15 years 8 months ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...
127
Voted
ISLPED
1995
ACM
15 years 8 months ago
1995
ACM
In current processors, the cache controller, which contains the cache directory and other logic such as tag comparators, is active for each instruction fetch and is responsible fo...