M. Aspnäs, R. J. Back, and T. , Millipede -A Programming Environment providing Graphical Support for Parallel Programming, Proceedings of the European Workshop on Parallel Computing, pp.236-247, 1992.

N. [. Ahuja, D. Carriero, V. Gelernter, and . Krishnaswamy, Matching language and hardware for parallel computation in the Linda Machine, IEEE Transactions on Computers, vol.37, issue.8, pp.921-929, 1988.
DOI : 10.1109/12.2244

J. P. Au, M. Darlington, Y. Ghanem, H. W. Guo, J. To et al., Co-ordinating heterogeneous parallel computation, EURO-PAR'96
DOI : 10.1007/3-540-61626-8_81

]. G. Agh86 and . Agha, Actors : A Model of Concurrent Computation in Distributed Systems, 1986.

V. [. Alnuweiri and . Kumar, Fast image labeling using local operators on mesh-connected computers, IEEE Transactions on Pattern Analysis and Machine Intelligence, vol.13, issue.2, pp.13202-207, 1991.
DOI : 10.1109/34.67649

A. M. Alnuweiri, Constant-time parallel algorithms for image labeling on a reconfigurable network of processors, IEEE Transactions on Parallel and Distributed Systems, vol.5, issue.3, pp.320-326, 1994.
DOI : 10.1109/71.277785

I. [. Agha, S. F. Mason, C. L. Smith, and . Talcott, A foundation for actor computation, Journal of Functional Programming, vol.7, issue.1, pp.1-72, 1997.
DOI : 10.1017/S095679689700261X

I. [. Aloimonos, A. Weiss, and . Bandyopadhyay, Active vision, International Conference on Computer Vision, pp.35-54, 1990.
DOI : 10.1007/BF00133571

]. J. Bac78 and . Backus, Can Programming be Liberated from the Von Neumann Style: A Functional Style and Its Algebra of Programs, Communications of the ACM, vol.21, issue.8, pp.613-641, 1978.

]. P. Bai94 and . Bailey, Algorithmic Skeletons in paraML, Edinburgh Parallel Computing Centre, 1994.

]. C. Ban95 and . Banger, Construction of Multidimensional Arrays as Categorical Data Types, 1995.

G. [. Benveniste and . Berry, The synchronous approach to reactive and real-time systems, Proceedings of the IEEE, vol.79, issue.9, pp.1270-1282, 1991.
DOI : 10.1109/5.97297
URL : https://hal.archives-ouvertes.fr/inria-00075115

. Bcd-+-97-]-b, B. Bacci, M. Cantalupo, S. Danelutto, D. Orlando et al., An anvironment for structured parallel programming, Advances in High Performance Computing, pp.219-234, 1997.

J. [. Bellon, F. Dérutin, Y. Heitz, and . Ricquebourg, Real-time collision avoidance at road-crossings on board the Prometheus-ProLab 2 vehicle, Proceedings of the Intelligent Vehicles '94 Symposium, pp.24-26, 1994.
DOI : 10.1109/IVS.1994.639470

. Bdo-+-95-]-b, M. Bacci, S. Danelutto, S. Orlando, M. Pelagatti et al., P 3 L: A structured high level programming language and its structured support, Concurrency: Practice and Experience, pp.225-255, 1995.

D. [. Berrington, J. De-roure, and . Padget, Guaranteeing unpredictability (programming model) The Computer Journal, pp.723-733, 1993.

]. A. Bel96 and . Bellon, Détection et suivi de véhicules en mouvement dans une séquence d'images -Implantationparalì ele sur un système expérimentaì a mémoire distribuée Synchronous programming with events and relations: the SIGNAL language and its semantics, Science of Computer Programming, vol.16, issue.2, pp.103-149, 1991.

]. R. Bir87a and . Bird, A calculus of functions for progam derivation, 1987.

]. R. Bir87b and . Bird, A Introduction to the Theory of Lists, Logic of Programming and Calculus of Discrete Design, pp.5-42, 1987.

P. [. Burstall, D. T. Mcqueen, and . Sannella, HOPE -An Experimental Applicative Language, Conference Record of the 1980 LISP Conference, pp.136-143, 1980.

M. [. Bailey and . Newey, Implementing ML on Distributed Memory Multiprocessors Compilers and Run- Time Environments for Distributed Memory Multiprocessors, Workshop on Languages, pp.56-59, 1992.

W. [. Born, L. Obelöer, C. Schäfers, and . Scheidler, The monitoring facilities of the graphical parallel programming environment TRAPPER, Proceedings Euromicro Workshop on Parallel and Distributed Processing, 1995.
DOI : 10.1109/EMPDP.1995.389163

]. T. Bra92 and . Bratvold, Determining Useful Parallelism in Higher Order Functions, Proceedings of the 4th Int. Workshop on the Parallel Implementation of Functional Languages, 1992.

]. T. Bra93 and . Bratvold, A Skeleton-Based Parallelising Compiler for ML, Proceedings of the Fifth International Workshop on Implementation of Functional Languages, pp.23-34, 1993.

]. T. Bra94a and . Bratvold, Parallelising a Functional Program Using a List- Homomorphism Skeleton, Proceedings of PaSCo'94, pp.44-53, 1994.

]. T. Bra94b and . Bratvold, Skeleton-Based Parallelisation of Functional Programs, 1994.

R. [. Boussinot and . Simone, The ESTEREL language, Proc. IEEE, pp.1293-1304, 1991.
DOI : 10.1109/5.97299
URL : https://hal.archives-ouvertes.fr/inria-00075075

K. G. Duncan and . Campbell, Towards the classification of algorithmic skeletons, 1996.

]. J. Can86 and . Canny, A computational approach to edge detection, IEEE Transactions on Pattern Analysis and Machine Intelligence, vol.8, issue.6, pp.679-698, 1986.

M. S. Ciarpaglini, L. Danelutto, C. Folchi, S. Manconi, and . Pelagatti, ANACLETO : A Template-based P 3 L Compiler, Proceedings of the Seventh Parallel Computing Workshop, 1997.

C. T. Collette, D. Gamrat, J. F. Juvin, L. Larue, R. Letellier et al., SYMPHONIE Calculateur MassivementParalì ele : Modélisation et Réalisation, 3 emes Journées Adéquation Algorithme Architecture en Traitement du Signal et Image, pp.279-286, 1996.

]. F. Cha91a and . Chantemargue, Segmentation d'images par approche de type division-fusion, 1991.

]. R. Cha91b and . Chapuis, Suivi de primitives image, applicationàapplication`applicationà la conduite automatique sur route, 1991.

]. F. Cha93 and . Charot, Architecturesparalì eles spécialisées pour le traitement d'images, 1978.

]. A. Chu41 and . Church, The Calculi of Lambda-Conversion, 1941.

]. M. Col87 and . Cole, Algorithmic Skeletons: Structured Management of Parallel Computations, 1987.

]. M. Col88 and . Cole, Higher Order Functions for Parallel Evaluation, Proceedings of the 1988 Glasgow Workshop on Functional Programming Proceedings published as technical report CSC 89, pp.8-20, 1988.

]. M. Col89 and . Cole, Algorithmic skeletons: structured management of parallel computations, 1989.

D. [. Caspi, N. Pilaud, J. A. Halbwachs, and . Plaice, LUSTRE : A declarative language for programming synchronous systems, Proceedings of the 14th ACM Symposium on Principles of Programming Languages, 1987.

J. [. Cypher, L. Sanz, and . Snyder, Algorithms for image component labeling on SIMD mesh-connected computers, IEEE Transactions on Computers, vol.39, issue.2, pp.276-281, 1990.
DOI : 10.1109/12.45215

B. [. Cudel and . Vigouroux, Implantation d'un algorithme de compression d'images par transformée en ondelettes sur un réseau de transputersàtransputersà l'aide de SynDEx, 3 emes Journées Adéquation Algorithme Architecture en Traitement du Signal et Image, pp.123-130, 1996.

M. Danelutto, R. Di-cosmo, X. Leroy, and S. Pelagatti, Ocamlp3l: a functional parallel programming construct Information available from, 1998.

]. J. Den75 and . Dennis, First Version Data Flow Procedure Language, 1975.

]. R. Der90 and . Deriche, Fast algorithms for low level vision, IEEE Transactions on Pattern Analysis and Machine Intelligence, vol.12, issue.1, pp.78-86, 1990.

]. J. Dfh-+-93, A. J. Darlington, P. G. Field, P. H. Harrison, D. W. Kelly et al., Parallel Programming Using Skeleton Functions, Parallel Architectures and Languages Europe, pp.146-160

M. [. Darlington, H. W. Ghanem, and . To, Structured parallel programming, Proceedings of Workshop on Programming Models for Massively Parallel Computers, pp.160-169, 1993.
DOI : 10.1109/PMMP.1993.315543

]. J. Dgt-+-94, Y. Darlington, H. W. Guo, Q. To, J. Wu et al., Fortran-S: A Uniform Functional Interface to Parallel Imperative Languages, Proceedings of the Third Parallel Computing Workshop, 1994.

]. J. Dgty95a, Y. Darlington, H. W. Guo, J. To, and . Yang, Functional Skeletons for Parallel Coordination, EURO-PAR'95 Parallel Processing, pp.55-69, 1995.

]. J. Dgty95b, Y. Darlington, H. W. Guo, J. To, and . Yang, Parallel Skeletons for Structured Composition, Proceedings of the 5th ACM SIG- PLAN Symposium on Principles and Practice of Parallel Programming, pp.19-28, 1995.

. Dmo-+-92-]-m, R. Danelutto, S. Di-meglio, S. Orlando, M. Pelagatti et al., A methodology for the development and the support of massively parallel programs, Future Generation Computer Systems, vol.8, pp.1-3, 1992.

F. [. Danelutto, S. Pasqualetti, and . Pelagatti, Skeletons for data parallelism in p3l, Proc. of EURO-PAR '97, pp.619-628, 1997.

O. [. Dubois, J. L. Sentieys, E. Philippe, and . Martin, Evaluation prévisionnelle de performances d'architectures MIMD : Application au traitement d'images, Journées Adéquation Algorithme Architecture en Traitement du Signal et Image, Sept, pp.14-15, 1992.

H. [. Darlington and . To, Building Parallel Applications without Programming, Abstract Machine Models for Highly Parallel Computers, pp.140-154, 1995.

]. H. Dub91 and . Dubois, Analyse des Systèmes Multiprocesseurs : Applicationà Application`Applicationà la Mise en oeuvre sous Contraintes d'Algorithmes de Traitement d'Images, 1991.

]. M. Ecc92 and . Eccher, Architectureparalì ele dédiéè a l'´ etude d'automates de vision en temps réel, ELS92] F. Ennesser, C. Lavarenne, and Y. Sorel. Méthode chronométrique pour l'optimisation du temps de réponse des exécutifs SynDEx, 1992.

]. S. Est96 and . Estable, Reconnaissance d'objets en environnement dynamique - ApplicationàApplication`Applicationà la reconnaissance des panneaux routiers, 1996.

[. Forum, Document for a standard message passing interface, 1993.

W. [. Gibbons, D. Cai, and . Skillicorn, Efficient parallel algorithms for tree accumulations, Science of Computer Programming, vol.23, issue.1, pp.1-18, 1994.
DOI : 10.1016/0167-6423(94)00013-1

]. D. Gin95 and . Ginhac, Spécification et implantation d'un algorithme flots de données d'Etiquetage en Composantes Connexes sur la machine multiprocesseursàtiprocesseursà mémoire distribuée Transvision, 1995.

C. [. Grandpierre, Y. Lavarenne, and . Sorel, Modèle d'exécutif distribué temps réel pour SynDEx, 1998.

M. J. Gordon, R. Milner, C. Wadsworth, and L. Edinburgh, Lecture notes in computer science, 1979.

]. D. Goo94 and . Goodeve, Performance of multiprocessor communications networks, 1994.

J. [. Ginhac, J. P. Sérot, and . Dérutin, Evaluation de l'outil SynDEx pour l'implantation d'un algorithme d'´ etiquetage en composantes connexes sur la machine Transvision, 3 emes Journées Adéquation Algorithme Architecture en Traitement du Signal et Image, pp.37-44, 1996.

J. [. Ginhac, J. P. Sérot, and . Dérutin, Evaluation de l'outil SynDEx en vue de prototypage rapide d'applications de traitement d'images sur machine MIMD-DM, Traitement du Signal, vol.14, issue.6, pp.605-613, 1997.
URL : https://hal.archives-ouvertes.fr/hal-00704351

]. N. Hal95 and . Halbwachs, The declarative code DC, version 1.2a. Vérimag, 1995.

]. J. Hin69 and . Hindley, The Principal Type-Scheme of an Object in Combinatory Logic, Trans. Amer. Math. Soc, vol.146, pp.29-60, 1969.

]. C. Hoa85 and . Hoare, Communicating Sequential Processes, 1985.

T. [. Horowitz and . Pavlidis, Picture segmentation by a direct split and merge procedure, Second International Conference on Pattern Recognition, pp.424-433, 1974.

F. [. Haas, C. Yang, M. Millan, and . Paindavoine, Deux approches d'implantationparalì ele sous SynDEx du filtre de Canny-Deriche optimisé, 3 emes Journées Adéquation Algorithme Architecture en Traitement du Signal et Image, pp.247-254, 1996.

F. [. Haas, C. Yang, M. Millan, and . Paindavoine, Adéquation de l'algorithme de Canny-Deriche généralisé sur architecture DSP avec l'environnement SynDEx, Traitement du Signal, vol.14, issue.6, pp.625-637, 1997.

. Inmos, Occam2 : Manuel de référence, 1989.

M. [. Jones and . Goldsmith, Programming in Occam2, 1988.

]. P. Jon93 and . Jonjer, A SIMD MIMD architecture for image processing and pattern recognition, Computer Architecture for Machine Perception, pp.222-237, 1993.

M. Kesseler, Constructing skeletons in clean: The bare bones, High Performance Functional Computing, pp.182-192, 1995.

Y. [. Kocik and . Sorel, A Methodology to Design and Prototype Optimized Embedded Robotic Systems, 2 nd IMACS International Multiconference CESA'98, 1998.

]. P. Lan66 and . Landin, The Next 700 Programming Languages, CACM, vol.9, pp.157-166, 1966.

R. [. Legrand, J. P. Canals, and . Dérutin, Edge and region segmentation processes on the parallel vision machine Transvision, Computer Architecture for Machine Perception, pp.410-420, 1993.

]. P. Leg95 and . Legrand, Schémas de parallélisation d'applications de traitement d'images sur la machineparalì ele Transvision, 1995.

Y. [. Lavarenne and . Sorel, Performance Optimization of Multiprocessor Real-Time Applications by Graphs Transformations, Proc. of PARCO'93 conference, 1993.

Y. [. Lavarenne and . Sorel, Modèle unifié pour la conception conjointe logiciel-matériel, Traitement du Signal, vol.14, issue.6, pp.569-578, 1997.

]. C. Lsst91a, O. Lavarenne, Y. Seghrouchni, and . Sorel, The SynDEx software environment for real-time distributed systems design and implementation, Proc. of the European Control Conference, 1991.

]. C. Lsst91b, O. Lavarenne, Y. Seghrouchni, and . Sorel, SynDEx un environnement de programmation pour application de traitement du signal distribués, 13 eme colloque Gretsi, 1991.

J. [. Leroy, D. Vouillon, and . Doligez, The objective caml system. Software and documentation available from http, 1996.

]. J. Mcc60 and . Mccarthy, Recursive Functions of Symbolic Expressions and their Computation by Machine, Communications of the ACM, vol.3, issue.4, pp.184-195, 1960.

]. W. Mcc94 and . Mccoll, The BSP approach to architecture independent parallel programming, 1994.

F. [. Marmoiton, P. Collange, J. P. Martinet, and . Dérutin, A real time car tracker, International Conference on Advances in Vehicle Control and Safety, 1998.

N. [. Magee and . Dulay, MP : A Programming Environment for Multicomputers, Proceedings of the IFIP WG 10.3 on Programming Environment for Multicomputers, pp.6-8

A. [. Michaelson, P. J. Ireland, and . King, Towards a Skeleton- Based Parallelising Compiler for SML, Proceedings of the Nineth International Workshop on Implementation of Functional Languages, pp.539-546, 1997.

]. R. Mil77 and . Milner, A Theory of Type Polymorphism in Programming, J. Comp. Syst. Scs, vol.17, pp.348-375, 1977.

]. R. Mil84 and . Milner, A Proposal for Standard ML, Conference Record of the ACM Symposium on Lisp and Functional Programming, pp.184-197, 1984.

]. J. Msa-+-85, S. Mcgraw, S. Skedzielewski, R. Allan, J. Oldehoeft et al., Sisal : Streams and iteration in a single assignment language, 1985.

O. [. Martin, H. Sentieys, J. L. Dubois, and . Philippe, GAUT: An architectural synthesis tool for dedicated signal processors, Proceedings of EURO-DAC 93 and EURO-VHDL 93- European Design Automation Conference, pp.20-24, 1993.
DOI : 10.1109/EURDAC.1993.410610

N. [. Michaelson, A. M. Scaife, and . Wallace, Prototyping parallel algorithms in Standard ML, Proceedings of British Machine Vision Conference, 1995.

]. S. Nic92 and . Nicolle, Gestionparalì ele d'applications en vision artificielle dans un environnement distribué, 1992.

K. [. Nguyen, R. Jung, and . Raghavan, Fast parallel algorithms : from images to level sets and labels, Parallel Architectures for Image Processing, pp.162-176, 1990.
DOI : 10.1117/12.19577

]. Y. Par97 and . Park, Etude en vue de la réalisation d'un noyau temps réel multiprocesseur et l'environnement de développement intégré, Thèse de doctorat, 1997.

]. S. Pel93 and . Pelagatti, A methodology for the development and the support of massively parallel programs, 1993.

]. S. Pra93 and . Praud, Implantation d'un Algorithme d' ´ Etiquetage en Composantes Connexes sur le Calculateur Fonctionnel. Dea d'´ electronique, 1993.

C. [. Quénot, J. Coutelle, B. Sérot, and . Zavidovique, Implementing image processing applications on a real-time architecture, 1993 Computer Architectures for Machine Perception, pp.15-17, 1993.
DOI : 10.1109/CAMP.1993.622455

B. [. Quénot and . Zavidovique, A data-flow processor for realtime low-level image processing, IEEE Custom Integrated Circuits Conference, pp.13-16, 1991.

B. [. Quénot and . Zavidovique, The ETCA massively Parallel Data-Flow Computer for Real-Time Image Processing, IEEE International Conference on Computer Design, pp.492-495, 1992.

W. [. Rees and . Clinger, Revised report on the algorithmic language scheme, ACM SIGPLAN Notices, vol.21, issue.12, pp.37-79
DOI : 10.1145/15042.15043

W. [. Skillicorn and . Cai, A Cost Calculus for Parallel Functional Programming, Journal of Parallel and Distributed Computing, vol.28, issue.1, 1994.
DOI : 10.1006/jpdc.1995.1089

]. S. Sel72 and . Selkow, One pass complexity analysis of digital picture properties, Journal of ACM, vol.19, issue.2, pp.283-295, 1972.

]. O. Sen93 and . Sentieys, Analyse et Synthèse d'Architectures en Traitement du Signal et des Images : Vers la Conception d'Architectures Hétérogènes, 1993.

]. J. Ser93 and . Serot, Mise en oeuvre d'un formalisme fonctionnel pour la programmation d'une architecture flot de données dédiée au traitement d'images temps reel, 1993.

]. J. Ser97 and . Serot, Embodying parallel functional skeletons: an experimental implementation on top of MPI, Euro-Par'97 Parallel Processing, pp.629-633, 1997.

]. P. Sin93 and . Singh, Graph as a categorical data type, 1993.

]. D. Ski90 and . Skillicorn, Architecture-independent parallel computation, IEEE Computer, vol.23, issue.12, pp.38-50, 1990.

]. D. Ski92 and . Skillicorn, Parallelism and the Bird-Meertens Formalism, Departement of Computing and Information Science, 1992.

]. D. Ski93 and . Skillicorn, The Bird-Meertens Formalism as a Parallel Model

. Smd-+-93-]-o, E. Sentieys, H. Martin, J. L. Dubois, M. Philippe et al., Application de l'outil ESPION pour l'analyse des architectures multiprocesseurs au filtrage de Kalman 2-D rapide, 1993.

G. [. Scaife, A. M. Michaelson, and . Wallace, Four skeletons and a function, Proceedings of the Nineth International Workshop on Implementation of Functional Languages, pp.529-538, 1997.

]. Y. Sor94 and . Sorel, Massively parallel systems with real time constraints. The " Algorithm Architecture Adequation " Methodology Real time Embedded Image processing Application using the A 3 Methodology, Proc. Massively Parallel Computing Systems IEEE International Conference on Image Processing, 1994.

G. [. Sérot, B. Quénot, and . Zavidovique, Functional programming on a dataflow architecture: Applications in real-time image processing, Machine Vision and Applications, vol.6, issue.1, pp.44-56, 1993.
DOI : 10.1007/BF01212416

C. [. Schäfers, T. Scheidler, W. Born, and . Obelöer, Monitoring the T9000 -The TRAPPER Approach, Proceedings of the World Transputer Congress (WTC 94), 1994.

]. C. Sskf95a, L. Scheidler, O. Schäfers, and . Krämer-fuhrmann, Software Engineering for Parallel Systems : the TRAPPER Approach, Proc. of HICSS, 1995.

]. C. Sskf95b, L. Scheidler, O. Schäfers, and . Krämer-fuhrmann, TRAP- PER : A Graphical Programming Environment for Industrial High- Performance Applications, PARLE'93, pp.403-413, 1995.

D. [. Skillicorn and . Talia, Models and languages for parallel computation, ACM Computing Surveys, vol.30, issue.2, pp.123-169, 1998.
DOI : 10.1145/280277.280278

S. Thompson, Haskell: The Craft of Functional Programming

]. W. Tsa85 and . Tsai, Moment preserving thresholding : a new approach Computer vision, graphics and image processing, pp.377-393, 1985.

]. D. Tur75 and . Turner, An Implementation of SASL, 1975.

]. D. Tur81 and . Turner, The Semanticc Elegance of Applicative Languages, Proceedings of the ACM Conference on Functional Programming Languages and Computer Architectures, pp.85-92, 1981.

]. D. Tur85 and . Turner, Miranda: A non-strict functional language with polymorphic types, Proceedings IFIP International Conference on Functional Programming Languages and Computer Architectures, pp.1-16, 1985.

]. M. Via96 and . Viala, Le langage de programmation de SYMPHONIE, 1996.

A. [. Weems, The DARPA image understanding benchmark for parallel computers, Journal of Parallel and Distributed Computing, vol.11, issue.1, pp.1-24, 1991.
DOI : 10.1016/0743-7315(91)90067-J

]. F. Yan98 and . Yang, Traitement automatique d'images de visages : algorithmes et architecture, 1998.