×

Found 3 Documents (Results 1–3)

Contract-based design for computation and verification of a closed-loop hybrid system. (English) Zbl 1144.93313

Egerstedt, Magnus (ed.) et al., Hybrid systems: Computation and control. 11th international workshop, HSCC 2008, St. Louis, MO, USA, April 22–24, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78928-4/pbk). Lecture Notes in Computer Science 4981, 58-71 (2008).
MSC:  93B51 93C30
PDFBibTeX XMLCite
Full Text: DOI

An enhanced POLIS framework for fast exploration and implementation of I/O subsystems on CSoC platforms. (English) Zbl 1020.68539

Glesner, Manfred (ed.) et al., Field-programmable logic and applications. Reconfigurable computing is going mainstream. 12th international conference, FPL 2002, Montpellier, France, September 2-4, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2438, 677-686 (2002).
MSC:  68U99 94C10
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

Year of Publication

Main Field