2006以来专题研讨会及会议
- 2017-5-3: RainbowFS Workshop on Consistency in Distributed Storage Systems
- 2017-4-21: Bridging the CAP gap: the Just-Right Consistency approach
- 2017-3-31: Towards a Distributed Metadata Service for Causal Consistency
- 2017-3-4: Time and Homonyms Considerations over Community Protocols
- 2017-2-28: On Verifying Causal Consistency
- 2017-2-22: Riding the Big IoT Data Wave: Complex Analytics for IoT Data Series
- 2016-12-12: The Critéo Big-Data Platform
- 2016-9-21: Heavy Hitters in Streams and Sliding Windows
- 2016-6-2: The Supercloud: Opportunities and Challenges
- 2016-2-4: The IX Operating System Project: Energy Proportionality and Workload Consolidation for Latency-Critical Applications
- 2015-6-18: Outil dédiés aux systèmes distribués dynamiques : JBotSim
- 2015-4-17: Strong consistency with low latency random reads & writes on a distributed database: Apache HBase choices and challenges
- 2015-4-1: XFabric: reconfigurable network topologies at rack scale
- 2015-1-14: Workshop on Highly-Scalable Distributed Systems
- 2014-11-19: Yesquel: scalable SQL storage for Web applications
- 2014-9-30: OPODIS Program Chair
- 2014-9-15: Workshop on Database Consistency in the Cloud
- 2014-7-24: Verifiable Concurrent Systems Programming: A Garbage Collector Case Study
- 2014-6-6: Workshop/JTE ASF on Managed runtimes
- 2014-5-21: Elastic and Fault-Tolerant Stream Processing in the Cloud
- 2014-4-2: Thread Vulnerability for Multicore Architectures
- 2014-4-1: Understanding and Improving Device Access
- 2014-2-18: Coq, the world's best macro assembler !
- 2014-2-3: Failure containment for extreme scale MPI applications
- 2014-1-31: La Société Informatique de France
- 2014-1-15: The Case for Reliable Software Transactional Networking
- 2013-10-30: Depot: from Byzantine Fault Tolerance to Eventual Consistency in a Single System
- 2013-10-28: SplayNet: Distributed User-Space Topology Emulation
- 2013-10-23: GDR-GPL Génie Logiciel Empirique
- 2013-9-25: WCET estimation techniques for multicore-processors
- 2013-7-22: SOUK: Social Observation of hUman Kinetics
- 2013-6-6: X-Stream: Edge-centric Graph Processing using Streaming Partitions
- 2013-6-5: PowerGraph: Distributed Graph-Parallel Computation on Natural Graphs
- 2013-5-28: Generalized Universality
- 2013-4-12: A New Hierarchical Fault Tolerance Protocol for MPI HPC Applications & Unified model for fault tolerance protocols
- 2013-3-27: From Clarity to Efficiency for Distributed Algorithms
- 2013-3-20: Horus: Fine-Grained Encryption-Based Security for Large-Scale Storage
- 2013-3-20: Low-Redundancy Two-Dimensional RAID Arrays
- 2013-3-1: Distributed Exclusive Graph Searching in Trees
- 2013-2-25: RESAR Storage: a System for Two-Failure Tolerant, Self-Adjusting Million Disk Storage Clusters
- 2013-2-14: Disorderly Distributed Programming with Bloom
- 2012-9-27: Workshop on Language Virtual Machines and Multicore Architectures
- 2012-9-26: Cloud Types for Eventual Consistency
- 2012-9-11: S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems
- 2012-9-6: Algorithmes de clustering pour des systèmes distribués dynamiques
- 2012-8-28: A Brief History of Facebook's User Data Storage System
- 2012-7-17: Practical Abstractions for Dynamic and Parallel Software
- 2012-6-12: Generalizing Reduction and Abstraction to Simplify Concurrent Programs: The QED Approach
- 2012-5-23: Prolonging the Life of Linux: Is it possible or not?
- 2012-5-7: Synchronous Programming of Device Drivers for Global Resource Control in Embedded Operating Systems
- 2012-3-13: The multiplicative power of consensus numbers
- 2011-12-16: Exposé Roy Friedman (Technion) - On Power and Throughput Tradeoffs of WiFi and Bluetooth in Smartphones
- 2011-9-14: Recovering Disjointness from Concurrent Sharing
- 2011-7-11: Virtualizing Real-time Embedded Systems with Java
- 2011-6-29: The Architecture of the DecentVM: Towards a decentralized virtual machine for many-core computing
- 2011-3-17: Adaptive Resource Management in Cloud Infrastructures
- 2011-2-24: Faults in Linux: Ten Years Later
- 2010-11-10: HPC at Exascale : Scenarios, Software challenges and Research opportunities
- 2010-7-2: The Speedup-Test
- 2010-6-29: The L4 Microkernel — from research to mass deployment and back
- 2010-4-12: Introduction to AMD's Advanced Synchronization Facility
- 2010-3-23: Git version control system: handling concurrent development in distributed environments
- 2010-2-3: Providing Ubiquitous Access to the User’s Data with FEW FS
- 2009-11-24: Semantic Patch Inference
- 2009-11-24: Group Scalability in Distributed Systems - Adaptively Parallelizing Distributed Range Queries
- 2009-11-18: Visualizing, Assessing and Re-Modularizing Object-Oriented Architectural Elements
- 2009-10-30: Présentation des travaux d'Olivier Pérès
- 2009-9-25: 7.500 lines of C, 1 microkernel, formally proved correct
- 2009-7-16: Herodotos: A Tool to Expose Bugs' Lives
- 2009-6-16: Two Ways of Speeding Up Transactional Memory Algorithms
- 2009-6-15: A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking
- 2009-5-28: CAR-STM: Scheduling-Based Collision Avoidance and Resolution for Software Transactional Memory
- 2009-5-28: Unleashing the Potential of Asymmetric Multicore Processors Through Operating System Support
- 2009-1-8: Native Client - A Sandbox for Portable, Untrusted x86 Native Code
- 2008-12-11: In Search of Lost Time
- 2008-11-20: Research Challenges in Flash Memories
- 2008-10-30: P2P overlays : VoroNet and RayNet
- 2008-10-29: Démo SPLAY - "distributed applications made simple"
- 2008-10-16: Nuno Preguiça - Byzantium: Byzantine-Fault-Tolerant Database Replication Providing Snapshot Isolation
- 2008-9-11: Joan Manuel Marquès - Treedoc: a commutative replicated data type for cooperative editing
- 2008-5-29: Anneli Lenica - PosNet, un overlay p2p semi-structuré basé sur un poset pour l'indexation et la localisation de données multi-dimensionnelles.
- 2008-4-10: Laurent d'Orazio - Caches adaptables et applications aux systèmes de gestion de données répartis à grande échelle
- 2008-2-15: Petr Kuznetsov - Large-Scale Byzantine Fault Tolerance: Prevention and Detection
- 2008-2-7: Content-Based Publish/Subscribe in P2P Using Distributed R-Trees
- 2008-2-7: Snap-stabilization in message passing systems.
- 2007-11-23: Roy Friedman - Practical Random Walks in Ad-Hoc Networks
- 2007-4-26: Hop a language for programming the Web 2.0
- 2007-4-24: D1HT: A Distributed One Hop Hash Table (*)
- 2007-3-27: OSGi Users Group France
- 2007-3-8: Presque tous les objets atomiques implémentés dans des systèmes asynchrones avec transmission de messages sont universels : la hiérarchie de Herlihy devient (presque) plate
- 2007-3-8: Algorithmes pour la construction d'arbres couvrant des groupes dynamiques dans un graphe
- 2007-2-22: Marches aléatoires en algorithmique distribuée, un paradigme de conception de solutions algorithmiques pour les environnements dynamiques
- 2007-1-26: Séminaire REGAL
- 2007-1-23: A Scalable Approach to Alleviating Database Bottlenecks
- 2007-1-19: Gossip-based self-organization
- 2006-11-24: Maintaining Consistency in Collaboration over Hierarchical Documents
- 2006-11-24: Intergiciel extensible à base de composants adaptables pour l'informatique nomade : réplication optimiste et réconciliation.
- 2006-11-10: Stabilizing Mobile philosophers
- 2006-10-26: A Memory Efficient Self-stabilizing Algorithm for Maximal k-packing
- 2006-10-20: Sprint, a middleware infrastructure
- 2006-10-13: The Iconoclastic Heard-Of Model: Unifying all Benign Failures
- 2006-10-6: Reliability and Availability Analysis of Self-Stabilizing Systems
- 2006-9-28: Séminaire REGAL : Gathering Oblivious Mobile Robots in Finite Time.
- 2006-6-22: Enabling what-if explorations in a distributed storage system
- 2006-3-24: La compilation dynamique pour le calcul intensif
- 2006-3-20: Decoupling Causal Update Commitment Agreement from Update Propagation in Optimistic Replication
- 2006-3-13: An efficient and fault-tolerant update commitment protocol for weakly connected replicas
- 2006-2-17: Context-aware adaptation in ubiquitous computing environments
- 2006-2-10: Dynamic life updates
- 2006-2-1: Laundromat Computing using the Evil Man System Using Operating System Mobility for Grid Computing
- 2006-1-26: Jaluna OSware : La virtualisation pour systèmes embarqués
- Mentions légales
- 网站导航