1813 search results - page 40 / 363 » Instance Pruning Techniques |
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
Structural constraint solving allows finding object graphs that satisfy given constraints, thereby enabling software reliability tasks, such as systematic testing and error recove...
100
click to vote
CAV
2009
Springer
16 years 11 days ago
2009
Springer
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...
RSP
2005
IEEE
15 years 5 months ago
2005
IEEE
Nowadays, Architecture Description Languages (ADLs) are getting popular to speed up the development of complex SoC design, by performing the design space explon a higher level of ...
AVBPA
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Biometric identification has emerged as a reliable means of controlling access to both physical and virtual spaces. In spite of the rapid proliferation of large-scale dat...
104
click to vote
WEBDB
2000
Springer
15 years 3 months ago
2000
Springer
Rewriting queries using views is a powerful technique that has applications in data integration, data warehousing and query optimization. Query rewriting in relational databases i...