Sciweavers

1943 search results - page 54 / 389
» End-to-End Integration Testing
Sort
View
106
Voted
CASC
2010
Springer
151views Mathematics» more  CASC 2010»
14 years 11 months ago
Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests
Convexity is an important property in nonlinear optimization since it allows to apply efficient local methods for finding global solutions. We propose to apply symbolic methods t...
Winfried Neun, Thomas Sturm, Stefan Vigerske
ESEM
2009
ACM
14 years 10 months ago
Productivity trends in incremental and iterative software development
In an investigating study to trace the productivity changes of a commercial software project, which uses incremental and iterative development model, we've found evidence tha...
Thomas Tan, Qi Li, Barry W. Boehm, Ye Yang, Mei He...
103
Voted
USS
2008
15 years 2 months ago
Pre-Election Testing and Post-Election Audit of Optical Scan Voting Terminal Memory Cards
Optical scan electronic voting machines employ software components that are customized for each specific election. Such software components are critical from a security and integr...
Seda Davtyan, Sotiris Kentros, Aggelos Kiayias, La...
INTEGRATION
1998
96views more  INTEGRATION 1998»
15 years 6 days ago
BIST for systems-on-a-chip
An increasing part of microelectronic systems is implemented on the basis of predesigned and preverified modules, so-called cores, which are reused in many instances. Core-provide...
Hans-Joachim Wunderlich
76
Voted
ITC
2003
IEEE
109views Hardware» more  ITC 2003»
15 years 5 months ago
The P1500 DFT Disclosure Document: A Standard to Communicate Mergeable Core DFT Data
While the IEEE P1500 standards working group is on the verge of recommending a standard test interface for "non-mergeable" cores, a need was felt to adopt a standard met...
Michael G. Wahl, Sudipta Bhawmik, Kamran Zarrineh,...