University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1081–1110 of 19,495 items
Thumbnail for Bounded Verification with On-the-Fly Discrepancy Computation
Bounded Verification with On-the-Fly Discrepancy Computation
Fan, Chuchu; Mitra, Sayan

Thumbnail for Enhanced Compiler-Assisted Full Checkpointing
Enhanced Compiler-Assisted Full Checkpointing
Stewart, Elliot Mitchell

Thumbnail for Analysis and Synthesis of High Gain and Variable Structure Feedback Systems
Analysis and Synthesis of High Gain and Variable Structure Feedback Systems
Young, Kar-Keung David

Thumbnail for Simultaneous Exploitation of Task and Data Parallelism in Regular Scientific Applications
Simultaneous Exploitation of Task and Data Parallelism in Regular Scientific Applications
Ramaswamy, Shankar

Thumbnail for Duplex: Simultaneous Parameter-Performance Exploration for Optimizing Analog Circuits
Duplex: Simultaneous Parameter-Performance Exploration for Optimizing Analog Circuits
Ahmadyan, Seyed Nematollah; Vasudevan, Shobha

Thumbnail for Instruction Set Design for Support of High-level Languages
Instruction Set Design for Support of High-level Languages
Bose, Pradip

Thumbnail for Noncooperative Games for Control of Networked Systems
Noncooperative Games for Control of Networked Systems
Alpcan, Tansu

Thumbnail for Spoofing GPS Receiver Clock Offset of Phasor Measurement Units
Spoofing GPS Receiver Clock Offset of Phasor Measurement Units
Jiang, Xichen; Harding, Brian J.; Makela, Jonathan J.; Domínguez-García, Alejandro D.

Thumbnail for Automatic Detection of Error Patterns in Computer Systems
Automatic Detection of Error Patterns in Computer Systems
Sanders, Douglas E.

Thumbnail for Design of Optimal Systems with Low Sensitivity to Small Time Delays
Design of Optimal Systems with Low Sensitivity to Small Time Delays
Sawan, Mahmoud El-Sayed

Thumbnail for Multimodel Design of Large Scale Systems With Multiple Decision Makers
Multimodel Design of Large Scale Systems With Multiple Decision Makers
Saksena, Vikram Raj

Thumbnail for Compiler-Assisted Debugging and Multiple Instruction Retry
Compiler-Assisted Debugging and Multiple Instruction Retry
Chen, Shyh-Kwei

Thumbnail for Analysis and Control of a Class of Stiff Linear Distributed Systems
Analysis and Control of a Class of Stiff Linear Distributed Systems
Salhi, Hassen

Thumbnail for Compressed and Dynamic Fault Dictionaries for Fault Isolation
Compressed and Dynamic Fault Dictionaries for Fault Isolation
Ryan, Paul George

Thumbnail for An Eigenvalue-Based Approach to the Finite Time Behavior of Simulated Annealling
An Eigenvalue-Based Approach to the Finite Time Behavior of Simulated Annealling
Desai, Madhav Pandurang

Thumbnail for BLAST: A Machine Architecture for High-Speed List Processing Using Associative Tables
BLAST: A Machine Architecture for High-Speed List Processing Using Associative Tables
Sohi, Gurindar Singh

Thumbnail for Implementation Considerations for List Splitting, Sequential, and Compact Fault Dictionary Compression Techniques
Implementation Considerations for List Splitting, Sequential, and Compact Fault Dictionary Compression Techniques
Tai, Ching

Thumbnail for High Performance, High Availability Distributed Processor Systems
High Performance, High Availability Distributed Processor Systems
Chou, Timothy Chen Kuang

Thumbnail for An Actor-Centric, Asset-Based Monitor Deployment Model for Cloud Computing
An Actor-Centric, Asset-Based Monitor Deployment Model for Cloud Computing
Thakore, Uttam; Weaver, Gabriel A.; Sanders, William H.

Thumbnail for Data Relocation and Prefetching for Programs with Large Data Sets
Data Relocation and Prefetching for Programs with Large Data Sets
Yamada, Yoji

Thumbnail for Distributed Algorithms for Consensus and Coordination in the Presence of Packet-Dropping Communication Links: Part I: Statistical Moments Analysis Approach
Distributed Algorithms for Consensus and Coordination in the Presence of Packet-Dropping Communication Links: Part I: Statistical Moments Analysis Approach
Domínguez-García, Alejandro D.; Hadjicostis, Christoforos N.; Vaidya, Nitin H.

Thumbnail for Descriptor Variable and Generalized Singularly Perturbed Systems: A Geometric Approach
Descriptor Variable and Generalized Singularly Perturbed Systems: A Geometric Approach
Cobb, J. Daniel

Thumbnail for Discrete-Time Modeling of Pipeline Computers Under Flow Perturbations
Discrete-Time Modeling of Pipeline Computers Under Flow Perturbations
Emma, Phillip George

Thumbnail for Hilbert Functions and Applications to the Estimation of Subspace Arrangements
Hilbert Functions and Applications to the Estimation of Subspace Arrangements
Yang, Allen Y.; Rao, Shankar; Wagner, Andrew; Ma, Yi; Fossum, Robert M.

Thumbnail for Improving Subspace Segmentation with the Rayleigh Quotient
Improving Subspace Segmentation with the Rayleigh Quotient
Rao, Shankar R.; Wagner, Andrew W.; Yang, Allen Y.; Ma, Yi

Thumbnail for Talk and Community: The Place of Reporting in a Life Sciences Laboratory
Talk and Community: The Place of Reporting in a Life Sciences Laboratory
Swieringa, Robert Cecil

Thumbnail for The Design and Implementation of a Workbench for Application Specific Message-Passing Parallel Reconfigurable Architectures
The Design and Implementation of a Workbench for Application Specific Message-Passing Parallel Reconfigurable Architectures
Hwang, Kou-Rey David

Thumbnail for Experimental Study of Software Dependability
Experimental Study of Software Dependability
Kao, Wei-lun

Thumbnail for Improved Algorithms for High-level Synthesis and Their Parallel Implementations
Improved Algorithms for High-level Synthesis and Their Parallel Implementations
Prabhakaran, Pradeep Kumar

Thumbnail for Robustness of Model Reference Adaptive Schemes with Respect to Modeling Errors
Robustness of Model Reference Adaptive Schemes with Respect to Modeling Errors
Ioannou, Petros Andreou