University of Illinois Urbana-Champaign

Efficient Equivalence Checking in a Modular Design Environment

Hasteer, Gagan

Exascale Research: Preparing for the Post-Moore Era

Snir, Marc; Gropp, William D.; Kogge, Peter

Electronic Databases for Linguistic and Language Research

Oshika, Beatrice T.; Krausse, Sylvia C.

Measure-Adaptive State-Space Construction Methods

Obal, Walter Douglas II

Exascale Research: Preparing for the Post-Moore Era

Snir, Marc; Gropp, William D.; Kogge, Peter

A Publisher's Perspective: More Successes than Failures

Ingoldsby, Tim

Loki -- An Empirical Evaluation Tool for Distributed Systems: The Experiment Analysis Framework

Henke, David Alan

Speculation-based Distributed Simulation for Dependability and Performance Analysis

Huang, Yiqing

Monitoring unknown source IP addresses and packet sizes to detect DDoS attacks

Kone, Roseline

Can we forecast conflict? A framework for forecasting global human societal behavior using latent narrative indicators

Leetaru, Kalev

2011 Report of NSF Workshop Series on Scientific Software Security Innovation Institute

Altunay, Mine; Ananthakrishnan, Rachana; Arrott, Matthew; Barnet, Steve; Barnett, William; Basney, Jim; Beaty, Steve; Butler, Randy; Choudhury, Sayeed; Dempsey, Heidi; Dooley, Rion; Freemon, Michael; Fox, Geoffrey; Keahey, Kate; Klingenstein, Ken; Koranda, Scott; Livney, Miron; Marsteller, James; McGee, John; Meunier, Pascal; Moore, Reagan; Newhouse, Stephen; Pearson, Doug; Petravick, Don; Plale, Beth; Plante, Ray; Poole, Scott; Pordes, Ruth; Serville, Mark; Singer, Abe; Slagell, Adam; Thompson, Kevin; Vieglas, Dave; Welch, Von; West, Patrick; Yahja, Alex

Hierarchical Simulation to Assess Hardware and Software Dependability

Ries, Gregory Lawrence

Parsimonious Service Replication for Tolerating Malicious Attacks in Asynchronous Environments

Ramasamy, Harigovind Venkatraj

Our Biometric Future: The Social Construction of an Emerging Information Technology

Gates, Kelly Allison

Federated search of scientific literature

Schatz, Bruce; Mischo, William H.; Cole, Timothy W.; Bishop, Ann Peterson; Harum, Susan; Johnson, Eric; Neumann, Laura J.; Chen, Hsinchun; Ng, Dorbin

Deployment and on-orbit shape modifications for a large space telescope using magnetostriction

Corbineau, Marie-Caroline Guylaine Lucie

Kernel-based Gaussian process for anomaly detection in sparse gamma-ray data

Romanchek, Gregory R.; Liu, Zheng; Abbaszadeh, Shiva

Semantic Issues for Digital Libraries

Chen, Hsinchun

Index to Telecommunications : making sense of new technology and new legislation. Papers presented at the 1984 Clinic on Library Applications of Data Processing.

Submitter: Sarah Shreeves

Modeling, Analysis and Design of a Regenerative Direct Sodium Borohydride Fuel Cell System

Kopec, Grant M.

Software and Hardware Techniques for Masking Security Vulnerabilities

Xu, Jun

Electrochemistry of formic acid and carbon dioxide on metal electrodes with applications to fuel cells and carbon dioxide conversion devices

Haan, John L.

Protection pending: Changing the lock on Pandora's box

Enemark, Christian

Modeling and simulation of permanent on-orbit servicing infrastructures dedicated to modularized earth-orbiting platforms

Sarton Du Jonchay, Tristan

Dynamic integration of camera motion, multiresolution image acquisition and coarse-to-fine surface reconstruction from stereo

Das, Subhodev

Combinatorial structures and filter design in information spaces

Yu, Jingjin

Impact evaluation of in-space additive manufacturing and recycling technologies for on-orbit servicing

Sears, Patrick

Back Matter including Contributors and Index to Networks, open access, and virtual libraries : implications for the research library. Papers presented at the 1991 Clinic on Library Applications of Data Processing

Submitter: Sarah Shreeves

The Role of Informatics in Software Engineering: Literature Reviews, Agenda and Software Informatics

Monarch, Ira Alan; Rosenthal, Sheila; Callison, Rachel

Substructure Discovery in SUBDUE

Holder, Lawrence B.