Search ResultsElectronic Resources
Switch to list view
Switch to thumbnail view
Select an Action
6 Results Found Subscribe to search results
000000DEFAULT
Print
Select a list
Make this your default list.
The following items were successfully added.
    There was an error while adding the following items. Please try again.
      Cover image for Automatic Verification of Linear Controller
      1. 
      Automatic Verification of Linear Controller
      by 
      Park, Junkil, author.
      http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10810252
      Format: 
      Excerpt: 
      University of Pennsylvania. Computer and Information Science. degree granting institution.
      Cover image for The Effect of Data Marshalling on Computation Offloading Decisions
      2. 
      Cover image for Exploiting Structure and Variable-Dependency Modeling in Image Reconstruction in the Presence of Non-linear Mixtures
      3. 
      Cover image for Architectural Techniques for Disturbance Mitigation in Future Memory Systems
      4. 
      Cover image for The Reliability of Symphony Link in Emergency Scenarios
      5. 
      Cover image for Cyber-Physical Embedded Systems with Transient Supervisory Command and Control: A Framework for Validating Safety Response in Automated Collision Avoidance Systems
      6.