Srinivas Devadas

TL;DR: In this article, a method and apparatus for selecting a queue for service across a shared link is presented, which includes determining a priority for each queue (202) within a plurality of ingresses (102), wherein the priority is instantaneous for a given timeslot for data transfer.

TL;DR: This paper presents a new HDL-SAT checking algorithm that works directly on the HDL model, and describes the details of the algorithm, which is a seamless integration of linear-programming techniques for feasibility checking of arithmetic equations that govern the behavior of data-path modules and SAT checking for logic equations that governs thebehavior of control modules.

TL;DR: The program partiFold is introduced to investigate the folding landscape of TMBs and outperforms existing programs for inter‐β‐strand residue contact prediction on TMB proteins, offering both higher average predictive accuracy as well as more consistent results.

TL;DR: A method to automatically synthesize precomputation logic for this architecture is presented, and it is shown that it is significantly more powerful than the architecture previously treated in the literature.

TL;DR: An append-only authenticated dictionary (AAD) is proposed in this paper to provide both small-sized lookup proofs and small-size append only proofs for transparency logs, which is the first primitive to achieve (poly)logarithmic size for both proof types and helps reduce bandwidth consumption.