Publications associées à Modèle de cohérence

When the ARM weakly consistent memory model meets speculation: is it necessary?

Aggressive memory-level-parallelism techniques have provided significant performance gain in Distributed Share Memory Designs. In this paper, we reevaluate speculative memory ordering in the context of Chip Multi-Processors (CMPs) and power-limited computa ...

2012

TM2C: A software transactional memory for many-cores

Rachid Guerraoui, Vincent Gramoli, Vasileios Trigonakis

Transactional memory is an appealing paradigm for concurrent programming. Many software implementations of the paradigm were proposed in the last decades for both shared memory multi-core systems and clusters of distributed machines. However, chip manufact ...

2012

Verification of STM on relaxed memory models

Rachid Guerraoui, Vasu Singh

Software transactional memories (STM) are described in the literature with assumptions of sequentially consistent program execution and atomicity of high level operations like read, write, and abort. However, in a realistic setting, processors use relaxed ...

Springer Verlag2011

Efficiently Maintaining Distributed Model-Based Views on Real-Time Data Streams

Karl Aberer, Sebastian Michel, Ho Young Jeung, Petre Alexandru Arion

Minimizing communication cost is a fundamental problem in large-scale federated sensor networks. Existing solutions applicable for the problem are often ad-hoc for specific query types, or they are inefficient when query results contain large volumes of da ...

2011

Efficiently Maintaining Distributed Model-Based Views on Real-Time Data Streams

Karl Aberer, Ho Young Jeung, Petre Alexandru Arion

Minimizing communication cost is a fundamental problem in large-scale federated sensor networks. Maintaining model-based views of data streams has been highlighted because it permits efficient data communication by transmitting parameter values of models, ...

IEEE2011

Laws of Order: Expensive Synchronization in Concurrent Algorithms Cannot be Eliminated

Rachid Guerraoui, Hagit Albo Attiya

Building correct and efﬁcient concurrent algorithms is known to be a difﬁcult problem of fundamental importance. To achieve ef- ﬁciency, designers try to remove unnecessary and costly synchro- nization. However, not only is this manual trial-and-error proc ...

2011

S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems

George Candea, Vitaly Chipounov, Volodymyr Kuznetsov

This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E's use in developing practical tools for comprehensive performance profiling, reverse engineering of proprietary software, and bug finding ...

2011

MaSM: Efficient Online Updates in Data Warehouses

Anastasia Ailamaki, Manoussos Gavriil Athanassoulis, Radu Ioan Stoica

Data warehouses (DW) have been traditionally optimized for readonly query performance, allowing only offline updates at night, essentially trading off data freshness for performance. The need for 24x7 operations in global markets and the rise of online and ...

2011

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Modèle de cohérence

When the ARM weakly consistent memory model meets speculation: is it necessary?

HydEE: Failure Containment without Event Logging for Large Scale Send-Deterministic MPI Applications

TM2C: A software transactional memory for many-cores

Verification of STM on relaxed memory models

Efficiently Maintaining Distributed Model-Based Views on Real-Time Data Streams

Efficiently Maintaining Distributed Model-Based Views on Real-Time Data Streams

Laws of order

Laws of Order: Expensive Synchronization in Concurrent Algorithms Cannot be Eliminated

S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems

MaSM: Efficient Online Updates in Data Warehouses

Graph Chatbot

Chattez avec Graph Search

HydEE: Failure Containment without Event Logging for Large Scale Send-Deterministic MPI Applications

When the ARM weakly consistent memory model meets speculation: is it necessary?

Verification of STM on relaxed memory models

Laws of order

S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems

Laws of Order: Expensive Synchronization in Concurrent Algorithms Cannot be Eliminated

MaSM: Efficient Online Updates in Data Warehouses

Efficiently Maintaining Distributed Model-Based Views on Real-Time Data Streams