8874 search results - page 1597 / 1775 » A New Implementation of Automath |
150
click to vote
HPCA
2001
IEEE
16 years 5 months ago
2001
IEEE
Mispredicted branches and loads that miss in the cache cause the majority of retirement stalls experienced by sequential processors; we call these critical instructions. Despite t...
140
click to vote
HPCA
2001
IEEE
16 years 5 months ago
2001
IEEE
Network performance in tightly-coupled multiprocessors typically degrades rapidly beyond network saturation. Consequently, designers must keep a network below its saturation point...
130
click to vote
CHI
2004
ACM
16 years 5 months ago
2004
ACM
This demonstration reports results from the EU-funded project Ambient Agoras, investigating future applications of ubiquitous and ambient computing in workspaces. Instead of prese...
159
click to vote
CHI
2001
ACM
16 years 5 months ago
2001
ACM
While predictions abound that electronic books will supplant traditional paper-based books, many people bemoan the coming loss of the book as cultural artifact. In this project we...
226
click to vote
POPL
2007
ACM
16 years 5 months ago
2007
ACM
Path profiles provide a more accurate characterization of a program's dynamic behavior than basic block or edge profiles, but are relatively more expensive to collect. This h...