Skip to main content
Jump to: navigation, search

Difference between revisions of "PTP/articles"

< PTP
(Articles and Papers)
(Articles and Papers)
Line 3: Line 3:
 
=== Articles and Papers ===
 
=== Articles and Papers ===
  
* [http://www.cs.utah.edu/news/teapot/Spring2010.pdf A Parallel Tools Platfrom Integration of MPI Formal Analysis - article in "The Utah Teapot"] newsletter of the School of Computing, University of Utah, by Chris Derrick, Alan Humphrey and Ganesh Gopalakrishnan, Spring 2010
+
* [http://www.cs.utah.edu/news/GEM.pdf A Parallel Tools Platfrom Integration of MPI Formal Analysis] - article in [http://www.cs.utah.edu/news/teapot/Spring2010.pdf The Utah Teapot] newsletter of the School of Computing, University of Utah, by Chris Derrick, Alan Humphrey and Ganesh Gopalakrishnan, Spring 2010
 
* Technical Report: [http://www.cs.utah.edu/research/techreports/2009/pdf/UUCS-09-007.pdf  "GEM: Graphical Explorer for MPI Programs"] by Alan Humphrey, Chris Derrick,  Ganesh Gopalakrishnan and Beth Tibbitts
 
* Technical Report: [http://www.cs.utah.edu/research/techreports/2009/pdf/UUCS-09-007.pdf  "GEM: Graphical Explorer for MPI Programs"] by Alan Humphrey, Chris Derrick,  Ganesh Gopalakrishnan and Beth Tibbitts
 
* GEM Poster:  [http://www.cs.utah.edu/formal_verification/ISP-Eclipse/PTP/GEM_Poster.ppt An Integration of Dynamic MPI Formal Verification Within Eclipse PTP]  by Alan Humphrey, Chris Derrick, and Ganesh Gopalakrishnan, won first place in the [http://www.cs.utah.edu/news/homepage/archives/2010/03/2010_soc_poster.html 2010 University of Utah School of Computing Poster Competition.]
 
* GEM Poster:  [http://www.cs.utah.edu/formal_verification/ISP-Eclipse/PTP/GEM_Poster.ppt An Integration of Dynamic MPI Formal Verification Within Eclipse PTP]  by Alan Humphrey, Chris Derrick, and Ganesh Gopalakrishnan, won first place in the [http://www.cs.utah.edu/news/homepage/archives/2010/03/2010_soc_poster.html 2010 University of Utah School of Computing Poster Competition.]

Revision as of 03:21, 9 April 2010

Articles and Other Documents about PTP

Articles and Papers

Presentations

Tutorials

For tutorial materials see PTP Tutorials page.

Other sources of information

PTP help: http://www.eclipse.org/ptp/doc.php - an online version of the Help content contained within the PTP plugins ... and more

Back to the top