Research Output 1972 2020

Filter
Conference article
2004

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

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
2005

A deterministic annealing approach to combinatorial library design for drug discovery

Sharma, P., Salapaka, S. & Beck, C., Sep 1 2005, In : Proceedings of the American Control Conference. 2, p. 979-984 6 p., WeB13.4.

Research output: Contribution to journalConference article

Annealing
Lead compounds
Lead
Drug Discovery

An architectural framework for detecting process hangs/crashes

Nakka, N., Saggese, G. P., Kalbarczyk, Z. & Iyer, R. K., Sep 26 2005, In : Lecture Notes in Computer Science. 3463, p. 103-121 19 p.

Research output: Contribution to journalConference article

Crash
Hardware
Instrumentation
Detectors
Error detection

Application of Perceptual Difference Model (PDM) on regularization techniques of parallel MR imaging

Huo, D., Xu, D., Ying, L., Liang, Z. P. & Wilson, D., Sep 19 2005, In : Progress in Biomedical Optics and Imaging - Proceedings of SPIE. 5749, p. 476-483 8 p., 52.

Research output: Contribution to journalConference article

Image quality
Imaging techniques
sensitivity
ratings
Magnetic resonance

A sufficient completeness reasoning tool for partial specifications

Hendrix, J., Clavel, M. & Meseguer, J., Sep 26 2005, In : Lecture Notes in Computer Science. 3467, p. 165-174 10 p.

Research output: Contribution to journalConference article

Completeness
Reasoning
Specification
Sufficient
Specifications

A survey and comparison of peer-to-peer group communication systems suitable for network-centric warfare

Anwar, Z., Yurcik, W. & Campbell, R. H., Nov 15 2005, In : Proceedings of SPIE - The International Society for Optical Engineering. 5820, p. 33-44 12 p., 05.

Research output: Contribution to journalConference article

warfare
Group Communication
Peer-to-peer Systems
Military operations
Peer to Peer

Automatic model-driven recovery in distributed systems

Joshi, K. R., Hiltunen, M. A., Sanders, W. H. & Schlichting, R. D., Dec 1 2005, In : Proceedings of the IEEE Symposium on Reliable Distributed Systems. p. 25-36 12 p., 1541182.

Research output: Contribution to journalConference article

Distributed Systems
Recovery
Monitoring
Optimal Recovery
Fault Injection

AVPUC: Automatic video production with user customization

Yu, B. & Nahrstedt, K., Jul 21 2005, In : Proceedings of SPIE - The International Society for Optical Engineering. 5680, p. 203-215 13 p., 21.

Research output: Contribution to journalConference article

Customization
evaluation
Video cameras
Camera
cameras

Behavioral extensions of institutions

Popescu, A. & Rosu, G., Oct 26 2005, In : Lecture Notes in Computer Science. 3629, p. 331-347 17 p.

Research output: Contribution to journalConference article

Logic
Equivalence
Concretes
Reasoning
Partial

BIBO stability of an adaptive time-frequency Iterative Learning Control with application to microscale robotic deposition

Bristow, D. A. & Alleyne, A. G., Sep 1 2005, In : Proceedings of the American Control Conference. 7, p. 4518-4524 7 p., FrB17.3.

Research output: Contribution to journalConference article

Ink
Robotics
Robots
Adaptive algorithms
Systems analysis

Centralized and decentralized powertrain controllers for an earthmoving vehicle

Gupta, P. & Alleyne, A., Sep 1 2005, In : Proceedings of the American Control Conference. 3, p. 1613-1618 6 p., WeC14.3.

Research output: Contribution to journalConference article

Powertrains
Controllers
Scheduling

Complete symbolic reachability analysis using back-and-forth narrowing

Thati, P. & Meseguer, J., Oct 26 2005, In : Lecture Notes in Computer Science. 3629, p. 379-394 16 p.

Research output: Contribution to journalConference article

Symbolic Analysis
Reachability Analysis
Concurrent Systems
Decision Procedures
Acoustic waves

Congruences for visibly pushdown languages

Alur, R., Kumar, V., Parthasarathy, M. & Viswanathan, M., Oct 19 2005, In : Lecture Notes in Computer Science. 3580, p. 1102-1114 13 p.

Research output: Contribution to journalConference article

Context free languages
Formal languages
Syntactics
Congruence
Polynomials

Continuous optimization

Fahs, B., Rafacz, T., Patel, S. J. & Lumetta, S. S., Nov 10 2005, In : Proceedings - International Symposium on Computer Architecture. p. 86-97 12 p.

Research output: Contribution to journalConference article

Hardware
Pipelines
Data storage equipment

Detecting errors in multithreaded programs by generalized predictive analysis of executions

Sen, K., Roşu, G. & Agha, G., Oct 17 2005, In : Lecture Notes in Computer Science. 3535, p. 211-226 16 p.

Research output: Contribution to journalConference article

Concurrent Systems
Violate
Trace
Runtime Analysis
Specification

Distributed architectures and implementations of observer based controllers for performance optimization

Yadav, V., Voulgaris, P. G. & Salapaka, M. V., Sep 1 2005, In : Proceedings of the American Control Conference. 7, p. 4844-4849 6 p.

Research output: Contribution to journalConference article

Controllers
Communication
Parameterization

Distributed optimal contention window control for elastic traffic in wireless LANs

Yang, Y., Wang, J. & Kravets, R. H., Oct 10 2005, In : Proceedings - IEEE INFOCOM. 1, p. 35-46 12 p.

Research output: Contribution to journalConference article

Local area networks
Telecommunication traffic
Frequency allocation

Efficient monitoring of ω-languages

D'Amorim, M. & Rosu, G., Oct 19 2005, In : Lecture Notes in Computer Science. 3576, p. 364-378 15 p.

Research output: Contribution to journalConference article

Formal languages
Regular Languages
Finite automata
State Machine
Monitoring

Estimation of corrosion damage in steel reinforced mortar using waveguides

Reis, H., Ervin, B. L., Kuchma, D. A. & Bernhard, J., Oct 7 2005, In : Proceedings of SPIE - The International Society for Optical Engineering. 5767, p. 98-107 10 p., 13.

Research output: Contribution to journalConference article

Mortar
Steel
Corrosion
Waveguide
corrosion

Experiences with starfield visualizations for analysis of library collections

Sánchez, J. A., Twidale, M. B., Nichols, D. M. & Silva, N. N., Jul 20 2005, In : Proceedings of SPIE - The International Society for Optical Engineering. 5669, p. 215-225 11 p., 22.

Research output: Contribution to journalConference article

Visualization
Visual Data Mining
Learnability
data mining
Digital libraries

Formally defining and verifying Master/Slave Speculative Parallelization

Salverda, P., Rosu, G. & Zilles, C., Oct 19 2005, In : Lecture Notes in Computer Science. 3582, p. 123-138 16 p.

Research output: Contribution to journalConference article

Parallelization
Sequential machines
Correctness
Refining
Microprocessor chips