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

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