Modele de calcul informatique

Lorsque Xerox PARC a prêté au département d`ingénierie de Stanford tout un réseau d`Alto Ethernet avec une imprimante laser, l`étudiant diplômé Andy Bechtolsheim l`a redessiné dans un prototype qu`il a ensuite attaché au réseau informatique de Stanford. Sun Microsystems se développe à partir de ce prototype. Les racines du nom de l`entreprise proviennent de l`acronyme de Stanford University Network (SUN). La société a été constituée par des anciens élèves de Stanford de 3 26 ans: Bechtolsheim, Vinod Khosla et Scott McNealy. Le trio a rapidement attiré UC Berkeley UNIX Guru Bill Joy, qui a dirigé le développement de logiciels. Sun a aidé à cimenter le modèle d`un poste de travail ayant une interface Ethernet ainsi que des graphismes haute résolution et le système d`exploitation UNIX. Développé par le gouvernement japonais pour créer des modèles climatiques globaux, le simulateur de terre est un système massivement parallèle, basé sur le vecteur qui coûte près de 60 milliards yens (environ $600 millions à l`époque). Un consortium d`agences de l`aérospatiale, de l`énergie et des sciences marines a entrepris le projet, et le système a été construit par NEC autour de leur architecture SX-6. Pour le protéger contre les tremblements de terre, le bâtiment a été construit à l`aide d`un système d`isolation sismique qui utilisait des supports en caoutchouc. Le simulateur de terre a été répertorié comme le supercalculateur le plus rapide dans le monde de 2002 à 2004. Dans le domaine de l`analyse d`exécution des algorithmes, il est courant de spécifier un modèle de calcul en termes d`opérations primitives autorisées qui ont un coût unitaire, ou simplement des opérations de coût unitaire. Un exemple couramment utilisé est la machine d`accès aléatoire, qui a un coût unitaire pour l`accès en lecture et en écriture à toutes ses cellules de mémoire. À cet égard, elle diffère du modèle de machine Turing susmentionné.

Sous la direction de l`ingénieur Dr. Paul Friedl, le prototype d`ordinateur personnel portable APL machine portatif (SCAMP) est développé dans les laboratoires d`IBM Los Gatos et Palo Alto, en Californie. Le premier ordinateur personnel d`IBM, le système a été conçu pour exécuter le langage de programmation APL dans un boîtier compact, comme un porte-documents comprenant un clavier, un écran CRT et un stockage sur cassette. Friedl a utilisé le prototype SCAMP pour obtenir l`approbation au sein d`IBM pour promouvoir et développer la famille d`ordinateurs 5100 d`IBM, y compris la plus réussie, le 5150, également connu sous le nom d`IBM Personal Computer (PC), introduit en 1981. Du concept au système fini, le SCAMP a fallu seulement six mois pour se développer. Macintosh portable d`Apple rencontre avec peu de succès sur le marché et mène à une refonte complète de la gamme d`ordinateurs portables d`Apple. Les trois PowerBooks présentés ont présenté un trackball intégré, lecteur de disquette interne, et repose-paume, qui serait finalement devenu typique de la conception d`ordinateur portable des années 1990. Le PowerBook 100 était la machine d`entrée de gamme, tandis que le PowerBook 140 était plus puissant et avait une plus grande mémoire. Le PowerBook 170 était le modèle haut de gamme, doté d`un affichage matriciel actif, d`un processeur plus rapide, ainsi que d`une unité à virgule flottante. La ligne d`ordinateurs PowerBook a été abandonnée en 2006. Un ordinateur de première transistorisé, le NEAC (Nippon Electric automatique Computer) comprend un CPU, console, lecteur de bande de papier et de punch, imprimante et bandes magnétiques. Il a été vendu exclusivement au Japon, mais pourrait traiter des caractères alphabétiques et japonais Kana.

Seulement une trentaine de NEACs ont été vendus. Il a géré le premier système de réservation en ligne en temps réel du Japon pour Kinki Nippon Railways en 1960. Le dernier a été déclé en 1979. Il existe de nombreux modèles de calcul, différents dans l`ensemble des opérations recevables et leurs coûts de calculs. Ils entrent dans les grandes catégories suivantes: machine abstraite et modèles équivalents (par exemple, le calcul lambda est équivalent à la machine Turing), utilisé dans les preuves de la computabilité et des limites supérieures sur la complexité computationnelle des algorithmes, et l`arbre de décision modèles, utilisés dans les preuves de limites inférieures sur la complexité computationnelle des problèmes algorithmiques. La dernière étape consiste à valider le modèle en comparant les résultats avec ce qui est attendu en fonction des données historiques de la zone d`étude. Idéalement, le modèle devrait produire des résultats similaires à ce qui s`est passé historiquement.