3376 search results - page 457 / 676 » Analyzing Software Evolvability |
234
click to vote
SIGMOD
2009
ACM
16 years 6 months ago
2009
ACM
Traditionally, the goal of benchmarking a software system is to evaluate its performance under a particular workload for a fixed configuration. The most prominent examples for eva...
206
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
Translating digital signal processing (DSP) software into its finite-precision hardware implementation is often a timeconsuming task. We describe a new static analysis technique ...
163
click to vote
ICPR
2010
IEEE
16 years 1 months ago
2010
IEEE
Speech processing is typically based on a set of complex algorithms requiring many parameters to be specified. When parts of the speech processing chain do not behave as expected...
192
click to vote
ECBS
2010
IEEE
16 years 1 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
177
click to vote
ATS
2009
IEEE
16 years 1 months ago
2009
IEEE
—In the past, software based scan chain defect diagnosis can be roughly classified into two categories (1) model-based algorithms, and (2) data-driven algorithms. In this paper w...