Networked Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

25
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer International Publishing

9783030312763, 9783030312770
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Synthesize Models for Quantitative Analysis Using Automata Learning

2019 ◽  
pp. 75-92
Author(s):  
Yu-Fang Chen ◽  
Hsiao-Chen Chung ◽  
Wen-Chi Hung ◽  
Ming-Hsien Tsai ◽  
Bow-Yaw Wang ◽  
...  
Keyword(s):  
Quantitative Analysis ◽  
Automata Learning

CUDA-DTM: Distributed Transactional Memory for GPU Clusters

2019 ◽  
pp. 183-199 ◽  
Author(s):  
Samuel Irving ◽  
Sui Chen ◽  
Lu Peng ◽  
Costas Busch ◽  
Maurice Herlihy ◽  
...  
Keyword(s):  
Transactional Memory ◽  
Gpu Clusters

Dissecting Tendermint

2019 ◽  
pp. 166-182 ◽  
Author(s):  
Yackolley Amoussou-Guenou ◽  
Antonella Del Pozzo ◽  
Maria Potop-Butucaru ◽  
Sara Tucci-Piergiovanni

scholarly journals A Pragmatic Non-blocking Concurrent Directed Acyclic Graph

2019 ◽  
pp. 327-344
Author(s):  
Sathya Peri ◽  
Muktikanta Sa ◽  
Nandini Singhal
Keyword(s):  
Directed Acyclic Graph ◽  
Acyclic Graph

scholarly journals Liveness in Broadcast Networks

2019 ◽  
pp. 52-66
Author(s):  
Peter Chini ◽  
Roland Meyer ◽  
Prakash Saivasan
Keyword(s):  
Broadcast Networks

scholarly journals Mutex-Based De-anonymization of an Anonymous Read/Write Memory

2019 ◽  
pp. 311-326 ◽  
Author(s):  
Emmanuel Godard ◽  
Damien Imbs ◽  
Michel Raynal ◽  
Gadi Taubenfeld

scholarly journals Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots

2019 ◽  
pp. 93-109
Author(s):  
Thibaut Balabonski ◽  
Pierre Courtieu ◽  
Robin Pelle ◽  
Lionel Rieg ◽  
Sébastien Tixeuil ◽  
...  
Keyword(s):  
Mobile Robots

scholarly journals Checking Causal Consistency of Distributed Databases

2019 ◽  
pp. 35-51
Author(s):  
Rachid Zennou ◽  
Ranadeep Biswas ◽  
Ahmed Bouajjani ◽  
Constantin Enea ◽  
Mohammed Erradi
Keyword(s):  
Distributed Databases ◽  
Causal Consistency

scholarly journals Achieving Starvation-Freedom in Multi-version Transactional Memory Systems

2019 ◽  
pp. 291-310 ◽  
Author(s):  
Ved P. Chaudhary ◽  
Chirag Juyal ◽  
Sandeep Kulkarni ◽  
Sweta Kumari ◽  
Sathya Peri
Keyword(s):  
Transactional Memory ◽  
Memory Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document