Sciweavers

979 search results - page 1 / 196
» Footprints in Local Reasoning
Sort
View
FOSSACS
2008
Springer
13 years 5 months ago
Footprints in Local Reasoning
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...
Mohammad Raza, Philippa Gardner
ICCBR
1999
Springer
13 years 8 months ago
Footprint-Based Retrieval
Barry Smyth, Elizabeth McKenna
ISCA
1998
IEEE
136views Hardware» more  ISCA 1998»
13 years 8 months ago
Exploiting Spatial Locality in Data Caches Using Spatial Footprints
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...
Sanjeev Kumar, Christopher B. Wilkerson