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

344

Nombre de notices

746

Mots clés

Complex Event Processing DATA CONFIDENTIALITY OpenMP XQuery Network Confidentiality Optimization Web Extensible Optimization Cache sémantique Game theory Instruction Level Parallelism Compiler Adaptateur Context-free languages Anonymization Performance analysis Complexity Experimentation Carte à puce Confidentialité Compilation Fault tolerance Wrapper Databases Code Optimisation Clustering Bases de données Confidentialité des données XML Algèbre semi-structurées Parallélisme Fault attacks 5G Security Algorithms Performance evaluation XQuery evaluation Formal specification Conversation protocol matchmaking Distributed algorithmic Discrete logarithm problem Parallelism Access Control Register Allocation Ordonnancement Integer Linear Programming Access control Base de données hétérogènes High performance computing Mediator Big data Bases de données embarquées Data confidentiality Secure device Optimisation Multicast Data locality Data quality Contrôle d'accès Software Pipelining Adaptation Information quality Code optimisation Courbes elliptiques XML access control Smart card Data mining Sécurité Dimensioning Benchmarking Big Data Dataflow process networks Ubiquitous data management Binary Quadratic Forms Static analysis Instruction level parallelism Protection des données personnelles NP-completeness Analyse dynamique Cryptography Register pressure Privacy Prediction Analytic combinatorics Analyse de flot de données Debugging Calcul haute performance ICIC Business Process Management QoS Cost-model HPC Protection de la vie privée Automatic parallelization Code optimization Web services Performance Cryptographie