32 citations · 67 across the 19 of their papers we have counts for
4 papers · 1 filter
Techreport: Time-sensitive probabilistic inference for the edge
Christian Weilbach, Annette Bieniusa
In recent years the two trends of edge computing and artificial intelligence became both crucial for information processing infrastructures. While the centralized analysis of massi…
Practical Evaluation of the Lasp Programming Model at Large Scale - An Experience Report
Christopher S. Meiklejohn, Vitor Enes, Junghun Yoo +3
Programming models for building large-scale distributed applications assist the developer in reasoning about consistency and distribution. However, many of the programming models f…
Global-Local View: Scalable Consistency for Concurrent Data Types
Deepthi Devaki Akkoorath, José Brandão, Annette Bieniusa +1
Concurrent linearizable access to shared objects can be prohibitively expensive in a high contention workload. Many applications apply ad-hoc techniques to eliminate the need of sy…
EPTL - A temporal logic for weakly consistent systems
Mathias Weber, Annette Bieniusa, Arnd Poetzsch-Heffter
The high availability and scalability of weakly-consistent systems attracts system designers. Yet, writing correct application code for this type of systems is difficult; even how…