Autor der Publikation

Signal-A data flow-oriented language for signal processing.

, , , und . IEEE Trans. Acoustics, Speech, and Signal Processing, 34 (2): 362-374 (1986)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Gautier, Thierry
Eine Person hinzufügen mit dem Namen Gautier, Thierry
 

Weitere Publikationen von Autoren mit dem selben Namen

Signal-A data flow-oriented language for signal processing., , , und . IEEE Trans. Acoustics, Speech, and Signal Processing, 34 (2): 362-374 (1986)A metamodel for the design of polychronous systems., , , und . J. Log. Algebr. Program., 78 (4): 233-259 (2009)A module language for typing by contracts., , , und . NASA Formal Methods, Volume NASA/CP-2009-215407 von NASA Conference Proceedings, Seite 86-95. (2009)The SIGNAL Approach to the Design of System Architectures., und . ECBS, Seite 80-88. IEEE Computer Society, (2003)Flexible Rollback Recovery in Dynamic Heterogeneous Grid Computing., , und . IEEE Trans. Dependable Sec. Comput., 6 (1): 32-44 (2009)Towards SMV Model Checking of Signal (multi-clocked) Specifications., und . ECEASST, (2009)Programming Real-Time with Events and Data Flow., , , und . IFIP Congress, Seite 469-474. North-Holland/IFIP, (1986)Polychronous design of embedded real-time applications., , , und . ACM Trans. Softw. Eng. Methodol., 16 (2): 9 (2007)Polychronous modeling, analysis, verification and simulation for timed software architectures., , , , , und . Journal of Systems Architecture - Embedded Systems Design, 59 (10-D): 1157-1170 (2013)Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony., , , , , , und . Sci. Comput. Program., (2015)