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

Nombre de documents

365

Nombre de notices

793

Mots clés

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