PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Stewart, Gordon"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Secure, Performance-Oriented Data Management for nanoCMOS Electronics.

, , , , , , , , , , und . eScience, Seite 87-94. IEEE Computer Society, (2008)

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.

Univ. -Prof. Dr. Peter Gordon Rötzel University of Stuttgart

Kent W. Stewart

Caleb Stewart Inskeep University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Improving user experience of submitting jobs to HPC resources., und . HPCS, Seite 635-641. IEEE, (2012)Verified heap theorem prover by paramodulation., , und . ICFP, Seite 3-14. ACM, (2012)Verified Compilation for Shared-Memory C., , , und . ESOP, Volume 8410 von Lecture Notes in Computer Science, Seite 107-127. Springer, (2014)Snårkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell., , und . PADL, Volume 10702 von Lecture Notes in Computer Science, Seite 36-52. Springer, (2018)Enabling Cutting-Edge Semiconductor Simulation through Grid Technology., , , , , , , und . LSSC, Volume 5910 von Lecture Notes in Computer Science, Seite 369-378. Springer, (2009)A new generation of textual corpora: mining corpora from very large collections., , und . JCDL, Seite 356-365. ACM, (2007)Demo: Implementation of Real-time WiFi Receiver in Ziria, Language for Rapid Prototyping of Wireless PHY., , , , und . MobiCom, Seite 210-211. ACM, (2015)Advanced Security for Virtual Organizations: The Pros and Cons of Centralized vs Decentralized Security Models., , , , , , , und . CCGRID, Seite 106-113. IEEE Computer Society, (2008)GARUDA: Designing Energy-Efficient Hardware Monitors From High-Level Policies for Secure Information Flow., , , , und . IEEE Trans. on CAD of Integrated Circuits and Systems, 37 (11): 2509-2518 (2018)Offshore Wind Turbine Load Reduction Employing Optimal Passive Tuned Mass Damping Systems., und . IEEE Trans. Contr. Sys. Techn., 21 (4): 1090-1104 (2013)