3 citations · 4 across the 2 of their papers we have counts for
4 papers
AI training resources for GLAM: a snapshot
Andrew Darby, Catherine Nicole Coleman, Claudia Engel +3
We take a snapshot of current resources available for teaching and learning AI with a focus on the Galleries, Libraries, Archives and Museums (GLAM) community. The review was carri…
Read-Uncommitted Transactions for Smart Contract Performance
Victor Cook, Zachary Painter, Christina Peterson +1
Smart contract transactions demonstrate issues of performance and correctness that application programmers must work around. Although the blockchain consensus mechanism approaches…
Quantifiability: Concurrent Correctness from First Principles
Victor Cook, Christina Peterson, Zachary Painter +1
Architectural imperatives due to the slowing of Moore's Law, the broad acceptance of relaxed semantics and the O(n!) worst case verification complexity of generating sequential his…
Lock-Free Transactional Adjacency List
Zachary Painter, Christina Peterson, Damian Dechev
Adjacency lists are frequently used in graphing or map based applications. Although efficient concurrent linked-list algorithms are well known, it can be difficult to adapt these a…