979 search results - page 1 / 196 » Footprints in Local Reasoning |
FOSSACS
2008
Springer
13 years 6 months ago
2008
Springer
Local reasoning about programs exploits the natural local behaviour common in programs by focussing on the footprint - that part of the resource accessed by the program. We address...
ICCBR
1999
Springer
13 years 8 months ago
1999
Springer
GIS
2010
ACM
13 years 2 months ago
2010
ACM
ISCA
1998
IEEE
13 years 8 months ago
1998
IEEE
Modern cache designs exploit spatial locality by fetching large blocks of data called cache lines on a cache miss. Subsequent references to words within the same cache line result...
DAC
2008
ACM
13 years 6 months ago
2008
ACM