69 citations · 122 across the 11 of their papers we have counts for
5 papers · 1 filter
Predictive Sectorization and Bayesian Optimized Consensus for Admission Control in Autonomous Airspace Operations
Aditya Dhodapkar, Avery Smidt, Aaron Verkleeren +2
Conventional air traffic control divides airspace into specific regions, creating a scaling bottleneck as traffic grows. Choosing how to partition airspace is not straightforward b…
Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model
Saswata Paul, Gul A. Agha, Stacy Patterson +1
Successfully attaining consensus in the absence of a centralized coordinator is a fundamental problem in distributed multi-agent systems. We analyze progress in the Synod consensus…
Skedulix: Hybrid Cloud Scheduling for Cost-Efficient Execution of Serverless Applications
Anirban Das, Andrew Leaf, Carlos A. Varela +1
We present a framework for scheduling multifunction serverless applications over a hybrid public-private cloud. A set of serverless jobs is input as a batch, and the objective is t…
A Manifesto for Future Generation Cloud Computing: Research Directions for the Next Decade
Rajkumar Buyya, Satish Narayana Srirama, Giuliano Casale +22
The Cloud computing paradigm has revolutionised the computer science horizon during the past decade and has enabled the emergence of computing as the fifth utility. It has captured…
A Robust Asynchronous Newton Method for Massive Scale Computing Systems
Travis Desell, Malik Magdon-Ismail, Heidi Newberg +3
Volunteer computing grids offer super-computing levels of computing power at the relatively low cost of operating a server. In previous work, the authors have shown that it is poss…