156 search results - page 18 / 32 » Practical predicate dispatch |
CAV
2007
Springer
14 years 1 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
EDBT
2009
ACM
14 years 1 months ago
2009
ACM
We investigate the problem of refining SQL queries to satisfy cardinality constraints on the query result. This has applications to the many/few answers problems often faced by da...
WSC
2008
14 years 4 days ago
2008
Pouring a concrete raft slab is a classic problem in downtown projects because it requires special arrangements to be made with city authorities to close the area around the proje...
COMPGEOM
2008
ACM
13 years 11 months ago
2008
ACM
Anisotropic meshes are triangulations of a given domain in the plane or in higher dimensions, with elements elongated along prescribed directions. Anisotropic triangulations have ...
JLP
2000
13 years 9 months ago
2000
interpretation. In the context of stream parallelism, this analysis identi es an amount of input data for which predicate execution can safely wait without danger of introducing de...