Sciweavers

1461 search results - page 146 / 293
» On Regular Reduced Products
Sort
View
SIGMOD
2009
ACM
121views Database» more  SIGMOD 2009»
14 years 9 months ago
Query-aware shrinking test databases
Keeping the test databases as small as possible leads to faster execution of tests and facilitates the task of completing the test cases and evaluating the actual outputs against ...
Claudio de la Riva, Javier Tuya, María Jos&...
ICSE
2003
IEEE-ACM
14 years 9 months ago
Assessing Test-Driven Development at IBM
In a software development group of IBM Retail Store Solutions, we built a non-trivial software system based on a stable standard specification using a disciplined, rigorous unit t...
E. Michael Maximilien, Laurie A. Williams
ICSE
2005
IEEE-ACM
14 years 9 months ago
Check 'n' crash: combining static checking and testing
We present an automatic error-detection approach that combines static checking and concrete test-case generation. Our approach consists of taking the abstract error conditions inf...
Christoph Csallner, Yannis Smaragdakis
ICCD
2008
IEEE
118views Hardware» more  ICCD 2008»
14 years 6 months ago
Adaptive techniques for leakage power management in L2 cache peripheral circuits
— Recent studies indicate that a considerable amount of an L2 cache leakage power is dissipated in its peripheral circuits, e.g., decoders, word-lines and I/O drivers. In additio...
Houman Homayoun, Alexander V. Veidenbaum, Jean-Luc...
ARITH
2009
IEEE
14 years 4 months ago
Selected RNS Bases for Modular Multiplication
The selection of the elements of the bases in an RNS modular multiplication method is crucial and has a great impact in the overall performance. This work proposes specific sets ...
Jean-Claude Bajard, Marcelo E. Kaihara, Thomas Pla...