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

343

Nombre de notices

743

Mots clés

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