<--- Back to Details
First PageDocument Content
University of Illinois at Urbana–Champaign / Chicago Annenberg Challenge / Champaign County /  Illinois / Illinois / North Central Association of Colleges and Schools
Date: 2007-11-20 11:51:51
University of Illinois at Urbana–Champaign
Chicago Annenberg Challenge
Champaign County
Illinois
Illinois
North Central Association of Colleges and Schools

Illinois State Board of Education

Add to Reading List

Source URL: www.ibhe.org

Download Document from Source Website

File Size: 26,41 KB

Share Document on Facebook

Similar Documents

Circuit complexity / NC / Mathematics / Theoretical computer science / Numerical software / Lemmas / Numerical linear algebra

Bounded Verification with On-the-Fly Discrepancy Computation ? Chuchu Fan and Sayan Mitra {cfan10,mitras}@illinois.edu Department of Electrical and Computer Engineering, University of Illinois at Urbana-Champaign.

DocID: 1xVnP - View Document

Mathematical analysis / Mathematics / Symbol / Continuous function / Kazhdan's property / Limit of a function / Ergodic theory / Hopf decomposition / Ergodic flow

Approximate Partial Order Reduction? Chuchu Fan, Zhenqi Huang, and Sayan Mitra University of Illinois at Urbana-Champaign, ECE Department {cfan10, zhuang25, mitras}@illinois.edu Abstract. We present a new partial order

DocID: 1xVg7 - View Document

Darko Marinov Professor Department of Computer Science University of Illinois at Urbana-Champaign http://mir.cs.illinois.edu/marinov

DocID: 1xV0x - View Document

Web browsers / System software / Software / Tab / Mylyn / Computing

Path Exploration during Code Navigation by Kaitlin Duck Sherwood B.Sc., University of Illinois at Urbana-Champaign, 1984 M.Sc., University of Illinois at Urbana-Champaign, 1996

DocID: 1xUKb - View Document

Mathematical software / Application software / Software / Theoretical computer science / Formal methods / Logic in computer science / Discrete mathematics / Verification / Quantifier elimination / Formal verification / Model checking / Computer science

Ritwika Ghosh phone : (+email : Profile : I am a first year graduate student in Computer Science at the University of Illinois, Urbana-Champaign, interested in formal methods, and appl

DocID: 1xUbb - View Document