Logical leases : scalable hardware and software systems through time traveling

Logical leases : scalable hardware and software systems through time traveling

Thesis: Ph. D., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2018.

Bibliographic Details
Main Author:	Yu, Xiangyao
Other Authors:	Srinivas Devadas.
Format:	Thesis
Language:	eng
Published:	Massachusetts Institute of Technology 2018
Subjects:	Electrical Engineering and Computer Science.
Online Access:	http://hdl.handle.net/1721.1/115775

Similar Items

Software-hardware systems for the Internet-of-Things
by: Salehi-Abari, Omid
Published: (2018)

Energy scalable reconfigurable cryptographic hardware for portable applications
by: Goodman, James R. (James Ross)
Published: (2014)

Final report on software and hardware interactive learning for combinational logic
by: Chong, Chelsia Qin
Published: (2021)

An investigation of hardware and software mindsets
by: Cantu, Roy R
Published: (2007)

Scheduling for hardware/software partitioning in embedded system design
by: Engels, Daniel Wayne, 1970-
Published: (2014)

The scalable commutativity rule : designing scalable software for multicore processors
by: Clements, Austin T
Published: (2014)

A methodology for hardware-software codesign
by: King, Myron Decker
Published: (2014)

Hashing hardware : identifying hardware during boot-time system verification
by: Chilingirian, Berj Krikor
Published: (2017)

Magnetic logic circuits with high bit resolution for hardware acceleration
by: Dutta, Sumit, Ph. D. Massachusetts Institute of Technology
Published: (2017)

A unified model for hardware/software codesign
by: Dave, Nirav Hemant, 1982-
Published: (2012)

A hardware and software architecture for efficient datacenters
by: Kasture, Harshad
Published: (2017)

Graph-based analysis for hardware obfuscation through logic locking
by: Huang, Erdong
Published: (2023)

Tardis: Time Traveling Coherence Algorithm for Distributed Shared Memory
by: Yu, Xiangyao, et al.
Published: (2018)

InnerView hardware debugger : a logic analysis tool for the Virtual Wires emulation system
by: Hanono, Silvina Zimi
Published: (2005)

Hardware and software for hand-held electrical impedance myography measurement prototype system
by: Cooper, Roshni C
Published: (2009)

Banshee: Bandwidth-Efficient DRAM Caching via Software/Hardware Cooperation
by: Yu, Xiangyao, et al.
Published: (2021)

Scalable and Broad Hardware Acceleration through Practical Speculative Parallelism
by: Abeydeera, Maleen
Published: (2022)

Hardware and software for a power-aware wireless microsensor node
by: Ickes, Nathan J. (Nathan Jeffrey), 1979-
Published: (2005)

InGaAs MOSFETs for logic and RF applications : reliability, scalability and transport studies
by: Cai, Xiaowei,Ph.D.Massachusetts Institute of Technology.
Published: (2019)

Software/hardware interactive learning for oscilloscope
by: Zou, Deyi
Published: (2022)

Hardware & software architecture for multi-level unmanned autonomous vehicle design
by: Davis, Jesse H. Z. (Jesse Harper Zehring), 1980-
Published: (2005)

Hardware and software architecture for non-contact, non-intrusive load monitoring
by: Lawrence, David M
Published: (2016)

TicToc: Time Traveling Optimistic Concurrency Control
by: Yu, Xiangyao, et al.
Published: (2018)

An Integrated Hardware-software Systems for Computer Graphics in Time-sharing
by: Thornhill, D.E., et al.
Published: (2023)

Implementation Of Hardware Software Partitioning In Embedded System
by: Mohd Nor, Masyirah
Published: (2018)

Hardware And Software Development Of ECG Biometric System
by: Chia, Pei Kiak
Published: (2018)

Template-based hardware-software codesign for high-performance embedded numerical accelerators
by: Sredojević, Ranko Radovin
Published: (2014)

Taxes and leasing
by: O'Malley, Michael Patrick
Published: (2005)

Bayesian time series models and scalable inference
by: Johnson, Matthew James, Ph. D. Massachusetts Institute of Technology
Published: (2014)

LOKI : a lease-oriented key infrastructure with instant updates and seizure-resistance
by: Fromknecht, Conner(Conner M.)
Published: (2017)

Hardware software co-design for quadcopter control
by: Goh, Joel Rui Jia
Published: (2015)

Real-Time Face Detection And Tracking Using Software And Hardware Design
by: Chen, Kok Keat
Published: (2018)

Functional and timing models for a programmable hardware accelerator
by: Fox, Matthew (Matthew M.)
Published: (2016)

Mechanized proofs that hardware is safe from timing attacks
by: Duxovni, Faye(Faye Samara)
Published: (2019)

The program monitor : a programmable instrument for computer hardware and software performance measurement
by: Giaimo, Edward Charles
Published: (2005)

Modular verification of hardware systems
by: Vijayaraghavan, Muralidaran
Published: (2016)

The Hgen hardware synthesis system
by: Russo, Pietro, 1976-
Published: (2013)

Educational hardware for feedback systems
by: Dancy, Isaac
Published: (2006)

Scaling sequential code with hardware-software co-design for fine-grain speculative parallelization
by: Ying, Victor A.
Published: (2019)

Software/ hardware interactive learning for mixer
by: Lee, Eiliane Yiling
Published: (2020)