University of California, Berkeley
EECS Technical Reports
Search | Browse by year
Terms: 2007
Results: 173 item(s)
Sorted by: Relevance | Year Page: Prev  1 2 3 4 5   ...  Next
Title:   Report on the Pvote Security Review 100
  Author(s):   Yee, Ka-Ping      
  Report ID:   EECS-2007-136  

Title:   The Weiner Lecture Archives : An Ontology-Driven Interface for Viewing Synchronized Lectures and Notes 100
  Author(s):   Zhang, Gene    Carr, Sean    Iyengar, Sameer    Edelstein, Hava    Liu, Albert    Garcia, Dan      
  Report ID:   EECS-2007-135  

Title:   Modeling Cloth from Examples 100
  Author(s):   White, Ryan      
  Report ID:   EECS-2007-134  

Title:   Implementation of Real-Time Distributed Discrete-Event Execution with Fault Tolerance 100
  Author(s):   Feng, Thomas Huining    Lee, Edward A.      
  Report ID:   EECS-2007-133  

Title:   Probabilistic Reachability for Stochastic Hybrid Systems: Theory, Computations, and Applications 100
  Author(s):   Abate, Alessandro      
  Report ID:   EECS-2007-132  

Title:   CPO Semantics of Timed Interactive Actor Networks 100
  Author(s):   Liu, Xiaojun    Lee, Edward A.      
  Report ID:   EECS-2007-131  

Title:   A Methodology and an Open Software Infrastructure for Constraint-Driven Synthesis of On-Chip Communications 100
  Author(s):   Pinto, Alessandro    Sangiovanni-Vincentelli, Alberto L.    Carloni, Luca      
  Report ID:   EECS-2007-130  

Title:   Tutorial: Building Ptolemy II Models Graphically 100
  Author(s):   Lee, Edward A.    Neuendorffer, Stephen      
  Report ID:   EECS-2007-129  

Title:   Reducing Network Energy Consumption via Rate-Adaptation and Sleeping 100
  Author(s):   Nedevschi, Sergiu    Popa, Lucian    Iannaccone, Gianluca    Ratnasamy, Sylvia    Wetherall, David      
  Report ID:   EECS-2007-128  

Title:   On the Off-Label Use of Outer Approximations: An External Active Set Strategy 100
  Author(s):   Chung, Hoam    Polak, Elijah    Sastry, S. Shankar      
  Report ID:   EECS-2007-127  

Title:   Reinforcement Learning in Large or Unknown MDPs 100
  Author(s):   Tewari, Ambuj      
  Report ID:   EECS-2007-126  

Title:   Refinement-Based Program Analysis Tools 100
  Author(s):   Sridharan, Manu      
  Report ID:   EECS-2007-125  

Title:   Learning Mixtures of Distributions 100
  Author(s):   Chaudhuri, Kamalika      
  Report ID:   EECS-2007-124  

Title:   Avoiding Communication in Computing Krylov Subspaces 100
  Author(s):   Demmel, James    Hoemmen, Mark Frederick    Mohiyuddin, Marghoob    Yelick, Katherine A.      
  Report ID:   EECS-2007-123  

Title:   Stochastic Omega-Regular Games 100
  Author(s):   Chatterjee, Krishnendu      
  Report ID:   EECS-2007-122  

Title:   Improving Dependability of Commodity Operating Systems with Program Analysis 100
  Author(s):   Zhou, Feng      
  Report ID:   EECS-2007-121  

Title:   Finitary Winning in Omega-Regular Games 100
  Author(s):   Chatterjee, Krishnendu    Henzinger, Thomas A.    Horn, Florian      
  Report ID:   EECS-2007-120  

Title:   D-Trigger: A General Framework for Efficient Online Detection 100
  Author(s):   Huang, Ling      
  Report ID:   EECS-2007-119  

Title:   Methods and Devices for Optical and Electrical Metrology with Application to Phase-Shifting Interferometers, Torsional Microstructures, and Levitated Accelerometers 100
  Author(s):   Garmire, David G      
  Report ID:   EECS-2007-118  

Title:   Dependent Types for Safe Systems Software 100
  Author(s):   Condit, Jeremy Paul      
  Report ID:   EECS-2007-117  

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