610 search results - page 53 / 122 » Generating Research Websites Using Summarisation Techniques |
HOTOS
2003
IEEE
15 years 3 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...
SIGADA
1998
Springer
15 years 1 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 ...
CF
2005
ACM
14 years 11 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 ...
HPCA
2004
IEEE
15 years 10 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...
CASCON
2007
14 years 11 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 ...