Inria
Inria Channel
Il y a 48 Résultats avec le mot clé : "logiciel"
Concours logiciel
Boost your code
Pertinence : 100 %
Vous êtes étudiant ? Ingénieur jeune diplômé ? Le développement logiciel open source vous passionne ? Inria a créé le concours "Boost your code", l'opportunité pour vous de présenter votre projet à un jury de scientifiques et de professionnels. Avec à la clé, un contrat d'un an pour développer votre projet au sein de notre Institut.
Mots-clés :
- Concours
- Ingénieurs jeunes diplomés
- Logiciel
- CDD
- Open source
- Étudiants
- Logiciel libre
- Boost your code
Accueil > Actualité > Actualités Inria > Boost your code
Scotch, partitionneur de graphes
-
@inria
Logiciel
Scotch "franchit la barrière des 32 bits"
Pertinence : 100 %
We announce the release, as libre/free software, of revision 5.1.10 of the SCOTCH and PT-SCOTCH software package and library for sequential and parallel graph partitioning, sequential mesh/hypergraph partitioning and static mapping, and sequential and parallel sparse matrix block ordering.
Mots-clés :
Accueil > Centre > Bordeaux > Actualités > Scotch "franchit la barrière des 32 bits"
© Inria / Photo Kaksonen
Stratégie
Inauguration Laboratoire Haute Sécurité Informatique
Pertinence : 100 %
Le 1er juillet 2010, l’Inria Nancy Grand-Est a inauguré, aux côtés de ses partenaires, le premier laboratoire de haute sécurité de la recherche académique française dédié à des travaux dans le domaine de la sécurité informatique.
Mots-clés :
Accueil > Centre > Nancy > Actualités > Inauguration Laboratoire Haute Sécurité Informatique
Logiciel - Bioinformatique
Un logiciel qui accélère le mapping génétique
Pertinence : 100 %
Développé par Symbiose, une équipe de recherche du centre Rennes - Bretagne Atlantique, GASSST permet de traiter rapidement l'information produite par les séquenceurs de dernière génération. L'outil vient d'intégrer la suite logicielle de GenomeQuest, une société américaine de bio-informatique. Rencontre avec Dominique Lavenier, chercheur à l'origine de ce nouvel outil au service des biologistes.
Mots-clés :
- Dominique Lavenier
- GASSST
- GenomeQuest
- Plateforme Genouest
- ADN
- Séquençage
- INRIA Rennes - Bretagne Atlantique
- Symbiose
- Logiciel
- Bioinformatique
Accueil > Centre > Rennes > Actualités > Un logiciel qui accélère le mapping génétique
European Research Council 2011
Xavier Rival : vérifier automatiquement la sûreté des logiciels critiques
Pertinence : 100 %
Cette année encore, quatre jeunes chercheurs d’Inria ont décroché une bourse du très sélectif Conseil européen de la recherche (ou European Research Council, ERC) pour mener pendant 5 ans une recherche exploratoire, avec un budget de 1 à 1,5 million d’euros. Xavier Rival, chercheur en informatique, membre de l’équipe-projet Abstraction, est un des lauréats. Il explique son projet.
Mots-clés :
- Xavier Rival
- ABSTRACTION
- INRIA Paris - Rocquencourt
- Sûreté de fonctionnement
- Preuve de programme
- Astrée
- ERC
- Logiciel
Accueil > Centre > Paris - Rocquencourt > Actualités > Xavier Rival : vérifier automatiquement la sûreté des logiciels critiques
Edition de logiciels, systèmes embarqués
Colivad : modélisation et optimisation de la chaîne logistique
Pertinence : 100 %
La chaîne logistique globale consiste en l'optimisation des flux à tous les stades de la chaîne Fournisseur-Client : production, approvisionnement, stockage, distribution. Notre équipe s'intéresse aux méthodes d'optimisation appliquées à la chaîne logistique, au niveau opérationnel comme stratégique. Dans le projet COLIVAD, nous avons mis au point un outil d'optimisation pour la livraison de colis qui prend en compte les ressources propres à l'entreprise et à la sous-traitance.
Mots-clés :
Accueil > Innovation > Secteurs industriels > Edition de logiciels, systèmes embarqués > Démos > Colivad : modélisation et optimisation de la chaîne logistique
Expositions & conférences
Salons solutions électroniques 2011
Pertinence : 100 %
Sur plus de 4800 m² d’exposition et 4 salons électroniques professionnels, rts EMBEDDED SYSTEMS, MtoM, DISPLAY, ESDT, présenteront l’offre et les innovations de quelque 150 constructeurs et éditeurs, français et étrangers, principaux fournisseurs et intégrateurs, distributeurs de solutions matérielles et logicielles, de services et ingénierie.
Lieu : Porte de Versailles - Paris
Mots-clés :
Accueil > Innovation > Agenda > Salons solutions électroniques 2011
Télécoms, Réseaux, Multimédia
« Une structure unique qui ouvre la voie à des travaux scientifiques de qualité »
Pertinence : 100 %
Entretien avec José M. Fernandez, professeur adjoint du département de génie informatique et génie logiciel de l'Ecole Polytechnique de Montréal. Il dirige une structure équivalente au LHS au sein de l'Ecole Polytechnique de Montréal, soit le laboratoire de recherche en sécurité des systèmes d'information (SecSI).
Mots-clés :
Accueil > Centre > Nancy > Innovation > Laboratoire Sécurité Informatique > Interview José Fernandez
Innovation - Systèmes embarqués & édition logiciel
Colivad : modélisation et optimisation de la chaîne logistique
Pertinence : 100 %
La chaîne logistique globale consiste en l'optimisation des flux à tous les stades de la chaîne Fournisseur-Client : production, approvisionnement, stockage, distribution. Notre équipe s'intéresse aux méthodes d'optimisation appliquées à la chaîne logistique, au niveau opérationnel comme stratégique. Dans le projet COLIVAD, nous avons mis au point un outil d'optimisation pour la livraison de colis qui prend en compte les ressources propres à l'entreprise et à la sous-traitance.
Mots-clés :
Accueil > Centre > Lille > Innovation > Les industries du commerce > Démos > Colivad : modélisation et optimisation de la chaîne logistique
Centres de recherche Inria
