University of Illinois Urbana-Champaign

Submit an Item
Browse
About

Title

Author(s)

Contributor(s)

Issue Date

From:

To:

Keyword(s)

Abstract

Series/Report Name or Number

Type of Resource

Permalink

Full Text

Academic Unit

College of Engineering 26
Dept. of Computer Science 24
Graduate Dissertations and Theses at Illinois 21
College of Applied Health Sciences 2
Dept. of Kinesiology and Community Health 2
College of Education 1
Summary of Engineering Research (1957-2008) 1

Collection

Graduate Dissertations and Theses at Illinois 21
Dissertations and Theses - Computer Science 17
Research and Tech Reports - Computer Science 7
Dissertations and Theses - Kinesiology and Community Health 2
Dissertations and Theses - Education 1
Illinois Technograph 1
Summary of Engineering Research (2003-2008) 1

Author(s)

Sobeih, Ahmed A. 3
d'Amorim, Marcelo 3
Lauterburg, Steven 2
Tasharofi, Samira 2
Al-Nayeem, Abdullah 1
Bangalore Jagannath, Vilas Shekhar 1
Dinges, Peter 1
Garg, Pranav 1
Gligoric, Milos Zivko 1
Jagannath, Vilas 1

Keyword(s)

Computer Science 3
computer science 3
Programming Languages 2
actor model 2
concurrency 2
Actor Programs 1
ActorFoundry 1
Backward Execution 1
Biology, Animal Physiology 1
Change-Aware Preemption Prioritization (CAPP) 1

Type of Resource

text 17

↑ ↓

Showing 1–30 of 30 items

Thumbnail for Systematic testing for actor programs

Systematic testing for actor programs

Lauterburg, Steven T.

Thumbnail for Incremental State Space Exploration in J-Sim

Incremental State Space Exploration in J-Sim

Sobeih, Ahmed A.; Lauterburg, Steven

Thumbnail for Efficient execution of fine-grained actors on multicore processors

Efficient execution of fine-grained actors on multicore processors

Kumar, Rajesh

Thumbnail for Regional Myocardial Ischemia Reperfusion Injury in Vivo: The Role of Glutathione

Regional Myocardial Ischemia Reperfusion Injury in Vivo: The Role of Glutathione

Leichtweis, Steven Boyd

Thumbnail for Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs

Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs

d'Amorim, Marcelo; Lauterburg, Steven; Marinov, Darko

Thumbnail for Glutathione regulation during exercise: Effect of fasting-refeeding, glutathione depletion and supplementation

Glutathione regulation during exercise: Effect of fasting-refeeding, glutathione depletion and supplementation

Leeuwenburgh, Christiaan

Thumbnail for Efficient testing of actor programs with non-deterministic behaviors

Efficient testing of actor programs with non-deterministic behaviors

Tasharofi, Samira

Thumbnail for Efficient Testing of Actor Programs with Non-deterministic Behavior

Efficient Testing of Actor Programs with Non-deterministic Behavior

Tasharofi, Samira

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 @tComment: testing Javadoc comments to detect comment-code inconsistencies

@tComment: testing Javadoc comments to detect comment-code inconsistencies

Tan, Shin Hwei

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 Improved regression testing of multithreaded programs

Improved regression testing of multithreaded programs

Jagannath, Vilas

Thumbnail for Reducing the costs of bounded-exhaustive testing

Reducing the costs of bounded-exhaustive testing

Bangalore Jagannath, Vilas Shekhar

Thumbnail for Evaluating machine-independent metrics for state-space exploration

Evaluating machine-independent metrics for state-space exploration

Kirn, Mathew

Thumbnail for Verification Of Simulation Models Of Network Protocols Using State Space Exploration

Verification Of Simulation Models Of Network Protocols Using State Space Exploration

Sobeih, Ahmed A.

Thumbnail for Verification Of Simulation Models Of Network Protocols Using State Space Exploration

Verification Of Simulation Models Of Network Protocols Using State Space Exploration

Sobeih, Ahmed A.

Thumbnail for Learning-based inductive invariant synthesis

Learning-based inductive invariant synthesis

Garg, Pranav

Thumbnail for Verification of Simulation Models of Network Protocols Using State Space Exploration

Verification of Simulation Models of Network Protocols Using State Space Exploration

Sobeih, Ahmed Adel

Thumbnail for Physically-asynchronous logically-synchronous (PALS) system design and development

Physically-asynchronous logically-synchronous (PALS) system design and development

Al-Nayeem, Abdullah

Thumbnail for Symcretic testing of programs

Symcretic testing of programs

Dinges, Peter

Thumbnail for Understanding, detecting, and repairing performance bugs

Understanding, detecting, and repairing performance bugs

Nistor, Adrian

Thumbnail for Regression test selection: theory and practice

Regression test selection: theory and practice

Gligoric, Milos Zivko

Thumbnail for The Ludus de Antichristo and the making of a monastic theatre: imperial politics and performance at the abbey of Tegernsee 1000-1200

The Ludus de Antichristo and the making of a monastic theatre: imperial politics and performance at the abbey of Tegernsee 1000-1200

Thomas, Kyle A

Thumbnail for A meta-language for functional verification

A meta-language for functional verification

Katelman, Michael

Thumbnail for Security models in rewriting logic for cryptographic protocols and browsers

Security models in rewriting logic for cryptographic protocols and browsers

Sasse, Ralf

Thumbnail for Less is sometimes more in the automation of software evolution tasks

Less is sometimes more in the automation of software evolution tasks

Vakilian, Mohsen

Thumbnail for The Summary of Engineering Research 2008

The Summary of Engineering Research 2008

University of Illinois at Urbana-Champaign. College of Engineering

Thumbnail for Illinois Technograph v. 103, iss. 1 Oct. 1987 - v. 107, iss. 1 Oct. 1991

Illinois Technograph v. 103, iss. 1 Oct. 1987 - v. 107, iss. 1 Oct. 1991

Submitter: Timothy Donohue

Thumbnail for Making Parallel Programming Easy: Research Contributions from Illinois

Making Parallel Programming Easy: Research Contributions from Illinois

Submitter: David Padua

Thumbnail for An Assessment of the Educational Philosophy of Johann Michael Reu Using the Hermeneutic Paradigms of J. F. Herbart and of J. C. K. Von Hofmann and the Erlangen School

An Assessment of the Educational Philosophy of Johann Michael Reu Using the Hermeneutic Paradigms of J. F. Herbart and of J. C. K. Von Hofmann and the Erlangen School

Johnston, Paul Imbrie

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 4 + 1?

© 2023 University of Illinois Board of Trustees

Log In

I don't have an Illinois NetID

Use this login method if you don't have an @illinois.edu email address. (Oops, I do have one)

IDEALS migrated to a new platform on June 23, 2022. If you created your account prior to this date, you will have to reset your password using the forgot-password link below.

Email

Password

(I forgot my password)