Sciweavers

1237 search results - page 135 / 248
» Foundations of Modelling and Simulation of Complex Systems
Sort
View
FDL
2007
IEEE
15 years 10 months ago
Mapping Actor-Oriented Models to TLM Architectures
Actor-oriented modeling approaches are convenient for implementing functional models of embedded systems. Architectural models for heterogeneous system-on-chip architectures, howe...
Jens Gladigau, Christian Haubelt, Bernhard Niemann...
TOG
2012
258views Communications» more  TOG 2012»
13 years 6 months ago
Stitch meshes for modeling knitted clothing with yarn-level detail
ike abstraction of the yarn model; (c) then, we specify the desired knitting pattern over the stitch mesh’s surface. (d) Following the interactive modeling process, the model goe...
Cem Yuksel, Jonathan M. Kaldor, Doug L. James, Ste...
CCGRID
2001
IEEE
15 years 7 months ago
Performance Evaluation of an Agent-Based Resource Management Infrastructure for Grid Computing
Resource management is an important infrastructure in the grid computing environment. Scalability and adaptability are two key challenges in the implementation of such complex sof...
Junwei Cao, Darren J. Kerbyson, Graham R. Nudd
QEST
2009
IEEE
15 years 10 months ago
Language-Level Symmetry Reduction for Probabilistic Model Checking
—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...
Alastair F. Donaldson, Alice Miller, David Parker
142
Voted
RSP
2002
IEEE
121views Control Systems» more  RSP 2002»
15 years 8 months ago
Rapid Prototyping of Transition Management Code for Reconfigurable Control Systems
This paper presents a rapid prototyping technique that focuses on transition management in hybrid systems. In particular, it integrates hybrid modeling and simulation (for specify...
M. Guler, S. Clements, N. Kejriwal, L. Wills, B. H...