Sciweavers

2379 search results - page 126 / 476
» Modeling, scheduling, and simulation of switched processing ...
Sort
View
WSC
2004
15 years 5 months ago
Single-Threaded Specification of Process-Interaction Formalism in Java
In order to support the conceptualization and specification of simulation models of complex systems, several formalisms or world views exist. Petri nets, differential equations, d...
Peter H. M. Jacobs, Alexander Verbraeck
SCFBM
2008
112views more  SCFBM 2008»
15 years 3 months ago
The Multiscale Systems Immunology project: software for cell-based immunological simulation
Background: Computer simulations are of increasing importance in modeling biological phenomena. Their purpose is to predict behavior and guide future experiments. The aim of this ...
Faheem Mitha, Timothy A. Lucas, Feng Feng, Thomas ...
DAC
2004
ACM
16 years 5 months ago
Leakage aware dynamic voltage scaling for real-time embedded systems
A five-fold increase in leakage current is predicted with each technology generation. While Dynamic Voltage Scaling (DVS) is known to reduce dynamic power consumption, it also cau...
Ravindra Jejurikar, Cristiano Pereira, Rajesh K. G...
ACSD
2005
IEEE
126views Hardware» more  ACSD 2005»
15 years 10 months ago
Modelling and Analysis of Distributed Simulation Protocols with Distributed Graph Transformation
This paper presents our approach to model distributed discrete event simulation systems in the framework of distributed graph transformation. We use distributed typed attributed g...
Juan de Lara, Gabriele Taentzer
ICCAD
2007
IEEE
67views Hardware» more  ICCAD 2007»
16 years 1 months ago
Stabilizing schemes for piecewise-linear reduced order models via projection and weighting functions
— In this paper we present several results concerning the stabilization of piecewise-linear reduced order models. We include proofs of internal and external stability for models ...
Bradley N. Bond, Luca Daniel