5623 search results - page 89 / 1125 » Incremental Mechanism Design |
124
click to vote
CODES
2007
IEEE
15 years 4 months ago
2007
IEEE
System-level and Platform-based design, along with Transaction Level modeling (TLM) techniques and languages like SystemC, appeared as a response to the ever increasing complexity...
108
Voted
VLDB
1998
ACM
15 years 4 months ago
1998
ACM
The size of The Boeing Company posts some stringent requirements on data warehouse design and implementation. We summarize four interesting and challenging issues in developing ve...
90
Voted
IDEAS
2008
IEEE
15 years 7 months 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...
116
click to vote
LPAR
2005
Springer
15 years 6 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...
HYBRID
2004
Springer
15 years 6 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 ...