968 search results - page 136 / 194 » Evaluating Benchmark Subsetting Approaches |
VLSI
2007
Springer
14 years 4 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...
CCECE
2006
IEEE
14 years 4 months ago
2006
IEEE
Several approaches have been proposed to accelerate the NP-complete Boolean Satisfiability problem (SAT) using reconfigurable computing. We present an FPGA based clause evaluator,...
DAWAK
2005
Springer
14 years 3 months ago
2005
Springer
This paper proposes the compression of data in Relational Database Management Systems (RDBMS) using existing text compression algorithms. Although the technique proposed is general...
LCTRTS
2005
Springer
14 years 3 months ago
2005
Springer
Efficient implementation of DSP applications is critical for many embedded systems. Optimising C compilers for embedded processors largely focus on code generation and instructio...
ECCV
2010
Springer
14 years 3 months ago
2010
Springer
Abstract. We present a Bayesian approach for simultaneously estimating the number of people in a crowd and their spatial locations by sampling from a posterior distribution over cr...