( en | de | ru )

 

Disambiguierung von "Palmer, Robert"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Parallel and Distributed Model Checking in Eddy.

, , , , , und . SPIN, Volume 3925 von Lecture Notes in Computer Science, Seite 108-125. Springer, (2006)

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.

Robert Palmer

Eva Palmer

Romy Palmer

Michael Palmer

Tobias Palmér

 

Weitere Publikationen von Autoren mit dem selben Namen

Deep Blues. Viking Press, New York, (1981)Sound Transaction-Based Reduction Without Cycle Detection., , , und . SPIN, Volume 3639 von Lecture Notes in Computer Science, Seite 106-122. Springer, (2005)A 4.3 GB/s Mobile Memory Interface With Power-Efficient Bandwidth Scaling., , , , , , , , , und 2 andere Autor(en). IEEE J. Solid State Circuits, 45 (4): 889-898 (2010)Silicon-organic hybrid (SOH) integration for low-power and high-speed signal generation., , , , , , , , , und 12 andere Autor(en). ICTON, Seite 1-2. IEEE, (2015)'NEURAL-MAINE': intelligent on-line multiple sensor diagnostics for steam turbines in power generation., , , , , , , und . ICNN, Seite 686-691. IEEE, (1995)Terabit/s optical transmission using chip-scale frequency comb sources., , , , , , , , , und 4 andere Autor(en). ECOC, Seite 1-3. IEEE, (2014)Semantics driven dynamic partial-order reduction of MPI-based parallel programs., , und . PADTAD, Seite 43-53. ACM, (2007)Integrated silicon-organic hybrid (SOH) frequency shifter., , , , , , , , , und 7 andere Autor(en). OFC, Seite 1-3. IEEE, (2014)Power-efficient I/O design considerations for high-bandwidth applications., , , , , , , , und . CICC, Seite 1-8. IEEE, (2011)Practical Model-Checking Method for Verifying Correctness of MPI Programs., , , , , und . PVM/MPI, Volume 4757 von Lecture Notes in Computer Science, Seite 344-353. Springer, (2007)