Sciweavers

382 search results - page 30 / 77
» Performance Testing on an Agile Project
Sort
View
FOCS
2008
IEEE
15 years 10 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 5 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
15 years 9 months 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 5 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
14 years 11 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...