Distributed, Parallel, and Cluster Computing · Computer Science
Parallel Discrete Event Simulation with Erlang
Luca Toscano, Gabriele D'Angelo, Moreno Marzolla
2014-07-25
Programming Languages · Computer Science
Set-Theoretic Types for Erlang: Theory, Implementation, and Evaluation
Albert Schimpf, Stefan Wehr, Annette Bieniusa
2026-03-24
Distributed, Parallel, and Cluster Computing · Computer Science
Asynchronous Runtime with Distributed Manager for Task-based Programming Models
Jaume Bosch, Carlos Álvarez, Daniel Jiménez-González, Xavier Martorell +1
2020-09-09
Programming Languages · Computer Science
Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs
Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi +1
2018-09-14
Logic in Computer Science · Computer Science
Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation (Technical Report)
Radosław Jan Rowicki, Adrian Francalanza, Alceste Scalas
2025-08-27
Quantum Physics · Physics
Controlled entanglement source for quantum cryptography
Qiang Zeng, Haoyang Wang, Huihong Yuan, Yuanbin Fan +4
2023-05-23
Programming Languages · Computer Science
Automatic Parallelization: Executing Sequential Programs on a Task-Based Parallel Runtime
Alcides Fonseca, Bruno Cabral, João Rafael, Ivo Correia
2016-04-13
Programming Languages · Computer Science
Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform
Phil Trinder, Natalia Chechina, Nikolaos Papaspyrou, Konstantinos Sagonas +21
2017-05-09
Distributed, Parallel, and Cluster Computing · Computer Science
Early Scheduling in Parallel State Machine Replication
Eduardo Alchieri, Fernando Dotti, Fernando Pedone
2018-05-15
Instrumentation and Detectors · Physics
Real-time Control System Prototype for Mechanical and Optical Systems based on Parallel Computing Techniques
F. Acernese, F. Barone, R. De Rosa, R. Esposito +6
2007-05-23
Programming Languages · Computer Science
Applying Prolog to Develop Distributed Systems
Nuno P. Lopes, Juan A. Navarro, Andrey Rybalchenko, Atul Singh
2010-07-23
Quantum Physics · Physics
Arbitrary parallel entangling gates with independent calibration on a trapped ion quantum computer
Matthew Diaz, Masoud Mohammadi-Arzanagh, Yingyue Zhu, Mohammad Hafezi +3
2026-04-30
Systems and Control · Computer Science
Restart-Based Fault-Tolerance: System Design and Schedulability Analysis
Fardin Abdi, Renato Mancuso, Rohan Tabish, Marco Caccamo
2017-05-09
Distributed, Parallel, and Cluster Computing · Computer Science
Components and Interfaces of a Process Management System for Parallel Programs
Ralph Butler, William Gropp, Ewing Lusk
2007-05-23
Distributed, Parallel, and Cluster Computing · Computer Science
TD-Orch: Scalable Load-Balancing for Distributed Systems with Applications to Graph Processing
Yiwei Zhao, Qiushi Lin, Hongbo Kang, Guy E. Blelloch +4
2025-12-15
Software Engineering · Computer Science
Generation and Optimization of Test cases for Object-Oriented Software Using State Chart Diagram
Ranjita Kumari Swain, Prafulla Kumar Behera, Durga Prasad Mohapatra
2012-06-05
Distributed, Parallel, and Cluster Computing · Computer Science
Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs
Fuad Abujarad, Borzoo Bonakdarpour, Sandeep S. Kulkarni
2009-12-15
Programming Languages · Computer Science
Safety Verification of Phaser Programs
Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
2017-08-10
Cryptography and Security · Computer Science
Controlled Update of Software Components using Concurrent Exection of Patched and Unpatched Versions
Stjepan Groš, Ivan Kovačević, Ivan Dujmić, Matej Petrinović
2021-06-03
Programming Languages · Computer Science
Inferring Inductive Invariants from Phase Structures
Yotam M. Y. Feldman, James R. Wilcox, Sharon Shoham, Mooly Sagiv
2019-05-21