PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Maraninchi, Florence"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form.

, , , , , und . ECEASST, (2009)

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.

Florence Bockting University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level., , und . ACSD, Seite 26-35. IEEE Computer Society, (2005)The ARESA Project: Facilitating Research, Development and Commercialization of WSNs., , , , , , , , , und 2 andere Autor(en). SECON, Seite 590-599. IEEE, (2007)Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework., , und . Sci. Comput. Program., 63 (3): 297-320 (2006)Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip., , und . EMSOFT, Seite 317-324. ACM, (2005)System-level modeling of energy in TLM for early validation of power and thermal management., , und . DATE, Seite 1609-1614. EDA Consortium San Jose, CA, USA / ACM DL, (2013)Argonaute: Graphical Description, Semantics and Verification of Reactive Systems by Using a Process Algebra.. Automatic Verification Methods for Finite State Systems, Volume 407 von Lecture Notes in Computer Science, Seite 38-53. Springer, (1989)Foreword., , und . Electron. Notes Theor. Comput. Sci., (2004)Preface., , und . Electron. Notes Theor. Comput. Sci., 153 (4): 1-2 (2006)Argos: an automaton-based synchronous language., und . Comput. Lang., 27 (1/3): 61-92 (2001)AreaCast: A cross-layer approach for a communication by area in Wireless Sensor Networks., , und . ICON, Seite 112-117. IEEE, (2011)