PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Rinard, Martin C."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Crayon: saving power through shape and color approximation on next-generation displays.

, , und . EuroSys, Seite 11:1-11:17. ACM, (2016)

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.

C. Traut

C. Honold

Martin Schwartz University of Stuttgart

Martin Alvarez University of Stuttgart

Martin Baumann

 

Weitere Publikationen von Autoren mit dem selben Namen

Survival strategies for synthesized hardware systems.. MEMOCODE, Seite 116-120. IEEE, (2009)High-level automatic pipelining for sequential circuits., und . ISSS, Seite 215-220. ACM / IEEE Computer Society, (2001)Runtime Checking for Program Verification., , , und . RV, Volume 4839 von Lecture Notes in Computer Science, Seite 202-213. Springer, (2007)Memory Usage Verification for OO Programs., , , und . SAS, Volume 3672 von Lecture Notes in Computer Science, Seite 70-86. Springer, (2005)Using active learning to synthesize models of applications that access databases., und . PLDI, Seite 269-285. ACM, (2019)Ownership types for safe region-based memory management in real-time Java., , , und . PLDI, Seite 324-337. ACM, (2003)Lock Coarsening: Eliminating Lock Overhead in Automatically Parallelized Object-Based Programs., und . LCPC, Volume 1239 von Lecture Notes in Computer Science, Seite 285-299. Springer, (1996)Hierarchical Concurrency in Jade., , , und . LCPC, Volume 589 von Lecture Notes in Computer Science, Seite 50-64. Springer, (1991)A Language for Role Specifications., , und . LCPC, Volume 2624 von Lecture Notes in Computer Science, Seite 366-382. Springer, (2001)Field Constraint Analysis., , , , und . VMCAI, Volume 3855 von Lecture Notes in Computer Science, Seite 157-173. Springer, (2006)