691 search results - page 27 / 139 » Automatically Proving Linearizability |
IPM
2007
13 years 9 months ago
2007
The work described here initially formed part of a triangulation exercise to establish the effectiveness of the Query Term Order algorithm. The methodology produced subsequently p...
ICCAD
2002
IEEE
14 years 6 months ago
2002
IEEE
In this paper we present an advanced functional extraction tool for automatic generation of high-level RTL from switch-level circuit netlist representation. The tool is called FEV...
ISVC
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. The proposed work exploits methods and techniques for automatic characterization of images for content-based access to personal photo libraries. Several techniques, even ...
ICASSP
2009
IEEE
14 years 4 months ago
2009
IEEE
A method that automatically estimates the metrical structure of a piece of music is presented. The approach is based on the generation of a beat similarity matrix, which provides ...
QSIC
2007
IEEE
14 years 4 months ago
2007
IEEE
The success of a software project is largely dependent upon the quality of the Software Requirements Specification (SRS) document, which serves as a medium to communicate user req...