Synchronous elastic networks
Visualitza/Obre
Cita com:
hdl:2117/130977
Tipus de documentText en actes de congrés
Data publicació2006
EditorInstitute of Electrical and Electronics Engineers (IEEE)
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
We formally define - at the stream transformer level - a class of synchronous circuits that tolerate any variability in the latency of their environment. We study behavioral properties of networks of such circuits and prove fundamental compositionality results. The paper contributes to bridging the gap between the theory of latency-insensitive systems and the correct implementation of efficient control structures for them.
CitacióKrstic, S. [et al.]. Synchronous elastic networks. A: International Conference on Formal Methods in Computer-Aided Design. "Proceedings of Formal Methods in Computer Aided Design: 12-16 November 2006, San Jose, California, USA". Institute of Electrical and Electronics Engineers (IEEE), 2006, p. 19-30.
ISBN978-0-7695-2707-9
Versió de l'editorhttps://ieeexplore.ieee.org/document/4021004
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
04021004.pdf | 415,6Kb | Visualitza/Obre |