Research Output

Filter
Paper
Paper

Explicit and symbolic techniques for fast and scalable points-to analysis

Pek, E. & Madhusudan, P., Jun 12 2014.

Research output: Contribution to conferencePaper

Exploring the energy-latency trade-off for broadcasts in energy-saving sensor networks

Miller, M. J., Sengul, C. & Gupta, I., Jan 1 2005, p. 17-26. 10 p.

Research output: Contribution to conferencePaper

Factors in successful research proposal preparation

Sauer, P. W., Dec 1 2001. 1 p.

Research output: Contribution to conferencePaper

Fall of empires: Breaking byzantine-tolerant SGD by inner product manipulation

Xie, C., Koyejo, O. & Gupta, I., Jan 1 2019.

Research output: Contribution to conferencePaper

FAMAS: FAult Modeling via Adaptive Simulation

Jin, H., Iyer, R. K., Hsueh, M. C. & Covington, M., Jan 1 1997, p. 413-417. 5 p.

Research output: Contribution to conferencePaper

Fast and detailed approximate global illumination by irradiance decomposition

Arikan, O., Forsyth, D. A. & O'Brien, J. F., Dec 1 2007.

Research output: Contribution to conferencePaper

Fast dynamic simulation of power systems for security assessment

Dobraca, F., Pai, M. A. & Sauer, P. W., Jan 1 1991, p. 13-18. 6 p.

Research output: Contribution to conferencePaper

Fault/failure analysis of the Tandem NonStop-UX operating system

Iyer, R. K., Hsueh, M. C. & Lee, I., Dec 1 1996, p. 491-496. 6 p.

Research output: Contribution to conferencePaper

Fault characterization of a multilayered perceptron network

Tan, C. H. & Iyer, R. K., Dec 1 1990, p. 513-518. 6 p.

Research output: Contribution to conferencePaper

Fault origin adjudication

Bhargavan, K., Gunter, C. A. & Obradovic, D., Jan 1 2000, p. 61-71. 11 p.

Research output: Contribution to conferencePaper

Finding people by sampling

Ioffe, S. & Forsyth, D., Jan 1 1999, p. 1092-1097. 6 p.

Research output: Contribution to conferencePaper

FlexRAM: Toward an advanced Intelligent Memory system

Kang, Y., Huang, W., Yoo, S. M., Keen, D., Ge, Z., Lam, V., Pattnaik, P. & Torrellas, J., Dec 1 1999, p. 192-201. 10 p.

Research output: Contribution to conferencePaper

FOCUS: An experimental environment for validation of fault-tolerant systems - Case study of a jet-engine controller

Choi, G., Iyer, R. K. & Carreno, V., Dec 1 1989, p. 561-564. 4 p.

Research output: Contribution to conferencePaper

Formal analysis of fault-tolerant group key management using ZooKeeper

Skeirik, S., Bobba, R. B. & Meseguer, J., Aug 14 2013, p. 636-641. 6 p.

Research output: Contribution to conferencePaper

FTAPE: A fault injection tool to measure fault Tolerance

Tsai, T. K. & Iyer, R. K., Jan 1 1995, p. 339-346. 8 p.

Research output: Contribution to conferencePaper

Gaia: Enabling active spaces

Roman, M. & Campbell, R. H., Sep 17 2000, p. 229-234. 6 p.

Research output: Contribution to conferencePaper

Gaia mobility: Extending active space boundaries to everyday devices

Bresler, J., Al-Muhtadi, J. & Campbell, R. H., Jul 12 2004, p. 430-433. 4 p.

Research output: Contribution to conferencePaper

Game-theoretic analysis of watermark detection

Moulin, P. & Ivanović, A., Jan 1 2001, p. 975-978. 4 p.

Research output: Contribution to conferencePaper

Generalized fisher score for feature selection

Gu, Q., Li, Z. & Han, J., Sep 29 2011, p. 266-273. 8 p.

Research output: Contribution to conferencePaper

Global virtual time and distributed synchronization

Steinman, J. S., Lee, C. A., Wilson, L. F. & Nicol, D. M., 1995, p. 139-148. 10 p.

Research output: Contribution to conferencePaper

Graphstract: Minimal graphical help for computers

Huang, J. & Twidale, M. B., Dec 1 2007, p. 203-212. 10 p.

Research output: Contribution to conferencePaper

Hardware and software support for speculative execution of sequential binaries on a chip-multiprocessor

Krishnan, V. & Torrellas, J., 1998, p. 85-92. 8 p.

Research output: Contribution to conferencePaper

Hardware for speculative parallelization of partially-parallel loops in DSM multiprocessors

Zhang, Y., Rauchwerger, L. & Torrellas, J., Jan 1 1999, p. 135-139. 5 p.

Research output: Contribution to conferencePaper

Hardware for speculative run-time parallelization in distributed shared-memory multiprocessors

Zhang, Y., Rauchwerger, L. & Torrellas, J., Jan 1 1998, p. 162-173. 12 p.

Research output: Contribution to conferencePaper

HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, 6TH, PROCEEDINGS, 1973.

Wahba, G., Nashed, M. Z., Goh, B. S., Brusch, R. G., Schappelle, R. H., Bhatt, P. C. P., Bandler, J. W., Srinivasan, T. V., Chyung, D. H., Basar, T., Wilson, D. J., Wiberg, D. M. & Mintz, M., Jan 1 2017.

Research output: Contribution to conferencePaper

Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts

Kosba, A., Miller, A., Shi, E., Wen, Z. & Papamanthou, C., May 2016, p. 839-858.

Research output: Contribution to conferencePaper

Helping users avoid bugs in GUI applications

Michail, A. & Xie, T., 2005, p. 107-116. 10 p.

Research output: Contribution to conferencePaper

High-level synthesis with behavioral level multi-cycle path analysis

Zheng, H., Gurumani, S. T., Yang, L., Chen, D. & Rupnow, K., Jan 1 2013.

Research output: Contribution to conferencePaper

Home, safehome: Ensuring a safe and reliable home using the edge

Ahsan, S. B., Yang, R., Noghabi, S. A. & Gupta, I., Jan 1 2019.

Research output: Contribution to conferencePaper

Hypervisor introspection: A technique for evading passive virtual machine monitoring

Wang, G., Estrada, Z. J., Pham, C., Kalbarczyk, Z. & Iyer, R. K., Jan 1 2015.

Research output: Contribution to conferencePaper

IEEE CONFERENCE ON DECISION AND CONTROL, AND SYMPOSIUM ON ADAPTIVE PROCESSES, 11TH, PROCEEDINGS, 1972.

Jan, Y. G., Engel, J. S., Peritsky, M. M., Mintz, M., Simaan, M., Crux, J. B., Basar, T., Banker, M., Corn, R. J., Ephremides, A., Anderson, G. M., Basuthakur, S., Knapp, C. H., Bertsekas, D. P. & Kurt, B. W., 1972.

Research output: Contribution to conferencePaper

If not now, when? The effects of interruption at different moments within task execution

Adamczyk, P. D. & Bailey, B. P., Oct 1 2004, p. 271-278. 8 p.

Research output: Contribution to conferencePaper

Illinois aggressive coma multiprocessor project (I-ACOMA)

Torrellas, J. & Padua, D. A., Dec 1 1996, p. 106-111. 6 p.

Research output: Contribution to conferencePaper

Image denoising based on scale-space mixture modeling of wavelet coefficients

Liu, J. & Moulin, P., Dec 1 1999, p. 386-390. 5 p.

Research output: Contribution to conferencePaper

Importance of heap specialization in pointer analysis

Nystrom, E. M., Kim, H. S. & Hwu, W-M. W., Sep 29 2004, p. 43-48. 6 p.

Research output: Contribution to conferencePaper

Improving the data cache performance of multiprocessor operating systems

Xia, C. & Torrellas, J., Jan 1 1996, p. 85-94. 10 p.

Research output: Contribution to conferencePaper

Improving the performance of bristled CC-NUMA systems using virtual channels and adaptivity

Martinez, J. F., Torrellas, J. & Duato, J., Jan 1 1999, p. 202-209. 8 p.

Research output: Contribution to conferencePaper

Information embedding codes matched to locally stationary Gaussian image models

Mihçak, M. K. & Moulin, P., Jan 1 2002, p. II/137-II/140.

Research output: Contribution to conferencePaper

Information incorporation policies in product development

Zhu, J., Yassine, A. A. & Sreenivas, R. S., Jan 1 2004, p. 219-230. 12 p.

Research output: Contribution to conferencePaper

Information spread in networks: Control, games, and equilibria

Khanafer, A. & Basar, M. T., Jan 1 2014.

Research output: Contribution to conferencePaper

INTEGRAL MANIFOLD APPROACH TO REDUCED ORDER DYNAMIC MODELING OF SYNCHRONOUS MACHINES.

Sauer, P. W., Ahmed-Zaid, S. & Kokotovic, P. V., Jan 1 1987.

Research output: Contribution to conferencePaper

Integrated approach to dynamic and static voltage stability

Rajagopalan, C., Sauer, P. W. & Pai, M. A., Jan 1 1989, p. 1231-1236. 6 p.

Research output: Contribution to conferencePaper

Interactive Annotation for Event Modality in Modern Standard and Egyptian Arabic Tweets

Girju, C. R., Al-Sabbagh, R. & Diesner, J., 2014.

Research output: Contribution to conferencePaper

Invariant synthesis for verification of parameterized cyber-physical systems with applications to aerospace systems

Johnson, T. T. & Mitra, S., Sep 16 2013.

Research output: Contribution to conferencePaper

Investigating Synchrophasor Data Quality issues

Kirihara, K., Reinhard, K. E., Yoon, A. K. & Sauer, P. W., Jan 1 2014.

Research output: Contribution to conferencePaper

Iterative modeling and identification of a CO2 air conditioning system

Rasmussen, B. P., Alleyne, A. & Musser, A., Jan 1 2004, p. 813-820. 8 p.

Research output: Contribution to conferencePaper

Jellyfish: Networking data centers randomly

Singla, A., Hong, C. Y., Popa, L. & Godfrey, P. B., 2012, p. 225-238. 14 p.

Research output: Contribution to conferencePaper

Jigsaw puzzle solver using shape and color

Chung, M. G., Fleck, M. M. & Forsyth, D. A., Dec 1 1998, p. 877-880. 4 p.

Research output: Contribution to conferencePaper

Joint optimization of computing and cooling energy: Analytic model and a machine room case study

Li, S., Le, H., Pham, N., Jin, H. & Abdelzaher, T., Oct 5 2012, p. 396-405. 10 p.

Research output: Contribution to conferencePaper