Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 744
Conférences

le (58m39s)

Coccinelle: synergy between programming language research and the Linux kernel

The Linux kernel underlies all kinds of systems across the computing landscape, from embedded systems to supercomputers. Today, the number of developers contributing to a given Linux kernel version is almost 2000. These range from developers who have many years of experience and work on core parts of the kernel to new developers who contribute a single device driver or bug fix. This volume of contributors and range of experience levels implies that devising means to unambiguously communicate information about kernel properties across the ...
Voir la vidéo
Conférences

le (58m50s)

Stéphane Saboureau - Sweep-outs, width estimates and volume

Sweep-out techniques in geometry and topology have recently received a great deal of attention, leading to major breakthroughs. In this talk, we will present several width estimates relying on min-max arguments in relation to the volume of Riemannian manifolds. Dealing with the case of surfaces first, we will focus our attention on generalisations in higher dimension and present new estimates obtained in a work in progress.
Voir la vidéo
Label UNT Conférences

le (58m54s)

Swarms: First Class Citizens in the Future Internet (série : Colloquium Jacques Morgenstern)

The current Internet consists of tens of thousand different interconnected autonomous networks. It was designed to support large populations of point-to-point content transfers. This introduces considerable headaches due imbalances in traffic flows, which has the effect of complicating network management, reducing the robustness of the Internet, and reducing user performance. In this talk, I review the sources of traffic in the Internet over the last 20 years. We will observe that this an increasing fraction of traffic was generated by peer-to-peer (P2P) "swarm" technology from 2000 to 2007. I examine how and why P2P swarm technology simplifies network management, ...
Voir la vidéo
Conférences

le (59m21s)

Can it be done in software ?

The symbiosis of software with computer, sensors and actuators creates a new kind of physical engineering system. Robots used in space exploration and GPS - on the ground, GPS is just a "giant Kalman filter" - are great examples. But the future potential is difficult to estimate. One view - mine - is that the future depends on mathematics, on system theory broadly interpreted.. After recalling, very briefly, the successes and limitations of linear systems theory, I shall outline a broad pathway ...
Voir la vidéo

 
FMSH
 
Facebook Twitter Google+
Mon Compte