( en | de | ru )

 

Disambiguation of "Palmer, Robert"

Author of the publication

copydeleteadd this publication to your clipboard
Practical Model-Checking Method for Verifying Correctness of MPI Programs.

, , , , , and . PVM/MPI, volume 4757 of Lecture Notes in Computer Science, page 344-353. Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Robert Palmer

Eva Palmer

Michael Palmer

Romy Palmer

Tobias Palmér

 

Other publications of authors with the same name

Sound Transaction-Based Reduction Without Cycle Detection., , , and . SPIN, volume 3639 of Lecture Notes in Computer Science, page 106-122. Springer, (2005)Deep Blues. Viking Press, New York, (1981)A 4.3 GB/s Mobile Memory Interface With Power-Efficient Bandwidth Scaling., , , , , , , , , and 2 other author(s). IEEE J. Solid State Circuits, 45 (4): 889-898 (2010)Silicon-organic hybrid (SOH) integration for low-power and high-speed signal generation., , , , , , , , , and 12 other author(s). ICTON, page 1-2. IEEE, (2015)'NEURAL-MAINE': intelligent on-line multiple sensor diagnostics for steam turbines in power generation., , , , , , , and . ICNN, page 686-691. IEEE, (1995)Terabit/s optical transmission using chip-scale frequency comb sources., , , , , , , , , and 4 other author(s). ECOC, page 1-3. IEEE, (2014)A 14-mW 6.25-Gb/s Transceiver in 90-nm CMOS., , , , , , and . IEEE J. Solid State Circuits, 42 (12): 2745-2757 (2007)Organizing and managing personal electronic files: A mechanical engineer's perspective., , , and . ACM Trans. Inf. Syst., 26 (4): 23:1-23:40 (2008)Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming API., , , , and . Sci. Comput. Program., 76 (2): 65-81 (2011)Femtojoule modulation and frequency comb generation in silicon-organic hybrid (SOH) devices., , , , , , , , , and 7 other author(s). ICTON, page 1-4. IEEE, (2014)