Sciweavers

2211 search results - page 185 / 443
» The state of peer-to-peer simulators and simulations
Sort
View
ACRI
2004
Springer
15 years 4 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 4 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 4 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 3 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 2 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