University of California, Berkeley
EECS Technical Reports
Search | Browse by year
Terms: 2015
Results: 228 item(s)
Sorted by: Relevance | Year Page: Prev  1 2 3 4 5   ...  Next
Relevance
Title:   Synthesis and Verification of Networked Systems with Applications to Transportation Networks 100
  Author(s):   Coogan, Samuel      
  Report ID:   EECS-2015-175  

Title:   Unified Multi-Cue Depth Estimation from Light-Field Images: Correspondence, Defocus, Shading, and Specularity 100
  Author(s):   Tao, Michael      
  Report ID:   EECS-2015-174  

Title:   A Compartmental Lateral Inhibition System to Generate Contrasting Patterns 100
  Author(s):   Ferreira, Ana Sofia Rufino    Hsia, Justin    Arcak, Murat      
  Report ID:   EECS-2015-173  

Title:   Towards Digital Apprenticeship: Wearable Activity Recognition in the Workshop Setting 100
  Author(s):   Campbell, Timothy    Harper, Jonathan    Hartmann, Bjorn    Paulos, Eric      
  Report ID:   EECS-2015-172  

Title:   Negative Capacitance for Ultra-low Power Computing 100
  Author(s):   Khan, Asif Islam      
  Report ID:   EECS-2015-171  

Title:   Formal Methods for Engineering Education 100
  Author(s):   Seshia, Sanjit A      
  Report ID:   EECS-2015-170  

Title:   Rendering Issues in Pacioli’s Rhombicuboctahedron 100
  Author(s):   Sequin, Carlo H.    Shiau, Raymond      
  Report ID:   EECS-2015-169  

Title:   Scalable Transactions for Scalable Distributed Database Systems 100
  Author(s):   Pang, Gene      
  Report ID:   EECS-2015-168  

Title:   The Berkeley Out-of-Order Machine (BOOM): An Industry-Competitive, Synthesizable, Parameterized RISC-V Processor 100
  Author(s):   Celio, Christopher    Patterson, David A.    Asanovic, Krste      
  Report ID:   EECS-2015-167  

Title:   Variability Modeling and Statistical Parameter Extraction for CMOS Devices 100
  Author(s):   Qian, Kun      
  Report ID:   EECS-2015-165  

Title:   Filtering Environment Illumination for Interactive Physically-Based Rendering in Mixed Reality 100
  Author(s):   Mehta, Soham Uday    Kim, Kihwan    Pajak, Dawid    Pulli, Kari    Kautz, Jan    Ramamoorthi, Ravi      
  Report ID:   EECS-2015-164  

Title:   Write-Avoiding Algorithms 100
  Author(s):   Carson, Erin    Demmel, James    Grigori, Laura    Knight, Nick    Koanantakool, Penporn    Schwartz, Oded    Simhadri, Harsha Vardhan      
  Report ID:   EECS-2015-163  

Title:   Verification of Confidentiality Properties of Enclave Programs 100
  Author(s):   Sinha, Rohit    Rajamani, Sriram    Seshia, Sanjit A    Vaswani, Kapil      
  Report ID:   EECS-2015-162  

Title:   Design and Fabrication of cm-scale Tesla Turbines 100
  Author(s):   Krishnan, Vedavalli      
  Report ID:   EECS-2015-161  

Title:   Ultra-low energy photoreceivers for optical interconnects 100
  Author(s):   Going, Ryan      
  Report ID:   EECS-2015-160  

Title:   SiRen: Leveraging Similar Regions for Efficient & Accurate Variant Calling 100
  Author(s):   Curtis, Kristal    Talwalkar, Ameet    Zaharia, Matei    Fox, Armando      
  Report ID:   EECS-2015-159  

Title:   Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems 100
  Author(s):   Seshia, Sanjit A.    Qadeer, Shaz    Broman, David    Eidson, John    Desai, Ankush      
  Report ID:   EECS-2015-158  

Title:   The RISC-V Compressed Instruction Set Manual, Version 1.7 100
  Author(s):   Waterman, Andrew    Lee, Yunsup    Patterson, David A.    Asanovic, Krste      
  Report ID:   EECS-2015-157  

Title:   Building a User Interface for a Temporal Machine Learning System 100
  Author(s):   Yiu, George      
  Report ID:   EECS-2015-156  

Title:   SoftNIC: A Software NIC to Augment Hardware 100
  Author(s):   Han, Sangjin    Panda, Aurojit    Palkar, Shoumik    Han, Dongsu    Ratnasamy, Sylvia      
  Report ID:   EECS-2015-155  

Copyright © 2007 The Regents of the University of California. All rights reserved.