Sciweavers

2881 search results - page 577 / 577
» Model Checking for Programming Languages using Verisoft
Sort
View
EXPCS
2007
13 years 7 months ago
Pipeline spectroscopy
Pipeline Spectroscopy is a new technique that allows us to measure the cost of each cache miss. The cost of a miss is displayed (graphed) as a histogram, which represents a precis...
Thomas R. Puzak, Allan Hartstein, Philip G. Emma, ...