Sciweavers

382 search results - page 30 / 77
» Performance Testing on an Agile Project
Sort
View
166
Voted
FOCS
2008
IEEE
16 years 1 months ago
Two Query PCP with Sub-Constant Error
We show that the NP-Complete language 3SAT has a PCP verifier that makes two queries to a proof of almost-linear size and achieves sub-constant probability of error o(1). The ver...
Dana Moshkovitz, Ran Raz
TREC
1997
15 years 8 months ago
Cross Language Retrieval with the Twenty-One system
The EU project Twenty-One will support cross language queries in a multilingual document base. A prototype version of the Twenty-Onesystem has been subjected to the Cross Language...
Wessel Kraaij, Djoerd Hiemstra
ISOLA
2004
Springer
16 years 7 days ago
Case Studies with Lurette V2
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
Erwan Jahier, Pascal Raymond, Philippe Baufreton
ICIP
2006
IEEE
16 years 8 months ago
An Architecture for Compressive Imaging
Compressive Sensing is an emerging field based on the revelation that a small group of non-adaptive linear projections of a compressible signal contains enough information for rec...
Michael B. Wakin, Jason N. Laska, Marco F. Duarte,...
CSMR
2010
IEEE
15 years 1 months ago
Reverse Engineering Component Models for Quality Predictions
Legacy applications are still widely spread. If a need to change deployment or update its functionality arises, it becomes difficult to estimate the performance impact of such modi...
Steffen Becker, Michael Hauck, Mircea Trifu, Klaus...