Accueil
Plan du site
Bloc notes
Jeux
Graphes
Combinatoire
Arithmétique
Algèbre
Analyse
Probabilités
Automates
Programmation
Divers
Liens
Home

UniversitySurf.net
Votre portail e-Learning

CultureMATH
ENSup. et Minist. EN

OE
I S

Encyclopédie des suites d'entiers

Séminaire MaMuX
Mathématiques, musique et relations avec d'autres disciplines

IHÉS

Institut des Hautes Études Scientifiques

L'INVERSEUR
de Plouffe

SystÃ¨mes Concurrents

GROUPES - GROUPS

Concurrent Systems Architecture Group (CSAG)

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).

<http://www-csag.ucsd.edu/>

Linda Group

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.

<http://www.cs.yale.edu/Linda/linda.html>

CONCURRENCY GROUP

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/>

The Real-Time Systems Group at the University of Pennsylvania

<http://www.cis.upenn.edu/~rtg/>

Concurrent and Real-Time Systems Group

Department of Computer Science, University of Adelaide.

<http://www.cs.adelaide.edu.au/users/realtime/>

The Concurrent Systems Group

<http://swarm.wustl.edu/>

Modelling Concurrent Systems

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.

<http://www-i2.informatik.rwth-aachen.de/Forschung/MCS/index.html>

PAGES WEB

Concurrent Systems Laboratory

University of California, Santa Cruz.

<http://csl.cse.ucsc.edu/>

Research at EPCC.

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/>

EPIC

<http://www.epcc.ed.ac.uk/epic/>

Univ. Syracuse

<http://www.npac.syr.edu/>

Piranha and Adaptive Parallelism

<http://www.cs.yale.edu/Linda/piranha.html>

Asynchronous Logic Home Page

<http://www.cs.man.ac.uk/amulet/async/>

Abstract State Machines (ASM).

<http://www.eecs.umich.edu/gasm/>

ASM - Europe,

University of Paderborn, Germany. Formerly known as Evolving Algebras.

<http://www.uni-paderborn.de/cs/asm/>

Mozart

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.

<http://www.mozart-oz.org/>

ISL Intelligent Systems Laboratory

Univ. of Central Florida.

<http://isl.engr.ucf.edu/>

JAVA

NPAC

<http://www.npac.syr.edu/Java/index.html>

DOCUMENTS - PAPERS

Medium Grained Execution in Concurrent Object Oriented Systems

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.

<http://charm.cs.uiuc.edu/papers/MediumGrainOOPSLA93.html>

GROUPES DE DISCUSSION - NEWS

comp.parallel

parallel processing

<news:comp.parallel>

comp.parallel.pvm

PVM distributed computing environment

<news:comp.parallel.pvm>

comp.parallel.mpi

the MPI (Message Passing Interface) standard for parallel machines.

<news:comp.parallel.mpi>

LIENS - LINKS

Concurrent Systems

<http://www.comlab.ox.ac.uk/archive/concurrent.html>

Supercomputing and Parallel Computing Research Groups

<http://www.cs.cmu.edu/afs/cs.cmu.edu/project/scandal/public/www/research-groups.html>

Formal Methods

<http://www.comlab.ox.ac.uk/archive/formal-methods.html>

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 à :
écrire

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.