Sciweavers

2211 search results - page 185 / 443
» The state of peer-to-peer simulators and simulations
Sort
View
ACRI
2004
Springer
15 years 12 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
ICCS
2004
Springer
15 years 12 months ago
Improvements in FSM Evolutions from Partial Input/Output Sequences
This work focuses on the synthesis of finite-state machines (FSMs) by observing its input/output behaviors. Evolutionary approaches that have been proposed to solve this problem do...
Sérgio G. Araújo, Antônio C. M...
BIRTHDAY
2003
Springer
15 years 11 months ago
On the Computational Complexity of Hierarchical Radiosity
The hierarchical radiosity algorithm is an efficient approach to simulation of light with the goal of photo-realistic image rendering. Hanrahan et. al. describe the initialization ...
Robert Garmann, Heinrich Müller
ISCAS
1999
IEEE
74views Hardware» more  ISCAS 1999»
15 years 10 months ago
Mismatch-shaping serial digital-to-analog converter
A simple but accurate pseudo-passive mismatch-shaping D/A converter is described. A digital state machine is used to control the switching sequence of a symmetric two-capacitor ne...
Jesper Steensgaard, Un-Ku Moon, Gabor C. Temes
HYBRID
1998
Springer
15 years 10 months ago
Hybrid cc with Interval Constraints
Abstract. Hybrid cc is a constraint programming language suitable for modeling, controlling and simulating hybrid systems, i.e. systems with continuous and discrete state changes. ...
Björn Carlson, Vineet Gupta