Loading...
Vous pouvez consulter et rechercher ici l'ensemble des publications Inria déposées sur HAL ou sur HAL-Inria.
Cette liste de publications est générée automatiquement chaque nuit.
Si au moins un des auteurs de la publication déposée est associé à l'Inria, elle sera intégrée dans cette collection. Pour déposer sur HAL-Inria
Contact : archive-ouverte@inria.fr
Open Access
75 %
Dernières publications
-
Hiba Awad, Thomas Ledoux, Hugo Bruneliere, Jonathan Rivalan. VeriFogOps: Automated Deployment Tool Selection and CI/CD Pipeline Generation for Verifying Fog Systems at Deployment Time. SAC '25: Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing, Mar 2025, Catania, Italy. ⟨10.1145/3672608.3707854⟩. ⟨hal-04833623⟩
Nombre de dépôts en texte intégral
94 276
Répartition des dépôts par type de document
Mots-clés
Clustering
Embedded systems
Scalability
Inverse problems
Classification
Tridimensional
MRI
Complexity
Julia
Reliability
Real-time
Robotics
HPC
Apprentissage profond
Control
Vision par ordinateur
Cloud computing
Quaternions
Inverse problem
Robustness
Fractal
Security
Apprentissage
Image processing
Concurrency
Deep learning
Mandelbulb
Deep Learning
Optimisation
Semantic Web
Quaternionic
Validation
Parallelism
Computer vision
Tridimensionnelle
Sécurité
Algorithm
FPGA
Modelling
Mandelbrot
Reinforcement learning
Simulation
Routing
Natural language processing
Rewriting
Calcule
Finite element method
Estimation
Apprentissage automatique
Ontology
Visualization
Privacy
Coq
Performance evaluation
IoT
Evaluation
Machine Learning
RDF
Visualisation
Data mining
Réécriture
Interoperability
Ordonnancement
Data assimilation
Game theory
Artificial intelligence
Compilation
FMRI
Cloud
Machine learning
Semantics
Juliabulb
Stability
Registration
GPU
Algorithms
Modeling
Optimization
Neural networks
Optimal control
Formal methods
Verification
Modélisation
Static analysis
Cryptography
EEG
Monitoring
MPI
Sparsity
Virtual Reality
Pseudo
Semantic web
Performance
Segmentation
Ensemble
Bioinformatics
Virtual reality
Distributed systems
Internet of Things
Scheduling