Compositional Specification of Parallel Programs Using Circus (original) (raw)
Related papers
Compositional Specification of Parallel Components Using Circus
Francisco H de Carvalho Junior
Electronic Notes in Theoretical …, 2010
Design and Implementation of an Environment for Component-Based Parallel Programming
Francisco H de Carvalho Junior
… Science-VECPAR 2006, 2007
A case study on expressiveness and performance of component-oriented parallel programming
Francisco H de Carvalho Junior
2013
A Platform of Components for Large Scale Parallel Programming
Francisco H de Carvalho Junior
Francisco H de Carvalho Junior
login.cca-forum.org
A Component Model for High Level and Efficient Parallel Programming on Distributed Architectures
Francisco H de Carvalho Junior
iadis.net
A High Performance Computing Platform for Component-Based Parallel Programming
Francisco H de Carvalho Junior, Ricardo C. Corrêa
sbc.org.br
Abstractions for Parallelism: Patterns, Performance and Correctness
cs.manchester.ac.uk
A compiler approach to scalable concurrent-program design
ACM Transactions on Programming Languages and Systems, 1994
"Software Engineering for High Performance Computing System (HPCS) Applications" W3S Workshop - 26th International Conference on Software Engineering, 2004
Formal techniques for parallel object-oriented languages
Lecture Notes in Computer Science, 1991
A formal approach to the compilation of data-parallel languages
1995
Describing the Semantics of Parallel Programming Languages using Shared Data Abstractions
P3L: A structured high-level parallel language, and its structured support
Concurrency: Practice and Experience, 1995
Abstraction and modularity mechanisms for concurrent computing
IEEE Parallel & Distributed Technology: Systems & Applications, 1993
Abstractions Logicielles pour Architectures Parallèles
2014
Categorical semantics of parallel program design
Science of Computer Programming, 1997
Object-oriented model of parallel programs
Proceedings of 4th Euromicro Workshop on Parallel and Distributed Processing, 1996
A methodology for the development and the support of massively parallel programs
1992
Francisco H de Carvalho Junior
Proceedings of the 2005 ACM symposium …, 2005
Structuring parallel and distributed programs
1993
A program building tool for parallel applications
Specification of Parallel Algorithms, 1994
Abstractions for portable, scalable parallel programming
IEEE Transactions on Parallel and Distributed Systems, 1998
Derivation and Verification of Parallel Components for the Needs of an HPC Cloud
Francisco H de Carvalho Junior
Lecture Notes in Computer Science, vol. 8195 (Proceedings of the XVI Brazilian Symposium on Formal Methods)
2014
2014
Software Engineering Considerations in the Construction of Parallel Programs
Advances in Parallel Computing, 1995
How to Write Parallel Programs: A Guide to the Perplexed
ACM Computing Surveys (CSUR), 1989
Using Simple Abstraction to Guide the Reinvention of Computing for Parallelism
2009
Systematic Development of Functional Bulk Synchronous Parallel Programs
A Unified Approach to Parallel Programming
2012
Flexible Language Constructs for Large Parallel Programs
Scientific Programming, 1994
DisCComp – A Formal Model for Distributed Concurrent Components
Electronic Notes in Theoretical Computer Science, 2007
Formal Methods for Components and Objects: 7th Intl. Symposium, FMCO 2008, Sophia-Antipolis, France, October 20 – 24, 2008, Revised Lectures, 2009, pp. 204-225. doi:10.1007/978-3-642-04167-9 , 2009