Coq à la conquête des moulins (original) (raw)
Related papers
Algorithms sequential and parallel: a unified approach
Microelectronics Journal, 2001
SpringerBriefs in Computer Science, 2015
Algorithms Design for the Parallelization of Nested Loops (PLEASE REFERENCE IN YOUR PAPERS)
2008
Algorithms for Parallel Processing
Springer eBooks, 1999
Moscow ML Language Overview, Version 2.00 of June 2000
Languages for Parallel Processing / Sprachen für die parallele Datenverarbeitung
it - Information Technology
Parallel Numerical Algorithms: An Introduction
ICASE/LaRC Interdisciplinary Series in Science and Engineering, 1997
MATLAB®: A Language for Parallel Computing
International Journal of Parallel Programming, 2009
Appendix to \State of the Art in Parallel Computing with R
Dirk Eddelbuettel, Luke Tierney
2000
Parallel Algorithm Fundamentals and Analysis CSC 93-17
On the Impact of Communication Complexity on the Design of Parallel Numerical Algorithms
IEEE Transactions on Computers, 1984
Detecting nondeterminacy in parallel programs ieee software
1992
A New Approach to Constructing Parallel Algorithms
2018
Parallel Programming: Models, Methods, and Languages
Lecture Notes in Computer Science, 1999
Parallelization in calculational forms
Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '98, 1998
Eva-Maria Nyckel, Philipp Staab
Stepwise Refinement of Parallel Algorithms
Science of Computer Programming, 1989
Département de Mathématiques et Informatique
1998
2017
Languages and Compilers for Parallel Computing
Lecture Notes in Computer Science, 2000
2014
2008
Parallelisation project report
Lecture Notes on Design and Analysis of Algorithms 18CS42
2017
Lempel-Ziv-Markov Chain Algorithm Modeling using Models of Computation and ForSyDe
2019