Research Output 1972 2020

Filter
Conference article
2005

On the use of SoS methods for analysis of connection-level stability in the internet

Lakshmikantha, A., Beck, C. L. & Srikant, R., Sep 1 2005, In : Proceedings of the American Control Conference. 4, p. 2705-2708 4 p., ThB13.4.

Research output: Contribution to journalConference article

Lyapunov functions
Internet

Optimizations for compiling declarative models into boolean formulas

Marinov, D., Khurshid, S., Bugrara, S., Zhang, L. & Rinard, M., Oct 17 2005, In : Lecture Notes in Computer Science. 3569, p. 187-202 16 p.

Research output: Contribution to journalConference article

Optimization
Reasoning
Model
Optimizing Compilers
First-order Logic

Perturbed timed automata

Alur, R., La Torre, S. & Parthasarathy, M., Sep 14 2005, In : Lecture Notes in Computer Science. 3414, p. 70-85 16 p.

Research output: Contribution to journalConference article

Timed Automata
Clocks
Imperfect
Automata
Inclusion
Real time systems
Embedded systems
Response time (computer systems)
Recovery
Pendulums

Robust identification over networks

Ishii, H. & Başar, T., Sep 1 2005, In : Proceedings of the American Control Conference. 2, p. 1233-1238 6 p.

Research output: Contribution to journalConference article

Stabilization
Feedback
Bandwidth
Communication

Searching for related objects in relational databases

Yin, X., Han, J. & Yang, J., Dec 1 2005, In : Proceedings of the International Conference on Scientific and Statistical Database Management, SSDBM. p. 227-236 10 p.

Research output: Contribution to journalConference article

Scalability
Semantics
Experiments

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., Madhusudan, P. & 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 language inference to verify omega-regular properties

Vardhan, A., Sen, K., Viswanathan, M. & Agha, G., 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., Başar, 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

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

Differentiated internet pricing using a hierarchical network game model

Shen, H. & Başar, T., Nov 29 2004, In : Proceedings of the American Control Conference. 3, p. 2322-2327 6 p.

Research output: Contribution to journalConference article

Network performance
Internet
Economics
Costs

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

Failure-robust distributed controller architectures

Voulgaris, P. G. & Jiang, S., Dec 1 2004, In : Proceedings of the IEEE Conference on Decision and Control. 1, p. 513-518 6 p., TuB02.4.

Research output: Contribution to journalConference article

Controller
Controllers
Vertex of a graph
Parameterization
Communication

Fast model-based penetration testing

Singh, S., Lyons, J. & Nicol, D. M., Dec 1 2004, In : Proceedings - Winter Simulation Conference. 1, p. 309-316 8 p.

Research output: Contribution to journalConference article

Penetration
Model-based
Testing
Metric
Importance sampling

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