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

Chargement de la page

Nombre de notices

793

Mots clés

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