Research Output

Filter
Conference 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., Sep 14 2005, In : Lecture Notes in Computer Science. 3423, p. 126-143 18 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

The role of a market maker in networked cournot competition

Bose, S., Cai, D. W. H., Low, S. & Wierman, A., Jan 1 2014, In : Proceedings of the IEEE Conference on Decision and Control. 2015-February, February, p. 4479-4484 6 p., 7040088.

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

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

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 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

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., Oct 19 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

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-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., Jan 1 1997, In : Data Compression Conference Proceedings. 1 p.

Research output: Contribution to journalConference article

Unrolling-based optimizations for modulo scheduling

Lavery, D. M. & Hwu, W. M. W., Jan 1 1995, In : Proceedings of the Annual International Symposium on Microarchitecture. p. 327-337 11 p.

Research output: Contribution to journalConference article

Unsupervised link selection in networks

Gu, Q., Aggarwal, C. & Han, J., Jan 1 2013, In : Journal of Machine Learning Research. 31, p. 298-306 9 p.

Research output: Contribution to journalConference article

Using an Adaptive HPC Runtime System to Reconfigure the Cache Hierarchy

Totoni, E., Torrellas, J. & Kale, L. V., Jan 16 2014, In : International Conference for High Performance Computing, Networking, Storage and Analysis, SC. 2015-January, January, p. 1047-1058 12 p., 7013072.

Research output: Contribution to journalConference article

Using language inference to verify omega-regular properties

Vardhan, A., Sen, K., Viswanathan, M. & Agha, G., Sep 19 2005, In : Lecture Notes in Computer Science. 3440, p. 45-60 16 p.

Research output: Contribution to journalConference article

Variant Narrowing and equational unification

Escobar, S., Meseguer, J. & Sasse, R., Dec 1 2008, In : Electronic Notes in Theoretical Computer Science. p. 91-105 15 p.

Research output: Contribution to journalConference article

Variations on projection-pursuit for multi-parameter image visualization

Harikumar, G. & Bresler, Y., Jul 29 1993, In : Proceedings of SPIE - The International Society for Optical Engineering. 1905, p. 356-367 12 p.

Research output: Contribution to journalConference article

Vector field visualization: Analysis of feature extraction methods

Harikumar, G. & Bresler, Y., Jan 1 1994, In : Proceedings - International Conference on Image Processing, ICIP. 2, p. 51-55 5 p., 413529.

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

Vision-based dynamic coverage control for nonholonomic agents

Panagou, D., Stipanovic, D. M. & Voulgaris, P. G., Jan 1 2014, In : Proceedings of the IEEE Conference on Decision and Control. 2015-February, February, p. 2198-2203 6 p., 7039724.

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

WearCore: A Core for Wearable Workloads

Mehta, S. & Torrellas, J., Jan 1 2016, In : Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT. p. 153-164 12 p.

Research output: Contribution to journalConference article

Web content adaptation to improve server overload behavior

Abdelzaher, T. F. & Bhatti, N., May 17 1999, In : Computer Networks. 31, 11, p. 1563-1577 15 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

Word level feature discovery to enhance quality of assertion mining

Liu, L., Lin, C. H. & Vasudevan, S., Dec 1 2012, In : IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD. p. 210-217 8 p., 6386611.

Research output: Contribution to journalConference article

X-codes: Error control with unknowable inputs

Lumetta, S. S. & Mitra, S., Jan 1 2003, In : IEEE International Symposium on Information Theory - Proceedings. 1 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