Research Output

Filter
Conference article
2004

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

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

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

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

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

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

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

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

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

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

Trust, trait theory, and collaboration in telemedicine: An empirical test

Poole, M. S., Brown, H. G., Forducey, P., Deng, L., Moorad, A. & Smeltzer, S., Dec 1 2004, In : Proceedings of the Hawaii International Conference on System Sciences. 37, p. 2325-2334 10 p., HCISQ02.

Research output: Contribution to journalConference article

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

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

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

Research output: Contribution to journalConference article

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

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

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

An architectural framework for detecting process hangs/crashes

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

Research output: Contribution to journalConference article

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

A sufficient completeness reasoning tool for partial specifications

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

Research output: Contribution to journalConference article

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

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

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

Behavioral extensions of institutions

Popescu, A. & Roşu, G., Jan 1 2005, In : Lecture Notes in Computer Science. 3629, p. 331-347 17 p.

Research output: Contribution to journalConference article

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

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

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

Congruences for visibly pushdown languages

Alur, R., Kumar, V., Madhusudan, P. & Viswanathan, M., Jan 1 2005, In : Lecture Notes in Computer Science. 3580, p. 1102-1114 13 p.

Research output: Contribution to journalConference article

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

Design and comparison of lightweight group management strategies in EnviroSuite

Luo, L., Abdelzaher, T., He, T. & Stankovic, J. A., Jan 1 2005, In : Lecture Notes in Computer Science. 3560, p. 155-172 18 p.

Research output: Contribution to journalConference article

Detecting errors in multithreaded programs by generalized predictive analysis of executions

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

Research output: Contribution to journalConference article

Open Access

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

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

Efficient constructions for one-way hash chains

Hu, Y. C., Jakobsson, M. & Perrig, A., Oct 17 2005, In : Lecture Notes in Computer Science. 3531, p. 423-441 19 p.

Research output: Contribution to journalConference article

Efficient model checking of hardware using conditioned slicing

Vasudevan, S., Emerson, E. A. & Abraham, J. A., May 23 2005, In : Electronic Notes in Theoretical Computer Science. 128, 6, p. 279-294 16 p.

Research output: Contribution to journalConference article

Efficient monitoring of ω-languages

D'Amorim, M. & Roşu, G., Jan 1 2005, In : Lecture Notes in Computer Science. 3576, p. 364-378 15 p.

Research output: Contribution to journalConference article

Open Access

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

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

Fast and detailed approximate global illumination by irradiance decomposition

Arikan, O., Forsyth, D. A. & O'Brien, J. F., Jul 1 2005, In : ACM Transactions on Graphics. 24, 3, p. 1108-1114 7 p.

Research output: Contribution to journalConference article

Formally defining and verifying Master/Slave Speculative Parallelization

Salverda, P., Roşu, G. & Zilles, C., Jan 1 2005, In : Lecture Notes in Computer Science. 3582, p. 123-138 16 p.

Research output: Contribution to journalConference article

Foundations for the run-time monitoring of reactive systems fundamentals of the MaC language

Viswanathan, M. & Kim, M., Jan 1 2005, In : Lecture Notes in Computer Science. 3407, p. 543-556 14 p.

Research output: Contribution to journalConference article

From conditional to unconditional rewriting

Roşu, G., Jan 1 2005, In : Lecture Notes in Computer Science. 3423, p. 218-233 16 p.

Research output: Contribution to journalConference article

GraphMiner: A structural pattern-mining system for large disk-based graph databases and its applications

Wang, W., Wang, C., Zhu, Y., Shi, B., Pei, J., Yan, X. & Han, J., Dec 1 2005, In : Proceedings of the ACM SIGMOD International Conference on Management of Data. p. 879-881 3 p.

Research output: Contribution to journalConference article

Helping users avoid bugs in GUI applications

Michail, A. & Xie, T., Dec 1 2005, In : Proceedings - International Conference on Software Engineering. 2005, p. 107-116 10 p., 1553553.

Research output: Contribution to journalConference article

Java-MOP: A monitoring oriented programming environment for java

Chen, F. & Roşu, G., Jan 1 2005, In : Lecture Notes in Computer Science. 3440, p. 546-550 5 p.

Research output: Contribution to journalConference article

Open Access

Localized fairness: A rewriting semantics

Meseguer, J., Jan 1 2005, In : Lecture Notes in Computer Science. 3467, p. 250-263 14 p.

Research output: Contribution to journalConference article

Monotonic convergence of iterative learning control for uncertain systems using a time-varying Q-filter

Bristow, D. A. & Alleyne, A. G., Sep 1 2005, In : Proceedings of the American Control Conference. 1, p. 171-177 7 p., WeA06.1.

Research output: Contribution to journalConference article

Natural narrowing for general term rewriting systems

Escobar, S., Meseguer, J. & Thati, P., Sep 26 2005, In : Lecture Notes in Computer Science. 3467, p. 279-293 15 p.

Research output: Contribution to journalConference article

Natural rewriting for general term rewriting systems

Escobar, S., Meseguer, J. & Thati, P., Oct 18 2005, In : Lecture Notes in Computer Science. 3573, p. 101-116 16 p.

Research output: Contribution to journalConference article

New sensitivity analysis attack

El Choubassi, M. & Moulin, P., Jul 21 2005, In : Proceedings of SPIE - The International Society for Optical Engineering. 5681, p. 734-745 12 p., 72.

Research output: Contribution to journalConference article