610 search results - page 53 / 122 » Generating Research Websites Using Summarisation Techniques |
112
Voted
HOTOS
2003
IEEE
15 years 9 months ago
2003
IEEE
Recent research has produced a new and perhaps dangerous technique for uniquely identifying blocks that I will call compare-by-hash. Using this technique, we decide whether two bl...
110
Voted
SIGADA
1998
Springer
15 years 7 months ago
1998
Springer
Despite substantial research on methods and tools for testing reusable modules, little help is available for the tester in the eld. Commercial tools for system testing are widely ...
140
Voted
CF
2005
ACM
15 years 5 months ago
2005
ACM
Technology projections indicate that static power will become a major concern in future generations of high-performance microprocessors. Caches represent a significant percentage ...
111
Voted
HPCA
2004
IEEE
16 years 4 months ago
2004
IEEE
This paper proposes and evaluates hardware mechanisms for supporting prescient instruction prefetch--an approach to improving single-threaded application performance by using help...
151
Voted
CASCON
2007
15 years 5 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...