Research Output

Filter
Conference article

STOCHASTIC TEAMS WITH NONCLASSICAL INFORMATION REVISITED: WHEN IS AN AFFINE LAW OPTIMAL? .

Bansal, R. & Basar, T., Jan 1 1986, In : Proceedings of the American Control Conference. p. 45-50 6 p.

Research output: Contribution to journalConference article

Structural properties of minimax policies for a class of differential games arising in nonlinear H-control and filtering

Didinsky, G., Basar, T. & Bernhard, P., Dec 1 1993, In : Proceedings of the IEEE Conference on Decision and Control. 1, p. 184-189 6 p.

Research output: Contribution to journalConference article

Study of Error Vector Magnitude Patterns (EVRP) for a transmit/receive pair of microstrip patch antennas

Huff, G. H., Soldner, N., Palmer, W. D. & Bernhard, J. T., Dec 1 2006, In : IEEE Antennas and Propagation Society, AP-S International Symposium (Digest). p. 449-452 4 p., 1710555.

Research output: Contribution to journalConference article

Suspended membrane single crystal Silicon micro hotplate for differential scanning calorimetry

Lee, J., Spadaccini, C. M., Mukerjee, E. V. & King, W. P., Jun 1 2009, In : Proceedings of the IEEE International Conference on Micro Electro Mechanical Systems (MEMS). p. 852-855 4 p., 4805517.

Research output: Contribution to journalConference article

Swapout: Learning an ensemble of deep architectures

Singh, S., Hoiem, D. & Forsyth, D., Jan 1 2016, In : Advances in Neural Information Processing Systems. p. 28-36 9 p.

Research output: Contribution to journalConference article

Swarm-based dynamic coverage control

Atinç, G. M., Stipanović, D. M., Voulgaris, P. G. & Karkoub, M., Jan 1 2014, In : Proceedings of the IEEE Conference on Decision and Control. 2015-February, February, p. 6963-6968 6 p., 7040483.

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 compositional verification by learning assumptions

Alur, R., Madhusudan, P. & Nam, W., 2005, In : Lecture Notes in Computer Science. 3576, p. 548-562 15 p.

Research output: Contribution to journalConference article

Open Access

Symbolic computational techniques for solving games

Madhusudan, P., Nam, W. & Alur, R., 2003, In : Electronic Notes in Theoretical Computer Science. 89, 4, p. 578-592 15 p.

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

Symstra: A framework for generating object-oriented unit tests using symbolic execution

Xie, T., Marinov, D., Schulte, W. & Notkin, D., Sep 19 2005, In : Lecture Notes in Computer Science. 3440, p. 365-381 17 p.

Research output: Contribution to journalConference article

Synthesis of interface specifications for Java classes

Alur, R., Madhusudan, P., Černy, P. & Nam, W., 2005, In : Conference Record of the Annual ACM Symposium on Principles of Programming Languages. p. 98-109 12 p.

Research output: Contribution to journalConference article

Synthesis of switching rules for switched linear systems through randomized algorithms

Ishii, H., Başar, T. & Tempo, R., 2003, In : Proceedings of the IEEE Conference on Decision and Control. 5, p. 4788-4793 6 p.

Research output: Contribution to journalConference article

System design of a low-power I/O link

Sridhara, S. R., Balamurugan, G. & Shanbhag, N. R., Dec 1 2003, In : Conference Record of the Asilomar Conference on Signals, Systems and Computers. 2, p. 1468-1472 5 p.

Research output: Contribution to journalConference article

Tact: Design and performance of an open-source, affordable, myoelectric prosthetic hand

Slade, P., Akhtar, A., Nguyen, M. & Bretl, T. W., Jun 29 2015, In : Proceedings - IEEE International Conference on Robotics and Automation. 2015-June, June, p. 6451-6456 6 p., 7140105.

Research output: Contribution to journalConference article

Template-based real-time dwell scheduling with energy constraint

Shih, C. S., Gopalakrishnan, S., Ganti, P., Caccamo, M. & Sha, L., Dec 1 2003, In : Real-Time Technology and Applications - Proceedings. p. 19-27 9 p., 1203033.

Research output: Contribution to journalConference article

Testing heuristic tools for life support system analysis

Rodríguez, L. F., Jiang, H., Bell, S. & Kortenkamp, D., Jan 1 2007, In : SAE Technical Papers.

Research output: Contribution to journalConference article

TextCube: Automated construction and multidimensional exploration

Meng, Y., Huang, J., Shang, J. & Han, J., 2018, In : Proceedings of the VLDB Endowment. 12, 12, p. 1974-1977 4 p.

Research output: Contribution to journalConference article

The BubbleWrap many-core: Popping cores for sequential acceleration

Karpuzcu, U. R., Greskamp, B. & Torrellas, J., Dec 1 2009, In : Proceedings of the Annual International Symposium on Microarchitecture, MICRO. p. 447-458 12 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 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

The free configuration space of a Kirchhoff elastic rod is path-connected

Borum, A. & Bretl, T., Jun 29 2015, In : Proceedings - IEEE International Conference on Robotics and Automation. 2015-June, June, p. 2958-2964 7 p., 7139604.

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 Java memory model

Manson, J., Pugh, W. & Adve, S. V., Dec 27 2005, In : Conference Record of the Annual ACM Symposium on Principles of Programming Languages. p. 378-391 14 p.

Research output: Contribution to journalConference article

The LLVM compiler framework and infrastructure tutorial

Lattner, C. & Adve, V., Jan 1 2005, In : Lecture Notes in Computer Science. 3602, p. 15-16 2 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

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

Theoretical analysis of a multiscale algorithm for the direct segmentation of tomographic images

Kerfoot, I. B. & Bresler, Y., Jan 1 1994, In : Proceedings - International Conference on Image Processing, ICIP. 2, p. 177-181 5 p., 413555.

Research output: Contribution to journalConference article

Theoroidal maps as algebraic simulations

Martí-Oliet, N., Meseguer, J. & Palomino, M., 2005, In : Lecture Notes in Computer Science. 3423, p. 126-143 18 p.

Research output: Contribution to journalConference article

Threshold voltage variation effects on aging-related hard failure rates

Greskamp, B., Sarangi, S. R. & Torrellas, J., Jan 1 2007, In : Proceedings - IEEE International Symposium on Circuits and Systems. p. 1261-1264 4 p., 4252875.

Research output: Contribution to journalConference article

Tomography with unknown view angles

Basu, S. & Bresler, Y., Jan 1 1997, In : ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. 4, p. 2845-2848 4 p.

Research output: Contribution to journalConference article

Toward a neuroscope: A real-time imaging system for evaluation of brain function

Potter, C. S., Liang, Z. P., Gregory, C. D., Morris, H. D. & Lauterbur, P. C., Jan 1 1994, In : Proceedings - International Conference on Image Processing, ICIP. 3, p. 25-29 5 p., 413895.

Research output: Contribution to journalConference article

Towards a more fault resilient multigrid solver

Calhoun, J., Olson, L., Snir, M. & Gropp, W. D., Jan 1 2015, In : Simulation Series. 47, 4, p. 1-8 8 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

Towards correct network virtualization

Ghorbani, S. & Godfrey, B., Feb 25 2015, In : Computer Communication Review. 44, 4, p. 657-662 6 p.

Research output: Contribution to journalConference article

Towards designing and developing curriculum for the challenges of the smart grid education

Uludag, S., Sauer, P., Nahrstedt, K. & Yardley, T., Feb 17 2015, In : Proceedings - Frontiers in Education Conference, FIE. 2015-February, February, 7044469.

Research output: Contribution to journalConference article

Towards resilient UAV: Escape time in GPS denied environment with sensor drift

Yoon, H. J., Wan, W., Kim, H., Hovakimyan, N., Sha, L. & Voulgaris, P. G., Oct 2019, In : IFAC-PapersOnLine. 52, 12, p. 423-428 6 p.

Research output: Contribution to journalConference article

Open Access

Trace selection for compiling large C application programs to microcode

Chang, P. P. & Hwu, W-M. W., Dec 1 1988, In : MICRO: Annual Microprogramming Workshop. p. 21-29 9 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

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

Trimaran: An infrastructure for research in instruction-level parallelism

Chakrapani, L. N., Gyllenhaal, J., Hwu, W. M. W., Mahlke, S. A., Palem, K. V. & Rabbah, R. M., 2005, In : Lecture Notes in Computer Science. 3602, p. 32-41 10 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

TWO-LEVEL PLANNING AND SCHEDULING APPROACH FOR COMPUTER INTEGRATED MANUFACTURING.

Shaw, M., Dec 1 1986, In : National Bureau of Standards, Special Publication. p. 185-195 11 p.

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

UDP Network Communications for Distributed Wireless Control

Ploplys, N. J. & Alleyne, A. G., Nov 6 2003, In : Proceedings of the American Control Conference. 4, p. 3335-3340 6 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

Unified theory of time-sequential sampling

Bresler, Y. & Willis, N. P., Apr 8 1993, In : Proceedings of SPIE - The International Society for Optical Engineering. 1903, p. 37-50 14 p.

Research output: Contribution to journalConference article

'Universal' transform image coding based on joint adaptation of filter banks, tree structures and quantizers

Pavlovic, V., Ramchandran, K. & Moulin, P., 1997, In : Data Compression Conference Proceedings. 1 p.

Research output: Contribution to journalConference article