Millipede -A Programming Environment providing Graphical Support for Parallel Programming, Proceedings of the European Workshop on Parallel Computing, pp.236-247, 1992. ,
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
Co-ordinating heterogeneous parallel computation, EURO-PAR'96 ,
DOI : 10.1007/3-540-61626-8_81
Actors : A Model of Concurrent Computation in Distributed Systems, 1986. ,
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
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
A foundation for actor computation, Journal of Functional Programming, vol.7, issue.1, pp.1-72, 1997. ,
DOI : 10.1017/S095679689700261X
Active vision, International Conference on Computer Vision, pp.35-54, 1990. ,
DOI : 10.1007/BF00133571
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. ,
Algorithmic Skeletons in paraML, Edinburgh Parallel Computing Centre, 1994. ,
Construction of Multidimensional Arrays as Categorical Data Types, 1995. ,
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
An anvironment for structured parallel programming, Advances in High Performance Computing, pp.219-234, 1997. ,
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
P 3 L: A structured high level programming language and its structured support, Concurrency: Practice and Experience, pp.225-255, 1995. ,
Guaranteeing unpredictability (programming model) The Computer Journal, pp.723-733, 1993. ,
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. ,
A calculus of functions for progam derivation, 1987. ,
A Introduction to the Theory of Lists, Logic of Programming and Calculus of Discrete Design, pp.5-42, 1987. ,
HOPE -An Experimental Applicative Language, Conference Record of the 1980 LISP Conference, pp.136-143, 1980. ,
Implementing ML on Distributed Memory Multiprocessors Compilers and Run- Time Environments for Distributed Memory Multiprocessors, Workshop on Languages, pp.56-59, 1992. ,
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
Determining Useful Parallelism in Higher Order Functions, Proceedings of the 4th Int. Workshop on the Parallel Implementation of Functional Languages, 1992. ,
A Skeleton-Based Parallelising Compiler for ML, Proceedings of the Fifth International Workshop on Implementation of Functional Languages, pp.23-34, 1993. ,
Parallelising a Functional Program Using a List- Homomorphism Skeleton, Proceedings of PaSCo'94, pp.44-53, 1994. ,
Skeleton-Based Parallelisation of Functional Programs, 1994. ,
The ESTEREL language, Proc. IEEE, pp.1293-1304, 1991. ,
DOI : 10.1109/5.97299
URL : https://hal.archives-ouvertes.fr/inria-00075075
Towards the classification of algorithmic skeletons, 1996. ,
A computational approach to edge detection, IEEE Transactions on Pattern Analysis and Machine Intelligence, vol.8, issue.6, pp.679-698, 1986. ,
ANACLETO : A Template-based P 3 L Compiler, Proceedings of the Seventh Parallel Computing Workshop, 1997. ,
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. ,
Segmentation d'images par approche de type division-fusion, 1991. ,
Suivi de primitives image, applicationàapplication`applicationà la conduite automatique sur route, 1991. ,
Architecturesparalì eles spécialisées pour le traitement d'images, 1978. ,
The Calculi of Lambda-Conversion, 1941. ,
Algorithmic Skeletons: Structured Management of Parallel Computations, 1987. ,
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. ,
Algorithmic skeletons: structured management of parallel computations, 1989. ,
LUSTRE : A declarative language for programming synchronous systems, Proceedings of the 14th ACM Symposium on Principles of Programming Languages, 1987. ,
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
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. ,
Ocamlp3l: a functional parallel programming construct Information available from, 1998. ,
First Version Data Flow Procedure Language, 1975. ,
Fast algorithms for low level vision, IEEE Transactions on Pattern Analysis and Machine Intelligence, vol.12, issue.1, pp.78-86, 1990. ,
Parallel Programming Using Skeleton Functions, Parallel Architectures and Languages Europe, pp.146-160 ,
Structured parallel programming, Proceedings of Workshop on Programming Models for Massively Parallel Computers, pp.160-169, 1993. ,
DOI : 10.1109/PMMP.1993.315543
Fortran-S: A Uniform Functional Interface to Parallel Imperative Languages, Proceedings of the Third Parallel Computing Workshop, 1994. ,
Functional Skeletons for Parallel Coordination, EURO-PAR'95 Parallel Processing, pp.55-69, 1995. ,
Parallel Skeletons for Structured Composition, Proceedings of the 5th ACM SIG- PLAN Symposium on Principles and Practice of Parallel Programming, pp.19-28, 1995. ,
A methodology for the development and the support of massively parallel programs, Future Generation Computer Systems, vol.8, pp.1-3, 1992. ,
Skeletons for data parallelism in p3l, Proc. of EURO-PAR '97, pp.619-628, 1997. ,
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. ,
Building Parallel Applications without Programming, Abstract Machine Models for Highly Parallel Computers, pp.140-154, 1995. ,
Analyse des Systèmes Multiprocesseurs : Applicationà Application`Applicationà la Mise en oeuvre sous Contraintes d'Algorithmes de Traitement d'Images, 1991. ,
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. ,
Reconnaissance d'objets en environnement dynamique - ApplicationàApplication`Applicationà la reconnaissance des panneaux routiers, 1996. ,
Document for a standard message passing interface, 1993. ,
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
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. ,
Modèle d'exécutif distribué temps réel pour SynDEx, 1998. ,
Lecture notes in computer science, 1979. ,
Performance of multiprocessor communications networks, 1994. ,
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. ,
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
The declarative code DC, version 1.2a. Vérimag, 1995. ,
The Principal Type-Scheme of an Object in Combinatory Logic, Trans. Amer. Math. Soc, vol.146, pp.29-60, 1969. ,
Communicating Sequential Processes, 1985. ,
Picture segmentation by a direct split and merge procedure, Second International Conference on Pattern Recognition, pp.424-433, 1974. ,
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. ,
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. ,
Occam2 : Manuel de référence, 1989. ,
Programming in Occam2, 1988. ,
A SIMD MIMD architecture for image processing and pattern recognition, Computer Architecture for Machine Perception, pp.222-237, 1993. ,
Constructing skeletons in clean: The bare bones, High Performance Functional Computing, pp.182-192, 1995. ,
A Methodology to Design and Prototype Optimized Embedded Robotic Systems, 2 nd IMACS International Multiconference CESA'98, 1998. ,
The Next 700 Programming Languages, CACM, vol.9, pp.157-166, 1966. ,
Edge and region segmentation processes on the parallel vision machine Transvision, Computer Architecture for Machine Perception, pp.410-420, 1993. ,
Schémas de parallélisation d'applications de traitement d'images sur la machineparalì ele Transvision, 1995. ,
Performance Optimization of Multiprocessor Real-Time Applications by Graphs Transformations, Proc. of PARCO'93 conference, 1993. ,
Modèle unifié pour la conception conjointe logiciel-matériel, Traitement du Signal, vol.14, issue.6, pp.569-578, 1997. ,
The SynDEx software environment for real-time distributed systems design and implementation, Proc. of the European Control Conference, 1991. ,
SynDEx un environnement de programmation pour application de traitement du signal distribués, 13 eme colloque Gretsi, 1991. ,
The objective caml system. Software and documentation available from http, 1996. ,
Recursive Functions of Symbolic Expressions and their Computation by Machine, Communications of the ACM, vol.3, issue.4, pp.184-195, 1960. ,
The BSP approach to architecture independent parallel programming, 1994. ,
A real time car tracker, International Conference on Advances in Vehicle Control and Safety, 1998. ,
MP : A Programming Environment for Multicomputers, Proceedings of the IFIP WG 10.3 on Programming Environment for Multicomputers, pp.6-8 ,
Towards a Skeleton- Based Parallelising Compiler for SML, Proceedings of the Nineth International Workshop on Implementation of Functional Languages, pp.539-546, 1997. ,
A Theory of Type Polymorphism in Programming, J. Comp. Syst. Scs, vol.17, pp.348-375, 1977. ,
A Proposal for Standard ML, Conference Record of the ACM Symposium on Lisp and Functional Programming, pp.184-197, 1984. ,
Sisal : Streams and iteration in a single assignment language, 1985. ,
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
Prototyping parallel algorithms in Standard ML, Proceedings of British Machine Vision Conference, 1995. ,
Gestionparalì ele d'applications en vision artificielle dans un environnement distribué, 1992. ,
Fast parallel algorithms : from images to level sets and labels, Parallel Architectures for Image Processing, pp.162-176, 1990. ,
DOI : 10.1117/12.19577
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. ,
A methodology for the development and the support of massively parallel programs, 1993. ,
Implantation d'un Algorithme d' ´ Etiquetage en Composantes Connexes sur le Calculateur Fonctionnel. Dea d'´ electronique, 1993. ,
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
A data-flow processor for realtime low-level image processing, IEEE Custom Integrated Circuits Conference, pp.13-16, 1991. ,
The ETCA massively Parallel Data-Flow Computer for Real-Time Image Processing, IEEE International Conference on Computer Design, pp.492-495, 1992. ,
Revised report on the algorithmic language scheme, ACM SIGPLAN Notices, vol.21, issue.12, pp.37-79 ,
DOI : 10.1145/15042.15043
A Cost Calculus for Parallel Functional Programming, Journal of Parallel and Distributed Computing, vol.28, issue.1, 1994. ,
DOI : 10.1006/jpdc.1995.1089
One pass complexity analysis of digital picture properties, Journal of ACM, vol.19, issue.2, pp.283-295, 1972. ,
Analyse et Synthèse d'Architectures en Traitement du Signal et des Images : Vers la Conception d'Architectures Hétérogènes, 1993. ,
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. ,
Embodying parallel functional skeletons: an experimental implementation on top of MPI, Euro-Par'97 Parallel Processing, pp.629-633, 1997. ,
Graph as a categorical data type, 1993. ,
Architecture-independent parallel computation, IEEE Computer, vol.23, issue.12, pp.38-50, 1990. ,
Parallelism and the Bird-Meertens Formalism, Departement of Computing and Information Science, 1992. ,
The Bird-Meertens Formalism as a Parallel Model ,
Application de l'outil ESPION pour l'analyse des architectures multiprocesseurs au filtrage de Kalman 2-D rapide, 1993. ,
Four skeletons and a function, Proceedings of the Nineth International Workshop on Implementation of Functional Languages, pp.529-538, 1997. ,
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. ,
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
Monitoring the T9000 -The TRAPPER Approach, Proceedings of the World Transputer Congress (WTC 94), 1994. ,
Software Engineering for Parallel Systems : the TRAPPER Approach, Proc. of HICSS, 1995. ,
TRAP- PER : A Graphical Programming Environment for Industrial High- Performance Applications, PARLE'93, pp.403-413, 1995. ,
Models and languages for parallel computation, ACM Computing Surveys, vol.30, issue.2, pp.123-169, 1998. ,
DOI : 10.1145/280277.280278
Haskell: The Craft of Functional Programming ,
Moment preserving thresholding : a new approach Computer vision, graphics and image processing, pp.377-393, 1985. ,
An Implementation of SASL, 1975. ,
The Semanticc Elegance of Applicative Languages, Proceedings of the ACM Conference on Functional Programming Languages and Computer Architectures, pp.85-92, 1981. ,
Miranda: A non-strict functional language with polymorphic types, Proceedings IFIP International Conference on Functional Programming Languages and Computer Architectures, pp.1-16, 1985. ,
Le langage de programmation de SYMPHONIE, 1996. ,
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
Traitement automatique d'images de visages : algorithmes et architecture, 1998. ,