Filters








494,597 Hits in 2.3 sec

Compositional Development of Parallel Programs [chapter]

Nasim Mahmood, Guosheng Deng, James C. Browne
2004 Lecture Notes in Computer Science  
The programming model targets development of families of related programs.  ...  Component-oriented development is motivated for parallel and distributed computations. The programming model is defined and described and illustrated with a simple example.  ...  We also plan to integrate the compositional compiler with the Broadway annotational compiler [22] to overcome the problem of "too many components."  ... 
doi:10.1007/978-3-540-24644-2_8 fatcat:h22w5mdotranlcre6jl746xnvu

A Compositional Framework for Developing Parallel Programs on Two-Dimensional Arrays

Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi
2007 International journal of parallel programming  
development of parallel programs and architecture-independent implementation owing to its solid theoretical foundation -the theory of constructive algorithmics. easy, efficient, but compositional way.  ...  In this paper, we propose a compositional framework that supports users, even with little knowledge about parallel machines, to develop both correct and efficient parallel programs on dense two-dimensional  ...  parallel program development.  ... 
doi:10.1007/s10766-007-0043-4 fatcat:g7ydzdr55fg6bkgd47urupgas4

Evolutionary performance-oriented development of parallel programs by composition of components

Nasim Mahmood, Yusheng Feng, James C. Browne
2005 Proceedings of the 5th international workshop on Software and performance - WOSP '05  
This paper describes a method for evolutionary component-based development of families of parallel programs to attain performance goals on multiple execution environments for multiple family instances  ...  of parallel programs composed from components at different levels of abstraction and program evolution at runtime by component replacement.  ...  for Reliable Computer Simulations," NGS NSF grant number 0103725 "Performance-Driven Adaptive Software Design and Control" and grant number: ACI-0305644 "Montage: An Integrated End-to-End Design and Development  ... 
doi:10.1145/1071021.1071048 dblp:conf/wosp/MahmoodFB05 fatcat:tr2gyamjqjeh5kzs5byhsckoa4

PARALLEL PROGRAMMING MODELS FOR CALCULATING THE PHYSICAL CHARACTERISTICS OF COMPOSITES

Gulmira Baenova, Ainur Zhumadillayeva, Xiao-Guang Yue
2019 Journal of Mechanical Engineering Research and Developments  
The increase in computational performance is also provided through parallel programming, the development of which is represented by a set of high-level programming languages, the emergence of new architectures  ...  At the same time, the use of parallel programming methods led to a significant increase in computing performance.  ...  Parallel programming models are key to increase the productivity of parallel software.  ... 
doi:10.26480/jmerd.02.2019.10.13 fatcat:wh5uijdhlvfuvov3o6egka5u3i

Language constructs and runtime systems for compositional parallel programming [chapter]

Ian Foster, Carl Kesselman
1994 Lecture Notes in Computer Science  
We first provide a review and critical analysis of Strand, an early compositional programming language.  ...  Previous work has identified compositionality as an important design principle for task-parallel programs. In this paper, we discuss alternative approaches to the realization of this principle.  ...  Acknowledgments The Strand system was developed with Steve Taylor. We gratefully acknowledge the many contributions of Mani  ... 
doi:10.1007/3-540-58430-7_2 fatcat:bfy4bjrjzbbudm3qkngbwlsfwe

A structured approach to parallel programming: Methodology and models [chapter]

Berna L. Massingill
1999 Lecture Notes in Computer Science  
We propose a structured approach to developing parallel programs for problems whose specifications are like those of sequential programs, such that much of the work of development, reasoning, and testing  ...  The approach takes the form of a simple model of parallel programming, a methodology for transforming programs in this model into programs for parallel machines based on the ideas of semantics-preserving  ...  Acknowledgments Thanks go to Mani Chandy for his guidance and support of the work on which this paper is based, and Eric Van de Velde for the book [18] that was an early inspiration for this work.  ... 
doi:10.1007/bfb0098008 fatcat:a5x47qs3znc2rff2pmkui7nzau

Parallel skeletons for structured composition

John Darlington, Yi-ke Guo, Hing Wing To, Jin Yang
1995 Proceedings of the fifth ACM SIGPLAN symposium on Principles and practice of parallel programming - PPOPP '95  
Thus, the framework provides a natural integration of the compositional programming approach with the data parallel programming paradigm.  ...  In this paper, we propose a straightforward solution to the problems of compositional parallel programming by using skeletons as the uniform mechanism for structured composition.  ...  The second author is supported by t h e ESPRC funded project GR/H77545 \De nitional Constraint Programming: a F oundation for Logically Correct Concurrent Systems".  ... 
doi:10.1145/209936.209940 dblp:conf/ppopp/DarlingtonGTY95 fatcat:beq2snzg4rgbfhahfkbyki4auq

Parallel skeletons for structured composition

John Darlington, Yi-ke Guo, Hing Wing To, Jin Yang
1995 SIGPLAN notices  
Thus, the framework provides a natural integration of the compositional programming approach with the data parallel programming paradigm.  ...  In this paper, we propose a straightforward solution to the problems of compositional parallel programming by using skeletons as the uniform mechanism for structured composition.  ...  The second author is supported by t h e ESPRC funded project GR/H77545 \De nitional Constraint Programming: a F oundation for Logically Correct Concurrent Systems".  ... 
doi:10.1145/209937.209940 fatcat:jqejakzecbdfzigi5irti5xhuu

Towards an Intelligent Environment for Programming Multi-core Computing Systems [chapter]

Sabri Pllana, Siegfried Benkner, Eduard Mehofer, Lasse Natvig, Fatos Xhafa
2009 Lecture Notes in Computer Science  
The programming environment supports program composition in a model-driven development fashion using parallel building blocks and proactively assists the user during major phases of program development  ...  In this position paper we argue that an intelligent program development environment that proactively supports the user helps a mainstream programmer to overcome the difficulties of programming multi-core  ...  High-level Program Composition. This phase deals with the composition and coordination of PBBs.  ... 
doi:10.1007/978-3-642-00955-6_19 fatcat:zeg7yekhhfhetedm6cqllkzsoe

Associating composition of Petri net specifications with application designs in GRADE

Z. Tsiatsoulis, G. Dozsa, J.Y. Cotronis, P. Kacsuk
1999 Proceedings of the Seventh Euromicro Workshop on Parallel and Distributed Processing. PDP'99  
We outline specification composition, directly associated with application composition as well as the integration of specification and implementation of program development.  ...  To provide high-level graphical support for developing message passing programs, an integrated programming environment (GRADE) is being developed.  ...  It is also partly funded by the Greek Ministry of Development, General Secretariat of Research and Technology.  ... 
doi:10.1109/empdp.1999.746670 dblp:conf/pdp/TsiatsoulisDCK99 fatcat:zxutqp6ueza47poun7yi2l7juy

Methodology Of Parallel Programming Using Compositions Of Parallel Objects Or CPANS For The Solution Of NP-Complete Problems

Mario Rossainz Lopez, Manuel I. Capel Tunon
2009 ECMS 2009 Proceedings edited by J. Otamendi, A. Bargiela, J. L. Montes, L. M. Doncel Pedrera  
Within an environment of Parallel Objects, an approach of Structured Parallel Programming and the paradigm of the Orientation to Objects, shows a programming method based on High Level Parallel Compositions  ...  the environment of programming of the C++ and of the standard POSIX of programming with threads such as the solution to the Travelling Salesman Problem (TSP) by means of the parallel Branch & Bound technique  ...  SCIENTIFIC OBJETIVES OF INTEREST The development of a programming method is based on High Level Parallel Compositions or CPANs that implement a library of classes of utility in the Programming Concurrent  ... 
doi:10.7148/2009-0063-0069 dblp:conf/ecms/LopezT09 fatcat:go4wh5lwa5atzmtut3w5wb226a

A domain-specific language for parallel and grid computing

João L. Sobral, Miguel P. Monteiro
2008 Proceedings of the 2008 AOSD workshop on Domain-specific aspect languages - DSAL '08  
This paper overviews a Domain-Specific Language (DSL) for parallel and grid computing, layered on top of AspectJ.  ...  Moreover, it aims to promote the localization of parallelization and gridification issues into well defined modules that can be (un)plugged (from)to existing scientific applications.  ...  We start with a sequential program and apply a set of programmer-specified transformations (i.e., high-level parallel programming abstractions) that generate the parallel version of the same code.  ... 
doi:10.1145/1404927.1404929 fatcat:xvzctf3emnch3huxfevgrshczu

TOP-DOWN DESIGN OF BULK-SYNCHRONOUS PARALLEL PROGRAMS

YIFENG CHEN, J. W. SANDERS
2003 Parallel Processing Letters  
This paper studies top-down program development techniques for Bulk-Synchronous Parallelism.  ...  This paper extends the use of Logs to provide support for the protection of local variables in BSP programs, thus completing the link between specifications and programs.  ...  By comparison parallel programming tends to be much more complex, which means that rigorous program development techniques are all the more necessary.  ... 
doi:10.1142/s0129626403001367 fatcat:obnl5sbywrhytmyjuzyhyfwfcq

Decomposing Verification Around End-User Features [chapter]

Kathi Fisler, Shriram Krishnamurthi
2008 Lecture Notes in Computer Science  
Numerous researchers have independently proposed models of program development in which modules encapsulate units of end-user functionality known as features.  ...  Practical program verification techniques must align with the software development methodologies that produce the programs.  ...  For example, module composition can create new paths through programs (parallel composition deletes but does not add paths).  ... 
doi:10.1007/978-3-540-69149-5_10 fatcat:35dppiu5obdkrap2mwvlb2yrfy

Productivity and performance through components: the ASCI Sweep3D application

Young Yoon, James C. Browne, Mathew Crocker, Samit Jain, Nasim Mahmood
2007 Concurrency and Computation  
This paper is a case study of the effectiveness of component-oriented development for enhancing both productivity and performance for parallel programs.  ...  We identify and explain some of the benefits of component-oriented development for high-performance parallel systems.  ...  Finally, the authors are grateful to the referees of the earlier versions of this paper for calling attention to related research that needed to be incorporated into the paper.  ... 
doi:10.1002/cpe.1149 fatcat:6wtn3h63avhqzb6y7scvn5rgyu
« Previous Showing results 1 — 15 out of 494,597 results