Search Results

TNIC: A Trusted NIC Architecture: A hardware-network substrate for building high-performance trustworthy distributed systems

• Authors : Giantsidi, Dimitra; Pritzi, Julian; Gust, Felix ...

• Source: Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2 ; page 1282-1301

Record details

Asymmetric Failure Assumptions for Reliable Distributed Systems

• Authors : Senn, Michael; Cachin, Christian; Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung

• Source: Proceedings of the 12th Workshop on Principles and Practice of Consistency for Distributed Data ; page 8-14

Record details

COTS BJT Radiation Qualification Methodology for Highly Distributed Systems in Mixed-Field Environments

• Authors : Andreetta, Gabriele; Ferraro, Rudy; Zimmaro, Alessandro

• Source: IEEE Transactions on Nuclear Science ; page 1-1 ; ISSN 0018-9499 1558-1578

Record details

Automating Formal Verification of Distributed Systems via Property-Driven Reductions

• Authors : Christopher Wagner

Subjects: Distributed systems and algorithms; Formal methods for software; Programming languages

Record details

Asynchronous Fault-Tolerant Language Decidability for Runtime Verification of Distributed Systems ...

• Authors : Castañeda, Armando; Rodríguez, Gilde Valeria

Subjects: Distributed, Parallel, and Cluster Computing cs.DC; FOS: Computer and information sciences

Record details

Distributed Systems in Practice with Golang

• Authors : Oketunji, Abiodun Finbarrs

Record details

Fault Tolerant Leader Election in Distributed Systems

• Authors : Marius Rafailescu

Subjects: International leader election; distributed systems; fault tolerance

Record details

A review on orchestration distributed systems for IoT smart services in fog computing

• Authors : Nor Syazwani Mohd Pakhrudin; Murizah Kassim; Azlina Idris

Subjects: Distributed systems; Fog computing; Internet of things

• Source: International Journal of Electrical and Computer Engineering (IJECE), 11(2), 1812-1822, (2021-04-01)

Record details

Multi-Stakeholder Policy Enforcement for Distributed Systems

• Authors : Walther, Robert; Weinhold, Carsten; Amthor, Peter ...

• Source: Proceedings of the 10th International Workshop on Container Technologies and Container Clouds ; page 7-12

Record details

Academic Data Privacy-Preserving using Centralized and Distributed Systems: A Comparative Study

• Authors : Lamaazi, Hanane; Alneyadi, Aysha Muaded Moha; Serhani, Mohamed Adel

• Source: Proceedings of the 2024 6th International Conference on Big-data Service and Intelligent Computation ; page 8-16

Record details