Conférences

Conférence
 - 
GRICAD
 -  30 janvier 2017

Evolution du matériel HPC

Xavier VIGOUROUX
Conférence
 - 
GRICAD
 -  30 janvier 2017

Journées Scientifiques Equip@Meso 2017 : Introduction

Michel KERN

Introduction aux journées scientifique du projet Equip@Meso

Lire la suite
Conférence
 - 
GRICAD
 -  30 janvier 2017

Convergence entre Big Data et HPC - Enjeux et défis

Mark ASCH

Lecommunautés de HPC et de HDA (high-performance data analytics) ont évolué sur des chemins divergents - aussi bien les piles logicielles que les infrastructures n'ont plus beaucoup en commun.

Lire la suite
Conférence
 - 
LIG
 -  27 janvier 2017

Une approche sociologique de la place des calculs dans les mondes numériques

Dominique CARDON

Dans cette présentation, on souhaite présenter un regard de sociologue sur les transformations sociales, politiques et culturelles du développement des mondes numériques dans nos sociétés.

Lire la suite
Conférence
 - 
LIG
 -  26 janvier 2017

Machine Learning for the Semantic Web: filling the gaps in Ontology Mining

Claudia D'AMATO

In the Semantic Web view, ontologies play a key role. They act as shared vocabularies to be used for semantically annotating Web resources and they allow to perform deductive reasoning for making explicit knowledge that is implicitly contained within them. However, noisy/inconsistent ontological knowledge bases may occur, being the Web a shared and distributed environment, thus making deductive reasoning no more straightforwardly applicable.

Lire la suite
Conférence
 - 
VERIMAG
 -  29 septembre 2016

Automatic Verification of Linearization Policies

Parosch Aziz ABDULLA

We consider the problem of proving linearizability for concurrent threads that access a shared data structure.

Lire la suite
Conférence
 - 
VERIMAG
 -  29 septembre 2016

Decision Problems for Linear Dynamical Systems

Joël OUAKNINE

Dynamical systems, both discrete and continuous, permeate vast areas of mathematics, physics, engineering, and comput

Lire la suite
Conférence
 - 
VERIMAG
 -  29 septembre 2016

Thread Modularity on the Next Level

Andreas PODELSKI

A thread-modular proof for the correctness of a concurrent program is based on an inductive and interference-free ann

Lire la suite
Conférence
 - 
EcoInfo
 -  27 septembre 2016

L’éco conception des produits d’Orange : Bilan & perspectives des actions après 4 générations de produits

Marc VAUTIER

Marc Vautier a passé près de 20 ans dans la R&D chez Orange dans le domaine des réseaux & services, il est en charge depuis 2007 de l’éco

Lire la suite
Conférence
 - 
EcoInfo
 -  27 septembre 2016

LENOVO : “Comment trouver l’équilibre optimal entre les exigences de l’utilisateur et l’impact environnemental ?”

Damien HARTMANN / Magnus PIOTROWSKI

Damien Hartmann & Magnus Piotrowski (Responsable des Affaires Environnementales pour la zone EMEA chez Lenovo.

Lire la suite

Pages