Research Output

Filter
Conference article
Conference 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

Pathlet routing

Godfrey, P. B., Ganichev, I., Shenker, S. & Stoica, I., Nov 30 2009, In : Computer Communication Review. 39, 4, p. 111-122 12 p.

Research output: Contribution to journalConference article

Performance analysis of algorithmic noise-tolerance techniques

Shim, B. & Shanbhag, N. R., Jul 14 2003, In : Proceedings - IEEE International Symposium on Circuits and Systems. 4

Research output: Contribution to journalConference article

Performance analysis of a shared memory multiprocessor: Case study

Dimpsey, R. T. & Iyer, R. K., Dec 1 1988, In : Proceedings of the International Conference on Parallel Processing. 1, p. 174-181 8 p.

Research output: Contribution to journalConference article

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

PERFORMANCE BOUNDS FOR HIERARCHICAL SYSTEMS UNDER PARTIAL DYNAMIC INFORMATION.

Basar, T., Jan 1 1981, In : Proceedings of the IEEE Conference on Decision and Control. 3, p. 1133-1138 6 p.

Research output: Contribution to journalConference article

Performance of the strength-reduced adaptive filter architecture for 51.84 Mb/s ATM-LAN

Goel, M. & Shanbhag, N. R., Jan 1 1997, In : Proceedings - IEEE International Symposium on Circuits and Systems. 3, p. 2132-2135 4 p.

Research output: Contribution to journalConference article

Perturbed timed automata

Alur, R., La Torre, S. & Madhusudan, P., Sep 14 2005, In : Lecture Notes in Computer Science. 3414, p. 70-85 16 p.

Research output: Contribution to journalConference article

Positional adaptation of processors: Application to energy reduction

Huang, M. C., Renau, J. & Torrellas, J., Jul 17 2003, In : Conference Proceedings - Annual International Symposium on Computer Architecture, ISCA. p. 157-168 12 p.

Research output: Contribution to journalConference article

POSTER: HVISC: A Portable Abstraction for Heterogeneous Parallel Systems

Srivastava, P., Kotsifakou, M., Sinclair, M. D., Komuravelli, R., Adve, V. & Adve, S., Jan 1 2016, In : Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT. p. 443-445 3 p.

Research output: Contribution to journalConference article

PowerFlow: A Toolbox for Modeling and Simulation of Aircraft Systems

Williams, M., Sridharan, S., Banerjee, S., Mak, C., Pauga, C., Krein, P., Alleyne, A., Jacobi, A. & D'Urso, S., Sep 15 2015, In : SAE Technical Papers. 2015-September, September

Research output: Contribution to journalConference article

Preconditioned iterative solver for dynamic simulation of power systems

Pai, M. A., Sauer, P. W. & Kulkarni, A. Y., Jan 1 1995, In : Proceedings - IEEE International Symposium on Circuits and Systems. 2, p. 1279-1282 4 p.

Research output: Contribution to journalConference article

Preserving privacy in cyber-physical-social systems: An anonymity and access control approach

Sharma, T., Bambenek, J. C. & Bashir, M., Jan 1 2019, In : CEUR Workshop Proceedings. 2530, p. 16-21 6 p.

Research output: Contribution to journalConference article

Pricing for sharing economy with reputation

Ma, Q., Huang, J., Basar, M. T., Liu, J. & Chen, X., Jan 12 2017, In : Performance Evaluation Review. 44, 3, 1 p.

Research output: Contribution to journalConference article

Probabilistic multimodeling in zero-sum differential games

Basar, M. T., Dec 1 1988, In : Proceedings of the IEEE Conference on Decision and Control. p. 1425-1429 5 p.

Research output: Contribution to journalConference article

Probabilistic verification of a synchronous round-based consensus protocol

Duggal, H. S., Cukier, M. & Sanders, W. H., Dec 1 1997, In : Proceedings of the IEEE Symposium on Reliable Distributed Systems. p. 165-174 10 p.

Research output: Contribution to journalConference article

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

Program decision logic approach to predicated execution

August, D. I., Sias, J. W., Puiatti, J. M., Mahlke, S. A., Connors, D. A., Crozier, K. M. & Hwu, W. M. W., Jan 1 1999, In : Conference Proceedings - Annual International Symposium on Computer Architecture, ISCA. p. 208-219 12 p.

Research output: Contribution to journalConference article

Providing seamless QoS for multimedia multicast in wireless packet networks

Xu, D., Li, B., Nahrstedt, K. & Liu, J. W. S., Jan 1 1999, In : Proceedings of SPIE - The International Society for Optical Engineering. 3528, p. 352-361 10 p.

Research output: Contribution to journalConference article

Proxy-based asynchronous multicast for efficient on-demand media distribution

Cui, Y. & Nahrstedt, K., May 26 2003, In : Proceedings of SPIE - The International Society for Optical Engineering. 5019, p. 162-176 15 p.

Research output: Contribution to journalConference article

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

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

QoS negotiation in real-time systems and its application to automated flight control

Abdelzaher, T. F., Atkins, E. M. & Shin, K. G., Dec 1 1997, In : Real-Time Technology and Applications - Proceedings. p. 228-238 11 p., 601361.

Research output: Contribution to journalConference article

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

Quantization and Coding for Decentralized LTI Systems

Yüksel, S. & Başar, T., Dec 1 2003, In : Proceedings of the IEEE Conference on Decision and Control. 3, p. 2847-2852 6 p.

Research output: Contribution to journalConference article

Question answering via integer programming over semi-structured knowledge

Khashabi, D., Khot, T., Sabharwal, A., Clark, P., Etzioni, O. & Roth, D., Jan 1 2016, In : IJCAI International Joint Conference on Artificial Intelligence. 2016-January, p. 1145-1152 8 p.

Research output: Contribution to journalConference article

Randomized algorithms for quadratic stability of quantized sampled-data systems

Ishii, H., Başar, T. & Tempo, R., Nov 7 2003, In : Proceedings of the American Control Conference. 6, p. 5046-5051 6 p.

Research output: Contribution to journalConference article

Random Perturbations of Aeroelastic and Mechanical Systems

Lingala, N., Namachchivaya, N. S., Singha, P. & Yeong, H. C., Jan 1 2016, In : Procedia Engineering. 144, p. 859-866 8 p.

Research output: Contribution to journalConference article

Random Perturbations of Periodically Driven Nonlinear Oscillators

Lingala, N., Namachchivaya, N. S., Pavlyukevich, I. & Wedig, W., Jan 1 2016, In : Procedia IUTAM. 19, p. 91-100 10 p.

Research output: Contribution to journalConference article

Reactive power considerations in linear ATC computation

Grijalva, S. & Sauer, P. W., Jan 1 1999, In : Proceedings of the Hawaii International Conference on System Sciences. 1 p.

Research output: Contribution to journalConference article

Real-time embedded system support for the BTeV level 1 muon trigger

Haney, M. J., Beauregard, D., Iyer, R., Kalbarczyk, Z., Liu, Q., Wang, L., Haney, M., Selen, M., Mosse, D., Shigiltchoff, O., Chopade, R., Hovey, L., Jung, M., Messie, D., Oh, J., Stone, S., Bapty, T., Neema, S., Nordstrom, S., Shetty, S. & 9 others, Vashishtha, S., Yao, D., Sheldon, P., Vaandering, E., Butler, J., Gottschalk, E., Kowalkowski, J., Votava, M. & Appel, J., Dec 1 2003, In : IEEE Nuclear Science Symposium Conference Record. 2, p. 1295-1298 4 p., N36-65.

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

Receding-horizon approach to robust output feedback control for nonlinear systems

Blauwkamp, R. & Basar, T., Dec 1 1999, In : Proceedings of the IEEE Conference on Decision and Control. 5, p. 4879-4884 6 p.

Research output: Contribution to journalConference article

Reconfigurable control system design for future life support systems

Jiang, H., Rodriguez, L. F., Bell, S. & Kortenkamp, D., Jan 1 2008, In : SAE Technical Papers.

Research output: Contribution to journalConference article

RECURSIVE ALGORITHMS FOR OPTIMAL SOLUTIONS OF STOCHASTIC TEAMS WITH DECENTRALIZED INFORMATION.

Basar, M. T. & Li, S., Dec 1 1985, In : Proceedings of the American Control Conference. p. 231-236 6 p.

Research output: Contribution to journalConference article

Reduced Order Modeling of Transcritical AC System Dynamics Using Singular Perturbation

Rasmussen, B., Alleyne, A. G. & Shah, R., Nov 6 2003, In : Proceedings of the American Control Conference. 3, p. 2264-2269 6 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

Reducing peak power with a table-driven adaptive processor core

Kontorinis, V., Shayan, A., Kumar, R. & Tullsen, D. M., Dec 1 2009, In : Proceedings of the Annual International Symposium on Microarchitecture, MICRO. p. 189-200 12 p.

Research output: Contribution to journalConference article

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

Redundancy testing and cost assessment for environmental control and life support systems

Jiang, H., Rodriguez, L. F., Bell, S. & Kortenkamp, D., Jan 1 2009, In : SAE Technical Papers.

Research output: Contribution to journalConference article

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

Region-based compilation: an introduction and motivation

Hank, R. E., Hwu, W. M. W. & Rau, B. R., Jan 1 1995, In : Proceedings of the Annual International Symposium on Microarchitecture. p. 158-168 11 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

Regular strategies as proof tactics for CIRC

Lucanu, D., Roşu, G. & Grigoraş, G., Dec 1 2007, In : Electronic Notes in Theoretical Computer Science. p. 69-83 15 p.

Research output: Contribution to journalConference article