Search Results for author:
Found 3 papers, 1 papers with code
Optimizing Crop Management with Reinforcement Learning and Imitation Learning
Moreover, the partial-observation management policies are directly deployable in the real world as they use readily available information.
A coordination-free, convergent, and safe replicated tree
We provide mechanized proof that the data structure is convergent and maintains the tree invariant.
Distributed, Parallel, and Cluster Computing
Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants
Despite this, the inability to enforce numeric invariants across all replicas still remains a key shortcoming of relying on the limited guarantees of eventual consistency storage.
Distributed, Parallel, and Cluster Computing
