Research Output 1972 2020

Filter
Paper
2013

Development of the UIUC aero testbed: A large-scale unmanned electric aerobatic aircraft for aerodynamics research

Dantsker, O. D., Johnson, M. J., Selig, M. S. & Bretl, T. W., Sep 16 2013.

Research output: Contribution to conferencePaper

Testbeds
Aerodynamics
Aircraft
Aircraft models
Flight paths

Formal analysis of fault-tolerant group key management using ZooKeeper

Skeirik, S., Bobba, R. B. & Meseguer, J., Aug 14 2013, p. 636-641. 6 p.

Research output: Contribution to conferencePaper

Model checking
Viruses
Managers
Statistical Models

High-level synthesis with behavioral level multi-cycle path analysis

Zheng, H., Gurumani, S. T., Yang, L., Chen, D. & Rupnow, K., Jan 1 2013.

Research output: Contribution to conferencePaper

High-level Synthesis
Path Analysis
Regression Analysis
Regression analysis
Logic Synthesis

Invariant synthesis for verification of parameterized cyber-physical systems with applications to aerospace systems

Johnson, T. T. & Mitra, S., Sep 16 2013.

Research output: Contribution to conferencePaper

Aircraft
Network protocols
Collision avoidance
Landing
Cyber Physical System

Networked GPS approach to tracking marine animal schools

Heng, L. & Gao, G. X., Jan 1 2013, p. 612-619. 8 p.

Research output: Contribution to conferencePaper

Global positioning system
Animals
animal
school
recipient

NUMA-aware shared-memory collective communication for MPI

Li, S., Hoefler, T. & Snir, M., Jul 17 2013, p. 85-96. 12 p.

Research output: Contribution to conferencePaper

Data storage equipment
Communication
Experiments

Oral discussions on session: 'Dynamics and Control' - Part i

Sauer, P. W., Jan 1 2013.

Research output: Contribution to conferencePaper

Dynamical systems
Control systems

Oral discussions on session: 'Advanced Operations' - Part II

Gross, G., Jan 1 2013.

Research output: Contribution to conferencePaper

Dynamical systems
Control systems

Oral discussions on session: 'Dynamics and Control' - Part II

Sauer, P. W., Jan 1 2013.

Research output: Contribution to conferencePaper

Dynamical systems
Control systems

Oral discussions on session: 'Advanced Operations' - Part i

Gross, G., Jan 1 2013.

Research output: Contribution to conferencePaper

Dynamical systems
Control systems

Pluggable watchdog: Transparent failure detection for MPI programs

Yim, K. S., Kalbarczyk, Z. T. & Iyer, R. K., Oct 7 2013, p. 489-500. 12 p.

Research output: Contribution to conferencePaper

Detectors
Monitoring
Field programmable gate arrays (FPGA)
Computer systems
Semantics

SCDA: SLA-aware cloud datacenter architecture for efficient content storage and retrieval

Kassa, D. F. & Nahrstedt, K., Jul 17 2013, p. 121-122. 2 p.

Research output: Contribution to conferencePaper

Servers
Throughput
Data transfer rates
Data communication systems
Resource allocation

Universal outlier detection

Li, Y., Nitinawarat, S. & Veeravalli, V. V., May 16 2013, p. 528-532. 5 p.

Research output: Contribution to conferencePaper

Detectors

Using the Semantics-Syntax Interface for Reliable Arabic Modality Annotation

Al-Sabbagh, R., Diesner, J. & Girju, C. R., 2013.

Research output: Contribution to conferencePaper

2012

Development of a fixed wing multi-role unmanned aircraft vehicle research testbed

Dantsker, O. D., Johnson, M. J., Akce, A. & Bretl, T. W., Dec 1 2012.

Research output: Contribution to conferencePaper

Fixed wings
Testbeds
Aircraft
Unmanned aerial vehicles (UAV)
Remote control

Joint optimization of computing and cooling energy: Analytic model and a machine room case study

Li, S., Le, H., Pham, N., Jin, H. & Abdelzaher, T., Oct 5 2012, p. 396-405. 10 p.

Research output: Contribution to conferencePaper

Cooling
Knobs
Testbeds
Program processors
Energy utilization

Octopus: A secure and anonymous DHT lookup

Wang, Q. & Borisov, N., Oct 5 2012, p. 325-334. 10 p.

Research output: Contribution to conferencePaper

Table lookup
Peer to peer networks
Simulators
Bandwidth

Tiresias: Online anomaly detection for hierarchical operational network data

Hong, C. Y., Caesar, M. C., Duffield, N. & Wang, J., Oct 5 2012, p. 173-182. 10 p.

Research output: Contribution to conferencePaper

Set-top boxes
Information management
Failure modes
Inspection
Processing

Tweet ranking based on heterogeneous networks

Huang, H., Zubiaga, A., Ji, H., Deng, H., Wang, D., Le, H., Abdelzaher, T., Han, J., Leung, A., Hancock, J. & Voss, C., Dec 1 2012, p. 1239-1256. 18 p.

Research output: Contribution to conferencePaper

Heterogeneous networks
ranking
genre
Semantics
social network
2011

Generalized fisher score for feature selection

Gu, Q., Li, Z. & Han, J., Sep 29 2011, p. 266-273. 8 p.

Research output: Contribution to conferencePaper

Feature Selection
Feature extraction
Integer programming
Linear programming
Projected Gradient

Mitexcube: Microtextcluster cube for online analysis of text cells

Zhang, D., Zhai, C. & Han, J., Dec 1 2011, p. 204-218. 15 p.

Research output: Contribution to conferencePaper

Towards semantics-based WCET analysis

Asǎvoae, M., Lucanu, D. & Rosu, G., Jan 1 2011, p. 43-52. 10 p.

Research output: Contribution to conferencePaper

Semantics
Reduced instruction set computing
2010

Keyword search in text cube: Finding top-k relevant cells

Ding, B., Yu, Y., Zhao, B., Lin, C. X., Han, J. & Zhai, C., Dec 1 2010, p. 145-159. 15 p.

Research output: Contribution to conferencePaper

Query languages
Processing

Opinosis: A graph-based approach to abstractive summarization of highly redundant opinions

Ganesan, K., Zhai, C. X. & Han, J., Dec 1 2010, p. 340-348. 9 p.

Research output: Contribution to conferencePaper

evaluation
Graph
Summarization
Summary
Evaluation

Tiered incentives for integrity based queuing

Khan, F. & Gunter, C. A., Dec 1 2010.

Research output: Contribution to conferencePaper

Authentication
Internet
Denial-of-service attack
2009

Biomass feedstock production and provision: A system level optimization approach

Shastri, Y., Hansen, A. C., Rodriguez, L. F. & Ting, K. C., Dec 1 2009.

Research output: Contribution to conferencePaper

Production engineering
Integrated optics
Integer programming
Global warming
Benchmarking
2008

Application acceleration with the explicitly parallel operations system - The EPOS processor

Papakonstantinou, A., Chen, D. & Hwu, W-M. W., Sep 29 2008, p. 20-25. 6 p.

Research output: Contribution to conferencePaper

Data flow graphs
High level languages
Wire
Engines
Hardware

A recurrence-relation-based reward model for performability evaluation of embedded systems

Tai, A. T., Tso, K. S. & Sanders, W. H., Oct 13 2008, p. 532-541. 10 p.

Research output: Contribution to conferencePaper

Embedded systems
Markov processes

Automatic security assessment of critical cyber-infrastructures

Anwar, Z., Shankesi, R. & Campbell, R. H., Oct 13 2008, p. 366-375. 10 p.

Research output: Contribution to conferencePaper

Recovery
Access control
Automation
Topology
Specifications

Conversation clusters: Human-computer dialog for topic extraction

Bergstrom, T. & Karahalios, K. G., Dec 8 2008, p. 2829-2834. 6 p.

Research output: Contribution to conferencePaper

Transcription
Speech recognition
Computer systems
Visualization

Exact pareto-optimal coordination of two translating polygonal robots on a cyclic roadmap

Chitsaz, H., LaValle, S. M. & O'Kane, J. M., Dec 1 2008, p. 179-182. 4 p.

Research output: Contribution to conferencePaper

Robot
Motion
Costs
Cell Complex
Scalarization

Scaling file systems to support petascale clusters: A dependability analysis to support informed design choices

Gaonkar, S., Rozier, E., Tong, A. & Sanders, W. H., Oct 13 2008, p. 386-391. 6 p.

Research output: Contribution to conferencePaper

Servers
Stochastic models
Availability

Second workshop on dependable and secure nanocomputing

Arlat, J., Constantinescu, C., Iyer, R. K. & Nicolaïdis, M., Oct 13 2008, p. 546-547. 2 p.

Research output: Contribution to conferencePaper

SymPLFIED: Symbolic program-level fault injection and error detection framework

Pattabiraman, K., Nakka, N., Kalbarczyk, Z. T. & Iyer, R. K., Oct 13 2008, p. 472-481. 10 p.

Research output: Contribution to conferencePaper

Error detection
Model checking
Collision avoidance
Computer hardware
Aircraft

Towards an understanding of anti-virtualization and anti-debugging behavior in modern malware

Chen, X., Andersen, J., Morley Mao, Z., Bailey, M. D. & Nazario, J., Oct 13 2008, p. 177-186. 10 p.

Research output: Contribution to conferencePaper

Computer debugging
Taxonomies
Reverse engineering
Computer networks
Ecosystems

Trace-based microarchitecture-level diagnosis of permanent hardware faults

Li, M. L., Ramachandran, P., Sahoo, S. K., Adve, S. V., Adve, V. S. & Zhou, Y., Oct 13 2008, p. 22-31. 10 p.

Research output: Contribution to conferencePaper

Hardware
Failure analysis
Redundancy

Using deception to facilitate intrusion detection in nuclear power plants

Rushi, J. & Campbell, R. H., Jan 1 2008, p. 315-324. 10 p.

Research output: Contribution to conferencePaper

Intrusion detection
Nuclear power plants
Network protocols
Military operations
Finite automata

Using likely program invariants to detect hardware errors

Sahoo, S. K., Li, M. L., Ramachandran, P., Adve, S. V., Adve, V. S. & Zhou, Y., Oct 13 2008, p. 70-79. 10 p.

Research output: Contribution to conferencePaper

Hardware

VCode and VData: Illustrating a new framework for supporting the video annotation workflow

Hagedorn, J., Hailpern, J. & Karahalios, K. G., Dec 15 2008, p. 317-321. 5 p.

Research output: Contribution to conferencePaper

Computer science

Visualizations: Speech, language & autistic spectrum disorder

Hailpern, J., Karahalios, K. G., Halle, J. W., DeThorne, L. S. & Coletto, M. K., Dec 8 2008, p. 3591-3596. 6 p.

Research output: Contribution to conferencePaper

Visualization
Human computer interaction
Teaching
Feedback
2007

An engineering economic evaluation of quick germ quick fiber process for dry-grind ethanol facilities

Li, C., Rodriguez, L. F., Khanna, M., Spaulding, A. D. & Eckhoff, S. R., Nov 7 2007.

Research output: Contribution to conferencePaper

economic analysis
Cost-Benefit Analysis
engineering
Ethanol
ethanol

Cluster analyses of Lunar-Mars life support test project simulations

Goss, R. P., Jiang, H. & Rodriguez, L. F., Nov 7 2007.

Research output: Contribution to conferencePaper

Mars
Crops
Cluster Analysis
NASA
United States National Aeronautics and Space Administration

Determination of constants of a Two-Leaf multi-scale photosynthesis model using a genetic algorithm

Menezes, G. K. & Rodriguez, L. F., Nov 7 2007.

Research output: Contribution to conferencePaper

Photosynthesis
Genetic algorithms
photosynthesis
Growth
leaves

Development of a STELLA framework to model microbial communities in humic lakes in Wisconsin

Appleford, J. M., Menezes, G. K., Rodriguez, L. F. & Kent, A. D., Nov 7 2007.

Research output: Contribution to conferencePaper

Stella
Phytoplankton
microbial ecology
Ecology
Lakes

Fast and detailed approximate global illumination by irradiance decomposition

Arikan, O., Forsyth, D. A. & O'Brien, J. F., Dec 1 2007.

Research output: Contribution to conferencePaper

Lighting
Decomposition
Visibility
Interpolation
Costs

Graphstract: Minimal graphical help for computers

Huang, J. & Twidale, M. B., Dec 1 2007, p. 203-212. 10 p.

Research output: Contribution to conferencePaper

Sequential circuits
Automatic programming
User interfaces
Data acquisition
Costs

Semi-supervised discriminant analysis

Cai, D., He, X. & Han, J., Dec 1 2007.

Research output: Contribution to conferencePaper

Discriminant analysis
Image retrieval
Face recognition
Covariance matrix
Feedback

Spectral regression for efficient regularized subspace learning

Cai, D., He, X. & Han, J., Dec 1 2007.

Research output: Contribution to conferencePaper

Face recognition
Decomposition
Discriminant analysis
Principal component analysis
Data storage equipment
2006

Operational security requirements for large collaborative compute infrastructures

Khurana, H., Basney, J. A., Von Welch, W. & Campbell, R. H., Dec 1 2006.

Research output: Contribution to conferencePaper

infrastructure
Grid computing
study requirements
threat
security policy

Privacy enhanced data pre-processing for HIPAA compliance

Li, J. & Shaw, M. J-P., Jan 1 2006. 1 p.

Research output: Contribution to conferencePaper

Processing
Compliance