Research Output 1972 2020

Filter
Conference article
2004

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

Investigation of canted compound sector antennas for wideband aperiodic arrays

Cung, G., Fladie, J., Mayes, P. E. & Bernhard, J. T., Sep 29 2004, In : IEEE Antennas and Propagation Society, AP-S International Symposium (Digest). 2, p. 1887-1890 4 p.

Research output: Contribution to journalConference article

Antennas
Radiation

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

Minimum rate coding for state estimation over noiseless channels

Yüksel, S. & Basar, M. T., Dec 1 2004, In : Proceedings of the IEEE Conference on Decision and Control. 4, p. 4503-4508 6 p.

Research output: Contribution to journalConference article

State Estimation
State estimation
Coding
Multidimensional Systems
Entropy

MM-cubing: Computing iceberg cubes by factorizing the lattice space

Shao, Z., Han, J. & Xin, D., Oct 25 2004, In : Proceedings of the International Conference on Scientific and Statistical Database Management, SSDBM. 16, p. 213-222 10 p.

Research output: Contribution to journalConference article

Cube
Regular hexahedron
Computing
Sparse Data
High Performance

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

SPV: Secure path vector routing for securing BGP

Hu, Y. C., Perrig, A. & Sirbu, M., Dec 1 2004, In : Computer Communication Review. 34, 4, p. 179-192 14 p.

Research output: Contribution to journalConference article

Gateways (computer networks)
Routing protocols
Network protocols
Critical infrastructures
Brittleness

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

Switching LMS linear turbo equalization

Lee, S. J., Singer, A. C. & Shanbhag, N. R., Sep 27 2004, In : ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. 4, p. IV-641-IV-644

Research output: Contribution to journalConference article

Adaptive filtering
Mean square error

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

Tiling transactions in rewriting logic

Bruni, R., Meseguer, J. & Montanari, U., Apr 2004, In : Electronic Notes in Theoretical Computer Science. 71, p. 90-109 20 p.

Research output: Contribution to journalConference article

Rewriting Logic
Tile
Tiling
Transactions
Specifications

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, p. III373-III376

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