4164 search results - page 282 / 833 » Timing model reduction for hierarchical timing analysis |
150
click to vote
EDBT
2010
ACM
16 years 1 months ago
2010
ACM
Since the visualization real estate puts stringent constraints on how much data can be presented to the users at once, table summarization is an essential tool in helping users qu...
163
click to vote
DSD
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper addresses the design issue of System-onelevating the design abstraction levels, through a model-driven approach. It considers the standard Marte profile, which is dedic...
153
click to vote
APN
2004
Springer
16 years 2 days ago
2004
Springer
We consider the problem of model checking modular Petri nets for the linear time logic LTL-X. An algorithm is presented which can use the synchronisation graph from modular analysi...
179
click to vote
ICPPW
2002
IEEE
15 years 11 months ago
2002
IEEE
The aim of this work is to provide a high performance air quality simulation using the STEM-II (Sulphur Transport Eulerian Model 2) program. First of all we optimize the sequentia...
166
click to vote
ANSS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper presents a simulation performance improvement of the application of the Multicomponent Discrete Time System Specification (MultiDTSS) formalism to a fire spread. Multic...