Actualité Sciences BETA

L'actualité scientifique en temps réel

Langue :

• 
• 

Discussions sur l'actualité

Les systèmes informatiques embarqués, de plus en plus miniaturisés, envahissent tous les pans de l'industrie, depuis l'avionique jusqu'aux objets de la vie courante. Leur fiabilité est un enjeu majeur, c'est pourquoi des technologies spécifiques de programmation et de vérification de ces systèmes ont été mises au point. Cette conférence de Gérard Berry en présente les principales caractéristiques.

0 commentaire | 2 votes | Lire l'article

Tags : informatisation, invasion, objets, pucerons

Actualités relatives

15/09/2008	Images de synthèse : palme de la longévité pour l'ombrage de Gouraud
24/01/2008	La prévision en environnement : un enjeu pour les mathématiques appliquées
17/04/2007	40 ans d'interaction homme-machine : points de repère et perspectives
08/03/2007	Tsunamis, vagues scélérates et leur modélisation
01/02/2007	Simulation de l'opération de la cataracte

Commentaires des visiteurs

Aucun commentaire, soyez le premier à réagir à cette nouvelle.

Laisser un commentaire

Pseudo :

Captcha :

Combien font trois et un (résultat en chiffre) ?

Commentaire :

Les balises BBCode pour mettre le texte en gras[b]texte à mettre en gras[/b] ou en italique[i]texte à mettre en italique[/i] et pour faire un lien[url]adresse du lien[/url]
ou
[url=adresse du lien]intitulé du lien[/url] sont autorisées.

Accueil | Retour en haut | Nous contacter

© 2008 Actualité Sciences | Version 1.1.2 | 0.393 secs