Sciweavers

29147 search results - page 149 / 5830
» System Modeling Resurrected
Sort
View
JCIT
2010
160views more  JCIT 2010»
14 years 11 months ago
An Improved Dynamic Load Balancing Algorithm for a Distributed System in LAN
A dynamic time delay model for load balancing was proposed in distributed heterogeneous system by Hayat. But how to compute the load-transfer delay and the gain coefficient were n...
Jie Huang, Bei Huang, Qiucen Huang
CAL
2011
14 years 4 months ago
DRAMSim2: A Cycle Accurate Memory System Simulator
—In this paper we present DRAMSim2, a cycle accurate memory system simulator. The goal of DRAMSim2 is to be an accurate and publicly available DDR2/3 memory system model which ca...
Paul Rosenfeld, Elliott Cooper-Balis, Bruce Jacob
ENTCS
2002
91views more  ENTCS 2002»
15 years 4 months ago
Petri nets with causal time for system verification
We present a new approach to the modelling of time constrained systems. It is based on untimed high-level Petri nets using the concept of causal time. With this concept, the progr...
Cécile Bui Thanh, Hanna Klaudel, Franck Pom...
139
Voted
PPSN
2010
Springer
15 years 3 months ago
An Analysis of the XOR Dynamic Problem Generator Based on the Dynamical System
In this paper, we use the exact model (or dynamical system approach) to describe the standard evolutionary algorithm (EA) as a discrete dynamical system for dynamic optimization pr...
Renato Tinós, Shengxiang Yang
149
Voted
CAV
2010
Springer
227views Hardware» more  CAV 2010»
15 years 2 months ago
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
Alexandre Donzé