918 search results - page 162 / 184 » New caching techniques for web search engines |
136
Voted
ICSE
2003
IEEE-ACM
16 years 2 months ago
2003
IEEE-ACM
Software system faults are often caused by unexpected interactions among components. Yet the size of a test suite required to test all possible combinations of interactions can be...
118
click to vote
VMCAI
2009
Springer
15 years 8 months ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...
100
Voted
ESEM
2009
ACM
15 years 8 months ago
2009
ACM
Over the last 25+ years, the software community has been searching for the best models for estimating variables of interest (e.g., cost, defects, and fault proneness). However, li...
198
click to vote
ICDE
2006
IEEE
16 years 3 months ago
2006
IEEE
ConQueSt is a constraint-based querying system devised with the aim of supporting the intrinsically exploratory nature of pattern discovery. It provides users with an expressive c...
135
click to vote
GECCO
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents an efficient technique of designing twodimensional IIR digital filters using a new algorithm involving the tightly coupled synergism of particle swarm optimiza...