Corpus ID: 171841696

Tiempo lógico en lenguajes de tiempo real

@inproceedings{Breuer1995TiempoLE,
  title={Tiempo l{\'o}gico en lenguajes de tiempo real},
  author={Peter T. Breuer and Natividad Mart{\'i}nez Madrid and Andr{\'e}s Mar{\'i}n L{\'o}pez and Luis S{\'a}nchez Fern{\'a}ndez and Carlos Delgado Kloos},
  year={1995}
}
Este articulo presenta un enfoque general para manejar los eventos de duracion breve en la semantica de los lenguajes de programacion de tiempo real, usando como ejemplo el lenguaje de descripcion hardaware VHDL, estandar del IEEE. Introducimos infinitesimales en la linea del tiempo para modelar dichos eventos. Demostramos que esto no afecta a la semantica que modela el comportamiento en tiempo apreciable. 

Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv