Artículo
Wainer, G.A. "Improved cellular models with parallel cell-DEVS" (2000) Transactions of the Society for Computer Simulation. 17(2):73-88
Estamos trabajando para incorporar este artículo al repositorio
Consulte la política de Acceso Abierto del editor
Abstract:
The Cell-DEVS paradigm allows the specification of executable cell spaces with timing delays. This approach allows easy definition of complex behavior in physical systems, which can be verified formally. The original definition of this formalism can lead to serialization and incorrect execution when the models are considered to execute in parallel. The extension presented here permits parallel specification of these models, and an associated simulation mechanism allows their execution. Cell-DEVS models include timing delay constructions, whose behavior was extended, and whose use is exemplified in detail. These new constructions improve the definition of complex timing behavior, reducing the complexity of the rules needed to represent it. In addition, neighborhood sizes can be reduced, cutting down the overhead involved, and allowing a higher number of quiescent cells in the model. Copyright © 2000 The Society for Computer Simulation International.
Registro:
| Documento: | Artículo |
| Título: | Improved cellular models with parallel cell-DEVS |
| Autor: | Wainer, G.A. |
| Filiación: | Departamento de Computación, Facultad de Ciencias Exactas Y Naturales, Universidad de Buenos Aires, Pabellón I - Ciudad Universitaria, Buenos Aires (1428), Argentina |
| Palabras clave: | Cell-devs models; Devs paradigm; Discrete event simulation; Modelling methodologies; Parallel devs models |
| Año: | 2000 |
| Volumen: | 17 |
| Número: | 2 |
| Página de inicio: | 73 |
| Página de fin: | 88 |
| Título revista: | Transactions of the Society for Computer Simulation |
| Título revista abreviado: | Trans Soc Comput Simul |
| ISSN: | 07406797 |
| CODEN: | TSCSE |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_07406797_v17_n2_p73_Wainer |
Referencias:
- Wainer, G., Giambiasi, N. "Specification, Modeling and Simulation of Timed Cell-DEVS Spaces." Technical Report No., , 98007, Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, 1998
- Cellular Models with Explicit Delays." PhD Thesis, Université D'Aix-Marseille III, , 1998
- Theory, Z.B., Of Modeling and Simulation, First Edition, Wiley, , 1976
- Multifaceted, Z.B., Modelling and Discrete Event Simulation, Academic Press, , 1984
- Theory, W.S., And Applications of Cellular Automata. Vol., , 1, Advances Series on Complex Systems, World Scientific, Singapore, 1986
- Giambiasi, N., Miara, A. "SILOG: a Practical Tool for Digital Logic Circuit Simulation." Proceedings of the, , 16th D.A.C., San Diego, 1976
- Ghosh, S., Giambiasi, N. "On the Need for Consistency between the VHDL Language Constructions and the Underlying Hardware Design." Proceedings of the, , 8th European Simulation Symposium, Vol. 1, Genoa, Italy, pp 562-567, 1996
- Barylko, Beyoglonian, J. and Wainer, G. "GAD: a General Application DEVS Environment." Proceedings of IASTED Applied Modelling and Simulation ', , 98, Hawaii, 1998
- Barylko, Beyoglonian, J. and Wainer, G. "CD++: a Tool to Develop Binary Cell-DEVS Models" (In Spanish). Proceedings of the XXII Latin-American Conference on Informatics, Quito, Ecuador, , 1998
- Rodriguez, D., Wainer, G. "New Extensions to the CD++ Tool." in Proceedings of the SCS Summer Computer Simulation Conference, San Diego, , 1999
- Simulation of Discrete Events." Communications of the ACM, Vol., , 33, No. 10, pp 30-53, 1990
- Chow, A., Zeigler, B. "Abstract Simulator for the Parallel DEVS Formalism." Proceedings of the Winter Simulation Conference, , 1994
- Chow, A., Zeigler, B. "Revised DEVS: a Parallel, Hierarchical, Modular Modeling Formalism." Technical Report, University of Arizona, , 1994
- Fantastic Combinations of John Conway's New Solitaire Game 'Life.'" Scientific American, Vol., , 23, No. 4, pp 120-123, April 1970
- Of Parallel Cell-DEVS Spaces." Technical Report No., , 98-021, Departamento de Computation, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, 1998
Citas:
---------- APA ----------
(2000) . Improved cellular models with parallel cell-DEVS. Transactions of the Society for Computer Simulation, 17(2), 73-88.Recuperado de https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_07406797_v17_n2_p73_Wainer [ ]
---------- CHICAGO ----------
Wainer, G.A. "Improved cellular models with parallel cell-DEVS" . Transactions of the Society for Computer Simulation 17, no. 2 (2000) : 73-88.Recuperado de https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_07406797_v17_n2_p73_Wainer [ ]
---------- MLA ----------
Wainer, G.A. "Improved cellular models with parallel cell-DEVS" . Transactions of the Society for Computer Simulation, vol. 17, no. 2, 2000, pp. 73-88.Recuperado de https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_07406797_v17_n2_p73_Wainer [ ]
---------- VANCOUVER ----------
Wainer, G.A. Improved cellular models with parallel cell-DEVS. Trans Soc Comput Simul. 2000;17(2):73-88.Available from: https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_07406797_v17_n2_p73_Wainer [ ]
