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

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