University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 61–90 of 34,157 items
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 Causal Dataflow Analysis for Concurrent Programs
Causal Dataflow Analysis for Concurrent Programs
Farzan, Azadeh; Madhusudan, P.

Thumbnail for Two Combinatorial Optimization Problems at the Interface of Computer Science and Operations Research
Two Combinatorial Optimization Problems at the Interface of Computer Science and Operations Research
Kao, Gio K.

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

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

Thumbnail for Program Refactoring in the Presence of Preprocessor Directives
Program Refactoring in the Presence of Preprocessor Directives
Garrido, Alejandra

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 Hedging Revisited: Resolving Contractual Conflict
Hedging Revisited: Resolving Contractual Conflict
Pennings, Joost M.E.; Leuthold, Raymond M.

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 Automatic and Precise Dimensional Analysis
Automatic and Precise Dimensional Analysis
d'Amorim, Marcelo; Hills, Mark; Chen, Feng; Rosu, Grigore

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 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 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 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 Coloring and Labeling Problems on Graphs
Coloring and Labeling Problems on Graphs
Cranston, Daniel W.

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 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 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 A Rewriting Logic Approach to Operational Semantics
A Rewriting Logic Approach to Operational Semantics
Serbanuta, Traian Florin; Rosu, Grigore

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

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 Using Graph Model for Face Analysis
Using Graph Model for Face Analysis
Cai, Deng; He, Xiaofei; Han, Jiawei

Thumbnail for Circular Coinduction with Special Contexts
Circular Coinduction with Special Contexts
Lucanu, Dorel; Rosu, Grigore

Thumbnail for Automated Detection of Refactorings in Evolving Components
Automated Detection of Refactorings in Evolving Components
Dig, Danny; Comertoglu, Can; Marinov, Darko; Johnson, Ralph

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 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 Models for Privacy in Ubiquitous Computing Environments
Models for Privacy in Ubiquitous Computing Environments
Kapadia, Apu C.

Thumbnail for Semantic Infrastructure for a Ubiquitous Computing Environment
Semantic Infrastructure for a Ubiquitous Computing Environment
McGrath, Robert E.