Publications scientifiques du LIST

 

Cliquez sur le nom du département pour sélectionner ses publications

Laboratoire d'Intégration des Systèmes et des Technologies (LIST)

 

Dépôts récents

Nombre de documents

795

Nombre de notices

1 262

Evolution des dépôts

Mots clés

Modeling SIMD Robotics Embedded systems Optimisation Mapping UML Machine learning Haptic interfaces Computer architecture Time domain reflectometry Application programs Guided electromagnetic wave propagation Elastic waves Scheduling Local bundle adjustment Reflectometry Parallel programming Courants de Foucault Optimization Design Ingénierie dirigée par les modèles Temps réel Formal methods Classification Testing Deductive verification Energy efficiency Test generations Hybrid systems Sensors Computation theory Computer vision Dataflow Artificial intelligence Calibration Verification MARTE Specifications Neural networks Data flow analysis Internet of Things Model checking Program compilers Eddy current Non-destructive testing Many-core Friction Software engineering Fault detection Specification languages Time domain analysis Ultrasons Graph partitioning Robots 3D building models Learning systems Symbolic execution Signal processing Abstract interpretation Defects Monte Carlo simulation Ultrasonic testing Benchmarking Systems analysis Education Model-driven Engineering Software testing Reliability Virtual reality Diffraction Diamond Geometry Frama-C Algorithms SLAM Simultaneous Localisation and Mapping Eddy current testing Security Many-core architecture C programming language Ergonomics Reconfigurable hardware System-on-chip Static analysis Identification Nondestructive examination Automation Wire Intelligent robots Semantics Modélisation Abstracting Computer software Non destructive testing Reflectometers Reflection State of the art Simulation Anisotropy MDE