Filters








8 Hits in 0.88 sec

Data Consistency in Distributed Systems: Algorithms, Programs, and Databases (Dagstuhl Seminar 18091)

Annette Bieniusa, Alexey Gotsman, Bettina Kemme, Marc Shapiro, Michael Wagner
2018 Dagstuhl Reports  
, pp. 17-28, ACM, 2016.  ...  , FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings, Lecture Notes in Computer  ... 
doi:10.4230/dagrep.8.2.101 dblp:journals/dagstuhl-reports/BieniusaGKS18 fatcat:pdcbulwarbgdhc76ms3s563ebq

On the Monitorability of Session Types, in Theory and Practice [article]

Christian Batrolo Burlò, Adrian Francalanza, Alceste Scalas
2021 arXiv   pre-print
Des., 46(3):197-225, 2015. doi:10.1007/ s10703-014-0218-8. 17 International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven  ...  The benchmark results are reported Fig. 14 .  ... 
arXiv:2105.06291v1 fatcat:wpy4l4tf3rhqhhqgyzbohtrcbu

New Challenges in Parallelism

Annette Bieniusa, Hans-J Boehm, Maurice Herlihy, Erez Petrank, Annette Bieniusa, Hans-J Boehm, Maurice Herlihy, Erez Petrank, Dagstuhl Reports
New Challenges in Parallelism   unpublished
Another implication is Except where otherwise noted, content of this report is licensed under a Creative Commons BY 3.0 Unported license  ...  , FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings, Lecture Notes in Computer  ...  -29, 2016.  ... 
fatcat:7vxc2cngzrfjzhjyo63asuay54

DEMONS IN THE CITY OF ANGELS: NEO-NAZIS AND WHITE NATIONALISM IN SOUTHERN CALIFORNIA

Emma Bianco, Allison Varzally, Natalie Fousekis, Volker Janssen
2022 Zenodo  
After Tony Rackauckas wrapped up the press conference on December 16, 2010, reporters from national and local news agencies began publishing the details of Operation Stormfront.  ...  "Report of the Western Division of the American Nazi Party.  ... 
doi:10.5281/zenodo.6499761 fatcat:gxqqoxbrb5egnnm4fpugfn4bvq

HopsFS: Scaling Hierarchical File System Metadata Using NewSQL Databases [chapter]

Salman Niazi, Mahmoud Ismail, Seif Haridi, Jim Dowling
2018 Encyclopedia of Big Data Technologies  
Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015.  ...  In HopsFS, the block-report is split into a large number of sub-block-reports. The datanodes compute the hash of the sub-block-reports and send the hashes to the namenodes.  ... 
doi:10.1007/978-3-319-63962-8_146-1 fatcat:tmuujviqnvfspjjefocgf62tzu

Generalising Projection in Asynchronous Multiparty Session Types [article]

Rupak Majumdar, Madhavan Mukund, Felix Stutz, Damien Zufferey
2022 arXiv   pre-print
In Igor Konnov and Laura Kovács, editors, 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference), volume 171 of LIPIcs, pages 49:1  ...  Lang., 3(2-3):95-230, 2016. 6 Paul Baker, Paul Bristow, Clive Jervis, David J. King, Robert Thomson, Bill Mitchell, and Simon Burton.  ...  on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings, volume 12134 of Lecture Notes in Computer Science, pages 86-106.  ... 
arXiv:2107.03984v3 fatcat:dcxpflxdwnewffkbz5ftmdhkru

Comparing Type Systems for Deadlock Freedom [article]

Ornela Dardha, Jorge A. Pérez
2021 arXiv   pre-print
In Jacques Garrigue, Gabriele Keller, and Eijiro Sumii, editors, Proceedings of the 21st ACM SIG- PLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016  ...  ACM, 2016. [Mil91] Robin Milner. e Polyadic pi-Calculus: A Tutorial. Technical report, Logic and Algebra of Specification, 1991. Com- put., 100(1):1-40, 1992.  ... 
arXiv:1810.00635v4 fatcat:lbhkd4ss6zardhwujtvgtcqmk4

A Foundational Theory for Attribute-based Communication

Yehia Moustafa Abd Alrahman
2016
, DisCoTec 2016, Heraklion, Crete, Greece, in Springer LNCS, vol. 9688, pp.1-18, 2016. 3.  ...  , 2016. 4.  ... 
doi:10.6092/imtlucca/e-theses/214 fatcat:pw7fnshbizft7nr7huog2zpdhi