University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 31–60 of 34,157 items
Thumbnail for Non-compliant and Proud: A Case Study of HTTP Compliance
Non-compliant and Proud: A Case Study of HTTP Compliance
Adamczyk, Paul; Hafiz, Munawar; Johnson, Ralph E.

Thumbnail for The Rewriting Logic Semantics Project
The Rewriting Logic Semantics Project
Meseguer, José; Rosu, Grigore

Thumbnail for Adapting Paper Prototyping Techniques for Interactive Workspaces
Adapting Paper Prototyping Techniques for Interactive Workspaces
Cook, Damon J.; Biehl, Jacob T.; Metcalf, Heather E.; Bailey, Brian P.

Thumbnail for Propositional Tree Automata
Propositional Tree Automata
Hendrix, Joe; Ohsaki, Hitoshi; Viswanathan, Mahesh

Thumbnail for A Semantic Approach to Interpolation
A Semantic Approach to Interpolation
Popescu, Andrei; Serbanuta, Traian Florin; Rosu, Grigore

Thumbnail for Computationally Equivalent Elimination of Conditions
Computationally Equivalent Elimination of Conditions
Serbanuta, Traian Florin; Rosu, Grigore

Thumbnail for Triangulation of Simple 3D Shapes with Well-Centered Tetrahedra
Triangulation of Simple 3D Shapes with Well-Centered Tetrahedra
VanderZee, Evan; Hirani, Anil N.; Guoy, Damrong

Thumbnail for Performance Evaluation of Redundant Disk Array Support for Transaction Recovery
Performance Evaluation of Redundant Disk Array Support for Transaction Recovery
Mourad, Antoine N.; Fuchs, W. Kent; Saab, Daniel Georges

Thumbnail for Reducing Space Overhead for Independent Checkpointing
Reducing Space Overhead for Independent Checkpointing
Wang, Yi-Min; Chung, Pi-Yu; Lin, In-Jen; Fuchs, W. Kent

Thumbnail for Compiler-Assisted Multiple Instruction Rollback Recovery Using a Read Buffer
Compiler-Assisted Multiple Instruction Rollback Recovery Using a Read Buffer
Alewine, N.J.; Chen, S.-K.; Fuchs, W.K.; Hwu, W.-M.