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

340

Nombre de notices

743

Mots clés

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