3522 search results - page 98 / 705 » Incremental physical design |
146
click to vote
IDEAS
2008
IEEE
16 years 23 days ago
2008
IEEE
In this paper we show the usefulness and feasibility of applying conventional SQL queries for analyzing a wide spectrum of data streams. As application area we have chosen the ana...
191
click to vote
LPAR
2005
Springer
15 years 12 months ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...
153
click to vote
HYBRID
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper we present algorithms and tools for fast and efficient reachability analysis, applicable to continuous and hybrid systems. Most of the work on reachability ...
175
click to vote
ICPADS
2002
IEEE
15 years 11 months ago
2002
IEEE
Nowadays, the commonly used table lookup scheme for IP routing is based on the so-called classless interdomain routing (CIDR). With CIDR, routers must find out the best matching ...
165
click to vote
GI
2007
Springer
15 years 10 months ago
2007
Springer
: Test-case generation with model-checkers is a promising field of research in software testing. Model-checker based approaches offer many advantages: They are fully automated, the...