University of California, Berkeley
EECS Technical Reports
Search | Browse by year
Terms: 2013
Results: 221 item(s)
Sorted by: Relevance | Year Page: Prev  1 2 3 4 5   ...  Next
Title:   Formal Verification and Synthesis for Quality-of-Service in On-Chip Networks 100
  Author(s):   Holcomb, Daniel      
  Report ID:   EECS-2013-228  

Title:   Information Flow in Linear Systems 100
  Author(s):   Park, Se Yong      
  Report ID:   EECS-2013-226  

Title:   Program Verification with Property Directed Reachability 100
  Author(s):   Welp, Tobias      
  Report ID:   EECS-2013-225  

Title:   Secure Virtualization with Formal Methods 100
  Author(s):   Sturton, Cynthia      
  Report ID:   EECS-2013-224  

Title:   Assessment and Methods for Supply-Following Loads in Modern Electricity Grids with Deep Renewables Penetration 100
  Author(s):   Taneja, Jayant      
  Report ID:   EECS-2013-223  

Title:   Formal Methods for Reverse Engineering Gate-Level Netlists 100
  Author(s):   Li, Wenchao      
  Report ID:   EECS-2013-222  

Title:   Community Cellular Networks 100
  Author(s):   Heimerl, Kurtis      
  Report ID:   EECS-2013-220  

Title:   Efficient inference algorithms for near-deterministic systems 100
  Author(s):   Chatterjee, Shaunak      
  Report ID:   EECS-2013-219  

Title:   Data Exchange Problems: Algorithms and Complexity 100
  Author(s):   Milosavljevic, Nebojsa      
  Report ID:   EECS-2013-218  

Title:   Techniques for Model Inference and Bug Finding 100
  Author(s):   Cho, Chia Yuan      
  Report ID:   EECS-2013-217  

Title:   A Framework for Productive, Efficient and Portable Parallel Computing 100
  Author(s):   Gonina, Ekaterina I.      
  Report ID:   EECS-2013-216  

Title:   PULSE: Peeling-based Ultra-Low complexity algorithms for Sparse signal Estimation 100
  Author(s):   EECS Department, University of California    Pawar, Sameer      
  Report ID:   EECS-2013-215  

Title:   Information Flow in Linear Systems 100
  Author(s):   Park, Se Yong      
  Report ID:   EECS-2013-214  

Title:   Minimax Optimality in Online Learning under Logarithmic Loss with Parametric Constant Experts 100
  Author(s):   Hedayati, Fares      
  Report ID:   EECS-2013-213  

Title:   Techniques for Modifying and Augmenting Existing Charts for Improved Usability 100
  Author(s):   Kong, Nicholas      
  Report ID:   EECS-2013-212  

Title:   The ZeroAccess Auto-Clicking and Search-Hijacking Click Fraud Modules 100
  Author(s):   Pearce, Paul    Grier, Chris    Dave, Vacha    McCoy, Damon    Voelker, Geoffrey M.    Savage, Stefan    Paxson, Vern      
  Report ID:   EECs-2013-211  

Title:   Wireless Weigh-In-Motion: using road vibrations to estimate truck weights 100
  Author(s):   Bajwa, Ravneet      
  Report ID:   EECS-2013-210  

Title:   Graph Structured Data Viewed Through a Fourier Lens 100
  Author(s):   Ekambaram, Venkatesan      
  Report ID:   EECS-2013-209  

Title:   ADAM: Genomics Formats and Processing Patterns for Cloud Scale Computing 100
  Author(s):   Massie, Matt    Nothaft, Frank    Hartl, Christopher    Kozanitis, Christos    Schumacher, Andre    Joseph, Anthony D.    Patterson, David A.      
  Report ID:   EECS-2013-207  

Title:   A Computational Light Field Display for Correcting Visual Aberrations 100
  Author(s):   Huang, Fu-Chung      
  Report ID:   EECS-2013-206  

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