Efficient algorithms for probing the RNA mutation landscape.

by Jérôme Waldispühl, Srinivas Devadas, Bonnie Berger, Peter Clote
Published 2008-01-01

FPGA Implementation of a Cryptographically-Secure PUF Based on Learning Parity with Noise

by Chenglu Jin, Charles Herder, Ling Ren, Phuong Ha Nguyen, Benjamin Fuller, Srinivas Devadas, Marten van Dijk
Published 2017-12-01

Logical timestamps in distributed transaction processing systems

by Xia, Yu,S.M.Massachusetts Institute of Technology.
Published 2019

Towards anonymous and metadata private communication at Internet scale

by Kwon, Young Hyun.
Published 2019

Coverage-directed validation of hardware models

by Fallah, Farzan
Published 2005

A power reduction algorithm for combinatorial CMOS circuits using input disabling

by Rinderknecht, William John
Published 2007

An expert system to detect and diagnose failures in DRAM

by Satish, Venkatesh, 1976-
Published 2014

Architecture and implementation of automation and scripting for oxygen

by Tariq, Mohammad Ali, 1977-
Published 2014

Logical leases : scalable hardware and software systems through time traveling

by Yu, Xiangyao
Published 2018

A computer-aided design methodology for low power circuits

by Monteiro, José Carlos Alves Pereira
Published 2008

Synchronization on nulticore architectures

by Harding, Rachael, S.M. Massachusetts Institute of Technology
Published 2014

Building the MASC information appliance prototype

by Cheng, Cheng, 1976-
Published 2013

Precomputation-based sequential logic optimization for low power

by Alidina, Mazhar Murtaza
Published 2007

Many-core architectures with time predictable execution Support for hard real-time applications

by Kinsy, Michel A
Published 2013

An architecture synthesis system for embedded processors

by Hadjiyiannis, George Ioannou
Published 2014

An architecture for secure resource discovery

by Burnside, Matthew (Matthew Spindel), 1977-
Published 2014

Algorithms for verifying the integrity of untrusted storage

by Sudan Ajay, 1980-
Published 2005

An architecture and implementation of secure device communication in oxygen

by Mills, Todd Jason, 1977-
Published 2005

Development of a programming model for the AEGIS secure processor

by Sachdev, Ishan
Published 2006

Implementation of the MASC information appliance

by Huang, Mark Lee, 1977-
Published 2014