Search results for "message passing program"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	John Yiannis Cotronis	Efficient Program Composition on Parix by the Ensemble Methodology.	EUROMICRO	1996	DBLP DOI BibTeX RDF	program composition, Parix, Ensemble methodology, message passing program composition methodology, Process Communication Graphs, application scripts, universal Parix program loader, communication dependencies, complexities, message passing, parallel virtual machine
1	Jidong Zhai, Tianwei Sheng, Jiangzhou He, Wenguang Chen, Weimin Zheng	Efficiently Acquiring Communication Traces for Large-Scale Parallel Applications.	IEEE Trans. Parallel Distrib. Syst.	2011	DBLP DOI BibTeX RDF	communication trace, parallel application, Communication pattern, message-passing program
1	Jidong Zhai, Tianwei Sheng, Jiangzhou He, Wenguang Chen, Weimin Zheng	FACT: fast communication trace collection for parallel applications through program slicing.	SC	2009	DBLP DOI BibTeX RDF	communication trace, parallel application, communication pattern, message passing program
1	Yin Ye, Zhihui Du, Song Hao	Optimizing Message Passing Programs Based on Task Section Duplication.	ISPA	2009	DBLP DOI BibTeX RDF	Task Scheduling Algorithm, Task Duplication Algorithm, Message Passing Program
1	Jörg Dümmler, Thomas Rauber, Gudula Rünger	A Transformation Framework for Communicating Multiprocessor-Tasks.	PDP	2008	DBLP DOI BibTeX RDF	CM-Tasks, transformation framework, parallel programming model
1	Changjun Hu, Yewei Shao, Jue Wang, Jianjiang Li	Automatic Transformation for Overlapping Communication and Computation.	NPC	2008	DBLP DOI BibTeX RDF	Parallel compiling, Communication optimization, Control-flow analysis, Source-to-source transformation
1	Hon Fung Li, Eslam Al Maghayreh, Dhrubajyoti Goswami	Detecting Atomicity Errors in Message Passing Programs.	PDCAT	2007	DBLP DOI BibTeX RDF
1	Yu Lei, W. Eric Wong	A Novel Framework for Non-Deterministic Testing of Message-Passing Programs.	HASE	2005	DBLP DOI BibTeX RDF
1	Anish Arora, Mikhail Nesterenko	Unifying stabilization and termination in message-passing systems.	Distributed Computing	2005	DBLP DOI BibTeX RDF	fault-tolerance, Self-stabilization, termination
1	Jan Kwiatkowski, Daniel Abrich	Dynamic Process Communication in the GDE Environment.	PPAM	2003	DBLP DOI BibTeX RDF
1	Yu Lei, Kuo-Chung Tai	Efficient Reachability Testing of Asynchronous Message-Passing Programs.	ICECCS	2002	DBLP DOI BibTeX RDF
1	Sriram K. Rajamani, Jakob Rehof	Conformance Checking for Models of Asynchronous Message Passing Software.	CAV	2002	DBLP DOI BibTeX RDF
1	József Kovács, Gábor Kusper, Róbert Lovas, Wolfgang Schreiner	Integrating Temporal Assertions into a Parallel Debugger.	Euro-Par	2002	DBLP DOI BibTeX RDF
1	Hans P. Zima	High Performance Fortran - History, Status and Future.	ISHPC	2002	DBLP BibTeX RDF
1	Jürgen Dingel	A Refinement Calculus for Shared-Variable Parallel and Distributed Programming.	Formal Asp. Comput.	2002	DBLP DOI BibTeX RDF	Assumption-commitment reasoning, Formal program development, Parallel programming, Program transformation, Refinement, Refinement calculus, Trace semantics, Systematic programming
1	Anish Arora, Mikhail Nesterenko	Unifying Stabilization and Termination in Message-Passing Systems.	ICDCS	2001	DBLP DOI BibTeX RDF
1	Thomas Rauber, Robert Reilein, Gudula Rünger	Orthogonal Processor Groups for Message-Passing Programs.	HPCN	2001	DBLP DOI BibTeX RDF
1	Thomas Rauber, Gudula Rünger	A Transformation Approach to Derive Efficient Parallel Implementations.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	task and data parallelism, hierarchical module structure, data distribution types, MPI, scientific computing, coordination language, Transformation system, message-passing program
1	Wolfgang K. Giloi, Hans Werner Pohl, A. Schramm	A High-Level Programming Environment for Distributed Memory Architectures.	PaCT	1999	DBLP DOI BibTeX RDF
1	Dmitry Arapov, Victor Ivannikov, Alexey Kalinov, Alexey L. Lastovetsky, Ilya Ledovskih	Managing Processes with Network Objects and Their Translation.	EUROMICRO	1998	DBLP DOI BibTeX RDF
1	John Yiannis Cotronis	Message-Passing Program Development by Ensemble.	PVM/MPI	1997	DBLP DOI BibTeX RDF
1	Noel Winstanley, John O'Donnell	Parallel Distributed Programming with Haskell + PVM.	Euro-Par	1997	DBLP DOI BibTeX RDF
1	Jianxin Xiong, Dingxing Wang	Analyzing Nondeterminacy of Message Passing Programs.	ISPAN	1996	DBLP DOI BibTeX RDF	message passing, trace analysis, Parallel debugging