Search - IFIP Open Digital Library Access content directly

Filter your results

7 results
Sub-domain level 1 : info.info-ni
labStructName_s : High-Assurance Software Laboratory [Braga, Portugal]
Image document

Totally Ordered Replication for Massive Scale Key-Value Stores

José Ribeiro , Nuno Machado , Francisco Maia , Miguel Matos
18th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2018, Madrid, Spain. pp.58-74, ⟨10.1007/978-3-319-93767-0_5⟩
Conference papers hal-01824632v1
Image document

Coordination of Tasks on a Real-Time OS

Guillermina Cledou , José Proença , Bernhard Sputh , Eric Verhulst
21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.250-266, ⟨10.1007/978-3-030-22397-7_15⟩
Conference papers hal-02365513v1
Image document

Concise Server-Wide Causality Management for Eventually Consistent Data Stores

Ricardo Gonçalves , Paulo Sérgio Almeida , Carlos Baquero , Victor Fonte
15th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2015, Grenoble, France. pp.66-79, ⟨10.1007/978-3-319-19129-4_6⟩
Conference papers hal-01775033v1
Image document

Spectra: Robust Estimation of Distribution Functions in Networks

Miguel Borges , Paulo Jesus , Carlos Baquero , Paulo Sérgio Almeida
12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. pp.96-103, ⟨10.1007/978-3-642-30823-9_8⟩
Conference papers hal-01527636v1
Image document

An RDMA Middleware for Asynchronous Multi-stage Shuffling in Analytical Processing

Rui C. Gonçalves , José Pereira , Ricardo Jiménez-Peris
16th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2016, Heraklion, Crete, Greece. pp.61-74, ⟨10.1007/978-3-319-39577-7_5⟩
Conference papers hal-01434800v1
Image document

Slead: Low-Memory, Steady Distributed Systems Slicing

Francisco Maia , Miguel Matos , Etienne Rivière , Rui Oliveira
12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. pp.1-15, ⟨10.1007/978-3-642-30823-9_1⟩
Conference papers hal-01527638v1
Image document

Making Operation-Based CRDTs Operation-Based

Carlos Baquero , Paulo Sérgio Almeida , Ali Shoker
4th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2014, Berlin, Germany. pp.126-140, ⟨10.1007/978-3-662-43352-2_11⟩
Conference papers hal-01287738v1