402 search results - page 22 / 81 » Automatic Abstraction for Worst-Case Analysis of Discrete Sy... |
HYBRID
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. In many cases, complex system behaviors are naturally modeled as nonlinear differential equations. However, these equations are often hard to analyze because of "sti...
HYBRID
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— Frequency synchronization is one of the most important components in orthogonal frequency-division multiplexing (OFDM) systems. Recently, the discrete cosine transform ...
COSPS
2001
Springer
14 years 1 days ago
2001
Springer
Abstract. Array privatization is one of the most e ective transformations for the exploitation of parallelism. In this paper, we present a technique for automatic array privatizati...
ICFEM
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...