Cost evaluation from specifications for BSP programs (original) (raw)
Related papers
Optimising data-parallel programs using the BSP cost model
Lecture Notes in Computer Science, 1998
Towards a more realistic BSP cost model
Eighth International Conference on High-Performance Computing in Asia-Pacific Region (HPCASIA'05), 2005
Systematic Development of Functional Bulk Synchronous Parallel Programs
Analytical Modelling of Parallel Programs
Editor International Journal of Engineering Development and Research IJEDR
INTERNATIONAL JOURNAL OF ENGINEERING DEVELOPMENT AND RESEARCH (IJEDR) (ISSN:2321-9939), 2014
High level BSP programming: BSML and BS
2007
Derivation of parallel algorithms from functional specifications to CSP processes
Lecture Notes in Computer Science, 1995
On architecture independent design and analysis of parallel programs
1996
A methodology for the development and the support of massively parallel programs
1992
Software Engineering Considerations in the Construction of Parallel Programs
Advances in Parallel Computing, 1995
Performance Optimization of Parallel Programming
International Journal of Linguistics and Computational Applications
International Journal of Linguistics and Computational Applications , 2015
Reducing task creation and termination overhead in explicitly parallel programs
Proceedings of the 19th international conference on Parallel architectures and compilation techniques - PACT '10, 2010
Survey on Parallel Programming Model
2008
Analysis and optimization of explicitly parallel programs
2000
A Graphical Approach to Performance-Oriented Development of Parallel Programs
Event-B Decomposition for Parallel Programs
Lecture Notes in Computer Science, 2010
Systematic development of correct Bulk Synchronous Parallel programs
2010
A calculus of functional BSP programs
Science of Computer Programming, 2000
On the Effectiveness of D-BSP as a Bridging Model of Parallel Computation
Lecture Notes in Computer Science, 2001
PRO: A model for the design and analysis of efficient and scalable parallel algorithms
2006
Parallel programming models: a survey
Event-B Decomposition for Parallel Programs — Extended Abstract — ?
2009
Evaluating Computational Costs While Handling Data and Control Parallelism
Parallel Processing Letters, 2008
Automated scalability analysis of message-passing parallel programs
IEEE Parallel & Distributed Technology: Systems & Applications, 1995
Object-oriented model of parallel programs
Proceedings of 4th Euromicro Workshop on Parallel and Distributed Processing, 1996
Compositional Specification of Parallel Programs Using Circus
Optimising Skeletal-Stream Parallelism on a BSP Computer
Lecture Notes in Computer Science, 1999
Architecture Independent Analysis of Parallel Programs
Lecture Notes in Computer Science, 2001
The Skel-BSP Global Optimizer: Enhancing Performance Portability in Parallel Programming
Springer eBooks, 2000
Interprocedural analysis for parallelization
1996
A Benchmark Suite for Evaluating Parallel Programming Models
PARS: Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware, 2011