Autor der Publikation

Formal Models for Communication-Based Design.

, , und . CONCUR, Volume 1877 von Lecture Notes in Computer Science, Seite 29-47. Springer, (2000)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Design and Implementation of a Dynamic Information Flow Tracking Architecture to Secure a RISC-V Core for IoT Applications., , , und . HPEC, Seite 1-7. IEEE, (2018)Fast Hardware/Software Co-Simulation for Virtual Prototyping and Trade-Off Analysis., , , und . DAC, Seite 389-394. ACM Press, (1997)Automatic Synthesis and Optimization of Partially Specified Asynchronous Systems., , , , und . DAC, Seite 110-115. ACM Press, (1999)Analysis of the quantization noise effects on the SQNR behaviour in analog to digital conversion., , , , und . ISCAS (2), Seite 334-338. IEEE, (1999)Early Power Estimation for System-on-Chip Designs., , , und . PATMOS, Volume 1918 von Lecture Notes in Computer Science, Seite 108-117. Springer, (2000)Implementation of a performance optimized database join operation on FPGA-GPU platforms using OpenCL., und . NORCAS, Seite 1-6. IEEE, (2017)Designing asynchronous circuits from behavioural specifications with internal conflicts., , , und . ASYNC, Seite 106-115. IEEE, (1994)Verification and synthesis of counters based on symbolic techniques., , , und . ED&TC, Seite 176-181. IEEE Computer Society, (1997)To Spike or Not to Spike: A Digital Hardware Perspective on Deep Learning Acceleration., , , , , , und . IEEE J. Emerg. Sel. Topics Circuits Syst., 13 (4): 1015-1025 (Dezember 2023)Quasi-Static Scheduling of Independent Tasksfor Reactive Systems., , , , und . ICATPN, Volume 2360 von Lecture Notes in Computer Science, Seite 80-100. Springer, (2002)