:
POUR
ALLER 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. Il se peut que certains d'entre eux soient fermés
ou ne contiennent plus 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.
OUVRAGES GÉNÉRAUX
[TAN91] Andrew
Tanenbaum,
Architecture de l'ordinateur, InterEditions, Paris,
1991.
[TAN89]
Andrew
Tanenbaum,
Systèmes d'exploitation, InterEditions, Paris,
1989.
[TAN93]
AndrewTanenbaum,
Réseaux,
architectures, protocoles, applications, InterEditions, Paris, 1993.
Ces trois ouvrages sont les
plus connus et les plus utilisés. Ils constituent des références
incontestées 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.
[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 :
[KOY73] Alexandre
Koyré, Etudes 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.rise.com
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://www2.microprocessor.sscc.ru
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/
[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) (Eté 1995).
Sur la machine d'Antikythera :
http://www.giant.net.au/users/rupert/kythera/kythera2.htm
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'Education
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
R.W. Doran, Computer architecture, a structured approach, Academic Press, 1979. (concerne surtout les B5700 et B6700).
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é, InterEditions, 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/
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
http://course.collegebdeb.qc.ca/equipe3/cube.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, InterEditions, 1995.
Pour tout savoir sur ces processeurs
de Digital Equipment Corporation.
Sur les machines VLIW :
Le document
original de John Fisher à :
http://murl.microsoft.com/LectureDetails.asp?378
http://www.crusoe.com/crusoe/download/pdf/crusoetechwp.pdf
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.
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.
Sur les fonctions non documentées de MS-DOS :
Andrew Schulman, Les
coulisses du DOS, Addison Wesley, Paris, 1991
Une présentation de la
microarchitecture du P6 dans le site www.intel.com
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'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] Eric 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.
Le cours de Patrice
Kadionik de l'Enserb de Bordeaux à :
http://www-elec.enserb.u-bordeaux.fr/~kadionik/formation/fieldbus
sur Profibus : http://www.profibus.com/
sur Fip : http://www.worldfip.org/
sur Echelon : 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, Editions 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
DTC www.datatechnology.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 parmi de nombreux
autres :
http://www.pdl.cs.cmu.edu/RAID/RAID.html
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 ELECTRE), RIRO, no 8, 1968, 57-75.
[DAU00] Bibliographie et présentation des logiciels Electre à : 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 NUMA,
on se reportera à une
bibliographie très détaillée : A comprehensive
Bibliography of Distributed Shared Memory, visible à
http://www.cs.uno.edu/~rasit/dsmbiblio/dsmbiblio.html
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
Sur la norme SCI :
http://www1.cern.ch/RD24/TwoPages/TwoPages_1.html
David Culler, Jaswinder Pal Singh et Anoop Gupta, Parallel computer architecture, a hardware/software approach, Morgan Kauffmann, 1997. [CUL97]
Sur les méthodes de synchronisation
Gérard Florin :
Mode message
Mode rendez-vous
Mode appel de procédure
distante
dans http://www2.cnam.fr/cours/accueil_cours.html
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
On pourra aussi se reporter à http://s9000.furman.edu/~jthompso/cs25/paper.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, Electronique 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.
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, Editions Hermès,
1991
F. Lepage, Les réseaux
locaux industriels, Editions Hermès 1991.
P. Lecoy, Télécommunications
optiques, Editions 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].
Brown et al. Advanced operating systems, Computer, volume n°17, 10 octobre 1984
[TRE63] Claude Tresmontant, Etudes de métaphysique biblique, J. Gabalda et C°, Paris, 1963 et F.X. de Guibert, Paris, 1998.
Sur le space-time tradeoff :
http://www.cs.princeton.edu/courses/cs226/lectures/lectures.txt
Ce sont les notes de cours sur
la compensation temps-espace de R. Sedgewick.
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 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,
Editions Christian Bourgois, Paris, 1985.
Est l'ouvrage majeur d'Isaac
Newton, pour ce qui nous concerne.
[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, 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 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.
Et le site de Texas Instruments
http://www.ti.com/research/docs/contents.htm
Le site de l'université
du Michigan sur le projet PUMA : http://www.eecs.umich.edu/UMichMP/abstracts.html
Site général sur les modèles non conventionnels de calcul
http://www.cs.auckland.ac.nz/CDMTCS/docs/umc98/umc98links.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.
Le Caltech: http://www.cs.caltech.edu/csstuff/async.html
L'université de technologie
d'Eindhoven : http://www.win.tue.nl/win/cs/index.html
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 disques compacts de
très grandes capacités :
http://www.c-3d.net/
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 :
Le site de W.T. Grandy,
de l'université du Wyoming :
http://faraday.uwyo.edu/physics.astronomy/facult/tgrandy/entropy/
Sur la nanologique, les nanocircuits et la nanotechnologie :
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
The Fifth Foresight Conference
on Molecular Nanotechnology. On trouvera les résumés
des conférences à http://www.ai.mit.edu/~mpf/Nano97/abstract.html
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
Institut Polytechnique Canadien
http://www.lisa.polymtl.ca
Sur les ordinateurs et le
calcul quantiques
[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.
[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.
Michael P. Frank, Thomas
F. Knight, Ultimate Theoretical Models of Nanocomputers, MIT
AI Lab à lire sur http://www.ai.mit.edu/~mpf/Nano97/paper.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, A 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.
Sur la cryptographie :
http://www.hrnet.fr/~matthieu/crypto/
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
Conservatoire national des arts et métiers
Architectures des systèmes informatiques
HORS CHAPITRES
Bibliographie
Année 2001-2002