11797 search results - page 1985 / 2360 » Recent Developments in the Experimental |
218
click to vote
PLDI
2003
ACM
16 years 28 days ago
2003
ACM
This paper reports on a new approach to solving a subset-based points-to analysis for Java using Binary Decision Diagrams (BDDs). In the model checking community, BDDs have been s...
177
click to vote
MICRO
1999
IEEE
15 years 12 months ago
1999
IEEE
This paper studies an interesting yet less explored behavior of memory access instructions, called access region locality. Unlike the traditional temporal and spatial data localit...
218
click to vote
MSS
1999
IEEE
15 years 12 months ago
1999
IEEE
Benchmark tests have been designed and conducted for the purpose of evaluating the use of automated tape libraries in on-line digital check image retrieval applications. This type...
255
click to vote
TPHOL
1999
IEEE
15 years 12 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
220
click to vote
FPGA
1998
ACM
15 years 12 months ago
1998
ACM
Multi-FPGA systems (MFSs) are used as custom computing machines, logic emulators and rapid prototyping vehicles. A key aspect of these systems is their programmable routing archit...