( en | de | ru )

 

Disambiguierung von "Greenstreet, Mark R."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Convex Functions in ACL2(r).

, und . ACL2, Volume 280 von EPTCS, Seite 128-142. (2018)

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.

Mark R Hatlie

Mark R Alexander

Mark R Brink

Mark Yampolsky

Maßnahmen zur Sicherung von E2E-QoS bei verketteten Diensten. Uni München, (2009)

Mark Schütte

Crf2 - ein neues Antigen von Aspergillus fumigatus. TU Braunschweig, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

Simulating Improbable Events., und . DAC, Seite 154-157. IEEE, (2007)Convex Functions in ACL2(r)., und . ACL2, Volume 280 von EPTCS, Seite 128-142. (2018)Integrating SMT with Theorem Proving for Analog/Mixed-Signal Circuit Verification., und . NFM, Volume 9058 von Lecture Notes in Computer Science, Seite 310-326. Springer, (2015)Integrating Projections., und . HSCC, Volume 1386 von Lecture Notes in Computer Science, Seite 159-174. Springer, (1998)Modeling Energy-Time Trade-Offs in VLSI Computation., und . IEEE Trans. Computers, 61 (4): 530-547 (2012)Using Synchronized Transitions for Simulation and Timing Verification.. Designing Correct Circuits, Volume A-5 von IFIP Transactions, Seite 215-236. North-Holland, (1992)Asynchronous IC Interconnect Network Design and Implementation Using a Standard ASIC Flow., , und . ICCD, Seite 267-274. IEEE Computer Society, (2005)Noise margin analysis for dynamic logic circuits., und . ICCAD, Seite 406-412. IEEE Computer Society, (2005)Synchronizer Behavior and Analysis., , und . ASYNC, Seite 117-126. IEEE Computer Society, (2009)Synchronizer Performance in Deep Sub-Micron Technology., , und . ASYNC, Seite 33-42. IEEE Computer Society, (2011)