Verena: End-to-End Integrity Protection for Web Applications Nikolaos Karapanos1 , Alexandros Filios1 , Raluca Ada Popa1, 2 , and Srdjan Capkun1 1 Dept. of Computer Science

Source URL: people.eecs.berkeley.edu

• Clientserver model
• Inter-process communication
• Network architecture
• Client-side
• WHOIS
• Application server
• Form

C:/Users/kgallowa/Dropbox/Control Lyapunov Functions/TRO_CLF - Convex Optim/tex files/TAC_CLF_ConvexOptim.dvi

Source URL: web.eecs.umich.edu

• Cybernetics
• Control theory
• Symbol
• Controller
• Quadratic programming

PDF Document

Source URL: web.eecs.umich.edu

Performance and Resource Modeling in Highly-Concurrent OLTP Workloads Barzan Mozafari∗ Carlo Curino†

Source URL: web.eecs.umich.edu

• Transaction processing
• Algorithms for Recovery and Isolation Exploiting Semantics
• Redo log
• Extensible Storage Engine
• Database
• MySQL
• Online transaction processing
• Scalability
• Isolation

ABS: a System for Scalable Approximate Queries with Accuracy Guarantees Kai Zeng† † †

Source URL: web.eecs.umich.edu

• Statistical inference
• SQL keywords
• Relational model
• Database theory
• SQL
• Bootstrapping
• Resampling
• Relational algebra
• Online aggregation
• Query plan
• Select
• Join

Flash Caching on the Storage Client David A. Holland, Elaine Angelino, Gideon Wald, Margo I. Seltzer Harvard University Abstract Flash memory has recently become popular as a caching

Source URL: www.eecs.harvard.edu

• Computer memory
• Computer architecture
• Non-volatile memory
• Cache
• Flashcache
• Solid-state drive
• ReadyBoost
• Flash memory
• Random-access memory
• Thrashing
• Write buffer
• CPU cache

AN EXPERIMENTAL TIME-SHARING SYSTEM Fernando J. Corbató, Marjorie Merwin Daggett, Robert C. Daley Computation Center, Massachusetts Institute of Technology Cambridge, Massachusetts [Scanned and transcribed by F. J. Corb

Source URL: www.eecs.harvard.edu

• User interface techniques
• Time-sharing
• Computer program
• Command-line interface
• Computer
• Debugging
• Error message
• Genera
• Compatible Time-Sharing System
• User interface

Dual-UEGO Active Catalyst Control for Emissions Reduction: Design and Experimental Validation Giovanni Fiengo, J. W. Grizzle, Jeffrey A. Cook, and Amey Y. Karnik Abstract This paper investigates active control of an afte

Source URL: web.eecs.umich.edu

• Engines
• Carbon monoxide
• Catalysis
• Catalytic converter
• Oxygen sensor
• Lean-burn
• Fuel injection
• Airfuel ratio
• On-board diagnostics
• Internal combustion engine
• Engine control unit
• Exhaust gas

Hybrid Invariance in Bipedal Robots with Series Compliant Actuators B. Morris∗ and J.W. Grizzle∗ Abstract— Stable walking motions in bipedal robots can be modeled as asymptotically stable periodic orbits in nonline

Source URL: web.eecs.umich.edu

• Dynamical system
• Systems
• Systems theory
• Closed and exact differential forms
• Constructible universe

Event-based PI Control of an Underactuated Biped Walker J.W. Grizzle E.R. Westervelt

Source URL: web.eecs.umich.edu

• Probability distributions
• Bessel function