Sciweavers

80 search results - page 7 / 16
» Cell Modeling Using Agent-Based Formalisms
Sort
View
ACSD
2009
IEEE
136views Hardware» more  ACSD 2009»
14 years 3 months ago
Model Checking Verilog Descriptions of Cell Libraries
We present a formal semantics for a subset of Verilog, commonly used to describe cell libraries, in terms of transition systems. Such transition systems can serve as input to symb...
Matthias Raffelsieper, Jan-Willem Roorda, Mohammad...
ANSS
2000
IEEE
14 years 1 months ago
Specifying Truck Movement in Traffic Models Using Cell-DEVS
A specification language was defined to outline sections of cities as cell spaces. The goal is to allow the definition of complex traffic models in a simple fashion for the modele...
Alejandra Davidson, Gabriel A. Wainer
ANSS
2003
IEEE
14 years 1 months ago
Implementing Parallel Cell-DEVS
Cell-DEVS is a formalism intended to model complex physical systems as cell spaces. Cell-DEVS allow describing cellular models using timing delay constructions, allowing simple de...
Alejandro Troccoli, Gabriel A. Wainer
ACRI
2004
Springer
14 years 2 months ago
Improved Cell-DEVS Model Definition in CD++
We describe two improvements made to CD++, a tool for modeling and simulation of cellular models based on the Cell-DEVS formalism. The modifications described in this work remove s...
Alejandro López, Gabriel A. Wainer
SIMPRA
2008
131views more  SIMPRA 2008»
13 years 8 months ago
Distributed simulation of DEVS and Cell-DEVS models in CD++ using Web-Services
: DEVS is a Modeling and Simulation formalism that has been widely used to study the dynamics of discrete event systems. Cell-DEVS is a DEVS-based formalism that defines spatial mo...
Gabriel A. Wainer, Rami Madhoun, Khaldoon Al-Zoubi