7167 search results - page 202 / 1434 » A Technique for Invariant Generation |
235
click to vote
KBSE
2010
IEEE
15 years 5 months ago
2010
IEEE
Software testing has been commonly used in assuring the quality of database applications. It is often prohibitively expensive to manually write quality tests for complex database ...
193
click to vote
ESEC
1999
Springer
15 years 11 months ago
1999
Springer
Building software systems out of pre-fabricated components is a very attractive vision. Distributed Component Platforms (DCP) and their visual development environments bring this v...
185
click to vote
ISCAS
2007
IEEE
16 years 1 months ago
2007
IEEE
: Future generations of wireless communications are expected to place increasing burdens on the efficiency and linearity of power amplifiers, due to the use of more complex wavefor...
174
click to vote
CGF
2005
15 years 7 months ago
2005
We introduce a technique to rapidly generate summed-area tables using graphics hardware. Summed area tables, originally introduced by Crow, provide a way to filter arbitrarily lar...
192
click to vote
ICDE
2010
IEEE
16 years 4 months ago
2010
IEEE
— Multi-criteria decision support (MCDS) is crucial in many business and web applications such as web searches, B2B portals and on-line commerce. Such MCDS applications need to r...