output
20062026
most citedA Generic Model of Contracts for Embedded Systems

30 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing cs.DCShow all

8 papers · 1 filter

cs.DC2024

AMECOS: A Modular Event-based Framework for Concurrent Object Specification

Timothé Albouy, Antonio Fernández Anta, Chryssis Georgiou +3

In this work, we introduce a modular framework for specifying distributed systems that we call AMECOS. Specifically, our framework departs from the traditional use of sequential sp…

cs.DC2008

Distributed Management of Massive Data: an Efficient Fine-Grain Data Access Scheme

Bogdan Nicolae, Gabriel Antoniu, Luc Bougé

This paper addresses the problem of efficiently storing and accessing massive data blocks in a large-scale distributed environment, while providing efficient fine-grain access to d…

cs.DC2008

Enabling Lock-Free Concurrent Fine-Grain Access to Massive Distributed Data: Application to Supernovae Detection

Bogdan Nicolae, Gabriel Antoniu, Luc Bougé

We consider the problem of efficiently managing massive data in a large-scale distributed environment. We consider data strings of size in the order of Terabytes, shared and access…

cs.DC2008★ 2 cited

Timed Quorum System for Large-Scale and Dynamic Environments

Vincent Gramoli, Michel Raynal

This paper presents Timed Quorum System (TQS), a new quorum system especially suited for large-scale and dynamic systems. TQS requires that two quorums intersect with high probabil…

cs.DC2008★ 1 cited

Energy Aware Self-Organizing Density Management in Wireless Sensor Networks

Erwan Le Merrer, Vincent Gramoli, Anne-Marie Kermarrec +2

Energy consumption is the most important factor that determines sensor node lifetime. The optimization of wireless sensor network lifetime targets not only the reduction of energy…

cs.DC2008

Core Persistence in Peer-to-Peer Systems: Relating Size to Lifetime

Vincent Gramoli, Anne-Marie Kermarrec, Achour Mostefaoui +2

Distributed systems are now both very large and highly dynamic. Peer to peer overlay networks have been proved efficient to cope with this new deal that traditional approaches can…

cs.DC2007

Distributed Slicing in Dynamic Systems

Antonio Fernandez, Vincent Gramoli, Ernesto Jimenez +2

Peer to peer (P2P) systems are moving from application specific architectures to a generic service oriented design philosophy. This raises interesting problems in connection with p…

cs.DC2006★ 22 cited

Distributed Slicing in Dynamic Systems

Antonio Fernandez, Vincent Gramoli, Ernesto Jimenez +2

Peer to peer (P2P) systems are moving from application specific architectures to a generic service oriented design philosophy. This raises interesting problems in connection with p…