Research Output 1974 2020

Filter
Conference article
2004

MRedTool - A MATLAB toolbox for model reduction of multi-dimensional systems

Sivakumar, S. & Beck, C. L., Dec 1 2004, In : Proceedings of the IEEE Conference on Decision and Control. 3, p. 3096-3101 6 p.

Research output: Contribution to journalConference article

Multidimensional Systems
Model Reduction
MATLAB
Linear Fractional Transformation
Operator

On a generalization of robust supervisory control of discrete event systems

Sreenivas, R. S., Jan 1 2004, In : IFAC Proceedings Volumes (IFAC-PapersOnline). 37, 11, p. 355-360 6 p.

Research output: Contribution to journalConference article

Discrete event simulation
Supervisory personnel

On-demand computation of policy based routes for large-scale network simulation

Liljenstam, M. & Nicol, D. M., Dec 1 2004, In : Proceedings - Winter Simulation Conference. 1, p. 215-223 9 p.

Research output: Contribution to journalConference article

Network Simulation
Routing
Network protocols
Dynamic Routing
Semantics

On the l2-induced control for eventually periodic systems

Farhood, M. & Dullerud, G. E., Nov 29 2004, In : Proceedings of the American Control Conference. 3, p. 2021-2026 6 p.

Research output: Contribution to journalConference article

Time varying systems
Nonlinear systems
Orbits
Trajectories
Torsion Points
Problem Decomposition
Torsional stress
Elliptic Curves
Decomposition

On Tikhonov regularization for image reconstruction in parallel MRI

Ying, L., Xu, D. & Liang, Z-P., Dec 1 2004, In : Annual International Conference of the IEEE Engineering in Medicine and Biology - Proceedings. 26 II, p. 1056-1059 4 p.

Research output: Contribution to journalConference article

Computer-Assisted Image Processing
Image reconstruction
Magnetic resonance imaging
Imaging techniques
Noise

Optimal control of dynamical systems over unreliable communication links

Imer, O. C., Yuksel, S. & Basar, M. T., Jan 1 2004, In : IFAC Proceedings Volumes (IFAC-PapersOnline). 37, 13, p. 991-996 6 p.

Research output: Contribution to journalConference article

Remote control
Telecommunication links
Dynamical systems
Packet loss
Internet
Data communication systems
Preprocessing
Binary
Discrete Data
Communication Channels

Optimal sparse-QIM codes for zero-rate blind watermarking

Moulin, P., Goteti, A. K. & Koetter, R., Sep 28 2004, In : ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. 3, p. III73-III76

Research output: Contribution to journalConference article

Quantization (signal)
Watermarking
Modulation
modulation
messages

Parallel generalized series MRI: Algorithm and application to cancer imaging

Xu, D., Ying, L. & Liang, Z-P., Dec 1 2004, In : Annual International Conference of the IEEE Engineering in Medicine and Biology - Proceedings. 26 II, p. 1052-1055 4 p.

Research output: Contribution to journalConference article

Magnetic resonance imaging
Imaging techniques
Neoplasms
Breast Neoplasms
Tumors

Performance analysis of the adaptive parity check matrix based soft-decision decoding algorithm

Ahmed, A., Koetter, R. & Shanbhag, N. R., Dec 1 2004, In : Conference Record - Asilomar Conference on Signals, Systems and Computers. 2, p. 1995-1999 5 p.

Research output: Contribution to journalConference article

Decoding
Reed-Solomon codes
Adaptive algorithms

Process group management in cross-layer adaptation

Yuan, W. & Nahrstedt, K., Dec 1 2004, In : Proceedings of SPIE - The International Society for Optical Engineering. 5305, p. 55-68 14 p.

Research output: Contribution to journalConference article

Cross-layer
Program processors
Dependent
Energy utilization
Scheduling

QIM watermarking games

Goteti, A. K. & Moulin, P., Dec 1 2004, In : Proceedings - International Conference on Image Processing, ICIP. 5, p. 717-720 4 p.

Research output: Contribution to journalConference article

Quantization (signal)
Watermarking
Modulation
Convex optimization
Detectors

Quantifying non-functional requirements: A process oriented approach

Hill, R., Wang, J. & Nahrstedt, K., Dec 1 2004, In : Proceedings of the IEEE International Conference on Requirements Engineering. p. 352-353 2 p.

Research output: Contribution to journalConference article

Concretes

Reducing the scheduling critical cycle using wakeup prediction

Ehrhart, T. E. & Patel, S. J., May 24 2004, In : IEEE High-Performance Computer Architecture Symposium Proceedings. 10, p. 222-231 10 p.

Research output: Contribution to journalConference article

Microprocessor chips
Pipelines
Scheduling
Feedback
Costs

Reflection in membership equational logic, many-sorted equational logic, horn logic with equality, and rewriting logic

Clavel, M., Meseguer, J. & Palomino, M., Apr 2004, In : Electronic Notes in Theoretical Computer Science. 71, p. 110-126 17 p.

Research output: Contribution to journalConference article

Equational Logic
Rewriting Logic
Equality
Logic
Specifications

Resource allocation for wireless relay channels

Liang, Y. & Veeravalli, V. V., Dec 1 2004, In : Conference Record - Asilomar Conference on Signals, Systems and Computers. 2, p. 1902-1906 5 p.

Research output: Contribution to journalConference article

Resource allocation
Fading (radio)
Frequency allocation
Telecommunication repeaters
Channel state information
Rewriting Logic
Specification languages
Formal Analysis
Specification Languages
Semantics

SENS: A sensor, environment and network simulator

Sundresh, S., Kim, W. & Agha, G., Jul 26 2004, In : Proceedings of the IEEE Annual Simulation Symposium. p. 221-228 8 p.

Research output: Contribution to journalConference article

Simulator
Simulators
Wireless Sensor Networks
Wireless sensor networks
Sensor

Simulation analysis of virtual Geographic Routing

Nicol, D. M., Goldsby, M. E. & Johnson, M. M., Dec 1 2004, In : Proceedings - Winter Simulation Conference. 1, p. 857-864 8 p.

Research output: Contribution to journalConference article

Simulation Analysis
Scalability
Routing
Ad hoc networks
Global positioning system

Social welfare of selfish agents: Motivating efficiency for divisible resources

Maheswaran, R. T. & Başar, T., Dec 1 2004, In : Proceedings of the IEEE Conference on Decision and Control. 2, p. 1550-1555 6 p.

Research output: Contribution to journalConference article

Welfare
Divisible
Resources
Auctions
Maximise

Source-based QoS service routing in distributed service networks

Jin, J. & Nahrstedt, K., Aug 30 2004, In : IEEE International Conference on Communications. 4, p. 2036-2041 6 p.

Research output: Contribution to journalConference article

Quality of service
Middleware
Chemical analysis

SpiderNet: An integrated peer-to-peer service composition framework

Gu, X., Nahrstedt, K. & Yu, B., Oct 18 2004, In : IEEE International Symposium on High Performance Distributed Computing, Proceedings. p. 110-119 10 p.

Research output: Contribution to journalConference article

Chemical analysis
Recovery
Wide area networks
Testbeds
Topology

Steganalysis of block-structured stegotext

Wang, Y. & Moulin, P., Dec 1 2004, In : Proceedings of SPIE - The International Society for Optical Engineering. 5306, p. 477-488 12 p.

Research output: Contribution to journalConference article

Steganalysis
Relative Entropy
Entropy
entropy
Lower bound

Symbolic state-space exploration and numerical analysis of state-sharing composed models

Derisavi, S., Kemper, P. & Sanders, W. H., Jul 15 2004, In : Linear Algebra and Its Applications. 386, 1-3 SUPPL., p. 137-166 30 p.

Research output: Contribution to journalConference article

Numerical analysis
Numerical Analysis
State Space
Sharing
Continuous-time Markov Chain

The case for lifetime reliability-aware microprocessors

Srinivasan, J., Adve, S. V., Bose, P. & Rivers, J. A., Oct 8 2004, In : Conference Proceedings - Annual International Symposium on Computer Architecture, ISCA. 31, p. 276-287 12 p.

Research output: Contribution to journalConference article

Microprocessor chips
Wear of materials
Temperature control
Sensor nodes
Wireless sensor networks
Fusion reactions
Fading (radio)
Rayleigh fading

The impact of relaying on the capacity of broadcast channels

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

Research output: Contribution to journalConference article

Broadcast Channel
Relay
Output

The maude LTL model checker

Eker, S., Meseguer, J. & Sridharanarayanan, A., Apr 2004, In : Electronic Notes in Theoretical Computer Science. 71, p. 162-187 26 p.

Research output: Contribution to journalConference article

Maude
Model checking
Model Checking
Cytology
Rewriting Logic

Truncation effects in sense reconstruction

Yuan, L., Ying, L. & Liang, Z. P., Dec 1 2004, In : Annual International Conference of the IEEE Engineering in Medicine and Biology - Proceedings. 26 II, p. 1136-1139 4 p.

Research output: Contribution to journalConference article

Imaging techniques

Two private, perceptual data-hiding games

Goteti, A. K. & Moulin, P., Sep 28 2004, In : ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. 3

Research output: Contribution to journalConference article

Watermarking
Cost functions
Probability distributions

VLSI architectures for soft-decision decoding of Reed-Solomon codes

Ahmed, A., Koetter, R. & Shanbhag, N. R., Aug 30 2004, In : IEEE International Conference on Communications. 5, p. 2584-2590 7 p.

Research output: Contribution to journalConference article

Reed-Solomon codes
Decoding
Interpolation
Factorization
Polynomials

Wideband periodic array of random subarrays

Kerby, K. C. & Bernhard, J. T., Sep 29 2004, In : IEEE Antennas and Propagation Society, AP-S International Symposium (Digest). 1, p. 555-558 4 p.

Research output: Contribution to journalConference article

Fabrication

X-tolerant signature analysis

Mitra, S., Lumetta, S. S. & Mitzenmacher, M., Dec 1 2004, In : Proceedings - International Test Conference. p. 432-441 10 p.

Research output: Contribution to journalConference article

Signature
Built-in self test
Data compression
Product design
Built-in Self-test
2003

A Bluetooth loop scatternet formation algorithm

Zhang, H., Hou, J. C. & Sha, L. R., Jul 18 2003, In : IEEE International Conference on Communications. 2, p. 1174-1180 7 p.

Research output: Contribution to journalConference article

Bluetooth
Wireless ad hoc networks

Active vibration isolation of multiple DOF systems using a position-tracking approach

Zhang, Y. & Alleyne, A. G., Nov 6 2003, In : Proceedings of the American Control Conference. 1, p. 809-814 6 p.

Research output: Contribution to journalConference article

Actuators
Sensors

A Game Theoretic Approach to Decision and Analysis in Network Intrusion Detection

Alpcan, T. & Basar, M. T., Dec 1 2003, In : Proceedings of the IEEE Conference on Decision and Control. 3, p. 2595-2600 6 p.

Research output: Contribution to journalConference article

Network Intrusion Detection
Intrusion detection
Intrusion Detection
Game
Alarm systems

A New Approach to Half-Car Active Suspension Control

Zhang, Y. & Alleyne, A. G., Nov 7 2003, In : Proceedings of the American Control Conference. 5, p. 3762-3767 6 p.

Research output: Contribution to journalConference article

Railroad cars
Actuators
Active suspension systems

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

An On-line Technology Information System (OTIS) for Advanced Life Support

Levri, J. A., Boulanger, R., Hogan, J. A. & Rodriguez, L. F., Jan 1 2003, In : SAE Technical Papers.

Research output: Contribution to journalConference article

Information systems
Information technology
Solid wastes
Waste management
Food processing

Application of uncertain data handling on the assessment of tomato quality

Rodriguez, L. F., Moraru, C., Lee, T. C., Soboyejo, A. B. O., Gregson, C. M. & Poritz, D., Jan 1 2003, In : SAE Technical Papers.

Research output: Contribution to journalConference article

Data handling
Taylor series
Random variables
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. & Basar, M. 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