Author of the publication

Sound Transaction-Based Reduction Without Cycle Detection.

, , , and . SPIN, volume 3639 of Lecture Notes in Computer Science, page 106-122. Springer, (2005)

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.

 

Other publications of authors with the same name

Deep Blues. Viking Press, New York, (1981)Sound Transaction-Based Reduction Without Cycle Detection., , , and . SPIN, volume 3639 of Lecture Notes in Computer Science, page 106-122. Springer, (2005)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)Semantics driven dynamic partial-order reduction of MPI-based parallel programs., , and . PADTAD, page 43-53. ACM, (2007)Integrated silicon-organic hybrid (SOH) frequency shifter., , , , , , , , , and 7 other author(s). OFC, page 1-3. IEEE, (2014)Power-efficient I/O design considerations for high-bandwidth applications., , , , , , , , and . CICC, page 1-8. IEEE, (2011)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)