Research Publications

47 documents matching 2000. Sorted by author's last name.

Unlinked items are awaiting author's approval to distribute. Please contact the ECE Web Team if you have any questions about the archive.

Verification of Stateflow Diagrams Using SMV
CMU-ECE-2000-020.pdf
Author: Chonlawit Banphawatthanarak
Power Management Options for Mobile Wireless Devices
CMU-ECE-2000-047.pdf
Author: Matthew Bosworth
Enhancements to for Precision Test Stand for Ultra-High Density Recording Demonstration
CMU-ECE-2000-030.pdf
Author: David Cuthbert
Investigation of a Micro-Joint Angle Sensor Using MEMS Cilia
CMU-ECE-2000-004.pdf
Author: Lauren de Rosset
Algorithms for High Performance Area Oriented Pass Transistor Logic Synthesis
CMU-ECE-2000-043.pdf
Author: Makarand Dharmapurikar
Low-Power Technology Mapping for Mixed-Swing Logic
CMU-ECE-2000-012.pdf
Author: Nicola Dragone
An Automated Software Generator for Hierarchically-Structured Mobile Client-Server Applications
CMU-ECE-2000-008.pdf
Author: Todd Ehrhart
A Model for Consistency in Sequential Modular Systems
CMU-ECE-2000-015.pdf
Author: Amit Goel
Application-level Networking Support for Network Storage
CMU-ECE-2000-013.pdf
Author: Garth Goodson
Operating System Management of MEMS-based Storage Devices
CMU-ECE-2000-025.pdf
Author: John Griffin
Approaches to Synthesis of a CMOS Accelerometer
CMU-ECE-2000-038.pdf
Author: Vishal Gupta
An Investigation of Cooley-Tukey Decomposition for the Fast Fourier Transform
CMU-ECE-2000-032.pdf
Author: Gavin Haentjens
Using Automatic Task Decomposition to Design Port-based Adaptable Agent Software
CMU-ECE-2000-045.pdf
Author: Jonathan Jackson
Differentiated Services over ATM Networks
CMU-ECE-2000-028.pdf
Author: Anuwat Jongpairat
Geometric Correction of SEM Images
CMU-ECE-2000-007.pdf
Author: Jay Kapur
Continuous Biometric-Enhanced Authentication
CMU-ECE-2000-017.pdf
Author: Andrew Klosterman
Non-Invasive Detection of Organ Transplant Rejection Using MRI
CMU-ECE-2000-031.pdf
Author: Roger Kumar
Parallel Cachelets
CMU-ECE-2000-046.pdf
Author: Deepak Limaye
Design of a Chopper Stabilized Variable Capacitive Sense Amplifier for a MEMS Probe-Based Data Storage System
CMU-ECE-2000-041.pdf
Author: Wayne Loeb
Towards Higher Disk Head Utilization: Extracting "Free" Bandwidth From Busy Disk Drives
CMU-ECE-2000-023.pdf
Author: Christopher Lumb
Circuit-Based Macromodeling of Microelectromechanical Systems
CMU-ECE-2000-018.pdf
Author: Aseem Maheshwari
A Modular Approach to Knowledge Transfer Between Reinforcement Learning Agents
CMU-ECE-2000-042.pdf
Author: Richard Malak
Dynamically Controlling Resource Usage using Resource Control Lists
CMU-ECE-2000-006.pdf
Author: Akihiko Miyoshi
Autonomous Mission Planning for a Distributed Surveillance System
CMU-ECE-2000-039.pdf
Author: Christopher Oliver
Robustness Testing And Hardening Of CORBA ORB Implementations
CMU-ECE-2000-003.pdf
Author: Jiantao Pan
Frequency Interleaved Cosimulation
CMU-ECE-2000-010.pdf
Author: Simon Peffers
Design of High Speed CMOS Write Drivers for Hard Disk Drives
CMU-ECE-2000-044.pdf
Author: Aslamali Rafi
DV: A Framework for Remote Visualization
CMU-ECE-2000-001.pdf
Author: Julio Restrepo
Verification of the F-16 Autolanding Routine Using Checkmate
CMU-ECE-2000-026.pdf
Author: Keith Richeson
Impact of Write Equalization on High-Density Particulate Recording Systems
CMU-ECE-2000-037.pdf
Author: Alexander Roesler
An Efficient Versioning File System for Self-Securing Storage
CMU-ECE-2000-034.pdf
Author: Michael Scheinholtz
Designing Computer Systems with MEMS-Based Storage
CMU-ECE-2000-029.pdf
Author: Steven Schlosser
Performance Study of Turbo LDPC Codes for Magnetic Recording Considering Signal Dependent Correlated Noise
CMU-ECE-2000-033.pdf
Author: Scott Schremmer
Automatic Detection of Corrupt Speech Recognition
CMU-ECE-2000-011.pdf
Author: Michael Seltzer
Performance Models and Search Methods for Optimal FFT Implementations
CMU-ECE-2000-022.pdf
Author: David Sepiashvili
Robustness Testing of the Microsoft Win32 API
CMU-ECE-2000-002.pdf
Author: Charles Shelton
Location Determination in a Wireless LAN Infrastructure
CMU-ECE-2000-016.pdf
Author: Jason Small
Architecture and Interface of a Self-Securing Object Store
CMU-ECE-2000-021.pdf
Author: John Strunk
Evaluation of Admission Policies for Probabilistic Quality of Service (QoS)
CMU-ECE-2000-040.pdf
Author: Sandeep Tamboli
Implementation of Near Shannon Limit Error-Correcting Codes Using Reconfigurable Hardware
CMU-ECE-2000-027.pdf
Author: Robert Taylor
Investigation on the Design of Optically Realizable Correlation Filters
CMU-ECE-2000-019.pdf
Author: Siriluck Tipmongkonsilp
Behavioral Modeling of Viscous Damping in MEMS
CMU-ECE-2000-005.pdf
Author: Satish Vemuri
Interaction Between Architecture Performance and Consumption in Mobile Systems
CMU-ECE-2000-009.pdf
Author: Jolin Warren
Big Signal 2000: Doing Remote Geology in Antarctica from Home
CMU-ECE-2000-035.pdf
Author: Brian Woo
Noise Properties of Spin-dependent Tunneling Junctions
CMU-ECE-2000-036.pdf
Author: Yali Wu
Data Consistency in a Byzantine Computing Environment
CMU-ECE-2000-024.pdf
Author: John Wylie
Canonical Microgyroscope for Design Tool Verification
CMU-ECE-2000-014.pdf
Author: Phil Yoon