Francois Thomasset's Bookmarks
Journaux
- journaux allemands
- San Francisco Examiner Home Page
- Mercury Center Home Pages
- Le Monde
- Le Monde diplomatique : archives
- Le Monde diplomatique
- La une du Monde
- Charlie Hebdo
- Liberation
- La Voix du Nord
- Web Hebdo (Suisse romande)
- La Tribune Desfosses
- La Recherche
- der Spiegel
- der Spiegel: readme
- der Tagesspiegel
- Tageszeitung
- Suddeutschezeitung
- Die Welt
- la presse espagnole
- La presse espagnole et latino americaine
- Canarias7
- E-kiosk : Quimera
- journal litteraire espagnol
- Espagna hoy
- Bulletin edite par l'Universite de Madrid
- journal basque
- Liberation
- Vladivostok News
- Radio France
- Le Soir Illustre
Journaux Scientifiques
- Graph Algorithms and Applications
Annuaires
- Colleges et Universites US
- Who is who (compilers)
- Who is who (semantics)
- Programming Language Research
- Equipes de recherche sur le parallelisme
- La France (carte)
- France (dgrt)
- liste serveurs www France
- adminet
- liste serveurs www Allemagne
- liste serveurs www Monde
- l'Allemagne (carte)
- l'Espagne (carte)
- Departements Computer Science
- Instituts de Recherche dans le monde
- Suisse : profs d'info
- l'Europe
- le Monde !
- Mundo Latino
Trouver des URLs
- LYCOS
- YAHOO
- DIGITAL
- ALTAVISTA
- GODRIC
- dejanews
Archives
- SEL-HPC
Conferences
- HPFC
- PACT'96
- PRC-GdR
- Architectures Nouvelles de Machines
Rennes - 13/12
- ICPP-95
- 14-18 Aout 1995
- HiPC
- Int Conf on High Performance Computing
New Delhi, 27-30 Dec 1995
- ICFP'96
- ACM SIGPLAN
International Conference on Functional
Programming
Philadelphia, Pennsylvania, USA
May 24-26, 1996
Seminaires
- ENS (Cousot)
- Salle W, 4eme etage, toits du DMI
DMI ENS 45 rue d'Ulm 75005 Paris
Universites & Labos
- PRISM
- Versailles - StQuentin : Feautrier, Collard,...
- Argonne National Lab
- Maths and Computer Science Division
- CEPBA : Barcelone
- European Center for Parallelism of Barcelona
- El Mundo Latino
- toute l'Espagne et l'Amerique latine
- Berne
- Cambridge UK
- Chalmers
- Goteborg, Suede
- CSRD
- U. Illinois, Urbana-Champaign
- ECRC
- Munich
- ENST (Telecom)
- Erlangen
- McGill University Information Servers
- Georgia Tech
- Mustaque Ahamad (causal memory)
- Glasgow
- Lawrence Livermore
- LLNL : general info
- Thomas Reps (Cornell)
- CWI
- DAIMI
- Aarhus U. - projet LOMAPS
- CMU : FOX project
- Harper, Lee, Morrisett (ML)
- CMU : Carnegie Mellon SCS
- rapports de recherche depuis 1988
- CMU (1994)
- CMU (1995)
- Hamburg
- IMAG (Grenoble)
- Karlsruhe
- LIFO (Orleans)
- LIP (Lyon)
- Luc Bouge, Alain Darte, Yves Robert
- LITP - Paris 6,7
- LRI (Orsay)
- Manchester
- Cliff Jones
- Maryland - UMIACS
- University of Maryland Institute for
Advanced Computer Studies
- Montreal : CRIM
- Centre de Recherches Informatique de Montreal
Vincent Van Dongen
- Munich
- Stanford - Theory
- Knuth, Manna, Guibas, Pratt, Ullman, Halpern...
- Washington U, Saint Louis
- Ron Cytron -- Saint Louis, Missouri
- Nottingham
- Graham Hutton
- Passau
- Christian Lengauer, Martin Griebl
- Saarbrucken
- Saarbrucken : VCG
- Georg Sander
- ENST (Telecom)
- Utrecht
- Zurich : ETH
Industrie
- microsoft
- INTEL
- STERIA
- NeXT
Parallelisme, fonctionnel
- Jon Mountjoy
- liens vers les langages fonctionnels
- ELP
- Equational Language Package (LaBRi)
- SISAL
- SISAL : tutoriel
- SISAL90 : tutoriel
- Lawrence Livermore
- ORAP
- Occam archive
- Oxford U. Computing Lab
- Internet Parallel Archive
- U. Kent
- Virtual Library
- Virtual Library: parallelisme
- Arvind
- Oxford Parallel
- Paul Hudak (Yale)
- Frans Kaashoek (MIT)
- Amoeba, Orca, client-serveur
- NESL (Blelloch)
- Glasgow: P. Wadler
- monads, Haskell
- faq functional
- FAQ functional :
- James Larus (Wisconsin)
- tutoriel sur ML
- Yale: Linda
- Carriero, Gelernter
- Designing and Building Parallel Programs
- by Ian Foster (livre sous html)
- FORTRAN M
- NASA Parallel Benchmarks
- proposition HP Data Parallel Languages
- Common Runtime Support for
High Performance Data Parallel Languages
Rice, U.Syracuse, Indiana, Maryland
- TLA
- Temporal Logic of Actions (L. Lamport)
Contraintes
- Michael Jampel
traces de programmes paralleles
- Th.Casavant, M.S.Andersland, T.Tscheetz (IOWA)
- Eric Johnson, Jiheng Ha (HENSA)
OO, types
- Luca Cardelli
- CC++
- pC++, HPC++, FORTRAN-M
- CORBA
- infos generales sur CORBA
(Common Object Request Broker Architecture)
- CORBA : Doug Schmidt
- CORBA : OMG
- CORBA : sunrise (Tomlinson)
- DCE (Distributed Computing Environment, OSF)
- sunrise
- CLOS (Franz)
Compilation
- SUIF : pointer analysis
- Robert P. Wilson and Monica S. Lam
PLDI'95
- Software pipelining
- McGill : ACAPS
- McGill : McCAT
- Jacob
- Compilateur Oberon (utilise BEG)
- Dennis Ritchie
- Reinhard et Maurer
Linear Programming
- Linear Programming : FAQ
- faq de sci.op-research
- Non Linear Programming : FAQ
- ENUM
- Enumeration de polyedre : Marc Le Fur
Outils
- TclTk
logique
- Manuel Chakravarty
- TU-Berlin
progr. fonctionnelle et logique
- Isabelle (Larry Paulson)
- ECLIPSE (PROLOG de ECRC)
benchmarks
- SPEC
Parallelisation
- Irvine : Steve Novack
- Software pipelining (Nicolau)
- CEPBA : Barcelone
- European Center for Parallelism of Barcelona
- PVM
- MPI
- MPI : FAQ
- MPI : le rapport
- presentation complete de MPI
- caltech
- CERFACS
- ICPS
- Informatique et Calcul Parallele de Strasbourg
Clauss, Mongenet, Perrin
- ICASE (NASA)
- Leiden (Harry Wijshoff)
- Mines (PIPS)
- Vienna
- PRISM (Feautrier)
- Omega (Pugh)
- Maryland : Vadim Maslov
- SUIF
- Ramanujam : home page
- Ramanujam : software pipelining
- software pipelining of nested loops : en html
- Ramanujam : data distribution
- Integrating Data Distribution and Loop Transformations (html)
- Ramanujam : Beyond Unimodular Transformations
- html
- PANDORE
- PARAFRASE-2
- TINY, NASCENT (Michael Wolfe)
- POLARIS (CSRD)
- ADAPTOR (GMD: Brandes)
- CRPC (RICE)
- Cliff Click (RICE)
- Intermediate representations
Architectures
- CPU-INFO Center
- Berkeley
- PA-RISC
- Hewlett-Packard
- POWER-PC
- NEC-SX4
- PAPERS
- Purdue
- MEIKO : CS2 (LLNL)
- MEIKO
- MEIKO Home page
- CAPS : rapports sur microprocesseurs
VLIW
- VLIW: biblio
- VLIW: Novack
Abstract Interpretation
- LABRI Bordeaux
- ENS
- X
- Imperial College
Information Theory
- Linkoping
Expositions, tourisme
- Cezanne
- Monet -- Giverny
- Art Institute Chicago
- Monet
- Vermeer
- WebMuseum
- Humains associes
- Geographie : Letourne
- Pays-Bas
- FranceNet
- eckwerte
- Paris
- le metro
- tous les spectacles (ircam)
- Pariscope
- Ministere de la Culture
- Vues satellite
INRIA
- INRIA ...
- OSCAR : page d'entree
- OSCAR : Equipe
- chez moi
- Livre de Reinhard Wilhelm et D. Maurer
- DOC INRIA
- DOC INRIA + IMAG
- Avec possibilite commande de photocopie
- faire RR INRIA
Sites ftp
- Aarhus (DAIMI)
- Amsterdam : VU
- pub/amoeba
- Argonne Nat Lab
- pvm,benchmarks
- Cambridge
- Manchester
- CMU
- CWI
- GMD
- Rice Language Group
- Rice (CRPC)
- Iowa
- SISAL
WWW
- tout sur WWW, HTML, ... (X)
- LaTeX
- Gilles Kahn
Divers
- AARC
- Avocat Assistance Recours Consommateur
- dictionnaire multilingue
- Histoire des Mathematiques
- abecedaire decapant
- Daniel German
- poesia (Carlos Hurtado)
- L'ours brun
- icones
- icones
- images (cnam)
- Cafe Orbital
Droit
- Keele
Russie
- Bucknell
- OMRI
Litterature
- Virginie
- Poesie francaise
- Phedre
- ABU
- Shakespeare -- oeuvres completes
- Autour de Shakespeare
- Miguel de Unamuno
- Pablo Neruda
- Denoel
- L'Histoire