Narrow your search

Library

FARO (2)

KU Leuven (2)

LUCA School of Arts (2)

Odisee (2)

Thomas More Kempen (2)

Thomas More Mechelen (2)

UCLL (2)

UGent (2)

ULB (2)

ULiège (2)

More...

Resource type

book (2)


Language

French (2)


Year
From To Submit

2019 (2)

Listing 1 - 2 of 2
Sort by

Book
Le logiciel, entre l’esprit et la matière : Leçon inaugurale prononcée au Collège de France le jeudi 15 novembre 2018
Author:
ISBN: 2722605295 2213712417 Year: 2019 Publisher: Paris : Collège de France,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Un même matériel informatique peut remplir de nombreuses fonctions différentes par simple changement du logiciel qu’il exécute. Cette extraordinaire plasticité a permis à l’ordinateur de sortir des centres de calcul et de se répandre partout, des objets du quotidien aux infrastructures de la cité. Quels concepts fondamentaux sous-tendent cette prouesse technique ? Comment maîtriser l’incroyable et souvent effrayante complexité du logiciel ? Comment éviter les « bugs » de programmation et résister aux attaques ? Comment établir qu’un logiciel est digne de confiance ? À ces questions, la logique mathématique offre des éléments de réponse qui permettent de construire une approche scientifiquement rigoureuse du logiciel.


Book
L’algorithmique répartie : à la recherche de l’universalité perdue : Leçon inaugurale prononcée au Collège de France le jeudi 25 octobre 2018
Authors: ---
ISBN: 2722605279 2213712409 Year: 2019 Publisher: Paris : Collège de France,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Les algorithmes existent depuis que l’humain essaie de calculer. Au Moyen Âge, leur exécution est déléguée à des machines. En 1936, Alan Turing propose une machine universelle, exécutant tous les algorithmes possibles et imaginables, et donne ainsi naissance à l’ordinateur et à l’informatique. L’invention des réseaux, à partir des années 1960, a permis d’aller encore plus loin avec l’informatique répartie, connectant des ordinateurs dans de grands réseaux comme Internet et des processeurs dans de petits réseaux à l’intérieur de chacun des ordinateurs. L’objectif était de créer une super-machine, indestructible et ultra-rapide. Mais la recherche de ces « super-pouvoirs » a entraîné la perte de l’universalité. L’algorithmique répartie étudie les conditions permettant de retrouver l’universalité de Turing, ou des formes d’universalités restreintes réalisables.

Listing 1 - 2 of 2
Sort by