Recherche en cours
Mode de traitement des données: temps réel, en parallèle, distribués, ?
Nouvelle
Modifier
Affiner ma recherche
Imprimer
Flux RSS
Titre
Titre
Date
Auteur
Afficher 12
Afficher 12
Afficher 24
Afficher 36
Afficher 48
Afficher 60
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
13
résultats
section 1-1
sur 2
résultats
1 à 12
Canal-u.fr
A brief history of atomic commitment
Description
:
Cet exposé retrace brièvement l'historique de l'algorithmique répartie à travers l'un de ses problèmes les plus fondamentaux: la validation atomique.
Date
:
05-05-2017
Format
:
video/mp4
Auteur
:
GUERRAOUI Rachid
Thème
:
Informatique, Informatique
Type de la ressource pédagogique
:
cours / présentation
Niveau
:
master, doctorat
Canal-u.fr
Adding Concurrency to Smart Contracts
Description
:
Modern cryptocurrency systems, such as Ethereum, permit complex financial transactions through scripts called *smart contracts*. These smart contracts are executed many, many times, always without concurrency. First, smart contracts are serially executed before being recorded on the blockchain, and ...
Date
:
05-05-2017
Format
:
video/mp4
Auteur
:
HERLIHY Maurice
Thème
:
Informatique, Informatique
Type de la ressource pédagogique
:
cours / présentation
Niveau
:
master, doctorat
UNIT
Computer security (série : Colloquium Jacques Morgenstern)
Description
:
Butler Lampson, one of the pioneers in computer security, once wrote: "What people want from computer security is to be as secure with computers as they are in the real world". Increasingly, however, the "real world" is full of interconnected computers in critical roles. Accordingly, computer secur ...
Date
:
18-03-2003
Format
:
Vidéo MPEG
Auteur
:
Abadi Martín
Thème
:
Informatique, Informatique
Type de la ressource pédagogique
:
cours / présentation
Niveau
:
enseignement supérieur, doctorat
Public
:
apprenant, enseignant
Canal-u.fr
Détecteurs de défaillance
Description
:
Cet exposé fait un tour d'horizon sur les détecteurs de défaillances, introduits par Chandra et Toueg en 1996. Michel Raynal a largement participé aux recherches sur ce sujet.
Date
:
05-05-2017
Format
:
video/mp4
Auteur
:
DELPORTE Carole
Thème
:
Informatique, Informatique
Type de la ressource pédagogique
:
cours / présentation
Niveau
:
master, doctorat
Canal-u.fr
Distributed data structures and consistency criteria
Description
:
Les systèmes distribués sont divers mais peuvent être classés en deux classes principales, ceux à communication par messages et ceux à mémoire partagée. Depuis qu'il a été montré par Attiya et al. que les deux modèles sont équivalents et que l'on peut émuler l ...
Date
:
05-05-2017
Format
:
video/mp4
Auteur
:
MOSTEFAOUI Achour
Thème
:
Informatique, Informatique
Type de la ressource pédagogique
:
cours / présentation
Niveau
:
master, doctorat
UNIT
Gossple, un outil de recherche personnalisé
Description
:
Créer un moteur de recherche adapté aux besoins de chaque internaute, tel est le projet de la chercheuse Anne-Marie Kermarrec et de son équipe.
Date
:
04-09-2009
Format
:
Document HTML
Auteur
:
Kermarrec Anne-Marie, Jongwane Joanna
Thème
:
Informatique
Type de la ressource pédagogique
:
cours / présentation, démonstration
Niveau
:
enseignement supérieur
Public
:
apprenant
Canal-u.fr
Indistinguishability, Duality and Necessary Conditions
Description
:
This talk discusss the most fundamental notion in distributed computing. I will present and prove a universal property for distributed computing, and discuss implications and applications.
Date
:
05-05-2017
Format
:
video/mp4
Auteur
:
MOSES Yoram
Thème
:
Informatique, Informatique
Type de la ressource pédagogique
:
cours / présentation
Niveau
:
master, doctorat
UNIT
Informatique répartie
Description
:
Le but de ce cours de la plateforme e-learning de l'INSA de Rouen est d'acquérir les compétences essentielles au développement d'applications réparties. L'informatique répartie vise à proposer des méthodes, concepts et outils permettant de simplifier le développement d'application réseau client/serv ...
Date
:
01-01-2007
Format
:
Document HTML, Document PDF, Archive compressée ZIP
Auteur
:
Pauchet Alexandre
Thème
:
Ingénierie et activités connexes, Informatique
Type de la ressource pédagogique
:
cours / présentation, exercice
Niveau
:
enseignement supérieur, master
Public
:
apprenant, enseignant, gestionnaire
UNIT
La programmation des grilles informatiques
Description
:
Trois voies s?ouvrent pour déployer une application scientifique sur les grilles informatiques : la méthode généraliste, via des logiciels clés en main, et les programmations par objets ou composants.
Date
:
06-06-2005
Format
:
Document HTML
Auteur
:
Müller Xavier, Priol Thierry
Thème
:
Informatique
Type de la ressource pédagogique
:
cours / présentation, démonstration
Niveau
:
enseignement supérieur
Public
:
apprenant
UNIT
Les réseaux grillent les limitations
Description
:
Les grilles informatiques : comment obtenir une machine dotée de colossales capacités de stockage en mutualisant les ressources de centres de calcul ou d?ordinateurs de particuliers.
Date
:
06-06-2005
Format
:
Document HTML
Auteur
:
Müller Xavier, Priol Thierry
Thème
:
Informatique
Type de la ressource pédagogique
:
cours / présentation, démonstration
Niveau
:
enseignement supérieur
Public
:
apprenant
UNIT
Méthodes d?analyse statique de pire temps d?exécution de programmes
Description
:
L?intégrité d?un système physique interagissant avec son milieu n?est garantie que si certaines contraintes de temps sont respectées. Connaître le pire temps d?exécution d?un programme permet d?offrir cette garantie.
Date
:
03-05-2005
Format
:
Document HTML
Auteur
:
Arnaud Alexis, Puaut Isabelle
Thème
:
Informatique
Type de la ressource pédagogique
:
cours / présentation, démonstration
Niveau
:
enseignement supérieur
Public
:
apprenant
UNIT
Sciences de l?information : là où le temps sous-tend tant et tant
Description
:
En informatique, le temps est une variable omni-présente, mais sous des formes parfois inattendues qui, mal comprises, conduisent à de fâcheux contre-temps. Essayons de démystifier les différents concepts s?y reliant.
Date
:
30-06-2006
Format
:
Document HTML
Auteur
:
Viéville Thierry, Jutten Christian
Thème
:
Informatique
Type de la ressource pédagogique
:
cours / présentation, démonstration
Niveau
:
enseignement supérieur
Public
:
apprenant
Afficher section
2
sur 2