Sciweavers

12333 search results - page 300 / 2467
» System Level Modelling for Hardware Software Systems
Sort
View
CODES
2009
IEEE
15 years 11 months ago
A compositional modelling framework for exploring MPSoC systems
Anders Sejer Tranberg-Hansen, Jan Madsen
SIMULATION
2010
96views more  SIMULATION 2010»
15 years 1 months ago
A Formal Framework for Stochastic Discrete Event System Specification Modeling and Simulation
Rodrigo Castro, Ernesto Kofman, Gabriel A. Wainer
WORDS
2005
IEEE
16 years 6 days ago
Towards a Flow Analysis for Embedded System C Programs
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
Jan Gustafsson, Andreas Ermedahl, Björn Lispe...
EUSFLAT
2003
110views Fuzzy Logic» more  EUSFLAT 2003»
15 years 8 months ago
Fuzzy-neuro risk assessment of distributed real-time systems through formal and object-oriented systems modelling
The purpose of this paper is to advocate and encourage the application of fuzzy-neuro algorithms in the risk assessment of Distributed Real-Time (DRT) systems, where object-orient...
Atoosa P.-J. Thunem
ECBS
1999
IEEE
93views Hardware» more  ECBS 1999»
15 years 11 months ago
Structured Specification of Model Interpreters
Model interpreters play an essential role in modelintegrated systems: they transform domain-specific models into executable models. The state-ot-the-art of model interpreter writi...
Gabor Karsai