Apvrille, Ludovic, 19..-....
VIAF ID: 211082244 (Personal)
Permalink: http://viaf.org/viaf/211082244
Preferred Forms
Works
Title | Sources |
---|---|
Analyses de vivacité et environnement logiciel intelligent pour la gestion mémoire d’applications flux de données. |
![]() |
Approaches for analyzing security properties of smart objects. |
![]() |
Une approche basée programmation par contraintes pour l'exploration d'architectures multi bus pour les applications flots de données. |
![]() |
Contribution à la reconfiguration dynamique de logiciels embarqués temps-réel : application à un environnement de télécommunication par satellite |
![]() |
Distributed mandatory protection. |
![]() |
Early validation of systems design using a combined model-based and optimization engineering approach. |
![]() |
Environnement pour l'analyse de sécurité d'objets communicants |
![]() |
Formalization of Neural Network Applications to Secure 3D Mobile Applications |
![]() |
High-level SoC modeling and performance estimation : applied to a multi-core implementation of lte enodeb physical layer. |
![]() |
Holistic projection of aircraft operability during early design. |
![]() |
Ingénierie des exigences pour la conception d'architectures de sécurité de systèmes embarqués distribués |
![]() |
Liveness analysis techniques and run-time environment for memory management of dataflow applications |
![]() |
Menaces de sécurité à la frontière entre le bruit électromagnétique et les émetteurs-récepteurs radio. |
![]() |
Modélisation de haut niveau de systèmes intégrés et estimation de performances : application à une implémentation multi-processeurs de la couche physique d’une station de base LTE |
![]() |
Multi-vue design pour cyber-physical systems |
![]() |
Ordonnancement efficace des applications sur cloud FPGAs. |
![]() |
Power estimation framework based on SystemC-TLM performance models of SoC interconnect and memory systems. |
![]() |
Projection holistique de l'opérabilité d'avions en phase initiale de conception |
![]() |
Protection obligatoire répartie : usage pour le calcul intensif et les postes de travail |
![]() |
Real-time Software Architectures and Performance Evaluation Methods for 5G Radio Systems |
![]() |
Safe and secure model-driven design for embedded systems. |
![]() |
Security Threats Emerging from the Interaction Between Digital Activity and Radio Transceiver |
![]() |
UML-based design space exploration, fast simulation and static analysis. |
![]() |
UML pour l'exploration de l'espace de conception, la simulation rapide et l'analyse statique |
![]() |
Validation anticipée de conceptions de systèmes par une approche d'ingénierie conjointe basée modèles et optimisation |
![]() |
Vérification de la latence dans les traces d'exécution de modèle de partitionnement logiciel |
![]() |