Publications de
Jean-Paul Arcangeli, Laetitia Bray, Annie Marcoux, Patrick Sallé
Engineering distributed object scheduling at the meta-level
Dans : Electronic Journal on Networks and Distributed Processing, TASC Lab., Université de Pau, Vol. 13, p. 15-28, mai 2002.
Résumé Accès : http://rerir.univ-pau.fr/
BibTeXFabien Dagnat, Marc Pantel, Matthias Colin, Patrick Sallé
Typing Concurrent Objects and Actors
Dans : L’Objet – Méthodes formelles pour les objets, Hermès, Vol. 6, N. 1, p. 83-106, janvier 2000.
Annie Marcoux, Christine Maurel, Frédéric Migeon, Patrick Sallé
Generic operational decomposition for concurrent systems : semantics and reflection
Dans : Parallel and Distributed Computing Practices, Nova Science Publishers inc., Vol. 1 N. 4, p. 49-64, décembre 1998.
Jean-Paul Arcangeli, Annie Marcoux, Christine Maurel, Patrick Sallé
La programmation parallèle par acteurs: le système PlasmaII
Dans : Calculateurs Parallèles, La Boucle Informatique, Vol. 22, p. 123-150, 1994.
Jean-Paul Arcangeli, Christine Maurel, Frédéric Migeon, Marc Pantel, Patrick Sallé
Ingénierie des applications mobiles
Dans : Journée Objet Composants et Modèles, Vannes, 05/02/03-05/02/03.
Najat Rafalia, Abdelatif El Faker, Marc Pantel, Patrick Sallé
Conception d’un protocole de communication paresseuse dans un environnement distribué d’acteurs
Dans : RENcontre francophone du PARallèlisme, Paris, 23/04/01-25/04/01, ., avril 2001.
Najat Rafalia, Abdelatif El Faker, Marc Pantel, Patrick Sallé
Communication between Actors in a distributed environment
Dans : Conference on Simulation Methods and Applications, Orlando, 29/10/00-31/10/00, ., octobre 2000.
Matthias Colin, Marc Pantel, Fabien Dagnat, Patrick Sallé
Intégration des typages fonctionnels et concurrents d’un langage fonctionnel d’Acteurs
Dans : Formalisation des Activités Concurrentes, Toulouse, 25/02/99-26/02/99, Mamoun Filali, Pierre Michel, François Vernadat (Eds.), Actes électroniques FERIA-SVF, février 1999.
Matthias Colin, Marc Pantel, Fabien Dagnat, Patrick Sallé
Intégration des Typages Fonctionnel et Concurrent d’un Langage Fonctionnel d’Acteurs
Dans : Journées Francophone Langages Applicatifs, Avoriaz, 01/02/99-02/02/99, INRIA, Collection Didactique, p. 227-252, février 1999.
Jean-Louis Colaço, Marc Pantel, Fabien Dagnat, Patrick Sallé
Static safety analysis for non-uniform service availability in Actors
Dans : Formal Methods for Open Object-based Distributed Systems, Florence, 15/02/99-18/02/99, Kluwer Academic Publisher, Pays-Bas, p. 371-386, février 1999.
Laetitia Bray, Jean-Paul Arcangeli, Patrick Sallé
Programming concurrent objects scheduling strategies using reflection
Dans : ACM ICS Workshop on Scheduling Algorithms for Parallel and Distributed Computing – From Theory to Practice –, Rhodes, Grèce, ACM, p. 7-11, juin 1999.
Accès : ftp://ftp.irit.fr/pub/IRIT/PLASMA/icsfinal99.ps.gz
BibTeXLaetitia Bray, Jean-Paul Arcangeli, Patrick Sallé
Experimenting Reflection for Programming Concurrent Objects Scheduling Strategies
Dans : 7th International Conference on High Performance Computing and Networking Europe 1999, poster session, Amsterdam, The Netherlands, 12/04/99-14/04/99, Lecture Notes in Computer Science, Vol. 1593, Springer-Verlag, Berlin/Heidelberg, p. 1227-1230, avril 1999.
Jean-Paul Arcangeli, Laetitia Bray, Patrick Sallé
An experience with reflection for scheduling actor-based irregular applications
Dans : First Workshop on Parallel Computing for Irregular Applications, Orlando (U.S.A.), I.M.A.G., Domaine UniversitaireF-38400 Saint-Martin d’Hères, p. 1-6, janvier 1999.
Accès : ftp://ftp.irit.fr/pub/IRIT/PLASMA/pcia99final.ps.gz
BibTeXFabien Dagnat, Marc Pantel, Patrick Sallé
ML-Act, un langage fonctionnel d’Acteurs
Dans : Journéee Francophone des Langages Applicatifs, Côme, 02/02/98-03/02/98, INRIA, Collection didactique, février 1998.
Marc Pantel, Patrick Sallé, Najat Rafalia, Abdelatif El Faker
Communication et transfert des données dans un environnement distribué d’acteurs
Dans : Colloque Africain sur la Recherche en Informatique, Dakar, 12/10/98-15/10/98, ., octobre 1998.
Jean-Paul Arcangeli, Laetitia Bray, Patrick Sallé
Le placement des acteurs : problématique et méthodologie
Dans : Deuxièmes Journées de Recherche sur le Placement Dynamique et la Répartition de Charge, Lille (F.), L.I.F.L., p. 1-5, mai 1998.
Accès : ftp://ftp.irit.fr/pub/IRIT/PLASMA/lille98.ps.gz
BibTeXFrédéric Migeon, Patrick Sallé
Acteurs et réflexivité
Dans : Journées francophones des langages applicatifs, Come, Italie, 02/02/98-03/02/98, S.A. Cerri, C. Queinnec, I.N.R.I.A. (collection Didactique, 17), p. 173-195, février 1998.
Jean-Louis Colaço, Marc Pantel, Patrick Sallé
From set based to multiset based analysis: A practical approach
Dans : Workshop on set constraints and set based analysis, Pise, 28/10/98, Pise Univ., p. 1-10, octobre 1998.
Jean-Louis Colaço, Marc Pantel, Patrick Sallé
Analyses Statiques de langages d’Acteurs
Dans : Journées du GDR Programmation, Rennes, 12/11/97-14/11/97.
Frédéric Migeon, Patrick Sallé
Generic reflective description of concurrent systems
Dans : 5th International Conference on Advanced Computing (ADCOMP’97), Chennai (Madras), India, 15/12/97-17/12/97, Tata McGraw Hill, New Delhi, Inde, p. 155-161, décembre 1997.
Accès : ftp://ftp.irit.fr/pub/IRIT/PLASMA/ADCOMP97.ps.gz
BibTeXJean-Louis Colaço, Marc Pantel, Patrick Sallé
Static analysis of behavior changes in actors languages
Dans : Proceedings of the 2nd France Japan Workshop on Object Based Parallel and Distributed Computing, –, -, octobre 1997.
Jean-Louis Colaço, Marc Pantel, Patrick Sallé
Analyse de linéarité par typage dans un calcul d’acteurs
Dans : Actes des Journées Francophones des Langages Applicatifs, –, -, janvier 1997.
Jean-Louis Colaço, Marc Pantel, Patrick Sallé
A set-constraint-based analysis of actors
Dans : Proceedings of the 1997 IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, –, Chapman and Hall, p. 107-122, juillet 1997.
Jean-Louis Colaço, Marc Pantel, Patrick Sallé
CAP: An Actor dedicated process calculus
Dans : ECOOP’96 Workshop on Proof Theory of Concurrent Object-Oriented Programming, Linz, Austria, -, juillet 1996.
Jean-Louis Colaço, Marc Pantel, Patrick Sallé, A. Senteni
Un calcul d’Acteurs primitifs (CAP)
Dans : Actes des Journées Francophones des Langages Applicatifs, –, -, janvier 1996.
Jean-Louis Colaço, Marc Pantel, Patrick Sallé
An actor dedicated process calculus
Dans : ECOOP’96 Workshop on Proof Theory of Concurrent Object-Oriented Programming, –, -, mai 1996.
Christiane Massoutié, Marc Pantel, Patrick Sallé, A. El-Faker
Vers une machine virtuelle pour l’évaluation des langages d’acteurs
Dans : Actes de la conférence Langages et Modèles à Objets, –, .
Jean-Louis Colaço, Marc Pantel, Patrick Sallé, A. Senteni
Un calcul d’acteurs primitifs
Dans : Journées du G.D.R. Programmation, Grenoble, -, novembre 1995.
Claude Bétourné, Daniel Litaize, Joseph Noailles, Patrick Sallé
De l’algorithme à son exécution parallèle
Dans : Les 20 ans des SPI, SITEF, Toulouse, .
Typage souple pour le langage Fol
Dans : Actes des Journées Francophones des Langages Applicatifs, –, -, janvier 1994.
Jean-Louis Colaço, Marc Pantel, Patrick Sallé
Static analysis of behavior changes in Actor languages
Dans : Object-Oriented Parallel and Distributed Programming. Jean-Paul Bahsoun, Takanobu Baba, Jean-Pierre Briot, Akinori Yonezawa (Eds.) , Hermès Science, 8, quai du Marché-Neuf, 75004 Paris, France, p. 53-72, janvier 2000.