13 search results - page 2 / 3 » YAVISTA: A Graphical Tool for Comparing 802.11 Simulators |
MODELS
2007
Springer
13 years 11 months ago
2007
Springer
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, have become standard practice in the design of reactive embedded devices. Statecharts are often mor...
ICCAD
2007
IEEE
13 years 6 months ago
2007
IEEE
– Interconnect issues are becoming increasingly important for ULSI systems. IntSim, an interconnect CAD tool, has been developed to obtain pitches of different wiring levels and ...
BMCBI
2005
13 years 4 months ago
2005
Background: Coalescent simulations are playing a large role in interpreting large scale intraspecific sequence or polymorphism surveys and for planning and evaluating association ...
HYBRID
2005
Springer
13 years 10 months ago
2005
Springer
In this paper, we present a new design methodology for synchronous reactive systems, based on a clear separation between control and data flow parts. This methodology allows to fa...
FASE
2004
Springer
13 years 8 months ago
2004
Springer
We present a formal operational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink tool suite that is widely used in model-based development of...