index - Parallélisme, Réseaux, Systèmes d'information, Modélisation Accéder directement au contenu

  

Bienvenue sur la collection HAL du laboratoire PRiSM.

 

Le laboratoire PRiSM (Parallélisme, Réseaux, Systèmes, Modélisation) a cessé ses activités en 2015.

Les équipes du laboratoire participaient aux deux grands axes de recherches Mathématiques et Informatique d'une part et Conception, Modélisation et Instrumentation de Systèmes d'autre part. Au sein de l'axe Mathématiques et Informatique, les équipes de PRiSM traitaient de cryptologie et sécurité, de modèles d'algorithmes, et de recherche opérationnelle, notamment de tarification et d'optimisation. Toutes les équipes de PRiSM participaient à des degrés divers à l'axe Conception, Modélisation et Instrumentation de Systèmes. Les thèmes principaux portaient sur les systèmes communicants (réseaux et télécommunications), les systèmes embarqués et les systèmes mobiles, les systèmes de haute performance et les systèmes de gestion de bases de données.

 

Les équipes du PRiSM continuent leurs activités dans différentes entités :

Derniers dépôts

Chargement de la page

Nombre de documents

366

Nombre de notices

792

Mots clés

Confidentialité des données Software Pipelining Index calculus Parallelism Register Allocation Code optimisation Block cipher XML Clustering Prediction Experimentation Big data Compiler Complexity Consistency and synchronization Access Control Mobile databases Formal specification Cryptography Binary Quadratic Forms QoS Game theory Qualité de service Analyse de flot de données Sécurité Mediator Bases de données embarquées Algèbre semi-structurées XML access control Register pressure Optimisation Network Secure device Confidentiality Cohérence et synchronisation Code Optimisation Adaptabilité Carte à puce Code optimization Fault attacks Performance analysis Adaptation Conversation protocol matchmaking NP-completeness Extensible Optimization Data confidentiality Base de données hétérogènes Integer Linear Programming Ordonnancement Automatic parallelization Security Optimization Elliptic curves High performance computing Context-free languages ICIC Multicast Big Data Business Process Management Adaptateur Algorithms Static analysis Discrete logarithm problem GPU Systèmes embarqués Anonymization Web services 5G Performance evaluation Adaptability Instruction Level Parallelism Embedded systems Analyse dynamique XQuery Privacy Performance Contrôle d'accès Cryptographie Confidentialité Fault tolerance Instruction level parallelism Data locality Analytic combinatorics Access control Protection de la vie privée HPC OpenMP Protection des données personnelles Benchmarking Parallélisme Smart card Bases de données mobiles XQuery evaluation Cache sémantique Calcul haute performance Complex Event Processing Finite fields Coupling Bases de données Compilation