Inria
Inria.fr
Inria Channel
There are 26 Results with the keyword : "software"
MoGo Software - The Game of Go
The Game of Go
As part of the Inter-Regional Program of the European Union and invited to the 2009 Taiwan Open, the MoGo project coordinated by Olivier Teytaud of the TAO project team broke a new record by producing the best worldwide performance to date in Go 19x19. This parallelized algorithm can be used, beyond the game of Go, to solve a wide range of problems.
Keywords:
Home > News > News from Inria > Jeu de Go
Software publishing, embedded system
Interview with Thierry Vareine, Sector Associate
Software and embedded systems have been one of the core focuses of Inria's work since its creation. From smart cards to rockets and satellites, not to mention transport (trains, automobiles) and consumer electronics (telephones), these technologies drive innovation and growth for the whole economy. Interview with Thierry Vareine, Technology Transfer Associate for Embedded Systems & Software Publishing.
Keywords:
- Software
- Industry
- Technology transfer
- SME
- Logistics
- Thierry Vareine
- Embedded systems
- Telephony
- Secteur
- Marché
Home > Innovation > industrial sectors > Software publishing, embedded system > Edito
Innovation - Embedded systems
Colivad: modeling and optimization of the logistics chain
The global logistics chain involves the optimization of flows at all stages of the Supplier/Customer chain: production, procurement, storage, distribution. Our team focuses on the optimization methods applied to the logistics chain at both the operational and strategic level. In the COLIVAD project, we have developed an optimization tool for package delivery that takes into account the resources specific to the company and its subcontractors.
Keywords:
Home > Innovation > industrial sectors > Software publishing, embedded system > Demos > Colivad : modélisation et optimisation de la chaîne logistique
Symposiums
3rd MIXMOD session
MIXMOD (MIXture MODelling) is a software program for handling issues of density estimations, classification, or discriminant analysis.
Place : ENS-LYON - Site J. Monod, Amphi B
Guests : G. Celeux, Inria - F. Langrognet, CNRS - U. Franche-Comté - C. Ruckebusch, LASIR, U. Lille 1, CNRS - C. Biernacki, U. Lille 1, CNRS, Inria - S. Cohen, IPANEMA-SOLEIL - C. Maugis, IMT, INSA Toulouse, U. Toulouse - O. Delrieu, PGXIS, UK
Keywords:
Home > Innovation > Calendar > 3e rencontre MIXMOD
Transfer of technology
Software publishing consortiums
To support the distribution of a software program created from work by Inria's teams to a community of developers and/or users, Inria may decide to set up a software publishing consortium.
Keywords:
Home > Innovation > Partnerships & Transfer of technology > Consortiums
Technologies
Technological development assisting research
At Inria, technological development is intrinsically linked to scientific research and it thus forms the basis of a specific effort within the institute. The technological development department, in coordination with the scientific departments, transforms the milestones of the strategic plan into national objectives, and coordinates the technological activities and projects.
Keywords:
Home > Research > Research teams > Développement technologique à l'institut
Telecoms, networks, multimedia
The first high-security laboratory dedicated to computer security
Located at the heart of the Inria Nancy - Grand-Est centre, the High-Security Computing Laboratory (known by its French acronym LHS) is designed to cater to decisive research work for making networks, Internet exchanges and associated telecommunications equipment safe. Alongside its partners, Inria is today inaugurating this completely new research facility. The LHS provides the technological and regulatory framework needed for scientific advances that accompany developments in our technological society. Open to industrial partners, the laboratory also represents a favourable opportunity for the reliability tests that are needed before various technological products or solutions can be put on the market.
Keywords:
Home > Centre > Nancy > Innovation > Laboratoire sécurité informatique
Telecoms, Networks, Multimedia
"A unique structure that paves the way for high quality scientific work"
Interview with José M. Fernandez, Assistant Professor at the Department of Computer Engineering and Software Engineering at the Polytechnic School of Montreal. He directs a unit similar to the High-Security Computing Laboratory at the Polytechnic School of Montreal, namely the Information Systems Security Research Laboratory (known by its French acronym SecSI).
Keywords:
Home > Centre > Nancy > Innovation > Computer Security Laboratory > Interview José Fernandez
Benoît Baudry
-
© J-M. Prima
Research - Software engineering
Models for professional software
Model engineering aims to develop abstractions in order to design software more easily. The long march towards standardisation has begun, but the edges of this field still remain to be explored, as explained by Benoît Baudry, Inria researcher within the TRISKELL project-team.
Keywords:
Home > Centre > Rennes > News > Modèles au service logiciels métiers
Software
A technology development action for Coq
The Coq technology development action involves a collection of people and teams working together to roll out Coq proof assistant software.
Keywords:
Home > Centre > Paris - Rocquencourt > Innovation > "Une ADT pour Coq "
Inria Research Centers
