Research Output 1974 2020

Filter
Conference article
2005

Service composition for advanced multimedia applications

Liang, J. & Nahrstedt, K., Jul 21 2005, In : Proceedings of SPIE - The International Society for Optical Engineering. 5680, p. 228-240 13 p., 23.

Research output: Contribution to journalConference article

Multimedia Applications
Service Composition
multimedia
Data Flow
Chemical analysis

Stability and feedback control of wireless networked systems

Kawka, P. A. & Alleyne, A. G., Sep 1 2005, In : Proceedings of the American Control Conference. 4, p. 2953-2959 7 p., ThC03.5.

Research output: Contribution to journalConference article

Feedback control
System stability
Hardware
Communication
Linear systems

Stable gain-scheduling on endogenous signals

Rasmussen, B. P. & Alleyne, A. G., Sep 1 2005, In : Proceedings of the American Control Conference. 3, p. 1895-1900 6 p.

Research output: Contribution to journalConference article

Scheduling
Controllers
Industry

Supporting dynamically changing authorizations in pervasive communication systems

Lee, A. J., Boyer, J. P., Drexelius, C., Naldurg, P., Hill, R. L. & Campbell, R. H., Sep 19 2005, In : Lecture Notes in Computer Science. 3450, p. 134-150 17 p.

Research output: Contribution to journalConference article

Authorization
Ubiquitous computing
Access control
Communication Systems
Communication systems

Symbolic compositional verification by learning assumptions

Alur, R., Parthasarathy, M. & Nam, W., Oct 18 2005, In : Lecture Notes in Computer Science. 3576, p. 548-562 15 p.

Research output: Contribution to journalConference article

Compositional Verification
Formal languages
Model checking
Learning algorithms
Reasoning

Symstra: A framework for generating object-oriented unit tests using symbolic execution

Xie, T., Marinov, D., Schulte, W. & Notkin, D., Sep 19 2005, In : Lecture Notes in Computer Science. 3440, p. 365-381 17 p.

Research output: Contribution to journalConference article

Symbolic Execution
Object-oriented
Unit
Test Generation
Framework

The Java memory model

Manson, J., Pugh, W. & Adve, S. V., Dec 27 2005, In : Conference Record of the Annual ACM Symposium on Principles of Programming Languages. p. 378-391 14 p.

Research output: Contribution to journalConference article

Data storage equipment
Computer programming languages
Semantics
Hardware

The LLVM compiler framework and infrastructure tutorial

Lattner, C. & Adve, V. S., Oct 19 2005, In : Lecture Notes in Computer Science. 3602, p. 15-16 2 p.

Research output: Contribution to journalConference article

Compiler
Infrastructure
Research and Development
Framework

Theoroidal maps as algebraic simulations

Martí-Oliet, N., Meseguer, J. & Palomino, M., Sep 14 2005, In : Lecture Notes in Computer Science. 3423, p. 126-143 18 p.

Research output: Contribution to journalConference article

Rewriting Logic
Simulation
Mathematical models
Fairness
Categorical

Trimaran: An infrastructure for research in instruction-level parallelism

Chakrapani, L. N., Gyllenhaal, J., Hwu, W-M. W., Mahlke, S. A., Palem, K. V. & Rabbah, R. M., Oct 19 2005, In : Lecture Notes in Computer Science. 3602, p. 32-41 10 p.

Research output: Contribution to journalConference article

Instruction Level Parallelism
Performance Monitoring
Infrastructure
Compiler Optimization
Module

Using dynamic simulations and automated decision tools to design lunar habitats

Bell, S., Rodriguez, L. & Kortenkamp, D., Jan 1 2005, In : SAE Technical Papers.

Research output: Contribution to journalConference article

Integrated control
Computer simulation
Real time control
Life cycle
Hardware

Using language inference to verify omega-regular properties

Vardhan, A., Sen, K., Viswanathan, M. & Agha, G. A., Sep 19 2005, In : Lecture Notes in Computer Science. 3440, p. 45-60 16 p.

Research output: Contribution to journalConference article

Fixpoint
Verify
Learning systems
Transducers
Transducer
2004

A BGP attack against traffic engineering

Kim, J., Ko, S. Y., Nicol, D. M., Dimitropoulos, X. A. & Riley, G. F., Dec 1 2004, In : Proceedings - Winter Simulation Conference. 1, p. 318-326 9 p.

Research output: Contribution to journalConference article

Traffic Engineering
Gateways (computer networks)
Gateway
Attack
Network protocols

AccMon: Automatically detecting memory-related bugs via program counter-based invariants

Zhou, P., Liu, W., Fei, L., Lu, S., Qin, F., Zhou, Y., Midkiff, S. & Torrellas, J., Dec 1 2004, In : Proceedings of the Annual International Symposium on Microarchitecture, MICRO. p. 269-280 12 p.

Research output: Contribution to journalConference article

Data storage equipment
Statistics
Monitoring

A communication-theoretic design paradigm for reliable SOCs

Shanbhag, N. R., Sep 20 2004, In : Proceedings - Design Automation Conference. 1 p.

Research output: Contribution to journalConference article

Information theory
Communication
Telecommunication networks
Energy efficiency

Adaptive signaling schemes for detection in wireless sensor networks

Chamberland, J. F. & Veeravalli, V. V., Oct 20 2004, In : IEEE International Symposium on Information Theory - Proceedings. 1 p.

Research output: Contribution to journalConference article

Sensor nodes
Wireless Sensor Networks
Wireless sensor networks
Fusion reactions
Fusion
Hypothesis Testing
Decentralized
Testing
Costs
Decision Rules

A formal approach to frequent energy adaptations for multimedia applications

Hughes, C. J. & Adve, S. V., Oct 8 2004, In : Conference Proceedings - Annual International Symposium on Computer Architecture, ISCA. 31, p. 138-149 12 p.

Research output: Contribution to journalConference article

Tuning
Energy conservation
Lagrange multipliers
Constrained optimization

A game theoretic analysis of intrusion detection in access control systems

Alpcan, T. & Basar, M. T., Dec 1 2004, In : Proceedings of the IEEE Conference on Decision and Control. 2, p. 1568-1573 6 p.

Research output: Contribution to journalConference article

Intrusion detection
Intrusion Detection
Access Control
Access control
Sensor networks

An 8Gb/s source-synchronous I/O link with adaptive receiver equalization, offset cancellation and clock deskew

Jaussi, J. E., Balamurugan, G., Johnson, D. R., Casper, B. K., Martin, A., Kennedy, J. T., Shanbhag, N. R. & Mooney, R., Jun 2 2004, In : Digest of Technical Papers - IEEE International Solid-State Circuits Conference. 47

Research output: Contribution to journalConference article

Equalizers
Clocks

An anti-windup design for single input adaptive control systems in strict feedback form

Do, H. M., Basar, M. T. & Choi, J. Y., Nov 29 2004, In : Proceedings of the American Control Conference. 3, p. 2551-2556 6 p.

Research output: Contribution to journalConference article

Adaptive control systems
Feedback

An evaluation of techniques for controlling focus+context screens

Flider, M. J. & Bailey, B. P., Aug 30 2004, In : Proceedings - Graphics Interface. p. 135-144 10 p.

Research output: Contribution to journalConference article

Display devices

A novel forward-backward predictor based low-power DSP system

Shim, B., Zhang, M. & Shanbhag, N. R., Dec 1 2004, In : IEEE Workshop on Signal Processing Systems, SiPS: Design and Implementation. p. 331-336 6 p.

Research output: Contribution to journalConference article

Electric potential
Digital signal processing

A power control game based on outage probabilities for multicell wireless data networks

Alpcan, T., Basar, M. T. & Dey, S., Nov 29 2004, In : Proceedings of the American Control Conference. 2, p. 1661-1666 6 p.

Research output: Contribution to journalConference article

Outages
Power control
Error analysis
Code division multiple access
Costs

Architecture and functionality of the advanced life support on-line project information system

Hogan, J. A., Levri, J. A., Morrow, R., Cavazzoni, J., Rodriguez, L. F., Riaño, R. & Whitaker, D. R., Jan 1 2004, In : SAE Technical Papers.

Research output: Contribution to journalConference article

Information systems
NASA
Information technology
Biomass
Wastewater

ARIS: An interface for application relocation in an interactive space

Biehl, J. T. & Bailey, B. P., Aug 30 2004, In : Proceedings - Graphics Interface. p. 107-116 10 p.

Research output: Contribution to journalConference article

Relocation
Managers
Personal digital assistants

A Soft Error Rate Analysis (SERA) methodology

Zhang, M. & Shanbhag, N. R., Dec 1 2004, In : IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD. p. 111-118 8 p., 2A.3.

Research output: Contribution to journalConference article

Combinatorial circuits
Electric network topology
Circuit simulation
Graph theory
Electric potential

A survey and comparison of end-system overlay multicast solutions suitable for network centric warfare

Abad, C., Yurcik, W. & Campbell, R. H., Dec 1 2004, In : Proceedings of SPIE - The International Society for Optical Engineering. 5441, p. 215-226 12 p.

Research output: Contribution to journalConference article

warfare
Military operations
Multicast
Overlay
Multicasting

Channel-aware throughput fairness in multi-cell wireless LANs

Shah, S. H. & Nahrstedt, K., Dec 1 2004, In : IEEE Vehicular Technology Conference. 60, 5, p. 3511-3515 5 p.

Research output: Contribution to journalConference article

Wireless LAN
Fairness
Local area networks
Throughput
IEEE 802.11

CoBFIT: A component-based framework for intrusion tolerance

Ramasamy, H. G. V., Agbaria, A. & Sanders, W. H., Dec 1 2004, In : Conference Proceedings of the EUROMICRO. 30, p. 591-600 10 p.

Research output: Contribution to journalConference article

Communication systems

Coding for system-on-chip networks: A unified framework

Sridhara, S. R. & Shanbhag, N. R., Sep 20 2004, In : Proceedings - Design Automation Conference. p. 103-106 4 p.

Research output: Contribution to journalConference article

Error detection
Error correction
Redundancy
System-on-chip
Communication

Continuous k-nearest neighbor search for moving objects

Li, Y., Yang, J. & Han, J., Oct 25 2004, In : Proceedings of the International Conference on Scientific and Statistical Database Management, SSDBM. 16, p. 123-126 4 p.

Research output: Contribution to journalConference article

Nearest Neighbor Search
Moving Objects
Nearest Neighbor
Beaches
Monitor

Control of a microscale deposition robot using a new adaptive time-frequency filtered iterative learning control

Bristow, D. A., Alleyne, A. G. & Zheng, D., Nov 29 2004, In : Proceedings of the American Control Conference. 6, p. 5144-5149 6 p.

Research output: Contribution to journalConference article

Robots
Robotics
Trajectories
Bandwidth
Adaptive algorithms

Correlated jamming on MIMO Gaussian fading channels

Kashyap, A., Başar, T. & Srikant, R., Aug 30 2004, In : IEEE International Conference on Communications. 1, p. 458-462 5 p.

Research output: Contribution to journalConference article

Jamming
Rayleigh fading
MIMO systems
Fading channels

Deterministic sampling methods for spheres and SO(3)

Yershova, A. & LaValle, S. M., Jul 5 2004, In : Proceedings - IEEE International Conference on Robotics and Automation. 2004, 4, p. 3974-3980 7 p.

Research output: Contribution to journalConference article

Motion planning
Sampling
Control theory
Robotics

Development of decision support capability in ALS

Rodriguez, L. F., Drysdale, A. E., Jones, H. W. & Levri, J. A., Jan 1 2004, In : SAE Technical Papers.

Research output: Contribution to journalConference article

Decision making
Costs
Life cycle
Information systems

Dimensionless analysis of tire characteristics for vehicle dynamics studies

Poliey, M. & Alleyne, A. G., Nov 29 2004, In : Proceedings of the American Control Conference. 4, p. 3411-3416 6 p.

Research output: Contribution to journalConference article

Tires
Testbeds

Dynamic modeling and control of multi-evaporator air-conditioning systems

Shah, R., Alleyne, A. G. & Bullard, C. W., May 28 2004, In : ASHRAE Transactions. 110 PART 1, p. 109-119 11 p.

Research output: Contribution to journalConference article

Evaporators
Air conditioning
Compressors
Controllers

Efficient decentralized monitoring of safety in distributed systems

Sen, K., Vardhan, A., Agha, G. & Roşu, G., Oct 4 2004, In : Proceedings - International Conference on Software Engineering. 26, p. 418-427 10 p.

Research output: Contribution to journalConference article

Monitoring
Temporal logic

Evaluation of secure peer-to-peer overlay routing for survivable scada systems

Farris, J. J. & Nicol, D. M., Dec 1 2004, In : Proceedings - Winter Simulation Conference. 1, p. 300-307 8 p.

Research output: Contribution to journalConference article

SCADA systems
Supervisory Control
Peer to Peer
Data Acquisition
Overlay

Exact pareto-optimal coordination of two translating polygonal robots on an acyclic roadmap

Chitsaz, H., O'Kane, J. M. & Lavalle, S. M., Jul 5 2004, In : Proceedings - IEEE International Conference on Robotics and Automation. 2004, 4, p. 3981-3986 6 p.

Research output: Contribution to journalConference article

Robots
Travel time

Field-testing IMPACT EPIC research results in Itanium 2

Sias, J. W., Ueng, S. Z., Kent, G. A., Steiner, I. M. & Hwu, W-M. W., Oct 8 2004, In : Conference Proceedings - Annual International Symposium on Computer Architecture, ISCA. 31, p. 26-37 12 p.

Research output: Contribution to journalConference article

Testing
Microprocessor chips

Global stability of internet congestion controllers with heterogeneous delays

Ying, L., Dullerud, G. E. & Srikant, R., Nov 29 2004, In : Proceedings of the American Control Conference. 4, p. 2948-2953 6 p.

Research output: Contribution to journalConference article

Internet
Controllers
Congestion control (communication)
Topology

Hierarchical application aware error detection and recovery

Iyer, R. K., Sep 20 2004, In : Proceedings - Design Automation Conference. 1 p.

Research output: Contribution to journalConference article

Error detection
Hardware
Recovery

Improving the performance of sampling-based planners by using a symmetry-exploiting gap reduction algorithm

Cheng, P., Frazzoli, E. & Lavalle, S. M., Jul 6 2004, In : Proceedings - IEEE International Conference on Robotics and Automation. 2004, 5, p. 4362-4368 7 p.

Research output: Contribution to journalConference article

Sampling
Planning
Motion planning
Refining
Trajectories

iWatcher: Efficient architectural support for software debugging

Zhou, P., Qin, F., Liu, W., Zhou, Y. & Torrellas, J., Oct 8 2004, In : Conference Proceedings - Annual International Symposium on Computer Architecture, ISCA. 31, p. 224-235 12 p.

Research output: Contribution to journalConference article

Computer debugging
Monitoring
Computer architecture
Dynamic loads
Detectors

Know why your access was denied: Regulating feedback for usable security

Kapadia, A., Sampemane, G. & Campbell, R. H., Dec 1 2004, In : Proceedings of the ACM Conference on Computer and Communications Security. p. 52-61 10 p.

Research output: Contribution to journalConference article

Feedback
Access control
Security systems
Cost functions

Lightning: A fast and lightweight acoustic localization protocol using low-end wireless micro-sensors

Wang, Q., Zheng, R., Tirumala, A., Liu, X. & Sha, L. R., Dec 1 2004, In : Proceedings - Real-Time Systems Symposium. p. 371-381 11 p.

Research output: Contribution to journalConference article

Lightning
Acoustics
Network protocols
Sensors
Time delay

Lyapunov-based stability analysis for REM congestion control

Imer, O. Ç. & Basar, M. T., Nov 29 2004, In : Proceedings of the American Control Conference. 4, p. 2943-2947 5 p.

Research output: Contribution to journalConference article

Lyapunov functions
Flow control

MAIDS: Mining alarming incidents from data streams

Cai, Y. D., Clutter, D., Pape, G., Han, J., Welge, M. & Auvil, L., Jul 27 2004, In : Proceedings of the ACM SIGMOD International Conference on Management of Data. p. 919-920 2 p.

Research output: Contribution to journalConference article