Research Output 1972 2020

Filter
Conference article
2003

An Improved MRI Method for Dynamic Contrast-Enhanced Imaging of Tumors

Ji, X., Ma, J., Aref, M., Wiener, E. & Liang, Z. P., Dec 1 2003, In : Annual International Conference of the IEEE Engineering in Medicine and Biology - Proceedings. 1, p. 478-481 4 p.

Research output: Contribution to journalConference article

Tumors
Magnetic Resonance Imaging
Imaging techniques
Data acquisition
Neoplasms
Rayleigh Fading Channel
Rayleigh fading
MIMO systems
Multiple-input multiple-output (MIMO)
Fading channels

A utility-based congestion control scheme for Internet-style networks with delay

Alpcan, T. & Başar, T., Sep 1 2003, In : Proceedings - IEEE INFOCOM. 3, p. 2039-2048 10 p.

Research output: Contribution to journalConference article

Congestion control (communication)
Topology
Internet
Asymptotic stability
System stability

Automated verification of the dependability of object-oriented real-time systems

Ding, H., Zheng, C., Agha, G. A. & Sha, L. R., Dec 1 2003, In : Proceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS. p. 171-178 8 p., 1410960.

Research output: Contribution to journalConference article

Model checking
Real time systems
Semantics
Specifications

Bandwidth sensitive routing in diffServ networks with heterogeneous bandwidth requirements

Wang, J., Xiao, L., Lui, K. S. & Nahrstedt, K., Jul 18 2003, In : IEEE International Conference on Communications. 1, p. 188-192 5 p.

Research output: Contribution to journalConference article

Integer programming
Bandwidth
Complex networks
Heuristic algorithms

Controlling the Internet: A Survey and Some New Results

Liu, S., Basar, M. T. & Srikant, R., Dec 1 2003, In : Proceedings of the IEEE Conference on Decision and Control. 3, p. 3048-3057 10 p.

Research output: Contribution to journalConference article

Congestion Control
Congestion control (communication)
Internet
Control theory
Control Theory

Correlated MIMO Rayleigh fading channels: Capacity and optimal signaling

Liang, Y. & Veeravalli, V. V., Dec 1 2003, In : Conference Record of the Asilomar Conference on Signals, Systems and Computers. 1, p. 1166-1170 5 p.

Research output: Contribution to journalConference article

Channel capacity
Rayleigh fading
Beamforming
MIMO systems
Fading channels

Design and analysis of an MST-based topology control algorithm

Li, N., Hou, J. C. & Sha, L. R., Sep 1 2003, In : Proceedings - IEEE INFOCOM. 3, p. 1702-1712 11 p.

Research output: Contribution to journalConference article

Trees (mathematics)
Topology
Multimedia systems
Multimedia Systems
Cross-layer
Mobile Systems
multimedia
Watermarking
Detectors
Experiments

Dynamic Optimization Flow Control

Imer, O. C. & Basar, M. T., Dec 1 2003, In : Proceedings of the IEEE Conference on Decision and Control. 3, p. 2082-2087 6 p.

Research output: Contribution to journalConference article

Dynamic Optimization
Flow Control
Flow control
Control Problem
Infinite Horizon

Energy-efficient soft real-time CPU scheduling for mobile multimedia systems

Yuan, W. & Nahrstedt, K., Jan 1 2003, In : Operating Systems Review (ACM). 37, 5, p. 149-163 15 p.

Research output: Contribution to journalConference article

Multimedia systems
Program processors
Scheduling
Mobile devices
Probability distributions

Error exponents for one-bit watermarking

Liu, T. & Moulin, P., Sep 25 2003, In : ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. 3, p. 65-68 4 p.

Research output: Contribution to journalConference article

Quantization (signal)
Watermarking
Modulation
exponents
Detectors

Error exponents for watermarking game with squared-error constraints

Liu, T. & Moulin, P., Oct 20 2003, In : IEEE International Symposium on Information Theory - Proceedings. 1 p.

Research output: Contribution to journalConference article

Error Exponent
Watermarking
Decoding
Game
Quantization (signal)

Estimation Risk of Transformation-Averaged Estimators

Liu, J. & Moulin, P., Dec 1 2003, In : Proceedings of SPIE - The International Society for Optical Engineering. 5207, 1, p. 87-96 10 p.

Research output: Contribution to journalConference article

Image denoising
estimators
Averaging
Estimator
Image Denoising

Feedback control with queueing-theoretic prediction for relative delay guarantees in web servers

Lu, Y., Abdelzaher, T., Lu, C., Sha, L. & Liu, X., Dec 1 2003, In : Real-Time Technology and Applications - Proceedings. p. 208-217 10 p., 1203053.

Research output: Contribution to journalConference article

Feedback control
Servers
Quality of service
Queueing theory
Reactive power

Generalized H-infinity Vehicle Control Utilizing Dimensional Analysis

Brennan, S. & Alleyne, A., Nov 7 2003, In : Proceedings of the American Control Conference. 5, p. 3774-3780 7 p.

Research output: Contribution to journalConference article

Controllers
Demonstrations
Uncertainty

Group communication protocols under errors

Basile, C., Wang, L., Kalbarczyk, Z. & Iyer, R., Dec 1 2003, In : Proceedings of the IEEE Symposium on Reliable Distributed Systems. p. 35-44 10 p.

Research output: Contribution to journalConference article

Group Communication
Communication Protocol
Communication Systems
Network protocols
Ensemble

High bandwidth transimpedance amplifier design using active transmission lines

Bae, H. M. & Shanbhag, N., Jul 14 2003, In : Proceedings - IEEE International Symposium on Circuits and Systems. 1, p. I253-I256

Research output: Contribution to journalConference article

Operational amplifiers
Electric lines
Bandwidth
Feedback amplifiers
Wave equations

Incremental low-discrepancy lattice methods for motion planning

Lindemann, S. R. & Lavalle, S. M., Dec 9 2003, In : Proceedings - IEEE International Conference on Robotics and Automation. 3, p. 2920-2927 8 p.

Research output: Contribution to journalConference article

Motion planning
Sampling
Experiments

Inductive behavioral proofs by unhiding

Rosu, G., Jul 2003, In : Electronic Notes in Theoretical Computer Science. 82, 1, p. 285-302 18 p.

Research output: Contribution to journalConference article

Specifications
Theorem
Machinery
Algebraic Specification
Acoustic waves

Kernel support for open QoS-aware computing

Zhang, R., Abdelzaher, T. F. & Stankovic, J. A., Dec 1 2003, In : Real-Time Technology and Applications - Proceedings. p. 96-105 10 p., 1203041.

Research output: Contribution to journalConference article

Quality of service
Servers
Retrofitting
Managers
Scheduling

Link layer multi-priority frame forwarding

Lui, K. S., Lee, W. C. & Nahrstedt, K., Jul 18 2003, In : IEEE International Conference on Communications. 3, p. 1573-1577 5 p.

Research output: Contribution to journalConference article

Local area networks
Quality of service
Network protocols
Resource allocation

Load Modeling and Emulation for an Earthmoving Vehicle Powertrain

Carter, D. & Alleyne, A. G., Nov 7 2003, In : Proceedings of the American Control Conference. 6, p. 4963-4968 6 p.

Research output: Contribution to journalConference article

Powertrains
Simulators
Hardware
Pressure relief valves
Loaders

Low-Power High-Level Synthesis for FPGA Architectures

Chen, D., Gong, J. & Fan, Y., Dec 1 2003, In : Proceedings of the International Symposium on Low Power Electronics and Design. p. 134-139 6 p.

Research output: Contribution to journalConference article

Field programmable gate arrays (FPGA)
Electric power utilization
Simulated annealing
Error analysis
Scheduling

Memory safety without runtime checks or garbage collection

Dhurjati, D., Kowshik, S., Adve, V. & Lattner, C., Jul 2003, In : ACM SIGPLAN Notices. 38, 7, p. 69-80 12 p.

Research output: Contribution to journalConference article

Data storage equipment
Semantics

Minimax Nonlinear Control under Stochastic Uncertainty Constraints

Tang, C. & Başar, T., Dec 1 2003, In : Proceedings of the IEEE Conference on Decision and Control. 1, p. 1065-1070 6 p.

Research output: Contribution to journalConference article

Nonlinear Control
Minimax
Controller
Uncertainty
Controllers

Minimum Distortion Transmission of Gaussian Sources over Fading Channels

Kashyap, A., Başar, T. & Srikant, R., Dec 1 2003, In : Proceedings of the IEEE Conference on Decision and Control. 1, p. 80-85 6 p.

Research output: Contribution to journalConference article

Linear transformations
Channel state information
Rayleigh fading
Fading Channels
Mean square error
Jitter
Communication systems
Amplification
Clocks
Transmitters

Modeling and simulation best practices for wireless Ad HOC networks

Perrone, L. F., Yuan, Y. & Nicol, D. M., Dec 1 2003, In : Winter Simulation Conference Proceedings. 1, p. 685-693 9 p.

Research output: Contribution to journalConference article

Best Practice
Modeling and Simulation
Simulation
Model
Wireless Ad Hoc Networks

Model Reduction of Heterogeneous Distributed Systems

Samar, S. & Beck, C., Dec 1 2003, In : Proceedings of the IEEE Conference on Decision and Control. 5, p. 5271-5276 6 p.

Research output: Contribution to journalConference article

Heterogeneous Systems
Model Reduction
Distributed Systems
Linear matrix inequalities
Dynamical systems

On construction of service multicast trees

Jin, J. & Nahrstedt, K., Jul 18 2003, In : IEEE International Conference on Communications. 2, p. 860-864 5 p.

Research output: Contribution to journalConference article

Overlay networks
Internet
Trees (mathematics)
Semantics
Costs

On-demand power management for ad hoc networks

Zheng, R. & Kravets, R., Sep 1 2003, In : Proceedings - IEEE INFOCOM. 1, p. 481-491 11 p.

Research output: Contribution to journalConference article

Ad hoc networks
Network protocols
Energy utilization
Routing protocols
Data communication systems

On Partially Controlled Petri Nets that can be Made Live by Supervision

Sreenivas, R. S., Dec 1 2003, In : Proceedings of the IEEE Conference on Decision and Control. 4, p. 3730-3734 5 p.

Research output: Contribution to journalConference article

Liveness
Petri nets
Petri Nets
Corollary
Theorem

On setting TCP's congestion window limit in mobile ad hoc networks

Chen, K., Xue, Y. & Nahrstedt, K., Jul 18 2003, In : IEEE International Conference on Communications. 2, p. 1080-1084 5 p.

Research output: Contribution to journalConference article

Mobile ad hoc networks
Bandwidth
Topology

On the model reduction of nonstationary LPV systems

Farhood, M., Beck, C. L. & Dullerud, G. E., Nov 7 2003, In : Proceedings of the American Control Conference. 5, p. 3869-3874 6 p.

Research output: Contribution to journalConference article

Nonlinear control systems
Time varying systems
Trajectories

Optimal navigation and object finding without geometric maps or localization

Tovar, B., Lavalle, S. M. & Murrieta, R., Dec 9 2003, In : Proceedings - IEEE International Conference on Robotics and Automation. 1, p. 464-470 7 p.

Research output: Contribution to journalConference article

Navigation
Robots
Data structures
Sensors
Mobile robots
Decoding
Receiver
Transform
Classification Algorithm
Design

Optimizing IBGP route reflection network

Xiao, L., Wang, J. & Nahrstedt, K., Jul 18 2003, In : IEEE International Conference on Communications. 3, p. 1765-1769 5 p.

Research output: Contribution to journalConference article

Topology
Shape optimization
Integer programming
Scalability
Marketing

Panel discussion whitherto robust control

Tempo, R., Basar, T., Khargonekar, P. P., Kokotovic, P. V. & Scherer, C. W., Jan 1 2003, In : IFAC Proceedings Volumes (IFAC-PapersOnline). 36, 11, p. 591-597 7 p.

Research output: Contribution to journalConference article

Robust control

Performance analysis of algorithmic noise-tolerance techniques

Shim, B. & Shanbhag, N. R., Jul 14 2003, In : Proceedings - IEEE International Symposium on Circuits and Systems. 4

Research output: Contribution to journalConference article

Mean square error

Positional adaptation of processors: Application to energy reduction

Huang, M. C., Renau, J. & Torrellas, J., Jul 17 2003, In : Conference Proceedings - Annual International Symposium on Computer Architecture, ISCA. p. 157-168 12 p.

Research output: Contribution to journalConference article

Subroutines
Testing
Energy conservation
Servers
Experiments
Message passing
Recovery

Proxy-based asynchronous multicast for efficient on-demand media distribution

Cui, Y. & Nahrstedt, K., May 26 2003, In : Proceedings of SPIE - The International Society for Optical Engineering. 5019, p. 162-176 15 p.

Research output: Contribution to journalConference article

Multicast
Scalability
Internet
delivery
Minimal Spanning Tree

Quantization and Coding for Decentralized LTI Systems

Yüksel, S. & Başar, T., Dec 1 2003, In : Proceedings of the IEEE Conference on Decision and Control. 3, p. 2847-2852 6 p.

Research output: Contribution to journalConference article

Decentralized
Quantization
Coding
Information Sharing
Controller

Randomized algorithms for quadratic stability of quantized sampled-data systems

Ishii, H., Basar, M. T. & Tempo, R., Nov 7 2003, In : Proceedings of the American Control Conference. 6, p. 5046-5051 6 p.

Research output: Contribution to journalConference article

Lyapunov functions
Antenna
antennas
apertures
Antennas
Switch

Reduced Order Modeling of Transcritical AC System Dynamics Using Singular Perturbation

Rasmussen, B., Alleyne, A. G. & Shah, R., Nov 6 2003, In : Proceedings of the American Control Conference. 3, p. 2264-2269 6 p.

Research output: Contribution to journalConference article

Dynamical systems
Dynamic models
Controllers
Air conditioning
Partial differential equations
Computer debugging
Computer hardware
Repair
Productivity
Monitoring

Robust gain scheduling control of an earthmoving vehicle powertrain

Zhang, R., Alleyne, A. G. & Carter, D. E., Nov 7 2003, In : Proceedings of the American Control Conference. 6, p. 4969-4974 6 p.

Research output: Contribution to journalConference article

Powertrains
Scheduling
Controllers
MIMO systems
Hydraulics