University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 61–90 of 34,156 items
Thumbnail for Improving Interfaces for Collaborative Work in Multiple-Device Environments
Improving Interfaces for Collaborative Work in Multiple-Device Environments
Biehl, Jacob T.; Bailey, Brian P.

Thumbnail for A Formal Model Based on Affinity Among Elements for Describing Behavior of Complex Systems
A Formal Model Based on Affinity Among Elements for Describing Behavior of Complex Systems
Tominaga, Kazuto

Thumbnail for CS322 Fall 2003: Programming Language Design -Lecture Notes-
CS322 Fall 2003: Programming Language Design -Lecture Notes-
Rosu, Grigore

Thumbnail for Understanding and Simulating the IEC 61850 Standard
Understanding and Simulating the IEC 61850 Standard
Liang, Yingyi; Campbell, Roy H.

Thumbnail for Cost/benefit Analysis of Geographic Information System Implementation: Case of the Illinois Department of Transportation
Cost/benefit Analysis of Geographic Information System Implementation: Case of the Illinois Department of Transportation
Hall, James Patrick

Thumbnail for Circular Coinduction: A Proof Theoretical Foundation
Circular Coinduction: A Proof Theoretical Foundation
Rosu, Grigore; Lucanu, Dorel

Thumbnail for Hedging Revisited: Resolving Contractual Conflict
Hedging Revisited: Resolving Contractual Conflict
Pennings, Joost M.E.; Leuthold, Raymond M.

Thumbnail for Model Checking Multithreaded Programs with Asynchronous Atomic Methods
Model Checking Multithreaded Programs with Asynchronous Atomic Methods
Sen, Koushik; Viswanathan, Mahesh

Thumbnail for Algebraic Semantics of the C Preprocessor and Correctness of its Refactorings
Algebraic Semantics of the C Preprocessor and Correctness of its Refactorings
Garrido, Alejandra; Meseguer, José; Johnson, Ralph

Thumbnail for Support for Mobile Augmented and Synthesized Worlds
Support for Mobile Augmented and Synthesized Worlds
Jeon, Won J.; Campbell, Roy H.

Thumbnail for Coloring and Labeling Problems on Graphs
Coloring and Labeling Problems on Graphs
Cranston, Daniel W.

Thumbnail for Automatic and Precise Dimensional Analysis
Automatic and Precise Dimensional Analysis
d'Amorim, Marcelo; Hills, Mark; Chen, Feng; Rosu, Grigore

Thumbnail for Incremental State Space Exploration in J-Sim
Incremental State Space Exploration in J-Sim
Sobeih, Ahmed A.; Lauterburg, Steven

Thumbnail for A Brief Description of the NMP ISA and Benchmarks
A Brief Description of the NMP ISA and Benchmarks
Wei, Mingliang; Snir, Marc; Torrellas, Josep; Tremaine, R. Brett

Thumbnail for The Effects of Programming Instruction in Procedural Programming and Logic Programming Environments on Problem-Solving Ability
The Effects of Programming Instruction in Procedural Programming and Logic Programming Environments on Problem-Solving Ability
Chou, Wen-Chung

Thumbnail for Outlining and shading generation for a color television display
Outlining and shading generation for a color television display
Hanson, Donald F.

Thumbnail for Using Graph Model for Face Analysis
Using Graph Model for Face Analysis
Cai, Deng; He, Xiaofei; Han, Jiawei

Thumbnail for A Rewriting Logic Approach to Operational Semantics
A Rewriting Logic Approach to Operational Semantics
Serbanuta, Traian Florin; Rosu, Grigore

Thumbnail for A Rewriting Decision Procedure for Dijkstra-Scholten's Syllogistic Logic with Complements
A Rewriting Decision Procedure for Dijkstra-Scholten's Syllogistic Logic with Complements
Rocha, Camilo; Meseguer, José

Thumbnail for Sowing Seeds: Promoting Digital Inclusion Through Public Engagement
Sowing Seeds: Promoting Digital Inclusion Through Public Engagement
Wolske, Martin; Houston, Brant; Dempsey, Pam; Rhinesmith, Colin; Olea, Geovani; Carr, Imani; Barton, Karen

Thumbnail for Predicting Student Performance in Entry Level Electrical Engineering Technology and Mathematics Courses Using Precollege Data
Predicting Student Performance in Entry Level Electrical Engineering Technology and Mathematics Courses Using Precollege Data
Case, Jeffrey Dean

Thumbnail for Virtual Fingerprinting as a Foundation for Reputation in Open Systems
Virtual Fingerprinting as a Foundation for Reputation in Open Systems
Lee, Adam J.; Winslett, Marianne

Thumbnail for ChickScope: An Interactive MRI Classroom Curriculum Innovation for K-12
ChickScope: An Interactive MRI Classroom Curriculum Innovation for K-12
Bruce, Bertram C.; Carragher, Bridget O.; Damon, Bruce Murray; Dawson, M. Joan; Eurell, Jo Ann; Gregory, Carl D.; Lauterbur, Paul C.; Marjanovic, Marina M.; Mason-Fossum, Barbara; Morris, H.D.; Potter, Clint S.; Thakkar, Umesh

Thumbnail for Safety and Consistency in Policy-Based Authorization Systems (Extended Version)
Safety and Consistency in Policy-Based Authorization Systems (Extended Version)
Lee, Adam J.; Winslett, Marianne

Thumbnail for Maximality of Atomic Causality
Maximality of Atomic Causality
Serbanuta, Traian Florin; Chen, Feng; Rosu, Grigore

Thumbnail for Effective Predictive Runtime Analysis Using Sliced Causality and Atomicity
Effective Predictive Runtime Analysis Using Sliced Causality and Atomicity
Chen, Feng; Serbanuta, Traian Florin; Rosu, Grigore

Thumbnail for Random Number Generation Using a Biased Source
Random Number Generation Using a Biased Source
Pae, Sung-il

Thumbnail for On Formal Analysis of OO Languages using Rewriting Logic: Designing for Performance
On Formal Analysis of OO Languages using Rewriting Logic: Designing for Performance
Hills, Mark; Rosu, Grigore

Thumbnail for Maximum Margin Coresets for Active and Noise Tolerant Learning
Maximum Margin Coresets for Active and Noise Tolerant Learning
Har-Peled, Sariel; Roth, Dan; Zimak, Dav A.

Thumbnail for A New Locality Metric and Case Studies for HPCS Benchmarks
A New Locality Metric and Case Studies for HPCS Benchmarks
Yu, Jing; Baghsorkhi, Sara; Snir, Marc