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

365

Nombre de notices

793

Mots clés

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