logo pages de liens

Votre portail e-Learning
ENSup. et Minist. EN
Séminaire MaMuX
Mathématiques, musique et relations avec d'autres disciplines


Systèmes Concurrents

Bas de page


Research in CSAG focuses on hardware and software architecture issues in parallel and distributed computer systems (e.g. MPP's, scalable servers, and clusters and workgroups of workstations).
part of the Programming Languages and Software Systems group in the Department of Computer Science, explores a variety of research topics in parallel and distributed computing, adaptive computation, parallel programming languages, groupware and information systems. Much of this work centers around the Linda programming language or ideas that have been spawned from work on the Linda system.
Stanford CS Theory Division The concurrency group conducts research into models of concurrent behavior, with applications to programming and specification languages for parallel and distributed computation.
<http://boole.stanford.edu/> <http://www.cis.upenn.edu/~rtg/>
Department of Computer Science, University of Adelaide.
<http://www.cs.adelaide.edu.au/users/realtime/> <http://swarm.wustl.edu/>
The Modelling Concurrent Systems Group conducts research into models of concurrent behavior, with applications to programming and specification languages for parallel and distributed computation. Furthermore, we are looking for techniques for verfying concurrent systems. We develop and maintain the verificatin platform Truth.



University of California, Santa Cruz.
EPCC has always been a focus for research both through the support of research carried out on our HPC facilities and through the development of new technologies for HPCN. These pages collect together some of the aspects of the research work that is carried out here.
<http://www.epcc.ed.ac.uk/research/> <http://www.epcc.ed.ac.uk/epic/> <http://www.npac.syr.edu/> <http://www.cs.yale.edu/Linda/piranha.html> <http://www.cs.man.ac.uk/amulet/async/> <http://www.eecs.umich.edu/gasm/>
University of Paderborn, Germany. Formerly known as Evolving Algebras.
The Mozart system provides state-of-the-art support in two areas: open distributed computing and constraint-based inference. Mozart implements Oz, a concurrent object-oriented language with dataflow synchronization.
Univ. of Central Florida.






L.V. Kale and Sanjeev Krishnan Parallel Programming Laboratory, Department of Computer Science, University of Illinois at Urbana-Champaign
We present arguments for the adequacy of medium grained execution for concurrent object oriented systems such as Charm++ on current stock multicomputers.



parallel processing
PVM distributed computing environment
the MPI (Message Passing Interface) standard for parallel machines.



<http://www.comlab.ox.ac.uk/archive/concurrent.html> <http://www.cs.cmu.edu/afs/cs.cmu.edu/project/scandal/public/www/research-groups.html> <http://www.comlab.ox.ac.uk/archive/formal-methods.html>

 haut de page

Advertising :   If you see a reference in one of the files that is not linked, and you know of a link address to the appropriate document, please send me mail, and I will include the link in the document. Thanks very much in advance.
Avertissement :    Le classement par catégories est approximatif. Certains liens se retrouvent dans des rubriques différentes et sur plusieurs pages. Les commentaires sont généralement des courts extraits des pages référencées. Il est possible que certains liens nécessitent une mise à jour.
Tous commentaires ou remarques sont les bienvenus, vous pouvez les adresser à :

Les mises à jour demandées sont réalisées dès que possible et, sauf si c'est nécessaire, aucun message de réponse n'est expédié. Merci de m'écrire.

Copyright © 1999-2012 Jean-Paul Davalan - Reproduction interdite.