PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Barnett, Michael"

Author of the publication

copydeleteadd this publication to your clipboard
A Systolizing Compilation Scheme: Abstract.

, and . ICPP (2), page 296-297. CRC Press, (1991)

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.

Michael Böhm

Michael Funk

Hon. -Prof. Dr. -Ing. Michael Bauer University of Stuttgart

Dr. Michael Wachowsky University of Stuttgart

Dr. phil. Michael Nerurkar University of Stuttgart

 

Other publications of authors with the same name

Runtime verification of .NET contracts., and . Journal of Systems and Software, 65 (3): 199-208 (2003)The formal derivation of distributed programs from systolic arrays.. SPDP, page 363-366. IEEE Computer Society, (1990)Broadcasting on Meshes with Wormhole Routing., , , and . J. Parallel Distrib. Comput., 35 (2): 111-122 (1996)Building a high-performance collective communication library., , , , , and . SC, page 107-116. IEEE Computer Society, (1994)Validating Use-Cases with the AsmL Test Tool., , , , and . QSIC, page 238-246. IEEE Computer Society, (2003)The Spec# Programming System: Challenges and Directions., , , , , , and . VSTTE, volume 4171 of Lecture Notes in Computer Science, page 144-152. Springer, (2005)To Goto Where No Statement Has Gone Before., and . VSTTE, volume 6217 of Lecture Notes in Computer Science, page 157-168. Springer, (2010)Load Leveling on the Paragon Multicomputer., , and . HPCN, volume 797 of Lecture Notes in Computer Science, page 330-337. Springer, (1994)Automatic Segmentation of Thigh Muscle in Longitudinal 3D T1-Weighted Magnetic Resonance (MR) Images., , , , , , , , and . DATRA/PIPPI@MICCAI, volume 11076 of Lecture Notes in Computer Science, page 14-21. Springer, (2018)Cross-language optimizations in big data systems: a case study of SCOPE., , , and . ICSE (SEIP), page 45-54. ACM, (2018)