2887 search results - page 305 / 578 » Name Generation and Linearity |
165
click to vote
ISPASS
2010
IEEE
16 years 1 months ago
2010
IEEE
Abstract—We generate and provide miniature synthetic benchmark clones for modern workloads to solve two pre-silicon design challenges, namely: 1) huge simulation time (weeks to m...
218
click to vote
SIGIR
2009
ACM
16 years 1 months ago
2009
ACM
Indexing and retrieval of speech content in various forms such as broadcast news, customer care data and on-line media has gained a lot of interest for a wide range of application...
163
click to vote
PLDI
2005
ACM
16 years 4 days ago
2005
ACM
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...
162
click to vote
VSTTE
2005
Springer
16 years 1 days ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
195
click to vote
CGO
2004
IEEE
15 years 10 months ago
2004
IEEE
Empirical search is a strategy used during the installation of library generators such as ATLAS, FFTW, and SPIRAL to identify the algorithm or the version of an algorithm that del...