University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 121–150 of 17,449 items
Thumbnail for Library mobile app competition assignment agreement
Library mobile app competition assignment agreement
Mestre, Lori S.; Ward, David H.; Hahn, James F.; Vranic-Sowers, Svetlana

Thumbnail for Towards Coverage Closure: Using GoldMine Assertions for Generating Design Validation Stimulus
Towards Coverage Closure: Using GoldMine Assertions for Generating Design Validation Stimulus
Liu, Lingyi; Sheridan, David; Tuohy, William; Vasudevan, Shobha

Thumbnail for TED: A tree editor with applications for theorem proving
TED: A tree editor with applications for theorem proving
Hammerslag, David H.

Thumbnail for Student Gestures During Shifts from Descriptions to Explanations of Gas Pressure
Student Gestures During Shifts from Descriptions to Explanations of Gas Pressure
Wallon, Robert C.; Brown, David E.; Lindgren, Robb

Thumbnail for Approximate Distributions of Sample Information for Use in Estimating True Information by Confidence Intervals
Approximate Distributions of Sample Information for Use in Estimating True Information by Confidence Intervals
David, H.T.; Kruskal, W.H.; Augenstine, L.; Quastler, H.

Thumbnail for Hierarchies and Space Measures for Pointer Machines
Hierarchies and Space Measures for Pointer Machines
Luginbuhl, David R.; Loui, Michael C.

Thumbnail for Performance instrumentation for the Intel IPSC /2
Performance instrumentation for the Intel IPSC /2
Rudolph, David C.

Thumbnail for Parameter Adaptive Control for a Class of Nonlinear Systems
Parameter Adaptive Control for a Class of Nonlinear Systems
Taylor, David G.

Thumbnail for Sentinel Scheduling with Recovery Blocks
Sentinel Scheduling with Recovery Blocks
August, David I.; Deitrich, Brian L.; Mahlke, Scott A.

Thumbnail for Statistics of One-Dimensional Cluster Motion
Statistics of One-Dimensional Cluster Motion
Wrigley, John D.; Reed, David A.; Ehrlich, Gert

Thumbnail for Feasibility of Groundwater Source Heat Pumps for Space Heating and Cooling in Mason County and the American Bottoms Area, Illinois
Feasibility of Groundwater Source Heat Pumps for Space Heating and Cooling in Mason County and the American Bottoms Area, Illinois
Holm, Thomas R.; Lu, Xinli; Larson, David R.

Thumbnail for Yellow-headed Blackbirds in Illinois 2000 Annual report
Yellow-headed Blackbirds in Illinois 2000 Annual report
Ward, Michael P.; Enstrom, David A.; Herkert, James R.

Thumbnail for MPreplay: Architecture Support for Deterministic Replay of Message Passing Programs on Message Passing Many-Core Processors
MPreplay: Architecture Support for Deterministic Replay of Message Passing Programs on Message Passing Many-Core Processors
Erik-Svensson, Carl; Kesler, David; Kumar, Rakesh; Pokam, Gilles

Thumbnail for Surveys and investigations for sportfish management in lakes and rivers in Illinois
Surveys and investigations for sportfish management in lakes and rivers in Illinois
Diana, Matthew J.; Nannini, Michael A.; Gring, Jeffery P.; Garavaglia, James A.; Wahl, David H.

Thumbnail for University of Illinois Year of Cyberinfrastructure Final Report
University of Illinois Year of Cyberinfrastructure Final Report
Towns, John; Gerstenecker, David; Herriott, Laura; Hetrick, Ashley; Imker, Heidi J.; Larrison, Chris; Poole, Marshall Scott; Shaffer, Eric Gene; Smith, Tracy; Thompson, Chuck; Watson, Rob

Thumbnail for A study of historical trends and practices within the international military education and training (IMET) program with a focus on the Pacific region
A study of historical trends and practices within the international military education and training (IMET) program with a focus on the Pacific region
Phillips, Evan Daniel Tillman

Thumbnail for Information System on Chemistry of Illinois Coal
Information System on Chemistry of Illinois Coal
Harvey, Richard David

Thumbnail for Efficient Setup Algorithms for Parallel Algebraic Multigrid
Efficient Setup Algorithms for Parallel Algebraic Multigrid
Alber, David Michael

Thumbnail for Fault-Injection-Based Assessment of Fail-Silence Provided by Process Duplication versus Internal Error Detection in Scientific-Based Applications
Fault-Injection-Based Assessment of Fail-Silence Provided by Process Duplication versus Internal Error Detection in Scientific-Based Applications
Stott, David T.; Speirs, Neil A.; Xu, Jun; Bagchi, Saurabh; Whisnant, Keith; Kalbarczyk, Zbigniew; Iyer, Ravishankar K.

Thumbnail for 30 Years of the NADP: 2007 Annual Summary, National Atmospheric Deposition Program
30 Years of the NADP: 2007 Annual Summary, National Atmospheric Deposition Program
Gay, David

Thumbnail for Communication Networks with Specified Survivability
Communication Networks with Specified Survivability
Butler, David Eugene

Thumbnail for Analysis of Connection as a Decomposition Technique
Analysis of Connection as a Decomposition Technique
Daly, David M.

Thumbnail for A Local Computer Network Implementation Using Ethernet
A Local Computer Network Implementation Using Ethernet
Lilja, David John

Thumbnail for Efficient Array Addressing Techniques for Object-Based Systems
Efficient Array Addressing Techniques for Object-Based Systems
McNiven, Geoffrey David

Thumbnail for Automatic Verification of Distributed and Layered Security Policy Implementations
Automatic Verification of Distributed and Layered Security Policy Implementations
Singh, Sankalp; Sanders, William H.; Nicol, David M.; Seri, Mouna

Thumbnail for Dual Mode Compensation for a Class of Random Processes
Dual Mode Compensation for a Class of Random Processes
Snyder, David P.

Thumbnail for Efficient On-Line Simulations of Tree Machines and Multidimensional Turing Machines by Random Access Machines
Efficient On-Line Simulations of Tree Machines and Multidimensional Turing Machines by Random Access Machines
Loui, Michael C.; Luginbuhl, David R.

Thumbnail for A Hardware-Based Approach to Driver Isolation on x86 Linux
A Hardware-Based Approach to Driver Isolation on x86 Linux
Kaplan, David A.

Thumbnail for The Study of a Totally Self-Checking Adder
The Study of a Totally Self-Checking Adder
Ho, David Su-Ming

Thumbnail for Encapsulation and Implantation Studies of Indium Phosphide
Encapsulation and Implantation Studies of Indium Phosphide
Oberstar, John David