:POUR
REVENIR AU PLAN DU COURS
On ne doit
pas estimer qu'une chose est vraie parce qu'elle est dite avec éloquence,
ni qu'elle
est fausse parce qu'elle est exprimée avec des termes rudes et barbares.
Saint Augustin, Confessions, livre V
AVERTISSEMENT AU LECTEUR
Cette bibliographie contient
un grand nombre de références à des sites accessibles
par internet. Certains d'entre eux peuvent être fermés ou
ne plus contenir la page indiquée quand le lecteur tentera de la
lire. L'auteur lui présente dès maintenant ses regrets et
lui sera obligé de lui signaler les sites ou pages fermés
ainsi que d'autres sites intéressants, d'avance merci.
:POUR
REVENIR AU PLAN DU COURS
OUVRAGES GÉNÉRAUX
[TAN91] Andrew
Tanenbaum,
Architecture de l'ordinateur, InterÉditions,
Paris, 1991.
[TAN89]
Andrew
Tanenbaum,
Systèmes d'exploitation, InterÉditions,
Paris, 1989.
[TAN93]
AndrewTanenbaum,
Réseaux,
architectures, protocoles, applications, InterÉditions, Paris,
1993.
Ces trois ouvrages sont les
plus connus et les plus utilisés en Europe. Ils sont écrits
de façon très compréhensible pour qui ne connaît
pas le domaine considéré et les traductions sont de qualité.
John L. Hennessy et David
A. Patterson, Computer architecture: a quantitative approach,
2ème édition, 1995.
est l'ouvrage le plus largement
utilisé dans les enseignements des universités américaines.
Il est traduit en français :
[HEN95]
John
L. Hennessy et David A. Patterson, Architecture des ordinateurs
; approche quantitative, International Thomson Publishing France, Diffusion
: Vuibert.
[CHE]
René
Chevance, Serveurs multiprocesseurs, clusters et architectures parallèles,
Eyrolles, Paris, 2000.
Cet ouvrage contient en sus
des sujets visés dans son titre, de nombreuses vues sur les architectures
conventionnelles et les techniques.
L'ouvrage de référence
sur les architectures parallèles est :
[CUL97]
David
Culler, Jaswinder Pal Singh et Anoop Gupta, Parallel computer architecture,
A hardware/software approach, Morgan Kauffmann, 1997.
C'est à mon avis le meilleur
ouvrage actuel. Il porte tant sur le matériel que sur le logiciel.
A. Blanchet, B. Dupouy,
Architecture
des ordinateurs, Masson 1991. Ouvrage détaillé et plus
proche des machines existantes que les précédents.
P. Rolin, Réseaux
locaux, normes et protocoles, Hermès, Paris, 1993.
Les protocoles sont plus détaillés
ici que dans les précédents.
[IFR94]
Georges
Ifrah, Histoire universelle des chiffres, volumes 1 et 2, collection
Bouquins, Robert Laffont, Paris, 1994.
Cet ouvrage est sous titré
«L'intelligence des hommes racontée par les nombres et le
calcul». Il est une somme extraordinaire. On y trouvera pour notre
seul propos l'introduction du zéro comme marque de position, une
histoire détaillée des machines à calculer et des
vues pertinentes sur l'informatique.
[MAL95]
Michel Malherbe, Les langages de l'humanité, Robert Laffont,
collection Bouquins, 1995.
Cet ouvrage est le pendant du
précédent pour les labgues connues. Le panorama en contient
3000. De nombreux détails sont donnés pour 171 d'entre elles.
[BLA84]
Robert
Blanché, La logique et son histoire d'Aristote à Russell,
Armand Colin, collection U, Paris, 1984.
La logique vue par un philosophe.
[BOC56]
J.M.
Bochensky, Formal logic, Karl Alber, Fribourg et Munich, 1956.
a été traduit en anglais :
[BOC61]
J.M.
Bochensky, A history of formal logic, Notre Dame university
press, 1961.
[BOC90]
J.M.
Bochensky, Entre la logique et la foi, Les éditions noir
sur blanc, Montrichet, 1990.
[BRU81]
Léon
Brunschwig, Les étapes de la philosophie mathématique,
1912,
édition de 1981 chez Librairie scientifique et technique A. Blanchard,
Paris.
Sur les évolutions et les révolutions scientifiques :
Henri
Guénin-Paracini,
Fiche de lecture sur Paul Feyerabend,
Contre la méthode, Esquisse d’une théorie anarchiste de la
connaissance est disponible sur http://www.cnam.fr/depts/te/dso/lecture/feyerabend.htm
C'est une bonne introduction
à l'ouvrage de P. Feyerabend et aux autres façons d'analyser
les sciences.
voir
aussi plus bas.
Une
analyse assez complète des conceptions philosophiques de la science
peut être trouvée dans :
http://fr.encyclopedia.yahoo.com/articles/ni/ni_840_p0.html
[KOY73]
Alexandre
Koyré, Études d'histoire de la pensée scientifique,
Collection TEL, Gallimard, Paris, 1973.
Il s'agit d'une des oeuvres
majeures d'Alexandre Koyré. L'auteur y établit la notion
de paradigme en matière de sciences.
[KOY84]
Alexandre
Koyré, Introduction à la lecture de Platon, suivi
de : Entretiens sur Descartes, Gallimard, Paris, 1984.
Des vues profondes sur les relations
entre les sophistes et Socrate qui préfigurent la rupture entre
la scolastique et la Renaissance.
[KUH83]Thomas
S. Kuhn, La structure des révolutions scientifiques,
traduit de l'américain par Laure Meyer, Flammarion, Paris, 1983.
Une autre vision des évolutions
et révolutions en sciences.
[MAS70]
Margaret
Masterman, The nature of paradigm, dans Criticism and the
growth of knowledge éditeurs I. Lakatos et A. Musgrave,
Cambridge University Press, 1970.
Le site d'échanges
:
newsgroup : comp.arch
Sites de constructeurs :
http://www.motorola.com
http://www.intel.com
http://www.amd.com
http://www.cyrix.com
http://www.bull.com
http://www.ibm.com
http://www.research.digital.com/wrl/publications/
pour les rapports techniques de DEC.
http://www.sun.com
http://www.sunlabs.com/techreports
pour les rapports techniques de Sun.
http://www.winchip.com
site du fondeur IDT
http://www.viatech.com
site du fabricant du C3
http://www.transmeta.com
Sites de revues :
Québec Science http://www.cybersciences.com/cyber/
Pour la Science http://www.pourlascience.com/
La Recherche http://www.larecherche.fr
PC : http://www.pcweb-fr.com
PcExpert : www.pcexpert.tm.fr
On trouve les secrets ou prétendus secrets d'Intel sur http://www.x86.org
Toutes les dernières nouvelles
en matière de matériels dans le site de :
VLSI Microprocessors, A guide
to high-performance microprocessor resources,
http://www.PaCT.sscc.ru/hardware/microprocessor/
Le 03/09/2002 il apparaît
que sa dernière mise à jour date de 2001.
Accès aux sites du Cnam :
http://www.cnam.fr
http://www2.cnam.fr.
Accès aux universités françaises :
Leurs URL sont constituées
systématiquement de la façon suivante :
http://www.univ-{nom de ville}.fr
Exemples : http://www.univ-orleans.fr
et http://www.univ-pau.fr
On trouvera par exemple :
Sites d'universités
étrangères :
Les universités et instituts
américains ont toujours le suffixe .edu
Princeton : http://www.princeton.edu
Berkeley : http://www.berkeley.edu
Massachusset Institute of
Technology (MIT) : http://www.mit.edu
Université de Yale
: http://www.yale.edu
Université du Wisconsin
: http://www.cs.wisc.edu/~arch/www/
California institute of technology
: http://www.caltech.edu
Autres pays :
Université de technologie
d'Eindhoven (Pays-Bas) : http://www.tue.nl
Université de Calgary
(Canada): http://www.cpsc.ucalgary.ca
Université d'Auckland
(Nouvelle Zélande): http://www.cs.auckland.ac.nz
Université de Manchester
(G.B.) : http://www.man.ac.uk
Université
nationale d'Australie : http://cs.anu.edu.au/techreports/
pour ses rapports techniques.
Une mention particulière
pour le collège virtuel d'Yves Bergeron du Collège
Notre Dame du Bois de Boulogne au Canada accessible à :
http://www.virtuel.collegebdeb.qc.ca/info/yvesb/cours.htm
Le site de l'Organisation des standards internationaux (OSI) : http://www.iso.ch/
[HAC00]
Ian
Hacking, Philosophie et histoire des concepts scientifiques,
résumé du cours 2000-2001, Collège de France, http://www.college-de-france.fr/media/phi_his/UPL31689_hacking.pdf
[DJE00]
Ahmed
Djebbar, Le nombre, la racine et le bien, in Cahiers de Science
et Vie, numéro 56, avril 2000.
[GER16]Joseph
Gergonne, Essai de dialectique rationnelle, Annales de
mathématiques pures et appliquées, Nîmes, tome VII,
1816-1817.
[SEI01]
Charles SEIGNOBOS, La méthode historique appliquée
aux sciences sociales, Alcan, Paris, 1901.
Un ouvrage disponible
de Ludwig Klages est : Principes de la caractériologie,
bibliothèque de l'université de paris.
Les
citations du § 1.2 sont extraites de la publication de Jacques Dufresne,
Histoire
de l'Internet, consultable dans http://agora.qc.ca/index.html
Sur la machine de
Babbage :
On trouve le rapport
d'Ada, comtesse de Lovelace et les figures explicatives, ainsi que la dédicace
par Blaise Pascal de sa machine au Chancelier du royaume, dans le site
:
http://www.fourmilab.ch
Sur les origines de
l'informatique et des ordinateurs :
[ZUSXX]
Konrad Zuse, The computer-my life, traduit de l'allemand par
Patricia Mac Kenna, Springer Verlag (année inconnue)
Sur l'origine de la
théorie des ensembles :
Jean
Cavaillès,
Philosophie mathématique, Collection
histoire de la pensée, Hermann, Paris, 1962. Cet ouvrage contient
les "Remarques sur la formation de la théorie des ensembles" du
même auteur (1938).
Sur le programme de
David Hilbert :
Le texte de 1901 en
anglais :
http://aleph0.clarku.edu/~djoyce/hilbert/problems.html
La liste des problèmes
à résoudre :
http://aleph0.clarku.edu/~djoyce/hilbert/toc.html
La photographie de D.
Hilbert a été trouvée dans :
http://www-history.mcs.st-andrews.ac.uk/history/PictDisplay/Hilbert.html
Sur le théorème
de Gödel :
[GOD01]
http://www.u.arizona.edu/~chalmers/online2.html#godel
On trouve dans ce site
une littérature abondante sur le théorème.
L'article original de
Gödel a été traduit en français :
Ernst Nagel, James
R. Newman, Kurt Gödel, Jean-Yves Girard, Le théorème
de Gödel, Traductions de l'anglais et de l'allemand par Jean-Baptiste
Scherrer, Le Seuil, Paris, 1989.
Le document original
de C. Shannon sur la commutation :
C.
E. Shannon, A symbolic analysis of relay and switching circuits,
Transactions American Institute of Electrical Engineers, Vol. 57 (1938),
pp. 713-723.
La thèse de
C. Shannon :
An algebra for theoretical
genetics, Ph.D. Dissertation, Department of Mathematics, Massachusetts
Institute of Technology, April 15, 1940, 69 pp.
Le document original
de C. Shannon sur la théorie de la communication :
C. E. Shannon, A
mathematical theory of communication, Bell System Technical Journal,
vol. 27, pp. 379-423 and pp. 623-656, 1948.
se trouve à :
[SHA48]
http://cm.bell-labs.com/cm/ms/what/shannonday/paper.html
Une biographie de
C. Shanon :
http://www.mprg.ee.vt.edu/publications/Propagator/sum98.html#shannon
Une bibliographie intéressante
sur la théorie de l'information peut être trouvée à
partir des liens figurant dans http://www-lmmb.ncifcrf.gov/~toms/
M.V. Wilkes, Memoirs
of a computer pioneer, The MIT Press, Cambridge, Massachussets, 1985.
H. Goldstine, The
computer from Pascal to von Neumann, Princeton University Press, Princeton,
New Jersey, 1972.
[RAN75]
B. Randell, The origins of digital computers, Springer Verlag,
1975.
[MOR81]Robert
Moreau, Ainsi naquit l'informatique, Dunod informatique, 1981.
[BRE87]
Philippe
Breton, Histoire de l'Informatique, La Découverte, Paris,
1987.
[LIG87]
Robert
Ligonnière, Préhistoire et histoire des ordinateurs,
Laffont, Paris, 1987
Sur la machine de
Carissan :
[SHA95]
J. Shallit, H. C. Williams, F. Morain, Discovery of a lost factoring
machine, Mathematical Intelligencer 17 (3) (Été 1995).
Sur la machine d'Antikythera
:
http://www.giant.net.au/users/rupert/kythera/kythera2.htm
http://www.eclipse.net/~dhamer/
http://home.earthlink.net/~nbrass1/enigma.htm
http://webhome.idirect.com/~jproc/crypto/enigma.html
http://www.math.arizona.edu/~dsl/enigma.htm
http://www.thinkquest.org/library/lib/site_sum_outside.html?tname=28005&url=28005/flashed/index2.shtml
Sur les techniques actuelles :
Les sites sont nombreux, on pourra les chercher avec les mots : cryptographie, chiffrement, espionnage, stéganographie, etc.
[BLE00]
Sur le parc de Bletchley :
http://www.bletchleypark.org.uk/
Le premier article
sur la réutilisation du logiciel :
G.M. Hopper, The
education of a computer, (Proc. ACM Conference), réimprimé
dans Annals of the History of Computing Vol. 9, No.3-4, pp. 271-281).
Sur l'état
d'esprit en France en 1953 :
[CYB53]
Numéro spécial de Cybernétique, éditions
S.E.T et service d'édition et de vente des publications de l'Éducation
Nationale, N°35-36, 5ème année, juillet 1953-janvier
1954.
Sur les machines à
piles :
Un livre très
complet de Philip Koopman,
http://www.cs.cmu.edu/~koopman/stack_computers/
Sur les machines Burroughs
:
Elliott I. Organick,
Computer
system organisation, The B5700/B6700 series, ACM monograph series,
1973
ainsi que :
http://www.cc.gatech.edu/gvu/people/randy.carpenter/folklore/
R.W. Doran, Computer architecture, a structured approach, Academic Press, 1979. (concerne surtout les B5700 et B6700).
Sur
la machine ILLIAC IV :
G.H. Barnes, R. Brown,
M. Kato, D. Duck, D. Slotnick et R. Stokes, The Illiac IV computer,
IEEE Transactions on computers, Vol C 17, 1968, pages 746 à 757.
Sur le CDC 6600 :
James E. Thornton,
Parallel
operation in the Control Data 6600, AFIPS Fall Joint Computer Conference,
Part II, Vol. 26, 1964, pages 33-40.
Sur les machines de la
Compagnie des machines Bull, Bull-GE, la CII, Bull, ainsi que sur des machines
de la SEA, le site des équipes de Bull
http://perso.club-internet.fr/febcm/
Sur la première
machine RISC :
[HOP87]
M.E. Hopkins, A perspective on the 801/Reduced instruction set computer,
IBM Systems Journal, Vol. 26, No. 1, 1987, pp. 107-121.
Sur la calculabilité
:
Les publications principales
de Church, Kleene, Post et Turing ont été reprises
dans :
[DAV65]
M. Davis, The undecidable, Raven Press, Hewlett, New-York,
1965.
On pourra consulter
aussi :
M. Davis, Computability
and unsolvability, McGraw-Hill, 1958.
C.A.R. Hoare, D.C.S.
Allison, Incomputability, Computing surveys, Sept 1972.
H. Rogers, Theory
of recursive functions and effective computability, MIT Press, 1988.
J. M. Autebert, Calculabilité
et décidabilité, une introduction, Masson, 1992.
P. Wolper, Introduction
à la calculabilité, InterÉditions, 1991.
M. de Rougemont et
R. Lassaigne, Logique et fondements de l'informatique, Hermès,
Paris, 1993.
R. Floyd, R. Beigel,
Le
langage des machines : introduction a la calculabilité et aux langages
formels, International Thomson Publ. France, 1995.
[LEV86]
Leonid A. Levine, Fundamental of computing, est accessible
à partir de http://www.cs.bu.edu/fac/lnd/toc/
[GOU99]
Jean
Goubault-Larrecq, Lambda-calcul et langages fonctionnels,
http://www.dyade.fr/fr/actions/VIP/jgl/MMFAI/lambdaidx.html
contient une très
bonne introduction au lambda-calcul.
Les travaux de Gregory
J. Chaitin sur la calculabilité, l'incomplétude, le problème
de l'arrêt sont disponibles dans :
http://www.umcs.maine.edu/~chaitin/unknowable
http://www.cs.auckland.ac.nz/CDMTCS/chaitin/unknowable
Gregory Chaitin fait
partie de l'école mathématiques dite "quasi-empirique". On
trouvera dans ces sites les programmes en LISP correspondant aux principaux
résultats de Turing, Gödel et bien sur de l'auteur.
Sur l'histoire de
la microinformatique :
http://www.islandnet.com/~kpolsson/comphist
et pages suivantes.
Sur les mémoires
holographiques
Byte, avril 1996.
Ainsi que :
http://www.mosarca.com/DONINFO/Holograp.htm
http://www.mosarca.com/DONINFO/IBMHOLA.htm
Sur l'enseignement
de l'informatique :
http://www.eecs.berkeley.edu/~eal/curriculum/whitepaper.html
contient le livre blanc
mentionné en fin de note.
Sur
les automates cellulaires :
On trouvera un dossier
intéressant accompagné de simulateurs dans le site http://www.fourmilab.ch
Sur le modèle de neurone
formel :
[MCU43]
Warren
S. McCulloch et Walter Pitts, A logical calculus of the ideas immanent
in nervous activity, dans Bulletin of Mathematical Biophysics, Oxford,
Elsevier Sciences, Vol. 5, 1943, a été traduit dans : Un
calcul logique des idées immanentes dans l'activité nerveuse,
dans Sciences cognitives Textes fondateurs (1943-1950), Aline Pélissier
et Alain Tête éditeurs, PUF, 1995.
Bernard Ourghanlian,
Les
microprocesseurs ALPHA, InterÉditions, 1995.
Pour tout savoir sur ces processeurs
de Digital Equipment Corporation.
Sur les machines à
piles :
un ouvrage téléchargeable
de Philip Koopman
http://www.cs.cmu.edu/~koopman/index.html
Sur les machines VLIW :
Le document
original de John Fisher à :
http://murl.microsoft.com/LectureDetails.asp?378
Sur
les processeurs Crusoe
http://www.crusoe.com/technology/specifications/
Sur
les extensions SSE
Bipin Patwardhan, National
Centre for Software Technology, Mumbai. dans http://www.x86.org/articles/sse_pt1/simd1.htm
Sur la microprogrammation.
[WIL53]
M.V. Wilkes, J.B. Stringer,
Microprogramming ans the design of the
control circuits in an electronic digital computer, Actes, Cambridge
Philosophical Society 49, pp 230-238, 1953, repris dans
M.V.
Wilkes, The genesis of microprogramming. Annals Hist Computing
tome 8, n°3, 1986.
D.A. Patterson,
Microprogramming,
Scientific American, 1983, n° 248, pp 36-43.
Première partie,
§ 2.6.8.
On trouvera une bibliographie
plus abondante dans l'annexe 17.
Sur les fonctions non documentées
de MS-DOS :
Andrew Schulman,
Les coulisses du DOS, Addison Wesley, Paris, 1991
Sur les premiers pipelines
:
[CAM62]
Campbell
(ed), Buchholz, Brooks, Bloch, et al, Planning a computer system:
project STRETCH, New York: McGraw-Hill, 1962.
Sur les machines supercalaires
:
James E. Smith, Gurindar
S. Sohi, The Microarchitecture of Superscalar Processors, à
l'université du Wisconsin http://www.cs.wisc.edu
Sur la technique de
cache de trace :
Eric Rotenberg, Steve
Bennett et James E. Smith, Trace
cache: a low latency approach to high bandwidth instruction fetching, IEEE,
Actes du 29ème symposium international annuel de Microarchitecture,
1996, Paris, France.
Sur les prédictions
de branchements :
[YEH91]
T.-Y.
Yeh and Y.N. Patt, Two-level adaptive branch prediction, Actes
du 24ème ACM/IEEE symposium international de Microarchitecture,
pp.51-61, Novembre 1991.
[CHA94]
Po-Yung
Chang, Eric Hao, Tse-Yu Yeh et Yale Patt, Branch classification:
a new mechanism for improving branch predictor performance, Actes du
27ème ACM/IEEE symposium international de Microarchitecture,
pp.22-31, Novembre 1994.
Sur les caches :
La littérature sur ce
sujet est très abondante et fortement répétitive.
Sur de nouvelles idées de gestion des mémoires on pourra
consulter :
[MOS97]
Andreas Moshovos et Gurindar S. Sohi, Streamlining Inter-operation
Memory Communication via Data Dependence Prediction, IEEE Actes de
Micro, Décembre 1997
[ROT96]
Eric
Rotenberg, Steve Bennett, James E. Smith, Trace cache:
a low latency approach to high bandwidth instruction fetching, Actes
du 29ème symposium international annuel de Microarchitecture, IEEE,
1996.
Sur l'optimisation
de la localité :
[DAN98]
Dan
Nam Truong, Optimisations logicielles de la localité : le
placement précis des données en mémoire, Thèse
de l'université de Rennes 1.
Sur l'eficacité
de la dépense dans une hiérarchie de caches :
Bruce
L. Jacob, Peter M. Chen, Seth R. Silverman, Trevor N. Mudge, An
analytical model
for designing memory
hierarchies, IEEE Transactions on computers, vol. 45, n° 10, octobre
1996
Sur le cache pour victimes
:
[JOU90]
N.
Jouppi, Improving direct-mapped cache performance by the addition
of a small fully-associative cache and prefetch buffers, Actes du 17ème
Symposium annuel de l'IEEE sur les architectures d'ordinateurs, 1990.
Sur les caches et les furets
:
[GRE96] Éric Gressier-Soudan,
Mémoire
répartie partagée, http://www.cnam.fr
Se référer aux ouvrages généraux en début de bibliographie.
Sur les bus de terrain :
sur Profibus : http://www.profibus.com/
sur Fip : http://www.worldfip.org/
sur Échelon :
http://www.lonworks.echelon.com
Des recommandations
du CERN sur les bus de terrain : http://itcowww.cern.ch/fieldbus/report1.html
Un ouvrage récent
: Guy Fagès, Bus de terrain, éditions Schneider,
1998.
Sur le bus USB : http://www.aquanta.com
qui est un des sites d'Unisys France.
Sur le bus IEEE 1394
: http://www.skipstone.com et http://www.firewire.org
Sur les jeux de puces
(chipsets) : http://x86.ddj.com/intel.doc/chipsets.htm
Sur le codage magnétique :
On peut consulter le
cours
de R. E. Newman,
CEN 6505 Computer Communication Networks, université de Floride
à http://www.cis.ufl.edu/~nemo/
Sur les disques de toute
nature et leurs interfaces, le site
http://www.transtec.fr
de la société Transtec est une mine d'informations techniques.
Sur tout ce qui concerne
les disques, on peut consulter :
H. Gilbert, Introduction
to PC hardware, dans le site de l'université de Yale : http://pclt.cis.yale.edu/pclt/default.htm
La guerre des standards
fait rage entre fabricants de systèmes de stockage, La Tribune,
19 novembre 1997,
Ioméga, une croissance
à trois chiffres, La Tribune, 19 novembre 1997,
Sur les systèmes de fichiers,
on peut consulter : http://pclt.cis.yale.edu
Sur le SCSI :
Foires aux questions
:
www.faqs.org/faqs/by-newsgroup/comp/comp.periphs.scsi.html
www.scsifaq.org
www.paralan.com/glos.html
Sur les cartes SCSI
Adaptec www.adaptec.com
Buslogic www.mylex.com
Qlogic www.qlogic.com
Symbios www.lsilogic.com/products/symbios
Tekram www.tekram.com
Sur les extensions PCMCIA, PC Card, Card Bus, on peut consulter le site officiel :
http://www.pc-card.com
PC Card Standard, Volumes
1 à 12, par les deux associations : "Personal Computer Memory Card
International Association" et Japanese Electronic Industry Development
Association (JEIDA).
Stephen Harper et
Steve Magidson, The new PC card standard, édité
par PCMCIA, 1995.
Claude Cruz,
New bus architectures, édité par PCMCIA, 1997.
Sanjiv Pathak,
The
Zoomed Video Port, The mobile multimedia gateway, édité
par PCMCIA, 1996.
Sur la fiabilité.
Daniel P. Siewiorek
et Robert S. Swarz, Reliable computer systems : design and evaluation,
Bedford,
MA, Digital Press, 1992.
Livre qui couvre les
aspects divers de la fiabilité des ordinateurs.
Annual International
Symposium on fault tolerant systems, IEEE Computer Society.
Pour qui souhaite suivre
l'évolution des idées et des réalisations expérimentales.
Sur les disques RAID,
L'article original qui
établit l'échelle originale des niveaux d'organisation est
:
[KAT88]
Garth
A. Gibson, R. H. Katz, David A. Patterson, A case for redundant
arrays of inexpensive disks. (raid), Proceedings IEEE, pp. 109 à
116, Juin 1988
Un article apporte des
ajouts importants en niveaux et contenus.
Peter M. Chen, Edward
K. Lee, Garth A. Gibson, Randy H. Katz, David A. Patterson, RAID
: high performance, reliable secondary storage, University of California,
Berkeley, UCB/CSD 93 778.
Un site spécialisé
dans l'évolution des disques :
http://www.disktrend.com/
Se référer aux
notices des constructeurs.
Sur les mesures de puissance des machines :
Jack J. Dongarraet W. Gentzsch,
Computer
benchmarks, North-Holland, 1993.
A. Sarzotti, Introduction
aux techniques d'évaluation et de mesure des systèmes informatiques,
Eyrolles, 1988.
D.E. Knuth, An empirical
study of Fortran programs, Software practice and experience, 1971,
vol 1, pp 105-133.
Plusieurs articles dans Tribunix,
Revue de l'association Française des utilisateurs d'Unix, volume
11, mai-juin 1995, Paris.
Sites intéressants :
http://www.specbench.org/
http://www.zdnet.com
http://www.techweb.com
sur les mesures de puissance.
http://www.pcexpert.tm.fr
site de la revue PcExpert.
http://www.coast.net/SimTel/SimTel
pour de nombreux résultats de bancs d'essais.
Sur les méthodes de présentation :
[ROY68] Bernard ROY, Classement et choix en présence de points de vue multiples (la méthode ÉLECTRE), RIRO, no 8, 1968, 57-75.
[DAU00] Bibliographie et présentation des logiciels Électre à : http://www.lamsade.dauphine.fr/logiciel.html
[ESP91] Margarita Esponda et Raul Rojas, Institut fur Informatik, Université libre de Berlin, Rapport technique B-91-12. http://www.cs.fsu.edu/~cda4101/History/risc_survey.html
Sur les mesures de complexité des logiciels :
[MCA76]T.J.
MacCabe, A complexity measure, IEEE Trans on Software Engineering,
vol SE2, pp 308-320, 1976.
G.J. Myers, An extension
to the cyclomatic measure of program complexity, SIGPLAN notices, vol
12, n° 10, pp61-64, 1977.
W.J. Hansen, Measurement
of the program complexity by the pair (cyclomatic number, operator count),
ACM SIGPLAN Notices, vol 13, n° 3, pp 29-33, 1978.
M. Halstead,
Elements
of software science, Elsevier North Holland, 1977.
D. McAuliffe,
Measuring
program complexity, IEEE Computer, oct 1988.
M. Gathier,
Complexité
relative des structures de contrôle, Colloque Afcet Sophia Antipolis,
juin 1984.
A. Zuse, Software
complexity : measures and metrics, Berlin, Walter de Gruyter, 1991.
Sur la méthode HINT
:
J. Gustafson et Quinn Snell,
HINT:
A new way to measure computer performance,
Actes de la 28ème conférence
internationale sur les sciences des systèmes, Vol. II, pp. 392-401,
1995.
et
http://www.scl.ameslab.gov/HINT
Sur la formation à la normalisation :
Jean Michel Atzel, Se former à la normalisation, 01 Informatique, n° 1206, 3 avril 1992.
Sur les effets néfastes de la normalisation :
Henri Lilen, Humeurs, Word3 pour Windows, Microsystèmes n°129, avril 1992.
Sur le dispositif européen de normalisation et de certification :
O. Valtières, Normes, l'europe se hâte lentement, Télécoms Magazine, N° 15 juin juillet 1992.
Le site de l'OSI déjà cité : http://www.iso.ch/
Quelques sites :
Celui d'IBM déjà
cité : http://www.ibm.com
et en particulier sur les mémoires
communes et le RS 6000 :
http://www.austin.ibm.com/resource/technology/scomaldoc.html
Celui de Sequent : http://www.sequent.com
et en particulier sur Numa :
http://www.sequent.com/numaq/technology/papers.html
Dans celui de Silicon graphics
: http://www.sgi.com on trouve la
description complète de la machine Origin 2000.
Data general : http://www.dg.com
On trouvera des planches fort
bien faites dans : http://www.corollary.com/m0006/
Une très bonne bibliographie
est chez Bull : http://www-frec.bull.com/OSBU/biblio.htm
Université d'Illinois
: http://iacoma.cs.uiuc.edu/comparison/cmp000.html
Université du Nouveau
Mexique : http://www.cs.nmsu.edu/~fbassett/proposal/
[MER96]Le
site qui propose de rechercher des nombres premiers :
http://www.mersenne.org/prime.htm
Ouvrages généraux sur l'architecture
K. Hwang et F.A. Briggs,
Computer
architecture and parallel processing, MacGrawHill 1986
G.S. Almasi, A. Gottlieb,
Highly
parallel computing, Benjamin/Cummings Pub. Comp. 1989
Sur les applications du calcul
parallèle
On ouvrage collectif, Les
applications du calcul parallèle, pratique et outils, Hermès
Science, 1999.
Articles et ouvrages sur les taxinomies
M.J. Flynn, Very high-speed
computing Systems, Proceeding of the IEEE, 54(12), Décembre
1966, p1901-1909
W. Handler, Innovative
computer architecture - how to increase parallelism but not complexity,
p1-41, in 'Parallel Processing Systems, An Advanced course', D.J. Evans
éditeur, Cambridge University Press, Cambridge, 1982, 0-521-24366-1
I. Hennessy et D. Patterson,
Computer
architecture, a quantitative approach, Morgan Kaufmann, Palo Alto,
1990, 1-55880-069-8
[HOC88]
R.W.
Hockney et C.R. Jesshope, Parallel computers 2, Adam Hilger/IOP
Publishing, Bristol, 1988, 0-85274-812-4
K. Hwang et F.A. Briggs,
Computer
architecture and parallel processing, McGraw Hill, Londres, 1984, 0-07-031556-6,
p32-40
M.J. Quinn, Designing
efficient algorithms for parallel computers, McGraw Hill, Londres,
1987, 0-07-051071-7
Chemij Wasel, Parallel
computer taxonomy, partie de la thèse de l'auteur, université
d'Aberystwyth, 1994.
Sur le modèle de cohérence séquentielle :
[LAM79] Leslie Lamport, How to make a multiprocessor computer that correctly executes multiprocess programs, IEEE Transactions on Computers, septembre 1979.
Sur la cohérence dans les systèmes à mémoire partagée :
Sarita V. Advey et Kourosh Gharachorlooz, Shared memory consistency models: a tutorial, IEEE Computer, pp. 66-76, décembre 1996.
Charles Thacker, Lawrence Stewart et Edwin Satterthwaite, Firefly: a multiprocessor workstation, IEEE Transactions on computers. Volume 37, n° 8, août 1988.
Sur les mémoires virtuelles partagées :
Liviu Iftode et Jaswinder
Pal Singh, Shared virtual memory: Progress and Challenges, Technical
Report DCS-TR-344 Department of Computer Science, université Rutgers
et TR-552-97 Department of Computer Science, université de Princeton.
Liviu Iftode, Home-based
shared virtual memory, thèse à l'université de
Princeton, 1998. Technical report TR-583-98, Department of computer science,
université de Princeton.
[GRE96] Eric Gressier-Soudan,
Mémoire
répartie partagée, http://www.cnam.fr
David Culler, Jaswinder Pal
Singh et Anoop Gupta,
Parallel computer architecture, a hardware/software
approach, Morgan Kauffmann, 1997. [CUL97]
Deux sources permanentes d'information
sur les DSP sont :
http://www.mrccos.com/~jmagno/index.html
et le site de Berkeley design
technology : http://www.bdti.com
Des documents très intéressants
de Gérard Blanchet de l'ENST sont à
http://www-sig.enst.fr
déjà cité.
Les paragraphes 13.6 et suivants
sont inspirés des travaux menés pour le RASSP c'est-à-dire
Rapid prototyping of Application Specific Signal Processing, projet qui
date des années 1994 dans les armées américaines.
Les principales références sont (à tout hasard) :
Statement Of Work for the
RASSP Program, solicitation number DAAL01-93-R-3616, 21 June 1993,
US Army Research Laboratory, Fort Monmouth, NJ.
RASSP Architecture Metrics,
document number AVY-L-S-00076-101-B, revision B, 9 November 1994, RASSP
Program Office, Lockheed Sanders, Nashua, NH.
RASSP Architecture Guide,
Rev.
C, April 14, 1995, Lockheed, Sanders, Hughes Aircraft, Motorola, ISX Corporation.
Une présentation utile des formats de virgule flottante est faite dans le cours de Guy Chesnot : http://www.univ-mlv.fr/services/cours/informatique/informat.htm
Un document très complet est celui de David Goldberg, What Every Computer Scientist Should Know About Floating-Point Arithmetic, ACM Computing Surveys, Vol 23, No 1, March 1991
[IFT97] Liviu
Iftode et Jaswinder Singh, Shared virtual memory: Progress and Challenges,
rapport
technique 552-97, université de Princeton, http://www.princeton.edu
[PAP98]
Jean
Papadopoulo, L'évolution de l'informatique parallèle
haut de gamme : les technologies SMP, Clusters et MPP revisitées,
mars 1998, sur http://www-frec.bull.com/
Sur les techniques DSL
:
http://www.univ-st-etienne.fr/~iuptel
Sur les codes RLL
Une présentation très
complète par Tjalling Tjalkens est à
[TJA93]
http://ei1.ei.ele.tue.nl/~tjalling/rll/,
Université d'Eindhoven.
[FRA68]
P.A.
Franaszek, Sequence state coding for digital transmission,
Bell
system technical journal, volume 47, janvier 1968.
[FRA70]
P.A.
Franaszek, Sequence-state methods for run-lenght-limited coding,
IBM
journal on research development, volume 14, juillet 1970.
Sur les transmissions :
C. Macchi et J.F. Guilbert,
Téléinformatique,
Dunod, 1987.
Un ouvrage de référence
mais ancien.
Clavier, Coffinet, Niquil,
Behr, Transmission de données, Tome 1 et Tome 2, Masson,
1979
L'excellent mais très
mathématique cours de Patrice Kadionik de l'Enserb de Bordeaux
à :
http://www-elec.enserb.u-bordeaux.fr/~kadionik/formation/
Les publications de l'UIT-T
:
Ont pour intitulés Recommandations
de la série X, par exemple V ou X.1 à X.15,
Fibres optiques et réseau national :
F. Fassot, France Télécom passe le coeur du réseau public au tout optique, Électronique international hebdo, n° 134, mars 1994, p.11
Compression de données :
J. Ziv et A. Lempel,
A
universal algorithm for sequential data compression, IEEE Transactions
on Information Theory, vol 23, n° 3, 1977, pp 337-343.
J. Ziv et A. Lempel,
Compression
of individual sequence via variable-rate coding, IEEE Transactions
on Information Theory, vol 24, n° 5, 1978, pages 530 à 536.
[SAU16] Ferdinand de Saussure, Cours de Linguistique générale, Payot 1916, p. 27
Sur le modèle ISO et les réseaux locaux :
Modèle de référence
pour l'interconnexion de systèmes ouverts, AFNOR référence
Z70-001
P. Rolin, Réseaux
locaux, normes et protocoles, Inria et Ensta, éditions Hermès,
1991
F. Lepage, Les réseaux
locaux industriels, éditions Hermès 1991.
P. Lecoy, Télécommunications
optiques, éditions Hermès, 1992.
J. Henshall, S. Shaw,
OSI,
les normes de communication entre systèmes ouverts, Masson,
1991. Ouvrage traduit de l'anglais, consacré aux trois couches supérieures.
Ainsi que le cours de Réseaux de la maîtrise d'informatique d'Angers par Pascal Nicolas sur le site : http://www.univ-angers.fr
Sur les réseaux locaux à hauts débits :
A. Ferrero, Le point
sur les réseaux locaux à hauts débits, Télécoms
Magazine, n° 26, novembre-décembre 1993.
Un cours de Hervé
Gilibert sur les réseaux locaux de type ethernet à
hauts débits à http://www.univ-st-etienne.fr
Sur les modems à la norme V34 :
C. Laurent, Les modems V34, un standard inégalement exploité, Décision, N° 205 mars 1995.
Sur les systèmes d'exploitation :
[SIL94] Abraham
Silberschatz et Peter B. Galvin, Principes des systèmes d'exploitation,
Addison Wesley, 1994, traduction de Martha Gatumel.
Ainsi que l'ouvrage d'A. Tanenbaum
cité plus haut [TAN89].
[DUB99] Olivier Dubuisson, ASN.1 - Communication entre systèmes hétérogènes, Springer Verlag et France Télécom, 1999, ISBN : 2-287-59670-4.
Brown et al. Advanced operating systems, Computer, volume n°17, 10 octobre 1984
[TRE63] Claude Tresmontant, Études de métaphysique biblique, J. Gabalda et C°, Paris, 1963 et F.X. de Guibert, Paris, 1998.
Sur le modèle CORBA
[DUC98] Laurence Duchien, Le modèle Objet de OMG-CORBA, à http://www2.cnam.fr/cours/accueil_cours.html
Pensées diverses de Rivarol, Desjonquières, Paris 1998.
Sur de nombreuses perspectives à long terme :
Michio Kaku, Visions, Comment la science va révolutionner le XXIème siècle, Albin Michel, 1999.
[LAP14] P.-S. Laplace, Essai philosophique sur les probabilités (1795; 5 e éd., 1825). Réédité à Paris par Christian Bourgois, 1986, pp. 32-33.
[LUR00]François
Lurçat, Le chaos et l'Occident, Académie des Sciences
morales et politiques - http://www.asmp.fr
Sur les fondements de la thermodynamique :
Le site de l'université
du Wyoming :
http://faraday.uwyo.edu/physics.astronomy/facult/tgrandy/entropy/
Sur la recherche des origines de la vie :
La littérature sur ce
sujet est considérable. Nous n'avons retenu que deux documents relatifs
à la recherche de l'information qui illustrent bien les accords
et divergences entre les auteurs.
Manfred Eigen, Steps
towards life: A perspective on evolution, Oxford University Press,
1992.
L'auteur dit sa certitude qu'il
faut et qu'on peut trouver les lois naturelles ainsi que le ou les algorithmes
à l'origine de la vie.
William A. Dembski,
The
design Inference: Eliminating chance through small probabilities. Thèse
à l'université d'Illinois, 1996.
Cet auteur, d'accord sur l'objectif
du précédent, contredit fermement sa façon de procéder.
Il établit que les lois naturelles et les algorithmes sont par essence
incapables d'expliquer l'origine de la vie.
Ernst Gombrich,
Histoire
de l'Art, Flammarion, Paris, 1986
Sur les théories physiques :
[NEW85] Isaac
Newton, De philosophiae naturalis principia mathematica ou Principia
mathematica, Traduction nouvelle de Marie-Françoise Biarnais,
éditions Christian Bourgois, Paris, 1985.
Est l'ouvrage majeur d'Isaac
Newton, pour ce qui nous concerne.
[STE88] Isabelle Stengers et Judith Schlanger, Les concepts scientifiques, invention et pouvoir, La Découverte, Paris, 1988.
[GIL78] Bertrand Gille, Histoire des techniques, Gallimard, collection La Pléiade, 1978
[FEY70]
Richard
Feynman, La nature des lois physiques, Traduit de l'américain
par Hélène Isaac et Jean-Marc Lévy-Leblond, Robert
Laffont, Paris, 1970.
L'univers de la gravitation,
Science
et Vie, numéro hors série, décembre 1998.
Sur les crises en physiques et en mathématiques :
[NEU63] John von Neumann, The role of mathematics in the sciences and in society, and method in the physical sciences, dans «J. von Neumann---Collected Works, Vol. VI, A. H. Taub éditeur, McMillan, New York, pp. 477-498. 1963.»
Sur Paul Feyerabend : http://plato.stanford.edu/entries/feyerabend/
Sur informatique et philosophie :
La littérature est très
abondante, nous avons cité plus haut M. Eigen et W. Dembski à
titre d'exemples.
[BAC97]
Bruno
Bachimont, Fondements des théories cognitives de l'esprit
: La philosophie classique, 1997 sur http://www.biomath.jussieu.fr/~bb
On y trouvera d'autres liens
vers de publications du même auteur, fort intéressantes.
D.S. Robertson,
The
New Renaissance, Computers and the Next Level of Civilization
Sur le futur des microprocesseurs et les circuits en AsGa
[YU96] A. Yu, The future of microprocessors, IEEE Micro, décembre 1996
Le site de l'université
du Michigan sur le projet PUMA : http://www.eecs.umich.edu/UMichMP/abstracts.html
Sur les limites des machines synchrones et du calcul :
[CHA85] B.
Chazelle et L. Monier, A model of computation for VLSI with related
complexity results, Journal de l'ACM, 32 (1985), 573-588.
[VIT86]
P.M.B.
Vitanyi, Nonsequential computations and laws of nature, Actes,
Aegean Workshop on Computing. Dans Lecture Notes in Computer Science 227.
VLSI Algorithms and architectures, Springer-Verlag, Berlin (1986), pp.
108-120
Sur les machines asynchrones :
Le site de Sun Microsystems
: http://www.sun.com déjà
cité.
On y trouve des documents de
Jo Ebergen et d'autres. Les laboratoires de Sun paraissent très
actifs sur les circuits asynchrones.
L'université de Calgary
: http://www.cpsc.ucalgary.ca/projects/VLSI/welcome.html
L'université
de Manchester, projet AMULET : http://www.cs.man.ac.uk/amulet/index.html
Un document très clair
de G. Theodoropoulos et J. V. Woods est à prendre
à :
ftp://ftp.cs.man.ac.uk/pub/amulet/papers/theo_WTC94.ps.Z
La page du groupe ACID-WG, financé
par des crédits communautaires :
http://www.cordis.lu/esprit/home.html
L'université de Californie
qui fournit une page de liens sur des documents et les universités
impliquées dans des projets sur les circuits asynchrones :
http://www.ece.ucdavis.edu
Tony Werner et Venkatesh
Akella, Asynchronous Processor Survey, Computer, Vol. 30, pp.
67-76, No. 11, November 1997
Sur la gravure à 18 microns :
[VER98]
Jean-Pierre Vernay, Gravure à 18 micromètres : faite
pour durer, L'Usine nouvelle, n° 2655, septembre 1998.
John L. Hennessy, David A.
Patterson, Architecture des ordinateurs, une approche quantitative,
Mac Graw Hill, Paris 1991 (traduit de l'américain par D. Etiemble
et M. Israël.
A. Hillis, La machine
à connexions, Masson, 1988 (traduction de The Connection Machine,
MIT 1985) Ouvrage traduit de l'américain, consacré à
la machine CM1.
Sur les mémoires holographiques.
[HAI95]Hai
Lin, Tsaipei Wang, et Thomas W. Mossberg, Spectral Holographic Memory
at 8 Gbit/in2, IEEE Lasers and Electro-Optics Society, Newsletter,
Vol. 9, p.10 (Oct. 1995)
est consultable dans le site
de l'université de l'Oregon :
http://opticb.uoregon.edu:80/~mosswww/memory/shm.html
Sur l'irréversibilité et l'entropie :
[SZI29]
L.
Szilard, On the decrease of entropy in a thermodynamic system by
the inter- vention of intelligent beings, Zeitschrift fur Physik, vol
53, 1929.
C'est l'article fondateur.
[LAN61]
R.
Landauer, Irreversibility and heat generation in the computing process,
IBM Journal of Research and Development, vol. 5, 1961.
[LAN82]
R.
Landauer, Uncertainty principle and minimal energy dissipation in
the computer, International Journal of Theoretical Physics, vol. 21,
1982.
[LAN86]
R.
Landauer, Computation: A fundamental physical view, Found. Physics,
vol. 16, 1986.
Sur la nanologique, les nanocircuits et la nanotechnologie :
[SCH99]
une bonne synthèse peut être trouvée à :
http://www.lecb.ncifcrf.gov/~toms/paper/nano2/
Le site de Ralph C. Merkle
de Xerox PARC : http://www.merkle.com
Le site de K. Eric Drexler,
Institute for Molecular Manufacturing:
http://www.foresight.org/FI/Drexler.html
J.G. Koller et W.C. Athas,
Adiabatic
Switching, Low Energy Computing, and the Physics of Storing and Erasing
Information, Actes, Workshop on Physics and Computation, October 2-4,
267-270 (IEEE Press 1992).
S. Washburn, Single
atoms as transistors, Nature Vol 357, May 21, 199-200, 1992
Michael P. Frank, Thomas F.
Knight, Ultimate Theoretical Models of Nanocomputers, MIT AI
Lab
Le site de W.T. Grandy,
de l'université du Wyoming :
http://faraday.uwyo.edu/physics.astronomy/facult/tgrandy/entropy/
Nanothinc : http://www.nanothinc.com
Foresight institute :
http://www.foresight.com
Le Musée futuriste de
la nanotechnologie du magazine Wired
http://www.hotwired.com/wired/scenarios/museum.html
Sur les ordinateurs et le calcul quantiques
Un site de
référence clair et lisible, celui des cours de Serge Haroche,
professeur de physique quantique au Collège de France.
http://www.lkb.ens.fr/recherche/qedcav/college/college.html
Le site spécialisé
de l'université d'Oxford : http://www.qubit.org/
ainsi que : http://www.sees.bangor.ac.uk/~schmuel/comp/
Un article pour :
A. Barenco, A. Ekert, A.
Sanpera et C.Machiavello,
Un saut d'échelle pour les calculateurs,
La Recherche, Novembre 1996.
Un article contre :
Serge Haroche, Jean-Michel
Raimond, L'ordinateur quantique : rêve ou cauchemar?,
La Recherche, Novembre 1996.
Le site : http://www.cs.mcgill.ca/
Le cours de John Preskill et
Alexei Kitaev au California Institute of technology :
http://www.theory.caltech.edu/people/preskill/ph229/
Ce site contient une bibliographie
abondante.
Le site http://pks.bu.edu/qcl/
contient les liens vers un grand nombre de documents au format pdf.
[ESP79] Bernard d'Espagnat, À la recherche du réel, Le regard d'un physicien, Gauthier Villars, 1979, contient des considérations très intéressantes sur la physique contemporaine et quelques expériences de physique quantique.
[REC01] Revue La Recherche, dossier sur la théorie des cordes, juin 2001.
Sur les machines analogiques :
R. Tomovic, Calculateurs
analogiques répétitifs, Masson, 1958.
M. Danloux Dumesnils,
Le
calcul analogique par courants continus, Dunod, 1964.
Il n'y a pas d'ouvrages récents
sur ce thème.
AUTRES LECTURES
[PRI98] Jacques
Printz,
Puissance et limites des systèmes informatisés,
Hermès,
Paris, 1998.
Ouvrage centré sur le
génie logiciel au ton original. Il contient des vues sur les architectures
intégrées matérielles et surtout logicielles. On y
trouvera une analyse fouillée sur les erreurs humaines en matière
de logiciel.
Sur les virus, vers et bombes :
David J. Ferbrache, A
pathology of computer viruses, Spriger-Verlag, Berlin, 1992.
Annual Computer Viruses and
Security Conference.
Approfondissement :
On consultera utilement les transparents
du cours : Systèmes et applications répartis B4 (19302)
du Cnam, sur http://www2.cnam.fr/cours
Un document
est un vieux papier que la dent des rats, la négligence des héritiers,
les flammes de l'incendie... les exigences de la chaise percée ont
épargné par hasard.
Alain
:
POUR
REVENIR AU PLAN DU COURS
Conservatoire national des arts et métiers
Architectures des systèmes informatiques
ANNEXE 01
Bibliographie
Année 2002-2003