Research Output

Filter
Conference article
2002

Remote control of LTI systems over networks with state quantization

Ishii, H. & Başar, T., Dec 1 2002, In : Proceedings of the IEEE Conference on Decision and Control. 1, p. 830-835 6 p.

Research output: Contribution to journalConference article

Resolution complete rapidly-exploring random trees

Cheng, P. & LaValle, S. M., Jan 1 2002, In : Proceedings - IEEE International Conference on Robotics and Automation. 1, p. 267-272 6 p.

Research output: Contribution to journalConference article

Revenue-maximizing pricing and capacity expansion in a many-users regime

Başar, T. & Srikant, R., Jan 1 2002, In : Proceedings - IEEE INFOCOM. 1, p. 294-301 8 p.

Research output: Contribution to journalConference article

Stability of two-variable interval polynomials via positivity

Šiljak, D. D. & Stipanovič, D. M., Jan 1 2002, In : IFAC Proceedings Volumes (IFAC-PapersOnline). 15, 1, p. 7-12 6 p.

Research output: Contribution to journalConference article

The aperiodic multiprocessor utilization bound for liquid tasks

Abdelzaher, T., Andersson, B., Jonsson, J., Sharma, V. & Nguyen, M., Jan 1 2002, In : Real-Time Technology and Applications - Proceedings. p. 173-184 12 p., 1137392.

Research output: Contribution to journalConference article

The enhanced ticket-based routing algorithm

Xiao, L., Wang, J. & Nahrstedt, K., Jan 1 2002, In : IEEE International Conference on Communications. 4, p. 2222-2226 5 p.

Research output: Contribution to journalConference article

Towards behavioral maude: Behavioral membership equational logic

Meseguer, J. & Roşu, G., Oct 2002, In : Electronic Notes in Theoretical Computer Science. 65, 1, p. 197-253 57 p.

Research output: Contribution to journalConference article

Traffic load based reverse link power allocation for cellular packet data systems

Prakash, R. & Veeravalli, V. V., Jan 1 2002, In : IEEE Vehicular Technology Conference. 56, 4, p. 2332-2336 5 p.

Research output: Contribution to journalConference article

Undergraduate education in image and video processing

Moulin, P. & Orchard, M. T., Jul 11 2002, In : ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. 4, p. IV/4157-IV/4158

Research output: Contribution to journalConference article

2001

ACLA: A framework for Access Control List (ACL) analysis and optimization

Qian, J., Hinrichs, S. & Nahrstedt, K., Jan 1 2001, In : IFIP Advances in Information and Communication Technology. 64, p. 197-211 15 p.

Research output: Contribution to journalConference article

A connection formalism for the solution of large and stiff models

Daly, D. & Sanders, W. H., Jan 1 2001, In : Proceedings of the IEEE Annual Simulation Symposium. p. 258-265 8 p.

Research output: Contribution to journalConference article

A distributed globally convergent algorithm for fair, queue-length-based congestion control

Imer, O. Ç., Basar, M. T. & Srikant, R., Dec 1 2001, In : Proceedings of the IEEE Conference on Decision and Control. 1, p. 622-627 6 p.

Research output: Contribution to journalConference article

A feedback control approach for guaranteeing relative delays in web servers

Lu, C., Abdelzaher, T. F., Stankovic, J. A. & Son, S. H., Jan 1 2001, In : Real-Time Technology and Applications - Proceedings. p. 51-62 12 p.

Research output: Contribution to journalConference article

A low-power digital filter IC via soft DSP

Hegde, R. & Shanbhag, N. R., Jan 1 2001, In : Proceedings of the Custom Integrated Circuits Conference. p. 309-312 4 p.

Research output: Contribution to journalConference article

A model reference load controller with adaptation using a two stage pressure relief valve

Zhang, R. & Alleyne, A. G., Jan 1 2001, In : Proceedings of the American Control Conference. 5, p. 3949-3954 6 p.

Research output: Contribution to journalConference article

An integrated data lookup and replication scheme in mobile ad hoc networks

Chen, K. & Nahrstedt, K., Dec 1 2001, In : Proceedings of SPIE - The International Society for Optical Engineering. 4534, p. 1-8 8 p.

Research output: Contribution to journalConference article

A variable rate model with QoS guarantees for real time internet traffic

Alpcan, T. & Basar, M. T., Jan 1 2001, In : Proceedings of SPIE - The International Society for Optical Engineering. 4211, p. 234-245 12 p.

Research output: Contribution to journalConference article

Code reordering and speculation support for dynamic optimization systems

Nystrom, E. M., Barnes, R. D., Merten, M. C. & Hwu, W-M. W., Jan 1 2001, In : Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT. p. 163-174 12 p.

Research output: Contribution to journalConference article

Control of nonstationary LPV systems

Farhood, M. & Dullerud, G. E., Dec 1 2001, In : Proceedings of the IEEE Conference on Decision and Control. 3, p. 2380-2385 6 p.

Research output: Contribution to journalConference article

Decentralized dynamic power control for cellular spread spectrum systems

Chamberland, J. F. & Veeravalli, V. V., Jan 1 2001, In : Proceedings of SPIE - The International Society for Optical Engineering. 4531, p. 166-178 13 p.

Research output: Contribution to journalConference article

Decentralized network resource allocation as a repeated noncooperative market game

Maheswaran, R. T. & Basar, T., Dec 1 2001, In : Proceedings of the IEEE Conference on Decision and Control. 5, p. 4565-4570 6 p.

Research output: Contribution to journalConference article

Effect of step length on ability of young and elderly women to recover balance

Hsiao-Wecksler, E. T., Stotz, P. J. & Robinovitch, S. N., Dec 1 2001, In : American Society of Mechanical Engineers, Bioengineering Division (Publication) BED. 50, p. 573-574 2 p.

Research output: Contribution to journalConference article

Fundamental performance limitations for a class of electronic two-stage proportional flow valves

Prasetiawan, E., Zhang, R. & Alleyne, A. G., Jan 1 2001, In : Proceedings of the American Control Conference. 5, p. 3955-3960 6 p.

Research output: Contribution to journalConference article

High resolution cardiac magnetic resonance imaging: A model-based approach

Ji, J. & Liang, Z. P., Dec 1 2001, In : Annual Reports of the Research Reactor Institute, Kyoto University. 3, p. 2268-2271 4 p.

Research output: Contribution to journalConference article

Image restoration using statistical wavelet models

Liu, J. & Moulin, P., Dec 1 2001, In : Proceedings of SPIE - The International Society for Optical Engineering. 4478, p. 20-33 14 p.

Research output: Contribution to journalConference article

Integrated vehicle control via coordinated steering and wheel torque inputs

Brennan, S. & Alleyne, A., Jan 1 2001, In : Proceedings of the American Control Conference. 1, p. 7-12 6 p.

Research output: Contribution to journalConference article

Interpreting abstract interpretations in membership equational logic

Fischer, B. & Roşu, G., Nov 1 2001, In : Electronic Notes in Theoretical Computer Science. 59, 4, p. 271-285 15 p.

Research output: Contribution to journalConference article

Java-MaC: A run-time assurance tool for Java programs

Kim, M., Kannan, S., Lee, I., Sokolsky, O. & Viswanathan, M., Oct 1 2001, In : Electronic Notes in Theoretical Computer Science. 55, 2, p. 218-235 18 p.

Research output: Contribution to journalConference article

MMTP - Protocolo de transporte multimedia multiplexado

Translated title of the contribution: MMTP - Multimedia multiplexing transport protocolMagalhaes, L. & Kravets, R. H., Sep 29 2001, In : Computer Communication Review. 31, 2, p. 220-243 24 p.

Research output: Contribution to journalConference article

Monitoring Java programs with Java PathExplorer

Havelund, K. & Roşu, G., Oct 1 2001, In : Electronic Notes in Theoretical Computer Science. 55, 2, p. 200-217 18 p.

Research output: Contribution to journalConference article

Motion planning for nonelinear underactuated vehicles using H techniques

Toussaint, G. J., Başar, T. & Bullo, F., Jan 1 2001, In : Proceedings of the American Control Conference. 5, p. 4097-4102 6 p.

Research output: Contribution to journalConference article

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

Thermomechanical formation and thermal sensing of nanometer-scale indentations in PMMA thin films for parallel and dense AFM data storage

Cross, G. L. W., Despont, M., Drechsler, U., Dürig, U. T., Rothuizen, H., Binnig, G. K., Vettiger, P., King, W. P. & Goodson, K. E., Jan 1 2001, In : Materials Research Society Symposium - Proceedings. 649, p. Q2.3.1-Q2.3.6

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