University of Illinois at Urbana-Champaign

  • Urbana

    United States

Research Output

Filter
Conference contribution

Abrupt changes in the ITCZ position during the Late Pleistocene recorded by soil formation and dune building in NE Brazil

Zular, A., Sawakuchi, A. O., Wang, H., Geudes, C. C. F., Griannini, P. C. F., Hartmann, G. A., Trindade, R. I. F., Jaqueto, P. F. & Moreira, G., 2013, 9th New World Luminescence Dating Workshop. p. 43

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstracting interactions based on message sets

Frølund, S. & Agha, G., 1995, Object-Based Models and Languages for Concurrent Systems - ECOOP 1994 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Proceedings. Ciancarini, P., Nierstrasz, O. & Yonezawa, A. (eds.). Springer-Verlag Berlin Heidelberg, p. 107-124 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 924).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstraction refinement for stability

Duggirala, P. S. & Mitra, S., Aug 10 2011, Proceedings - 2011 IEEE/ACM 2nd International Conference on Cyber-Physical Systems, ICCPS 2011. p. 22-31 10 p. 5945418. (Proceedings - 2011 IEEE/ACM 2nd International Conference on Cyber-Physical Systems, ICCPS 2011).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstractions, semantic models and analysis tools for concurrent systems: Progress and open problems

Agha, G., Jan 1 2016, Software Engineering and Formal Methods - 14th International Conference, SEFM 2016 Held as Part of STAF 2016, Proceedings. Kuhn, E. & De Nicola, R. (eds.). Springer-Verlag Berlin Heidelberg, p. 3-8 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9763).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstraction selection in model-based reinforcement learning

Jiang, N., Kulesza, A. & Singh, S., Jan 1 2015, 32nd International Conference on Machine Learning, ICML 2015. Bach, F. & Blei, D. (eds.). International Machine Learning Society (IMLS), p. 179-188 10 p. (32nd International Conference on Machine Learning, ICML 2015; vol. 1).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract learning frameworks for synthesis

Löding, C., Madhusudan, P. & Neider, D., Jan 1 2016, Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016 and Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings. Raskin, J-F. & Chechik, M. (eds.). Springer-Verlag Berlin Heidelberg, p. 167-185 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9636).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract logical model checking of infinite-state systems using narrowing

Bae, K., Escobar, S. & Meseguer, J., Jan 1 2013, 24th International Conference on Rewriting Techniques and Applications, RTA 2013. van Raamsdonk, F. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 81-96 16 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 21).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract provenance graphs: Anticipating and exploiting schema-level data provenance

Zinn, D. & Ludäscher, B., Dec 1 2010, Provenance and Annotation of Data and Processes - Third International Provenance and Annotation Workshop, IPAW 2010, Revised Selected Papers. p. 206-215 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6378 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A building blackbox for urban disaster response and relief

Tsai, M. H., Liu, L. Y. & Peña-Mora, F., Dec 1 2007, Computing in Civil Engineering - Proceedings of the 2007 ASCE International Workshop on Computing in Civil Engineering. p. 809-816 8 p. (Congress on Computing in Civil Engineering, Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abundance and modes of occurrence of mercury in some low-sulfur coals from China; TSOP 2006; papers from the 23rd annual meeting of TSOP

Zheng Liugen, L. G., Chou, C-L., Dai, S. & Chou, C-L., 2008, International Journal of Coal Geology. Amsterdam, Netherlands: Elsevier, Vol. 73. p. 19--26

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abundances and distribution of minerals and elements in high-alumina coal fly ash from the Jungar Power Plant, Inner Mongolia, China; ICCP-TSOP 2008; selected papers from the ICCP-TSOP joint meeting 2008

Dai, S., Zhao Lei, P., Suping, C., Chen-Lin, W. X., Zhang Yong, L. D. & Sun Yingying, 2010, International Journal of Coal Geology. Suarez-Ruiz, I. (ed.). Amsterdam, Netherlands: Elsevier, Vol. 81. p. 320--332

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A caching-based approach to routing in delay-tolerant networks

Henriksson, D., Abdelzaher, T. & Ganti, R. K., Dec 1 2007, Proceedings of 16th International Conference on Computer Communications and Networks 2007, ICCCN 2007. p. 69-74 6 p. 4317799. (Proceedings - International Conference on Computer Communications and Networks, ICCCN).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A cad system for designing robotic manipulators

Lee, K. & Tortorelli, D. A., Jan 1 1985, Proceedings - 1985 IEEE International Conference on Robotics and Automation, ICRA 1985. Institute of Electrical and Electronics Engineers Inc., p. 376-380 5 p. 1087336. (Proceedings - IEEE International Conference on Robotics and Automation).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A calculus for propagating semantic annotations through scientific workflow queries

Bowers, S. & Ludäscher, B., 2006, Current Trends in Database Technology - EDBT 2006 - EDBT 2006 Workshops PhD, DataX, IIDB, IIHA, ICSNW, QLQP, PIM, PaRMA, and Reactivity on the Web, Revised Selected Papers. Springer-Verlag Berlin Heidelberg, p. 712-723 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4254 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A calculus of trust and its application to PKI and identity management

Huang, J. & Nicol, D., Apr 14 2009, IDtrust 2009 - Proceedings of the 8th Symposium on Identity and Trust on the Internet. Seamons, K., McBurnett, N. & Polk, T. (eds.). Association for Computing Machinery, p. 23-37 15 p. (ACM International Conference Proceeding Series; vol. Part F128834).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A case-based approach to robot motion planning

Pandya, S. & Hutchinson, S. A., Jan 1 1992, 1992 IEEE International Conference on Systems, Man, and Cybernetics: Emergent Innovations in Information Transfer Processing and Decision Making, SMC 1992. Institute of Electrical and Electronics Engineers Inc., p. 492-497 6 p. 271726. (Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics; vol. 1992-January).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A case for application-level control of network resources

Hutanu, A. & Allen, G., Jan 1 2008, CESNET Conference 2008 - Security, Middleware, and Virtualization - Glue of Future Networks, Proceedings. Krcmarova, G. & Sojka, P. (eds.). CESNET, z. s. p. o., p. 69-76 8 p. (CESNET Conference 2008 - Security, Middleware, and Virtualization - Glue of Future Networks, Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A case for design methodology research in self-* distributed systems

Gupta, I., Ko, S., Thompson, N., Nagda, M., Devaraj, C., Morales, R. & Patel, J. A., Dec 1 2005, Self-star Properties in Complex Information Systems: Conceptual and Practical Foundations. Babaoglu, O., Jelasity, M., Montresor, A., Fetzer, C., Leonardi, S., Moorsel, A. & Steen, M. (eds.). p. 260-272 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3460 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A case for optimistic coordination in HPC storage systems

Carns, P., Harms, K., Kimpe, D., Ross, R., Wozniak, J., Ward, L., Curry, M., Klundt, R., Danielson, G., Karakoyunlu, C., Chandy, J., Settlemeyer, B. & Gropp, W., Dec 1 2012, Proceedings - 2012 SC Companion: High Performance Computing, Networking Storage and Analysis, SCC 2012. p. 48-53 6 p. 6495801. (Proceedings - 2012 SC Companion: High Performance Computing, Networking Storage and Analysis, SCC 2012).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A Case for Packageless Processors

Pal, S., Petrisko, D., Bajwa, A. A., Gupta, P., Iyer, S. S. & Kumar, R., Mar 27 2018, Proceedings - 24th IEEE International Symposium on High Performance Computer Architecture, HPCA 2018. IEEE Computer Society, p. 466-479 14 p. (Proceedings - International Symposium on High-Performance Computer Architecture; vol. 2018-February).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A case for two-level distributed recovery schemes

Vaidya, N. H., May 1 1995, Proceedings of the 1995 ACM SIGMETRICS Joint International Conference on Measurement and Modeling of Computer Systems, SIGMETRICS 1995/PERFORMANCE 1995. Gaither, B. D. (ed.). Association for Computing Machinery, Inc, p. 64-73 10 p. (Proceedings of the 1995 ACM SIGMETRICS Joint International Conference on Measurement and Modeling of Computer Systems, SIGMETRICS 1995/PERFORMANCE 1995).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A case for validating remote application integrity for data processing systems

Chu, J. M., Montanari, M. & Campbell, R. H., Nov 12 2012, Proceedings - 2012 5th International Symposium on Resilient Control Systems, ISRCS 2012. p. 168-173 6 p. 6309313. (Proceedings - 2012 5th International Symposium on Resilient Control Systems, ISRCS 2012).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A case of Multiple Agree: Accusative, not dative, se

MacDonald, J. E., 2015, Romance Linguistics 2012: Selected papers from the 42nd Linguistic Symposium on Romance Languages (LSRL). Smith, J. & Ihsane, T. (eds.). p. 275-288 14 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A case study assessing the effects of cyber attacks on a river zonal dispatcher

Wright, R. J., Keefe, K., Feddersen, B. & Sanders, W. H., Jan 1 2017, Critical Information Infrastructures Security - 11th International Conference, CRITIS 2016, Revised Selected Papers. Setola, R., Wolthusen, S., Nassopoulos, H., Havarneanu, G. & Wolthusen, S. (eds.). Springer-Verlag Berlin Heidelberg, p. 252-264 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10242 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A case study for petascale applications in astrophysics: Simulating gamma-ray bursts

Ott, C. D., Schnetter, E., Allen, G., Seidel, E., Tao, J. & Zink, B., Dec 1 2008, Proceedings of the 15th ACM Mardi Gras Conference, MG '08. 1341831. (ACM International Conference Proceeding Series; vol. 320).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A case study in porting a production scientific supercomputing application to a reconfigurable computer

Kindratenko, V. & Pointer, D., Dec 1 2006, Proceedings - 14th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM 2006. p. 13-22 10 p. 4020891. (Proceedings - 14th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM 2006).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A case study in tightly coupled multi-paradigm parallel programming

Chakravorty, S., Becker, A., Wilmarth, T. & Kalé, L., Dec 1 2008, Languages and Compilers for Parallel Computing - 21st International Workshop, LCPC 2008, Revised Selected Papers. p. 279-291 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5335 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A case study of communication optimizations on 3D mesh interconnects

Bhatelé, A., Bohm, E. & Kalé, L. V., Nov 9 2009, Euro-Par 2009 Parallel Processing - 15th International Euro-Par Conference, Proceedings. p. 1015-1028 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5704 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A case study of machine learning hardware: Real-time source separation using Markov Random Fields via sampling-based inference

Ko, G. G. & Rutenbar, R. A., Jun 16 2017, 2017 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2017 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 2477-2481 5 p. 7952602. (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A case study of monitoring construction operations using automated position tracking system

Su, Y. Y. & Liu, L. Y., Dec 1 2006, 19th International Conference on Computer Applications in Industry and Engineering, CAINE 2006. p. 312-317 6 p. (19th International Conference on Computer Applications in Industry and Engineering, CAINE 2006).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A case study on human learning of four-dimensional objects in virtual reality: Passive exploration and display techniques

Wang, R., Dec 1 2009, 4th International Conference on Frontier of Computer Science and Technology, FCST 2009. p. 519-523 5 p. 5392871. (4th International Conference on Frontier of Computer Science and Technology, FCST 2009).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A C-band Lithium Niobate MEMS Filter with 10% Fractional Bandwidth for 5G Front-ends

Yang, Y., Lu, R., Gao, L. & Gong, S., Oct 2019, 2019 IEEE International Ultrasonics Symposium, IUS 2019. IEEE Computer Society, p. 1981-1984 4 p. 8926139. (IEEE International Ultrasonics Symposium, IUS; vol. 2019-October).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A C-band Lithium Niobate MEMS Filter with 10% Fractional Bandwidth for 5G Front-ends

Yang, Y., Lu, R., Gao, L. & Gong, S., Oct 2019, 2019 IEEE International Ultrasonics Symposium, IUS 2019. IEEE Computer Society, p. 849-852 4 p. 8926299. (IEEE International Ultrasonics Symposium, IUS; vol. 2019-October).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

AccDNN: An IP-Based DNN Generator for FPGAs

Zhang, X., Wang, J., Zhu, C., Lin, Y., Xiong, J., Hwu, W. M. & Chen, D., Sep 7 2018, Proceedings - 26th IEEE International Symposium on Field-Programmable Custom Computing Machines, FCCM 2018. Institute of Electrical and Electronics Engineers Inc., 1 p. 8457659. (Proceedings - 26th IEEE International Symposium on Field-Programmable Custom Computing Machines, FCCM 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Accelerate analytical placement with GPU: A generic approach

Lin, C. X. & Wong, M. D. F., Apr 19 2018, Proceedings of the 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018. Institute of Electrical and Electronics Engineers Inc., p. 1345-1350 6 p. (Proceedings of the 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018; vol. 2018-January).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Accelerated A-EFIE with perturbation method using fast fourier transform

Jia, M. M., Sun, S. & Chew, W. C., Sep 18 2014, 2014 IEEE Antennas and Propagation Society International Symposium(APSURSI). Institute of Electrical and Electronics Engineers Inc., p. 2148-2149 2 p. 6905401. (IEEE Antennas and Propagation Society, AP-S International Symposium (Digest)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Accelerated flow for probability distributions

Taghvaei, A. & Mehta, P. G., Jan 1 2019, 36th International Conference on Machine Learning, ICML 2019. International Machine Learning Society (IMLS), p. 10632-10641 10 p. (36th International Conference on Machine Learning, ICML 2019; vol. 2019-June).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Accelerated parallel magnetic resonance imaging by adaptive K-space sampling

Aggarwal, N. & Bresler, Y., Dec 1 2004, 2004 2nd IEEE International Symposium on Biomedical Imaging: Macro to Nano. p. 892-895 4 p. (2004 2nd IEEE International Symposium on Biomedical Imaging: Macro to Nano; vol. 1).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Accelerated path-based timing analysis with MapReduce

Huang, T. W. & Wong, M. D. F., Mar 29 2015, ISPD 2015 - Proceedings of the ACM International Symposium on Physical Design 2015. Association for Computing Machinery, p. 103-110 8 p. (Proceedings of the International Symposium on Physical Design; vol. 29-March-2015).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Accelerating advanced MRI reconstructions on GPUs

Stone, S. S., Haldar, J. P., Tsao, S. C., Hwu, W. M. W., Liang, Z. P. & Sutton, B. P., Jan 1 2008, Conference on Computing Frontiers - Proceedings of the 2008 Conference on Computing Frontiers, CF'08. Association for Computing Machinery, p. 261-272 12 p. (Conference on Computing Frontiers - Proceedings of the 2008 Conference on Computing Frontiers, CF'08).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Accelerating aerial image simulation with GPU

Zhang, H., Yan, T., Wong, M. D. F. & Patel, S. J., 2011, 2011 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2011. p. 178-184 7 p. 6105323

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Accelerating arrays of linear classifiers using approximate range queries

Lu, V., Endres, I., Stroila, M. & Hart, J. C., Jan 1 2014, 2014 IEEE Winter Conference on Applications of Computer Vision, WACV 2014. IEEE Computer Society, p. 255-260 6 p. 6836092. (2014 IEEE Winter Conference on Applications of Computer Vision, WACV 2014).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Accelerating cardiovascular imaging by exploiting regional low-rank structure via group sparsity

Christodoulou, A. G., Babacan, S. D. & Liang, Z. P., Aug 15 2012, 2012 9th IEEE International Symposium on Biomedical Imaging: From Nano to Macro, ISBI 2012 - Proceedings. p. 330-333 4 p. 6235551. (Proceedings - International Symposium on Biomedical Imaging).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Accelerating cosmological data analysis with FPGAs

Kindratenko, V. & Brunner, R. J., Dec 1 2009, Proceedings - IEEE Symposium on Field Programmable Custom Computing Machines, FCCM 2009. p. 11-18 8 p. 5290959. (Proceedings - IEEE Symposium on Field Programmable Custom Computing Machines, FCCM 2009).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Accelerating cosmological data analysis with graphics processors

Roeh, D. W., Kindratenko, V. & Brunner, R. J., Jul 23 2009, Proceedings of 2nd Workshop on General Purpose Processing on Graphics Processing Units, GPGPU-2. 1 p. (Proceedings of 2nd Workshop on General Purpose Processing on Graphics Processing Units, GPGPU-2).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Accelerating data movement on future chip multi-processors

Gu, J., Kumar, R., Lumetta, S. S. & Sun, Y., Dec 1 2010, Proceedings of the 2nd International Forum on Next-Generation Multicore/Manycore Technologies, IFMT'2010 - In Conjunction with the 37th Intl. Symposium on Computer Architecture, ISCA 2010. 1882457. (ACM International Conference Proceeding Series).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Accelerating distributed reinforcement learning with in-switch computing

Li, Y., Liu, I. J., Yuan, Y., Chen, D., Schwing, A. & Huang, J., Jun 22 2019, ISCA 2019 - Proceedings of the 2019 46th International Symposium on Computer Architecture. Institute of Electrical and Electronics Engineers Inc., p. 279-291 13 p. (Proceedings - International Symposium on Computer Architecture).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Accelerating dna sequencing-by-hybridization with noise

Chen, C., Xin, D. & Han, J., Dec 1 2005, Proceedings of the 5th International Workshop on Bioinformatics, BIOKDD 2005. p. 29-36 8 p. (Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Accelerating Human-in-the-loop Machine Learning: Challenges and opportunities

Xin, D. D., Ma, L. L., Liu, J. J., Macke, S. S., Song, S. S. & Parameswaran, A. A., Jun 15 2018, Proceedings of the 2nd Workshop on Data Management for End-To-End Machine Learning, DEEM 2018 - In conjunction with the 2018 ACM SIGMOD/PODS Conference. Association for Computing Machinery, Inc, 3209896. (Proceedings of the 2nd Workshop on Data Management for End-To-End Machine Learning, DEEM 2018 - In conjunction with the 2018 ACM SIGMOD/PODS Conference).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Accelerating iterative field-compensated MR image reconstruction on GPUs

Zhuo, Y., Wu, X. L., Haldar, J. P., Hwu, W. M., Liang, Z. P. & Sutton, B. P., Aug 9 2010, 2010 7th IEEE International Symposium on Biomedical Imaging: From Nano to Macro, ISBI 2010 - Proceedings. p. 820-823 4 p. 5490112. (2010 7th IEEE International Symposium on Biomedical Imaging: From Nano to Macro, ISBI 2010 - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution