Skip to main content
Jump to: navigation, search

Difference between revisions of "PTP/articles"

< PTP
(Articles and Papers)
(Articles and Papers)
Line 5: Line 5:
 
* [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/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
 
* 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
+
* 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 2010 University of Utah School of Computing Poster Competition.
 
* ''An Integrated Approach To Improving The Parallel Application Development Process'', Proceedings of the 14th International Workshop on High-Level Parallel Programming Models and Supportive Environments (to appear), May 2009
 
* ''An Integrated Approach To Improving The Parallel Application Development Process'', Proceedings of the 14th International Workshop on High-Level Parallel Programming Models and Supportive Environments (to appear), May 2009
 
* ''An Integrated Environment for the Development of Parallel Applications'', Proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008
 
* ''An Integrated Environment for the Development of Parallel Applications'', Proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008

Revision as of 18:13, 8 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