Mining in Logarithmic Space with Variable Difficulty

Authors: Miller, Loïc, Pacaud, Dorian, Derousseaux-Lebert, Nathanaël, Anceaume, Emmanuelle, Ludinard, Romaric

Contributors: Anceaume, Emmanuelle

Subject Terms: • Theory of computation → Distributed algorithms, • Computing methodologies → Concurrent algorithms, Security and privacy → Distributed systems security, [INFO] Computer Science [cs]

File Description: application/pdf

Access URL: https://cnrs.hal.science/hal-05294549v1
https://cnrs.hal.science/hal-05294549v1/document
https://doi.org/10.1145/3719027.3744874

hard real time stationary gang scheduling

Authors: Ueter, Niklas, Günzel, Mario, von der Brüggen, Georg, Chen, Jian-Jia

Contributors: Niklas Ueter and Mario Günzel and Georg von der Brüggen and Jian-Jia Chen, Brandenburg, Björn B.

Source: Euromicro Conference on Real-Time Systems (ECRTS)

Subject Terms: Parallel Computing, Computer systems organization → Real-time operating systems, Gang Scheduling, Computing methodologies → Concurrent algorithms, Real-Time Systems, Computer systems organization → Embedded and cyber-physical systems, ddc:004, Scheduling Algorithms

File Description: application/pdf

Access URL: https://drops.dagstuhl.de/opus/volltexte/2021/13941/pdf/LIPIcs-ECRTS-2021-10.pdf/
https://doi.org/10.4230/LIPIcs.ECRTS.2021.10
https://dblp.uni-trier.de/db/conf/ecrts/ecrts2021.html#UeterGBC21
https://drops.dagstuhl.de/opus/volltexte/2021/13941/
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2021.10

Impossibility of Strongly-Linearizable Message-Passing Objects via Simulation by Single-Writer Registers

Authors: Attiya, Hagit, Enea, Constantin, Welch, Jennifer L.

Contributors: Hagit Attiya and Constantin Enea and Jennifer L. Welch, Gilbert, Seth

Subject Terms: FOS: Computer and information sciences, Impossibility proofs, Computing methodologies → Concurrent algorithms, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, 7. Clean energy, Concurrent Objects, Computer Science - Distributed, Parallel, and Cluster Computing, Computing methodologies → Distributed algorithms, Shared registers, Theory of computation → Distributed computing models, Theory of computation → Concurrent algorithms, Message-passing systems, 0202 electrical engineering, electronic engineering, information engineering, Distributed, Parallel, and Cluster Computing (cs.DC), Theory of computation → Distributed algorithms, ddc:004, Strong linearizability, BG simulation

File Description: application/pdf

Access URL: http://arxiv.org/abs/2105.06614
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2021.7