3192 search results - page 35 / 639 » Translating Model Simulators to Analysis Models |
82
Voted
ICMCS
2009
IEEE
14 years 7 months ago
2009
IEEE
- In modern video coding standards, motion compensated prediction (MCP) plays a key role to achieve video compression efficiency. Most of them make use of block matching techniques...
93
Voted
WSC
2004
14 years 11 months ago
2004
This paper discusses an extended adaptive supply network simulation model that explicitly captures growth (in terms of change in size over time, and birth and death) based on Utte...
76
Voted
FSEN
2009
Springer
15 years 4 months ago
2009
Springer
We present an automata theoretic framework for modular schedulability analysis of real time asynchronous objects modeled in the language Creol. In previous work we analyzed the sch...
QEST
2009
IEEE
15 years 4 months ago
2009
IEEE
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
WSC
2007
14 years 12 months ago
2007
The paper presents an extensible Petri Net Markup Language (xPNML), which is an extended version of PNML. The xPNML format overcomes limitations associated with PNML structure for...