Langages de scénarios : Utiliser des ordres partiels pour modéliser, vérifier et superviser des systèmes parallèles et répartis.
Le contrôle ATP du logiciel intégré à la solution spécifique
Mise en place d’une infrastructure centralisée de télédistribution pour le parc informatique d’un réseau d’entreprise
How To Make A Pie: Reproducible Research for Empirical Economics & Econometrics
Étude et mise en oeuvre d'une plate-forme de développement applicatif et suivi de sa réalisation
Scratchpad memories vs locked caches in hard real-time systems: a qualitative and quantitative comparison
Développement d'un logiciel travaillant aux éléments finis
A unifying model for the analysis of phenotypic, genetic, and geographic data
Xlim3D: Un logiciel de traitement d'image
Le travail invisible des données
Software and business methods patents: <br />Case law evolution and market strategies
Les nouvelles facettes de la propriété intellectuelle : stratégies, attaques et menaces
INTELLECTUAL PROPERTY TOOLS, STANDARDS AND MARKET POSITIONING
LIPN UIMA Platform 0.1.* User/developer guide
Développement d’un système d’exploitation pour l’aide au diagnostic des ouvrages du génie civil.
Assessment techniques, database design and software facilities for thermodynamics and diffusion
WOPANets: a tool for WOrst case performance analysis of embedded networks
STR: a student developed star tracker for the ESA-LED ESMO moon mission
Optimization of star research algorithm for esmo star tracker
DUCK : a deDUCtive Keyboard
Comparison of numerical methods in the contrast imaging problem in NMR
Composing data and control functions to ease virtual networks programmability
Orchestration of Domain Specific Test Languages with a Behavior Driven Development approach
BiNoM 2.0, a Cytoscape plugin for accessing and analyzing pathways using standard systems biology formats.