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 81
Dept. of Computer Science 81
Graduate Dissertations and Theses at Illinois 5
Universal Parallel Computing Research Center 2
Institute of Government and Public Affairs 1

Collection

Research and Tech Reports - Computer Science 77
Dissertations and Theses - Computer Science 5
Graduate Dissertations and Theses at Illinois 5
Research and Technical Reports - Universal Parallel Computing Research Center 2
Access: High Performance Computing Magazine 1

Author(s)

Rosu, Grigore 9
Nahrstedt, Klara 6
Chen, Feng 5
Gupta, Indranil 4
Iandola, Forrest 4
Abdelzaher, Tarek F. 3
Adve, Vikram S. 2
Bocchino, Robert L., Jr. 2
Hailpern, Joshua 2
Jayachandran, Praveen 2

Keyword(s)

Computer Science 65
Parallel Programming 3
Python 3
Computer modeling 2
Computer science 2
Mercury 2
Monte Carlo 2
Scientific computing 2
3D Data Analysis 1
3D Data Classification 1

Type of Resource

text 79
image 2
Thesis 1
other 1

↑ ↓

Showing 1–30 of 82 items

1 (current)
2
3

Thumbnail for Electron Beam Focusing for the International Linear Collider

Electron Beam Focusing for the International Linear Collider

Iandola, Forrest; Syphers, Michael

Thumbnail for PyMercury: Interactive Python for the Mercury Monte Carlo Particle Transport Code

PyMercury: Interactive Python for the Mercury Monte Carlo Particle Transport Code

Iandola, Forrest; O'Brien, Matthew; Procassini, Richard

Thumbnail for Dynamic Languages for HPC at LLNL

Dynamic Languages for HPC at LLNL

Alumbaugh, T.J.

Thumbnail for Validation of an MCNP5 to Mercury Input Translator

Validation of an MCNP5 to Mercury Input Translator

Walsh, Jonathan; Chase, Lila

Thumbnail for Real-time Capacity of Networked Data Fusion

Real-time Capacity of Networked Data Fusion

Iandola, Forrest; Saremi, Fatemeh; Abdelzaher, Tarek F.; Jayachandran, Praveen; Yener, Aylin

Thumbnail for On Schedulability and Time Composability of Multisensor Data Aggregation Networks

On Schedulability and Time Composability of Multisensor Data Aggregation Networks

Saremi, Fatemeh; Jayachandran, Praveen; Iandola, Forrest; Uddin, Md Yusuf Sarwar; Abdelzaher, Tarek F.

Thumbnail for Architectural Reference Models For Safety-Critical Systems

Architectural Reference Models For Safety-Critical Systems

Crenshaw, Tanya L.

Thumbnail for Algebraic Multigrid For Discrete Differential Forms

Algebraic Multigrid For Discrete Differential Forms

Bell, William N.

Thumbnail for Efficient Software Checking for Fault Tolerence

Efficient Software Checking for Fault Tolerence

Yu, Jing

Thumbnail for Reflections on Dynamic Languages and Parallelism

Reflections on Dynamic Languages and Parallelism

Padua, David

Thumbnail for Maximality of Atomic Causality

Maximality of Atomic Causality

Serbanuta, Traian Florin; Chen, Feng; Rosu, Grigore

Thumbnail for Enhancing Reliability in Storage-Centric Sensor Networks

Enhancing Reliability in Storage-Centric Sensor Networks

Nayyeri, Amir; Abdelzaher, Tarek F.

Thumbnail for A Fully Abstract Coalgebraic Semantics for the pi-calculus Under Weak Bisimilarity

A Fully Abstract Coalgebraic Semantics for the pi-calculus Under Weak Bisimilarity

Popescu, Andrei

Thumbnail for Querying Streaming XML Using Visibly Pushdown Automata

Querying Streaming XML Using Visibly Pushdown Automata

Clark, Robert

Thumbnail for Tools for acquired scene analysis and transmission

Tools for acquired scene analysis and transmission

Kamali Moghaddam, Mahsa

Thumbnail for Parallel Programming Must Be Deterministic By Default

Parallel Programming Must Be Deterministic By Default

Bocchino, Robert L., Jr.; Adve, Vikram S.; Adve, Sarita V.; Snir, Marc

Thumbnail for Efficient Formalism-Independent Monitoring of Parametric Properties

Efficient Formalism-Independent Monitoring of Parametric Properties

Chen, Feng; Jin, Dongyun; Meredith, Patrick O'Neil; Rosu, Grigore

Thumbnail for Circular Coinduction: A Proof Theoretical Foundation

Circular Coinduction: A Proof Theoretical Foundation

Rosu, Grigore; Lucanu, Dorel

Thumbnail for Quick Evaluation of Small Body Gravitation

Quick Evaluation of Small Body Gravitation

Colombi, Andrew C.

Thumbnail for Term-Generic Logic

Term-Generic Logic

Popescu, Andrei; Rosu, Grigore

Thumbnail for On the Expressiveness and Complexity of Randomization in Finite State Monitors

On the Expressiveness and Complexity of Randomization in Finite State Monitors

Chadha, Rohit; Sistla, A. Parsad; Viswanathan, Mahesh

Thumbnail for Combinatorial Optimization of Matrix-Vector Multiplication for Finite Element Assembly

Combinatorial Optimization of Matrix-Vector Multiplication for Finite Element Assembly

Wolf, Michael M.; Heath, Michael T.

Thumbnail for Creating a Spoken Impact: encouraging vocalization through audio visual feedback in children with ASD

Creating a Spoken Impact: encouraging vocalization through audio visual feedback in children with ASD

Hailpern, Joshua; Karahalios, Karrie; Halle, Jim; DeThorne, Laura; Coletto, Mary-Kelsey

Thumbnail for Algebraic Semantics of OCL-constrained Metamodel Specifications

Algebraic Semantics of OCL-constrained Metamodel Specifications

Boronat, Artur; Meseguer, José

Thumbnail for A Catalog of Security-oriented Program Transformations

A Catalog of Security-oriented Program Transformations

Hafiz, Munawar; Adamczyk, Paul; Johnson, Ralph

Thumbnail for Vote and Be Heard: Adding Back-Channel Cues to Social Mirrors

Vote and Be Heard: Adding Back-Channel Cues to Social Mirrors

Bergstrom, Tony; Karahalios, Karrie

Thumbnail for Performance of Wireless Networks Subject to Constraints and Failures

Performance of Wireless Networks Subject to Constraints and Failures

Bhandari, Vartika

Thumbnail for Motion Planning for Highly Constrained Spaces

Motion Planning for Highly Constrained Spaces

Yershova, Anna; LaValle, Steven M.

Thumbnail for Cross-layer Quality Assessment of Wireless Video Transmission over Mobile Broadcast Networks

Cross-layer Quality Assessment of Wireless Video Transmission over Mobile Broadcast Networks

Kang, Kyungtae; Jeon, Won J.; Park, Kyung-Joon; Campbell, Roy H.; Nahrstedt, Klara

Thumbnail for Searching and Tagging: Two Sides of the Same Coin?

Searching and Tagging: Two Sides of the Same Coin?

Mei, Qiaozhu; Jiang, Jing; Su, Hang; Zhai, ChengXiang

1 (current)
2
3

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 7 + 2?

© 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)