338 search results - page 30 / 68 » Second Generation Benchmarking and Application Oriented Eval... |
103
click to vote
TACAS
2009
Springer
15 years 8 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
100
click to vote
FCCM
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper proposes optimizations of the methods and parameters used in both mathematical approximation and hardware design for logarithmic number system (LNS) arithmetic. First, ...
156
click to vote
PLDI
2011
ACM
14 years 4 months ago
2011
ACM
MATLAB is an array language, initially popular for rapid prototyping, but is now being increasingly used to develop production code for numerical and scientific applications. Typ...
115
click to vote
VLSI
2007
Springer
15 years 8 months ago
2007
Springer
— Software simulation remains the most used method for VHDL RTL functional verification. The functional verification process essentially consists of two parts. The first one is t...
147
click to vote
ICAC
2005
IEEE
15 years 7 months ago
2005
IEEE
Grid environments enable users to share non-dedicated resources that lack performance guarantees. This paper describes the design of application-centric middleware components to a...