( en | de | ru )

 

Disambiguierung von "Fummi, Franco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A framework for design space exploration and performance analysis of networked embedded systems.

, , , , und . RAPIDO, Seite 2:1-2:8. ACM, (2014)

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.

Franco Kämmer

Franco Nüske

Franco Nüske

Franco Caldarone

Franco Lehmann

 

Weitere Publikationen von Autoren mit dem selben Namen

Symbolic Optimization of FSM Networks Based on Sequential ATPG Techniques., , , , und . DAC, Seite 467-470. ACM Press, (1996)Symbolic optimization of interacting controllers based onredundancy identification and removal., , , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 19 (7): 760-772 (2000)A Layered Methodology for the Simulation of Extra-Functional Properties in Smart Systems., , , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 36 (10): 1702-1715 (2017)Production Recipe Validation through Formalization and Digital Twin Generation., , , , und . DATE, Seite 1698-1703. IEEE, (2020)Disentangled Latent Spaces Facilitate Data-Driven Auxiliary Learning., , , , , , und . CoRR, (2023)Dynamic property mining for embedded software., , , , und . CODES+ISSS, Seite 187-196. ACM, (2012)A SystemC-based platform for assertion-based verification and mutation analysis in systems biology., , , , , , und . LATS, Seite 159-164. IEEE, (2016)A fault tolerant incremental design methodology., , und . ISCAS (3), Seite 161-164. IEEE, (2002)On the automatic synthesis of parallel SW from RTL models of hardware IPs., , , und . ACM Great Lakes Symposium on VLSI, Seite 71-74. ACM, (2012)A timing-accurate modeling and simulation environment for networked embedded systems., , , , , und . DAC, Seite 42-47. ACM, (2003)