Search Results - "Mendes, Hammurabi"

Using skip graphs for increased NUMA locality by Thomas, Samuel, Hayne, Roxana, Pulaj, Jonad, Mendes, Hammurabi

“…We present a NUMA-aware concurrent data structure design based on a data-partitioned, concurrent skip graph indexed by thread-local sequential maps. Our design…”
Get full text

Seriema: RDMA-based Remote Invocation with a Case-Study on Monte-Carlo Tree Search by Mendes, Hammurabi, Wiedenbeck, Bryce, O'Neill, Aidan

“…We introduce Seriema, a middleware that integrates RDMA-based remote invocation, asynchronous data transfer, NUMA-aware automatic management of registered…”
Get full text

Multidimensional agreement in Byzantine systems by Mendes, Hammurabi, Herlihy, Maurice, Vaidya, Nitin, Garg, Vijay K.

“…Consider a network of n processes, where each process inputs a d -dimensional vector of reals. All processes can communicate directly with others via reliable…”
Get full text

Using Skip Graphs for Increased NUMA Locality by Thomas, Samuel, Hayne, Roxana, Pulaj, Jonad, Mendes, Hammurabi

“…High-performance simulations and parallel frameworks often rely on highly scalable, concurrent data structures for system scalability. With an increased…”
Get full text

Distributed Agreement in the Arrovian Framework by Wood, Kenan, Mendes, Hammurabi, Pulaj, Jonad

“…Preference aggregation is a fundamental problem in voting theory, in which public input rankings of a set of alternatives (called preferences) must be…”
Get full text

Optimal Multilevel Slashing for Blockchains by Wood, Kenan, Mendes, Hammurabi, Pulaj, Jonad

“…We present the notion of multilevel slashing, where proof-of-stake blockchain validators can obtain gradual levels of assurance that a certain block is bound…”
Get full text

A Concurrent Implementation of Skip Graphs by Mendes, Hammurabi, Fernandes, Cristina G.

“…In this extended abstract, we outline a concurrent implementation of a data structure called skip graphs. This data structure, proposed by Aspnes and Shah, has…”
Get full text

Expiring Assets in Automated Market Makers by Wood, Kenan, Herlihy, Maurice, Mendes, Hammurabi, Pulaj, Jonad

“…An automated market maker (AMM) is a state machine that manages pools of assets, allowing parties to buy and sell those assets according to a fixed…”
Get full text

Satisfiability Modulo Theories for Verifying MILP Certificates by Wood, Kenan, Zhou, Runtian, Wu, Haoze, Mendes, Hammurabi, Pulaj, Jonad

“…Correctness of results from mixed-integer linear programming (MILP) solvers is critical, particularly in the context of applications such as hardware…”
Get full text

Seriema: RDMA-based Remote Invocationwith a Case-Study on Monte-Carlo Tree Search by Mendes, Hammurabi, Wiedenbeck, Bryce, O'Neill, Aidan

“…We introduce Seriema, a middleware that integrates RDMA-based remote invocation, asynchronous data transfer, NUMA-aware automatic management of registered…”
Get full text

An architecture for P2P bag-of-tasks execution with multiple task allocation policies in desktop grids by Leite, Alessandro Ferreira, Mendes, Hammurabi Chagas, Weigang, Li, de Melo, Alba Cristina Magalhaes Alves, Boukerche, Azzedine

“…In this paper, we propose and evaluate a flexible architecture for desktop grids that supports multiple task allocation policies on top of a structured P2P…”
Get full text

Tight Bounds for Connectivity and Set Agreement in Byzantine Synchronous Systems by Mendes, Hammurabi, Herlihy, Maurice

“…In this paper, we show that the protocol complex of a Byzantine synchronous system can remain $(k - 1)$-connected for up to $\lceil t/k \rceil$ rounds, where…”
Get full text

Thermodynamic Hypothesis as Social Choice: An Impossibility Theorem for Protein Folding by Mendes, Hammurabi, Istrail, Sorin

“…Protein Folding is concerned with the reasons and mechanism behind a protein's tertiary structure. The thermodynamic hypothesis of Anfinsen postulates an…”
Get full text

Using Skip Graphs for Increased NUMA Locality by Thomas, Samuel, Hayne, Ana, Pulaj, Jonad, Mendes, Hammurabi

“…We present a data partitioning technique performed over skip graphs that promotes significant quantitative and qualitative improvements on NUMA locality in…”
Get full text

The Adaptive Priority Queue with Elimination and Combining by Calciu, Irina, Mendes, Hammurabi, Herlihy, Maurice

“…Priority queues are fundamental abstract data structures, often used to manage limited resources in parallel programming. Several proposed parallel priority…”
Get full text

Distributed Computability in Byzantine Asynchronous Systems by Mendes, Hammurabi, Tasson, Christine, Herlihy, Maurice

“…In this work, we extend the topology-based approach for characterizing computability in asynchronous crash-failure distributed systems to asynchronous…”
Get full text

Obtaining possible execution histories on multiple memory consistency models by Melo, A.C.M.A., Silva, N.S.B., Mendes, H.C., Aranha, D.F.

“…In order to make shared memory programming possible in distributed architectures, we use an abstraction called distributed shared memory. The behavior of…”
Get full text

Bag-of-Tasks Self-Scheduling over Range-Queriable Search Overlays by Mendes, H., Li Weigang, Boukerche, A., Alves de Melo, A.C.M.

“…The opportunistic computing paradigm is extremely valuable to modern technical and scientific endeavors, as it can support the demand for large and steady…”
Get full text