University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 49 items
Thumbnail for Producing Scheduling that Causes Concurrent Programs to Fail
Producing Scheduling that Causes Concurrent Programs to Fail
Ben-Asher, Yosi; Eytani, Yaniv; Farchi, Eitan; Ur, Shmuel

Thumbnail for Hebrew-German and Early Yiddish Literature: A Survey of Problems
Hebrew-German and Early Yiddish Literature: A Survey of Problems
Howard, John Anderson

Thumbnail for Taming implicit synchronizations in concurrent programs
Taming implicit synchronizations in concurrent programs
Xiong, Weiwei

Thumbnail for Holistic Video Stitching for Street Panorama
Holistic Video Stitching for Street Panorama
Zhou, Zihan; Min, Kerui; Ma, Yi

Thumbnail for Some Effects of Orthography on the Linguistic Knowledge of Modern Hebrew Speakers
Some Effects of Orthography on the Linguistic Knowledge of Modern Hebrew Speakers
Bentur, Esther

Thumbnail for Understanding, Detecting and Exposing Concurrency Bugs
Understanding, Detecting and Exposing Concurrency Bugs
Lu, Shan

Thumbnail for Efficient Explicit -State Model Checking for Programs With Dynamically Allocated Data
Efficient Explicit -State Model Checking for Programs With Dynamically Allocated Data
d'Amorim, Marcelo

Thumbnail for Two essays on product positioning and social media
Two essays on product positioning and social media
Liu, Xuefeng

Thumbnail for Understanding, Detecting and Exposing Concurrency Bugs
Understanding, Detecting and Exposing Concurrency Bugs
Lu, Shan

Thumbnail for Understanding, Detecting and Exposing Concurrency Bugs
Understanding, Detecting and Exposing Concurrency Bugs
Lu, Shan

Thumbnail for College and Research Libraries 44 (3) May 1983
College and Research Libraries 44 (3) May 1983
Submitter: Howard Ding

Thumbnail for Automated Inference of Atomic Sets for Safe Concurrent Execution
Automated Inference of Atomic Sets for Safe Concurrent Execution
Dinges, Peter; Charalambides, Minas; Agha, Gul A.

Thumbnail for
"Contesting Islam: ""Homegrown Wahhabism,"" Education and Muslim Identity in Northern Ghana, 1920--2005"
Iddrisu, Abdulai

Thumbnail for Induction of growth and pigmentation changes by hexahydro-1,3,5-trinitro-1,3,5-triazine (RDX) in angiosperms
Induction of growth and pigmentation changes by hexahydro-1,3,5-trinitro-1,3,5-triazine (RDX) in angiosperms
Hagen, Frank

Thumbnail for Improved regression testing of multithreaded programs
Improved regression testing of multithreaded programs
Jagannath, Vilas

Thumbnail for Testing, runtime verification, and analysis of concurrent programs
Testing, runtime verification, and analysis of concurrent programs
Luo, Qingzhou

Thumbnail for Ultracold fermionic atoms in disordered potentials
Ultracold fermionic atoms in disordered potentials
Kondov, Stanimir

Thumbnail for Strongly Interacting Fermi Gases, Radio Frequency Spectroscopy and Universality
Strongly Interacting Fermi Gases, Radio Frequency Spectroscopy and Universality
Zhang, Shizhong

Thumbnail for Using Data Mining Techniques to Improve Software Reliability
Using Data Mining Techniques to Improve Software Reliability
Li, Zhenmin

Thumbnail for An Exploratory Study of the Abilities of Fifth and Seventh Grade Mathematics Students to Learn Finite Group Properties and Structures
An Exploratory Study of the Abilities of Fifth and Seventh Grade Mathematics Students to Learn Finite Group Properties and Structures
O'daffer, Phares Glyn

Thumbnail for Gender, Nation, Pronatalism: Encouraging Births in France, Romania, and Israel
Gender, Nation, Pronatalism: Encouraging Births in France, Romania, and Israel
King, Leslie Lynn

Thumbnail for Learning to Verify Systems
Learning to Verify Systems
Vardhan, Abhay

Thumbnail for A Study of in Vivo and in Vitro Immune Responses of the A/j Mouse to Plasmodium Berghei
A Study of in Vivo and in Vitro Immune Responses of the A/j Mouse to Plasmodium Berghei
Twining, Linda Carol

Thumbnail for Regression test selection: theory and practice
Regression test selection: theory and practice
Gligoric, Milos Zivko

Thumbnail for Using Data Mining Techniques to Improve Software Reliability
Using Data Mining Techniques to Improve Software Reliability
Li, Zhenmin

Thumbnail for College and Research Libraries 55 (6) November 1994
College and Research Libraries 55 (6) November 1994
Submitter: Howard Ding

Thumbnail for Studies of the Host Response and the Induction of Immunosuppression in Murine Malaria
Studies of the Host Response and the Induction of Immunosuppression in Murine Malaria
Keshavarz-Valian, Hossein

Thumbnail for Monitoring Oriented Programming and Analysis
Monitoring Oriented Programming and Analysis
Chen, Feng

Thumbnail for Algorithmic techniques for predictive testing of concurrent programs and distributed systems
Algorithmic techniques for predictive testing of concurrent programs and distributed systems
Sorrentino, Francesco

Thumbnail for A Dialectical Perspective on Evaluation as Evolution: A Critical View of Assessment in Icelandic Schools
A Dialectical Perspective on Evaluation as Evolution: A Critical View of Assessment in Icelandic Schools
Proppe, Olafur Johann