7167 search results - page 1220 / 1434 » Answer Set Programming |
134
click to vote
PEPM
1998
ACM
15 years 6 months ago
1998
ACM
Abstract. We use a code generator--type-directed partial evaluation-to verify conversions between isomorphic types, or more precisely to verify that a composite function is the ide...
74
Voted
ISCA
1997
IEEE
15 years 6 months ago
1997
IEEE
DataScalar architectures improve memory system performance by running computation redundantly across multiple processors, which are each tightly coupled with an associated memory....
127
click to vote
DAC
1997
ACM
15 years 6 months ago
1997
ACM
—Many application-specific architectures provide indirect addressing modes with auto-increment/decrement arithmetic. Since these architectures generally do not feature an indexe...
134
click to vote
APSEC
1996
IEEE
15 years 6 months ago
1996
IEEE
Explosive increase in end-user computing on distributed systems requires that end-users develop application software by themselves. One solution is given as aformula of "adom...
111
click to vote
FPGA
1997
ACM
15 years 6 months ago
1997
ACM
We present a general approach to the FPGA technology mapping problem that applies to any logic block composed of lookup tables LUTs and can yield optimal solutions. The connecti...