Sciweavers

29386 search results - page 68 / 5878
» On modeling of self-organizing systems
Sort
View
TOCL
2012
241views Formal Methods» more  TOCL 2012»
13 years 7 days ago
Model Checking of Recursive Probabilistic Systems
Kousha Etessami, Mihalis Yannakakis
ETFA
2005
IEEE
15 years 3 months ago
Modelling of distributed system in one single simulation model: a way to study communications within distributed systems
This paper explains the modelling of distributed discrete-event systems in one single simulation model. Our purpose was to evaluate the design of the distributed system and to hig...
G. Christine, G. Emilie
FDL
2004
IEEE
15 years 1 months ago
Real-Time Operating System Services for Realistic SystemC Simulation Models of Embedded Systems
gn process of embedded systems moves currently towards higher levels of abstraction. As a consequence, a need arises for an early and realistic assessment of system level design d...
P. Hastono, Stephan Klaus, Sorin A. Huss
FDL
2005
IEEE
15 years 3 months ago
System model of an inertial navigation system using SystemC-AMS
This paper presents an approach for modeling an inertial navigation system. This system consists of a 3D acceleration and rotation sensor array, analog and digital error correctio...
Erik Markert, Göran Herrmann, Dietmar Mü...