PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Holt, Jim"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verification coverage of embedded multicore applications.

, , und . DATE, Seite 252-255. IEEE, (2012)

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.

Dr. Wolfgang Holtkamp University of Stuttgart

Carlos Eduardo Jimenez University of Stuttgart

Univ. -Prof. Dr. Sabine Holtz University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Software Architecture Correctness., und . IEEE Software, 18 (6): 64-65 (2001)Arcade: early dynamic property evaluation of requirements using partitioned software architecture models., , , und . Requir. Eng., 8 (4): 222-235 (2003)Evaluating dynamic correctness properties of domain reference architectures., , und . Journal of Systems and Software, 68 (3): 217-231 (2003)Verification coverage of embedded multicore applications., , und . DATE, Seite 252-255. IEEE, (2012)Software Standards for the Multicore Era., , , , , und . IEEE Micro, 29 (3): 40-51 (2009)A full lifecycle performance verification methodology for multicore systems-on-chip., , , , und . ACM Trans. Design Autom. Electr. Syst., 17 (3): 21:1-21:18 (2012)System-level Performance Verification of Multicore Systems-on-Chip., , , , und . MTV, Seite 83-87. IEEE Computer Society, (2009)Providing Early Feedback in the Development Cycle Through Automated Application of Model Checking to Software Architectures., , und . ASE, Seite 341-345. IEEE Computer Society, (2001)Early Multi-Level Software Architecture Performance Evaluations., , und . SEKE, Seite 561-569. (2003)Asymmetric scaling on network packet processors in the dark silicon era., , , , und . ANCS, Seite 157-167. IEEE Computer Society, (2013)