Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

SystemCXML: An Exstensible SystemC Front end Using XML.

D. Berner, J. Talpin, H. Patel, D. Mathaikutty, und S. Shukla. FDL, Seite 405-409. ECSI, (2005)

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.

Pierre Nacke University of Stuttgart

Dr. rer. nat. Pierre Eckold University of Stuttgart

Pierre Kuna University of Stuttgart

Jean-Noel Grad University of Stuttgart

Jean-Louis Hoslauer University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

POLYCHRONY for System Design.P. Guernic, J. Talpin, und J. Lann. Journal of Circuits, Systems, and Computers, 12 (3): 261-304 (2003)An algebraic theory for behavioral modeling and protocol synthesis in system design.J. Talpin, und P. Guernic. Formal Methods in System Design, 28 (2): 131-151 (2006)From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations.D. Potop-Butucaru, R. de Simone, Y. Sorel, und J. Talpin. ACSD, Seite 42-51. IEEE Computer Society, (2009)Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form.L. Besnard, T. Gautier, M. Moy, J. Talpin, K. Johnson, und F. Maraninchi. ECEASST, (2009)Virtual prototyping AADL architectures in a polychronous model of computation.Y. Ma, J. Talpin, und T. Gautier. MEMOCODE, Seite 139-148. IEEE Computer Society, (2008)Buffer minimization in earliest-deadline first scheduling of dataflow graphs.A. Bouakaz, und J. Talpin. LCTES, Seite 133-142. ACM, (2013)Constructive polychronous systems.J. Talpin, J. Brandt, M. Gemünde, K. Schneider, und S. Shukla. Sci. Comput. Program., (2014)A higher-order extension for imperative synchronous languages.E. Vecchié, J. Talpin, und S. Boisgérault. SCOPES, Seite 7. ACM, (2010)Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic.S. Lunel, S. Mitsch, B. Boyer, und J. Talpin. FM, Volume 11800 von Lecture Notes in Computer Science, Seite 354-370. Springer, (2019)Automated clock inference for stream function-based system level specifications.J. Talpin, und S. Shukla. HLDVT, Seite 63-70. IEEE Computer Society, (2005)