1660 search results - page 82 / 332 » Abstract Application Modeling for System Design Space Explor... |
115
Voted
HYBRID
2004
Springer
15 years 8 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 ...
138
Voted
FORMATS
2010
Springer
15 years 23 days ago
2010
Springer
Abstract. We consider temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain par...
140
Voted
IFM
2009
Springer
15 years 14 days ago
2009
Springer
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
139
Voted
WSC
2004
15 years 4 months ago
2004
Simulation and Emulation techniques are fundamental to aid the process of large-scale protocol design and network operations. However, the results from these techniques are often ...
151
Voted
DT
2006
15 years 2 months ago
2006
process: Designers must define higher abstraction levels that allow system modeling. They must use description languages that handle both hardware and software components to descri...