Busque entre los 164415 recursos disponibles en el repositorio
Mostrar el registro sencillo del ítem
dc.date.accessioned | 2017-12-05T18:10:09Z | |
dc.date.available | 2017-12-05T18:10:09Z | |
dc.date.issued | 2017-10 | |
dc.identifier.uri | http://sedici.unlp.edu.ar/handle/10915/63949 | |
dc.description.abstract | Los Sistemas embebidos, concurrentes y reactivos ejecutan algoritmos con restricciones según los requerimientos de la implementación. Para implementar estos sistemas mediante el uso de hardware y software es posible usar un Procesador de Petri. Desacoplando la lógica y la política de las acciones del sistema se mejora la mantenibilidad y se facilita la validación. Para lograr esto se integra el procesador de Petri con otros procesadores tradicionales, conformando un sistema heterogéneo, lo que agrega la capacidad de verificar el sistema con los formalismos matemáticos del modelo empleado en las redes de Petri. En este artículo se expone una arquitectura modular del Procesador de Petri y la incorporación de colas programables para mejorar la mantenibilidad, el reúso de los módulos y extender su semántica. | es |
dc.format.extent | 904-913 | es |
dc.language | es | es |
dc.subject | procesadores heterogéneos | es |
dc.subject | Petri nets | es |
dc.subject | FPGA | en |
dc.subject | IP Core | en |
dc.title | Procesador de Petri modular para sistemas embebidos | es |
dc.type | Objeto de conferencia | es |
sedici.identifier.isbn | 978-950-34-1539-9 | es |
sedici.creator.person | Micolini, Orlando | es |
sedici.creator.person | Daniele, Emiliano | es |
sedici.creator.person | Ventre, Luis O. | es |
sedici.creator.person | Cebollada, Marcelo | es |
sedici.creator.person | Eschoyez, Maximiliano | es |
sedici.description.note | XII Workshop de Arquitecturas, Redes y Sistemas Opearativos (WARSO). | es |
sedici.subject.materias | Ciencias Informáticas | es |
sedici.description.fulltext | true | es |
mods.originInfo.place | Red de Universidades con Carreras en Informática (RedUNCI) | es |
sedici.subtype | Objeto de conferencia | es |
sedici.rights.license | Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) | |
sedici.rights.uri | http://creativecommons.org/licenses/by-nc-sa/4.0/ | |
sedici.date.exposure | 2017-10 | |
sedici.relation.event | XXIII Congreso Argentino de Ciencias de la Computación (La Plata, 2017). | es |
sedici.description.peerReview | peer-review | es |