University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–25 of 25 items
Thumbnail for Conformance Testing and Error Explanation for Software Models
Conformance Testing and Error Explanation for Software Models
Kumar, Viraj

Thumbnail for Conformance Testing and Error Explanation for Software Models
Conformance Testing and Error Explanation for Software Models
Kumar, Viraj

Thumbnail for Minimization, Learning, and Conformance Testing of Boolean Programs
Minimization, Learning, and Conformance Testing of Boolean Programs
Kumar, Viraj; Madhusudan, P.; Viswanathan, Mahesh

Thumbnail for Congruences for Visibly Pushdown Languages
Congruences for Visibly Pushdown Languages
Alur, Rajeev; Kumar, Viraj; Madhusudan, P.; Viswanathan, Mahesh

Thumbnail for A model of quadrotor UAV power consumption and its performance across a range of flight conditions
A model of quadrotor UAV power consumption and its performance across a range of flight conditions
Faustino, Alexander B.

Thumbnail for Enhancing quality of assertion generation: methods for automatic assertion generation and evaluation
Enhancing quality of assertion generation: methods for automatic assertion generation and evaluation
Hertz, Samuel

Thumbnail for access: v.18, no.01, Spring 2005
access: v.18, no.01, Spring 2005
National Center for Supercomputing Applications (NCSA)

Thumbnail for Scheduling of Multi-Stream Gossip Systems
Scheduling of Multi-Stream Gossip Systems
Thompson, Nathanael A.; Ucan, Ercan; Gupta, Indranil

Thumbnail for Coverage analysis for assertions and emulation based verification
Coverage analysis for assertions and emulation based verification
Athavale, Viraj

Thumbnail for Routing with Confidence: A Model for Trustworthy Communication
Routing with Confidence: A Model for Trustworthy Communication
Kapadia, Apu C.; Naldurg, Prasad G.; Campbell, Roy H.

Thumbnail for Statistical guarantees of performance for RTL designs
Statistical guarantees of performance for RTL designs
Kumar, Jayanand Asok

Thumbnail for Goldmine: An integration of data mining and static analysis for automatic generation of hardware assertions
Goldmine: An integration of data mining and static analysis for automatic generation of hardware assertions
Sheridan, David

Thumbnail for Fault-tolerant distributed cyber-physical systems: two case studies
Fault-tolerant distributed cyber-physical systems: two case studies
Johnson, Taylor

Thumbnail for Techniques in scalable and effective parallel performance analysis
Techniques in scalable and effective parallel performance analysis
Lee, Chee Wai

Thumbnail for Techniques In Scalable And Effective Parallel Performance Analysis
Techniques In Scalable And Effective Parallel Performance Analysis
Lee, Chee Wai

Thumbnail for Bioinformatics analyses of non-coding genomic elements
Bioinformatics analyses of non-coding genomic elements
Zhao, Kai

Thumbnail for Improved software verification through program path-based analysis
Improved software verification through program path-based analysis
Sagdeo, Parth

Thumbnail for Evaluating the Costs and Benefits of Snow Fences in Illinois: Phase 2
Evaluating the Costs and Benefits of Snow Fences in Illinois: Phase 2
Qi, Yan; Fries, Ryan N.; Saran Baral, Shambhu; Biswas, Pranesh

Thumbnail for Artificial Language Evolution on a Dynamical Interaction Network
Artificial Language Evolution on a Dynamical Interaction Network
Swarup, Samarth

Thumbnail for Models for Privacy in Ubiquitous Computing Environments
Models for Privacy in Ubiquitous Computing Environments
Kapadia, Apu C.

Thumbnail for Agreement, Information and Time in Multiagent Systems
Agreement, Information and Time in Multiagent Systems
Lakkaraju, Kiran

Thumbnail for Models for Privacy in Ubiquitous Computing Environments
Models for Privacy in Ubiquitous Computing Environments
Kapadia, Apu Chandrasen

Thumbnail for Harmonizing data mining and static analysis to tackle hardware and system level verification
Harmonizing data mining and static analysis to tackle hardware and system level verification
Liu, Lingyi

Thumbnail for Artificial Language Evolution on a Dynamical Interaction Network
Artificial Language Evolution on a Dynamical Interaction Network
Swarup, Samarth

Thumbnail for Automatic discovery of complex causality
Automatic discovery of complex causality
Chen, Li