Research Output 1971 2020

Filter
Paper
2013

A new metaconverse and outer region for finite-blocklength MACs

Moulin, P., May 16 2013, p. 568-575. 8 p.

Research output: Contribution to conferencePaper

Error probability

A simulation framework to evaluate virtual CPU scheduling algorithms

Pham, C., Li, Q., Estrada, Z., Kalbarczyk, Z. T. & Iyer, R. K., Dec 1 2013, p. 138-143. 6 p.

Research output: Contribution to conferencePaper

Scheduling algorithms
Program processors
Consolidation
Processing
Virtualization

A trajectory-generation framework for time-critical cooperative missions

Choe, R., Cichella, V., Xargay, E., Hovakimyan, N., Trujillo, A. C. & Kaminer, I., Sep 16 2013.

Research output: Contribution to conferencePaper

Trajectories
Fixed wings
Constrained optimization
Unmanned aerial vehicles (UAV)
Cost functions

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
Logic Synthesis
Cycle
Clocks

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: '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: '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 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

Jellyfish: Networking data centers randomly

Singla, A., Hong, C. Y., Popa, L. & Godfrey, P. B., Jan 1 2012, p. 225-238. 14 p.

Research output: Contribution to conferencePaper

Rigid structures
Electric wiring
Oils and fats
Servers
Topology

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., 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

Reconstructing Hash Reversal based Proof of Work Schemes

Green, J., Juen, J., Fatemieh, O., Shankesi, R., Jin, D. & Gunter, C. A., Jan 1 2011.

Research output: Contribution to conferencePaper

Servers
Graphics processing unit
Denial-of-service attack

Towards semantics-based WCET analysis

Asǎvoae, M., Lucanu, D. & Roşu, 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
Summary
Graph
Summarization
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

Feedstocks
Biomass
Farms
Crops
Planning

PolyPack: An automated online packing service for optimal antivirus evasion

Oberheide, J., Bailey, M. & Jahanian, F., Jan 1 2009.

Research output: Contribution to conferencePaper

Packers
Engines
Feedback
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

Multi-flow attacks against network flow watermarking schemes

Kiyavash, N., Houmansadr, A. & Borisov, N., Jan 1 2008, p. 307-320. 14 p.

Research output: Contribution to conferencePaper

Watermarking
Communication
Statistical Models

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. & 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., 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., DeThorne, L. & 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