Varda: A Framework for Compositional Distributed Programming
|
2022 |
Prosperi, Laurent |
An Eventually Perfect Failure Detector on ADD Channels Using Clustering
|
2022 |
Rumreich, Laine |
Mechanical Energy Minimization UAV-Mounted Base Station Path Plan for Public Safety Communication
|
2022 |
Chakour, Imane |
Distributed Oracle for Estimating Global Network Delay with Known Error Bounds
|
2022 |
Vargas, Karla |
IoT Based Prediction of Active and Passive Earth Pressure Coefficients Using Artificial Neural Networks
|
2022 |
Attache, Salima |
ProgDTN: Programmable Disruption-Tolerant Networking
|
2022 |
Sommer, Markus |
Applying Custom Patterns in Semantic Equality Analysis
|
2022 |
Malik, Viktor |
Chromatic and Spatial Analysis of One-Pixel Attacks Against an Image Classifier
|
2022 |
Alatalo, Janne |
Verifying Reachability for TSO Programs with Dynamic Thread Creation
|
2022 |
Abdulla, Parosh Aziz |
Solvability of Byzantine Fault-Tolerant Causal Ordering Problems
|
2022 |
Misra, Anshuman |
Relaxed Reliable Broadcast for Decentralized Trust
|
2022 |
Bezerra, João Paulo |
Making CSMA Collision-Free and Stable Using Collaborative Indexing
|
2022 |
Garcia-Luna-Aceves, J. J. |
A Snapshot-Based Introduction to the Linearizability Hierarchy
|
2022 |
Castaneda, Armando |
Distributed Blockchain Price Oracle
|
2022 |
Lys, Leonard |
Recycling Memory in Recoverable Mutex Locks
|
2022 |
Segu, Aravind |
FEBR: Expert-Based Recommendation Framework for Beneficial and Personalized Content
|
2022 |
Lechiakh, Mohamed |
BirdEdge: Bird Species Recognition at the Edge
|
2022 |
Höchst, Jonas |
A Self-stabilizing Minimum Average Stretch Spanning Tree Construction
|
2022 |
Sengupta, Sinchan |
Analysis of Interactions Among Infrastructure Provider Fronting Content Provider
|
2022 |
Garmani, Hamid |
Dynamics Analysis for a Duopoly Game with Bounded Rationality in Cognitive Radio Network
|
2022 |
Daoudi, Lhoussaine |