Improved cellular models with parallel cell-DEVS
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...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Capítulo de libro |
| Lenguaje: | Inglés |
| Publicado: |
2000
|
| Acceso en línea: | Registro en Scopus Handle Registro en la Biblioteca Digital |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| LEADER | 05114caa a22005177a 4500 | ||
|---|---|---|---|
| 001 | PAPER-2170 | ||
| 003 | AR-BaUEN | ||
| 005 | 20230518203133.0 | ||
| 008 | 190411s2000 xx ||||fo|||| 00| 0 eng|d | ||
| 024 | 7 | |2 scopus |a 2-s2.0-0002048342 | |
| 040 | |a Scopus |b spa |c AR-BaUEN |d AR-BaUEN | ||
| 030 | |a TSCSE | ||
| 100 | 1 | |a Wainer, G.A. | |
| 245 | 1 | 0 | |a Improved cellular models with parallel cell-DEVS |
| 260 | |c 2000 | ||
| 270 | 1 | 0 | |m Wainer, G.A.; Departamento de Computación, Facultad de Ciencias Exactas Y Naturales, Universidad de Buenos Aires, Pabellón I - Ciudad Universitaria, Buenos Aires (1428), Argentina; email: gabrielw@dc.uba.ar |
| 506 | |2 openaire |e Política editorial | ||
| 504 | |a 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 | ||
| 504 | |a Cellular Models with Explicit Delays." PhD Thesis, Université D'Aix-Marseille III, , 1998 | ||
| 504 | |a Theory, Z.B., Of Modeling and Simulation, First Edition, Wiley, , 1976 | ||
| 504 | |a Multifaceted, Z.B., Modelling and Discrete Event Simulation, Academic Press, , 1984 | ||
| 504 | |a Theory, W.S., And Applications of Cellular Automata. Vol., , 1, Advances Series on Complex Systems, World Scientific, Singapore, 1986 | ||
| 504 | |a Giambiasi, N., Miara, A. "SILOG: a Practical Tool for Digital Logic Circuit Simulation." Proceedings of the, , 16th D.A.C., San Diego, 1976 | ||
| 504 | |a 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 | ||
| 504 | |a Barylko, Beyoglonian, J. and Wainer, G. "GAD: a General Application DEVS Environment." Proceedings of IASTED Applied Modelling and Simulation ', , 98, Hawaii, 1998 | ||
| 504 | |a 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 | ||
| 504 | |a Rodriguez, D., Wainer, G. "New Extensions to the CD++ Tool." in Proceedings of the SCS Summer Computer Simulation Conference, San Diego, , 1999 | ||
| 504 | |a Simulation of Discrete Events." Communications of the ACM, Vol., , 33, No. 10, pp 30-53, 1990 | ||
| 504 | |a Chow, A., Zeigler, B. "Abstract Simulator for the Parallel DEVS Formalism." Proceedings of the Winter Simulation Conference, , 1994 | ||
| 504 | |a Chow, A., Zeigler, B. "Revised DEVS: a Parallel, Hierarchical, Modular Modeling Formalism." Technical Report, University of Arizona, , 1994 | ||
| 504 | |a Fantastic Combinations of John Conway's New Solitaire Game 'Life.'" Scientific American, Vol., , 23, No. 4, pp 120-123, April 1970 | ||
| 504 | |a Of Parallel Cell-DEVS Spaces." Technical Report No., , 98-021, Departamento de Computation, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, 1998 | ||
| 520 | 3 | |a 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. |l eng | |
| 593 | |a Departamento de Computación, Facultad de Ciencias Exactas Y Naturales, Universidad de Buenos Aires, Pabellón I - Ciudad Universitaria, Buenos Aires (1428), Argentina | ||
| 690 | 1 | 0 | |a CELL-DEVS MODELS |
| 690 | 1 | 0 | |a DEVS PARADIGM |
| 690 | 1 | 0 | |a DISCRETE EVENT SIMULATION |
| 690 | 1 | 0 | |a MODELLING METHODOLOGIES |
| 690 | 1 | 0 | |a PARALLEL DEVS MODELS |
| 773 | 0 | |d 2000 |g v. 17 |h pp. 73-88 |k n. 2 |p Trans Soc Comput Simul |x 07406797 |t Transactions of the Society for Computer Simulation | |
| 856 | 4 | 1 | |u https://www.scopus.com/inward/record.uri?eid=2-s2.0-0002048342&partnerID=40&md5=6de08375ded0ecbe56f39c18e4dbe0f5 |y Registro en Scopus |
| 856 | 4 | 0 | |u https://hdl.handle.net/20.500.12110/paper_07406797_v17_n2_p73_Wainer |y Handle |
| 856 | 4 | 0 | |u https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_07406797_v17_n2_p73_Wainer |y Registro en la Biblioteca Digital |
| 961 | |a paper_07406797_v17_n2_p73_Wainer |b paper |c PE | ||
| 962 | |a info:eu-repo/semantics/article |a info:ar-repo/semantics/artículo |b info:eu-repo/semantics/publishedVersion | ||
| 999 | |c 63123 | ||