Research Output

Filter
Conference article
2001

Organically-structured control

Šiljak, D. D. & Stipanović, D. M., Jan 1 2001, In : Proceedings of the American Control Conference. 4, p. 2736-2742 7 p.

Research output: Contribution to journalConference article

QoS-aware dependency management for component-based systems

Cui, Y. & Nahrstedt, K., Jan 1 2001, In : IEEE International Symposium on High Performance Distributed Computing, Proceedings. p. 127-140 14 p.

Research output: Contribution to journalConference article

Reduced precision redundancy for low-power digital filtering

Shim, B. & Shanbhag, N. R., Dec 1 2001, In : Conference Record of the Asilomar Conference on Signals, Systems and Computers. 1, p. 148-152 5 p.

Research output: Contribution to journalConference article

Regularized shape deformation for image segmentation

Wang, S. & Liang, Z-P., Sep 26 2001, In : ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. 3, p. 1569-1572 4 p.

Research output: Contribution to journalConference article

Representation and execution of Petri nets using rewriting logic as a unifying framework

Stehr, M. O., Meseguer, J. & Ölveczky, P. C., Jul 2001, In : Electronic Notes in Theoretical Computer Science. 44, 4, p. 140-162 23 p.

Research output: Contribution to journalConference article

Saving energy with architectural and frequency adaptations for multimedia applications

Hughes, C. J., Srinivasan, J. & Adve, S. V., Dec 1 2001, In : Proceedings of the Annual International Symposium on Microarchitecture. p. 250-261 12 p.

Research output: Contribution to journalConference article

Semi active internal model control for passive disturbance rejection

Alleyne, A. & Tharayil, M., 2001, In : Proceedings of the American Control Conference. 2, p. 1438-1443 6 p.

Research output: Contribution to journalConference article

The minimum principle for deterministic impulsive control systems

Chudoung, J. & Beck, C., Dec 1 2001, In : Proceedings of the IEEE Conference on Decision and Control. 4, p. 3569-3574 6 p.

Research output: Contribution to journalConference article

2000

Accurate and efficient predicate analysis with binary decision diagrams

Sias, J. W., Hwu, W. M. W. & August, D. I., Jan 1 2000, In : Proceedings of the Annual International Symposium on Microarchitecture. p. 112-123 12 p.

Research output: Contribution to journalConference article

Adaptive error-cancellation for low-power digital filtering

Wang, L. & Shanbhag, N. R., 2000, In : Conference Record of the Asilomar Conference on Signals, Systems and Computers. 2, p. 1702-1706 5 p.

Research output: Contribution to journalConference article

Adaptive Middleware Architecture for a distributed omni-directional visual tracking system

Li, B., Jeon, W., Kalter, W., Nahrstedt, K. & Seo, J. H., Jan 1 2000, In : Proceedings of SPIE - The International Society for Optical Engineering. 3969, p. 101-112 12 p.

Research output: Contribution to journalConference article

Analysis of code division random multiple access systems with packet combining

Prakash, R. & Veeravalli, V. V., Dec 1 2000, In : Conference Record of the Asilomar Conference on Signals, Systems and Computers. 2, p. 1225-1229 5 p.

Research output: Contribution to journalConference article

An automated profiling subsystem for QoS-aware services

Abdelzaher, T. F., Dec 1 2000, In : Real-Time Technology and Applications - Proceedings. p. 208-217 10 p., 852465.

Research output: Contribution to journalConference article

An N 2 log N back-projection algorithm for SAR image formation

Xiao, S., Munson, J., Basu, S. & Bresler, Y., Dec 1 2000, In : Conference Record of the Asilomar Conference on Signals, Systems and Computers. 1, p. 3-7 5 p.

Research output: Contribution to journalConference article

Architecture driven filter transformations

Sharma, M. & Shanbhag, N. R., Jan 1 2000, In : Proceedings - IEEE International Symposium on Circuits and Systems. 5, p. V-601-V-604

Research output: Contribution to journalConference article

Behavioral and coinductive rewriting

Goguen, J., Lin, K. & Roşu, G., Dec 1 2000, In : Electronic Notes in Theoretical Computer Science. 36, p. 2-23 22 p.

Research output: Contribution to journalConference article

Design and performance of MPEG video streaming to palmtop computers

Hess, C. K., Raila, D., Campbell, R. H. & Mickunas, D., Jan 1 2000, In : Proceedings of SPIE - The International Society for Optical Engineering. 3969, p. 266-273 8 p.

Research output: Contribution to journalConference article

Energy-efficiency bounds for noise-tolerant dynamic circuits

Shanbhag, N. R. & Wang, L., Jan 1 2000, In : Proceedings - IEEE International Symposium on Circuits and Systems. 4, p. IV-273-IV-276

Research output: Contribution to journalConference article

Energy-efficient leakage-tolerant dynamic circuit technique

Wang, L., Krishnamurthy, R. K., Soumyanath, K. & Shanbhag, N. R., Jan 1 2000, In : Proceedings of the Annual IEEE International ASIC Conference and Exhibit. p. 221-225 5 p.

Research output: Contribution to journalConference article

Fourier descriptors for parametric shape estimation in inverse scattering problems

Ye, J. C., Bresler, Y. & Moulin, P., Jan 1 2000, In : Proceedings of SPIE - The International Society for Optical Engineering. 4052, p. 309-320 12 p.

Research output: Contribution to journalConference article

Framework for dynamic energy efficiency and temperature management

Huang, M., Renau, J., Yoo, S. M. & Torrellas, J., Dec 1 2000, In : Proceedings of the Annual International Symposium on Microarchitecture. p. 202-213 12 p.

Research output: Contribution to journalConference article

Hardware mechanism for dynamic extraction and relayout of program hot spots

Merten, M. C., Trick, A. R., Nystrom, E. M., Barnes, R. D. & Hwu, W. M. W., Jan 1 2000, In : Conference Proceedings - Annual International Symposium on Computer Architecture, ISCA. p. 59-70 12 p.

Research output: Contribution to journalConference article

Hierarchical QoS routing in delay-bandwidth sensitive networks

Lui, K. S., Nahrstedt, K. & Chen, S., Dec 1 2000, In : Conference on Local Computer Networks. p. 579-588 10 p.

Research output: Contribution to journalConference article

H-optimal tracking control techniques for nonlinear underactuated systems

Toussaint, G. J., Başar, T. & Bullo, F., 2000, In : Proceedings of the IEEE Conference on Decision and Control. 3, p. 2078-2083 6 p.

Research output: Contribution to journalConference article

Integration of CORBA services with a dynamic real-time architecture

Polze, A., Schwarz, J., Wehner, K. & Sha, L., Dec 1 2000, In : Real-Time Technology and Applications - Proceedings. p. 198-206 9 p., 852464.

Research output: Contribution to journalConference article

Low-power signal processing via error-cancellation

Wang, L. & Shanbhag, N. R., Dec 1 2000, In : IEEE Workshop on Signal Processing Systems, SiPS: Design and Implementation. p. 553-562 10 p.

Research output: Contribution to journalConference article

MeGaDiP: A wide-area Media Gateway Discovery Protocol

Xu, D., Nahrstedt, K. & Wichadakul, D., Jan 1 2000, In : IEEE International Performance, Computing and Communications Conference, Proceedings. p. 257-263 7 p.

Research output: Contribution to journalConference article

On nonlinear controllability of homogeneous systems linear in control

Melody, J. W., Başar, T. & Bullo, F., Dec 1 2000, In : Proceedings of the IEEE Conference on Decision and Control. 4, p. 3971-3976 6 p.

Research output: Contribution to journalConference article

Parameterized theories and views in full Maude 2.0

Durán, F. & Meseguer, J., Dec 1 2000, In : Electronic Notes in Theoretical Computer Science. 36, p. 316-338 23 p.

Research output: Contribution to journalConference article

Real-time Maude: A tool for simulating and analyzing real-time and hybrid systems

Ölveczky, P. C. & Meseguer, J., Dec 1 2000, In : Electronic Notes in Theoretical Computer Science. 36, p. 361-382 22 p.

Research output: Contribution to journalConference article

Reliable low-power design in the presence of deep submicron noise

Shanbhag, N., Soumyanath, K. & Martin, S., Dec 3 2000, In : Proceedings of the International Symposium on Low Power Electronics and Design. p. 295-302 8 p.

Research output: Contribution to journalConference article

Rewriting semantics of meta-objects and composable distributed services

Denker, G., Meseguer, J. & Talcott, C., Dec 1 2000, In : Electronic Notes in Theoretical Computer Science. 36, p. 405-425 21 p.

Research output: Contribution to journalConference article

Spot-checkers

Ergün, F., Kannan, S., Kumar, S. R., Rubinfeld, R. & Viswanathan, M., Jun 2000, In : Journal of Computer and System Sciences. 60, 3, p. 717-751 35 p.

Research output: Contribution to journalConference article

Statistical imaging and complexity regularization

Moulin, P. & Liu, J., Dec 1 2000, In : IEEE International Symposium on Information Theory - Proceedings. 1 p.

Research output: Contribution to journalConference article

Towards Maude 2.0

Clave, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J. & Quesada, J. F., Dec 1 2000, In : Electronic Notes in Theoretical Computer Science. 36, p. 294-315 22 p.

Research output: Contribution to journalConference article

Transmission power control for multiple access wireless packet networks

Monks, J. P., Bharghavan, V. & Hwu, W. M. W., Dec 1 2000, In : Conference on Local Computer Networks. p. 12-21 10 p.

Research output: Contribution to journalConference article

Very high-speed Reed-Solomon decoders

Sarwate, D. V. & Shanbhag, N. R., Dec 1 2000, In : IEEE International Symposium on Information Theory - Proceedings. 1 p.

Research output: Contribution to journalConference article

1999

Achieving nonvanishing stability regions with high-gain cheap control using H techniques: The second order case

Toussaint, G. J. & Basar, T., 1999, In : Proceedings of the American Control Conference. 2, p. 1279-1283 5 p.

Research output: Contribution to journalConference article

Agent mobility under price incentives

Maheswaran, R. T., Imer, O. C. & Basar, M. T., Dec 1 1999, In : Proceedings of the IEEE Conference on Decision and Control. 4, p. 4020-4025 6 p.

Research output: Contribution to journalConference article

Compiler-directed dynamic computation reuse: Rationale and initial results

Connors, D. A. & Hwu, W-M. W., Dec 1 1999, In : Proceedings of the Annual International Symposium on Microarchitecture. p. 158-169 12 p.

Research output: Contribution to journalConference article

Control under a hierarchical decision making structure

Voulgaris, P. G., Dec 1 1999, In : Proceedings of the American Control Conference. 4, p. 2757-2758 2 p.

Research output: Contribution to journalConference article

Distributed control of inhomogeneous systems, with boundary conditions

Dullerud, G. E. & D'Andrea, R., Dec 1 1999, In : Proceedings of the IEEE Conference on Decision and Control. 1, p. 186-190 5 p.

Research output: Contribution to journalConference article

Exploiting the dependencies in information fusion

Pan, H., Liang, Z. P. & Huang, T. S., Jan 1 1999, In : Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition. 2, p. 407-412 6 p.

Research output: Contribution to journalConference article

Globally stabilizing second order nonlinear systems by SDRE control

Erdem, E. B. & Alleyne, A. G., Dec 1 1999, In : Proceedings of the American Control Conference. 4, p. 2501-2505 5 p.

Research output: Contribution to journalConference article

Hardware-driven profiling scheme for identifying program hot spots to support runtime optimization

Merten, M. C., Trick, A. R., George, C. N., Gyllenhaal, J. C. & Hwu, W. M. W., Jan 1 1999, In : Conference Proceedings - Annual International Symposium on Computer Architecture, ISCA. p. 136-147 12 p.

Research output: Contribution to journalConference article

Low-power CDMA multiuser receiver architectures

Long, T. & Shanbhag, N. R., Dec 1 1999, In : IEEE Workshop on Signal Processing Systems, SiPS: Design and Implementation. p. 493-502 10 p.

Research output: Contribution to journalConference article