A Methodological Construction of an Efficient Sequentially Consistent Distributed Shared Memory

Computer Journal (p. 1523-1534) - 1/11/2010

10.1093/comjnl/bxp090 Ver en origen

• ISSN 00104620

• iMarina

A Timing Assumption and Two t-Resilient Protocols for Implementing an Eventual Leader Service in Asynchronous Shared Memory Systems

Algorithmica (p. 550-576) - 1/4/2010

10.1007/s00453-008-9190-2 Ver en origen

• ISSN 01784617

• iMarina
• iMarina

A parametrized algorithm that implements sequential, causal, and cache memory consistencies

Journal Of Systems And Software (p. 120-131) - 1/1/2008

10.1016/j.jss.2007.03.012 Ver en origen

• ISSN 01641212

• iMarina
• iMarina

Communication-efficient and crash-quiescent Omega with unknown membership

Information Processing Letters (p. 194-199) - 15/1/2011

10.1016/j.ipl.2010.11.012 Ver en origen

• ISSN 00200190

• iMarina

Consensus in anonymous asynchronous systems with crash-recovery and omission failures

Computing (p. 2811-2837) - 1/1/2021

10.1007/s00607-021-01023-8 Ver en origen

• ISSN 0010485X

• iMarina

Consensus using omega in asynchronous systems with unknown membership and degenerative Byzantine failures

Journal Of Computer And System Sciences (p. 54-71) - 1/1/2020

10.1016/j.jcss.2019.06.003 Ver en origen

• ISSN 00220000

• iMarina

Decoupled interconnection of distributed memory models

Lecture Notes In Computer Science (p. 235-246) - 1/1/2004

• ISSN 03029743

• iMarina

Distributed Slicing in Dynamic Systems

Ieee Transactions On Parallel And Distributed Systems (p. 1030-1043) - 1/4/2016

10.1109/tpds.2015.2430856 Ver en origen

• ISSN 10459219

• iMarina
• iMarina
• iMarina

Eventual Leader Election with Weak Assumptions on Initial Knowledge, Communication Reliability, and Synchrony

Journal Of Computer Science And Technology (p. 1267-1281) - 1/11/2010

10.1007/s11390-010-1100-9 Ver en origen

• ISSN 10009000

• iMarina
• iMarina

Eventual election of multiple leaders for solving consensus in anonymous systems

Journal Of Supercomputing (p. 3726-3743) - 29/10/2015

10.1007/s11227-015-1460-6 Ver en origen

• ISSN 09208542

• iMarina

A Timing Assumption and a -Resilient Protocol for Implementing an Eventual Leader Service in Asynchronous Shared Memory Systems

7/5/2007

• iMarina

A methodological construction of an efficient sequential consistency protocol

Proceedings - Third Ieee International Symposium On Network Computing And Applications, Nca 2004 (p. 141-148) - 1/12/2004

10.1109/nca.2004.1347771 Ver en origen

• iMarina

Agreement in wider environments with weaker assumptions.

No Hay Acta - 13/6/2012

• iMarina

An Efficient Implementation of Omega

Actas De Congreso (p. 179-183) - 9/6/2010

• iMarina

Automatic implementation system of security protocols based on formal description techniques

Proceedings - International Symposium On Computers And Communications (p. 355-360) - 1/12/2002

10.1109/iscc.2002.1021701 Ver en origen

• ISSN 15301346

• iMarina

Brief Announcement: Fault-tolerant Broadcast Service in Anonymous Distributed Systems with Fair Lossy Communication Channels

Proceedings Of The 2015 Acm Symposium On Principles Of Distributed Computing (p. 203-205) - 21/7/2015

• iMarina

Brief announcement: Fault-tolerant broadcast in anonymous distributed systems with fair lossy communication channels

Proceedings Of The Annual Acm Symposium On Principles Of Distributed Computing (p. 203-205) - 21/7/2015

10.1145/2767386.2767443 Ver en origen

• iMarina

Brief announcement: Minimal system conditions to implement unreliable failure detectors

1/12/2005

• iMarina

Electing an eventual leader in an asynchronous shared memory system

37th Annual Ieee/Ifip International Conference On Dependable Systems And Networks, Proceedings (p. 399-+) - 16/11/2007

10.1109/dsn.2007.39 Ver en origen

• iMarina
• iMarina

Implementing Reliable Broadcast in Anonymous Distributed Systems with Fair Lossy Channels

Proceedings Of Work In Progress Volume Of 23rd Euromicro International Conference On Parallel, Distributed And Network-Based Processing (p. 1-2) - 4/3/2015

• iMarina

A Coherent and Rich PaaS with a Common Programming Model CoherentPaaS

Ejecución: 01-10-2013 - 30-09-2016

Tipo: Internacional

Importe financiado: 524951,00 Euros.

• iMarina

A Highly Scalable Transactional Multi-Tier Platform as a Service

Ejecución: 01-10-2010 - 30-09-2013

Tipo: Internacional

Importe financiado: 742986,00 Euros.

• iMarina

Advancing the Scalability and Performance of I/O Subsystems in Multi-core Platforms

Ejecución: 01-01-2010 - 31-03-2013

Tipo: Internacional

Importe financiado: 444371,00 Euros.

• iMarina

BigDataPaaS: Una plataforma como servicio para Big Data

Ejecución: 01-01-2014 - 31-03-2017

Tipo: Nacional

Importe financiado: 63404,00 Euros.

• iMarina

Building the PaaS Cloud of the Future

Ejecución: 01-06-2010 - 31-08-2013

Tipo: Internacional

Importe financiado: 649166,00 Euros.

• iMarina

CONGRESO XIX JORNADAS DE CONCURRENCIAS Y SISTEMAS DISTRIBUIDOS

Ejecución: 08-06-2011 - 31-12-2017

Tipo: Interno

• iMarina

CloudDB: Una base de datos ultraescalable, eficiente y altamente disponible

Ejecución: 30-12-2016 - 31-12-2020

Tipo: Nacional

Importe financiado: 173030,00 Euros.

• iMarina

Commercialization of a breakthrough wind resource assessment technology for automated planning of bankable wind farms

Ejecución: 01-01-2020 - 31-12-2022

Tipo: Internacional

Importe financiado: 300000,00 Euros.

• iMarina

European Cloud In-Memory Database Appliance with Predictable Performance for Critical Applications

Ejecución: 01-12-2016 - 30-11-2019

Tipo: Internacional

Importe financiado: 502625,00 Euros.

• iMarina

High-performance data-centric stack for big data applications and operations

Ejecución: 01-01-2018 - 31-12-2020

Tipo: Internacional

Importe financiado: 288500,00 Euros.

• iMarina

Agreement in adversarial environments with anonymous and Byzantine elements

5/7/2023

• iMarina

Online Order Batching Problem: a heuristic approach for single and multiple pickers

16/12/2022

• iMarina