University of Illinois at Urbana-Champaign

  • Urbana

    United States

Research Output

Filter
Conference contribution

Algorithms for CPU and DRAM DVFS under inefficiency constraints

Begum, R., Hempstead, M., Srinivasa, G. P. & Challen, G., Nov 22 2016, Proceedings of the 34th IEEE International Conference on Computer Design, ICCD 2016. Institute of Electrical and Electronics Engineers Inc., p. 161-168 8 p. 7753276. (Proceedings of the 34th IEEE International Conference on Computer Design, ICCD 2016).

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

Algorithms for 2-route cut problems

Chekuri, C. S. & Khanna, S., Aug 14 2008, Automata, Languages and Programming - 35th International Colloquium, ICALP 2008, Proceedings. PART 1 ed. p. 472-484 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5125 LNCS, no. PART 1).

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

Algorithm selection and model adaptation for ESL correction tasks

Rozovskaya, A. & Roth, D., Dec 1 2011, ACL-HLT 2011 - Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies. Vol. 1. p. 924-933 10 p.

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

Algorithmic study on the routing reliability problem

Ma, Q., Xiao, Z. & Wong, M. D. F., Jul 16 2012, Proceedings of the 13th International Symposium on Quality Electronic Design, ISQED 2012. p. 483-488 6 p. 6187537. (Proceedings - International Symposium on Quality Electronic Design, ISQED).

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

Algorithmic foundations of robotics XI: Selected Contributions of the Eleventh International Workshop on the Algorithmic Foundations of Robotics

Levent Akin, H., Amato, N. M., Isler, V. & Van Der Stappen, A. F., Jan 1 2015, Algorithmic Foundations of Robotics - Selected Contributions of the 11th International Workshop on the Algorithmic Foundations of Robotics, WAFR 2014. Levent Akin, H., Amato, N. M., Isler, V. & van der Stappen, A. F. (eds.). Springer-Verlag Berlin Heidelberg, (Springer Tracts in Advanced Robotics; vol. 107).

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

Algorithmic attack synthesis using hybrid dynamics of power grid critical infrastructures

Huang, Z., Etigowni, S., Garcia, L., Mitra, S. & Zonouz, S., Jul 19 2018, Proceedings - 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2018. Institute of Electrical and Electronics Engineers Inc., p. 151-162 12 p. 8416479. (Proceedings - 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2018).

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

Algorithmic approaches to low overhead fault detection for sparse linear algebra

Sloan, J., Kumar, R. & Bronevetsky, G., Oct 1 2012, 2012 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2012. 6263938. (Proceedings of the International Conference on Dependable Systems and Networks).

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

Algorithmic advances in anonymous communication over networks

Fanti, G. & Viswanath, P., Apr 26 2016, 2016 50th Annual Conference on Information Systems and Sciences, CISS 2016. Institute of Electrical and Electronics Engineers Inc., p. 133-138 6 p. 7460490. (2016 50th Annual Conference on Information Systems and Sciences, CISS 2016).

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

ALGORITHM FOR MATCHING 3-D LINE SEGMENTS WITH APPLICATION TO MULTIPLE-OBJECT MOTION ESTIMATION.

Chen, H. H. & Huang, T. S., Dec 1 1987, Unknown Host Publication Title. IEEE, p. 151-156 6 p.

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

ALGORITHM FOR GENERATING OCTREES FROM OBJECT SILHOUETTES IN PERSPECTIVE VIEWS.

Srivastava, S. K. & Ahuja, N., 1987, Unknown Host Publication Title. IEEE, p. 363-365 3 p.

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

Algorithm for estimating the attenuation slope from backscattered ultrasonic signals

Haak, A., Hafez, Z. T., Anderson, J. J., Herd, M. T., Nam, K., Madsen, E. L., Bigelow, T. A., Hall, T. J. & O'Brien, W. D., Dec 1 2009, 2009 IEEE International Ultrasonics Symposium and Short Courses, IUS 2009. 5442006. (Proceedings - IEEE Ultrasonics Symposium).

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

Algorithm development for non-intrusive load monitoring for verification and diagnostics

Reeg, C. E. & Overbye, T. J., Dec 17 2010, North American Power Symposium 2010, NAPS 2010. 5619600. (North American Power Symposium 2010, NAPS 2010).

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

Algebraic semantics of ocl-constrained metamodel specifications

Boronat, A. & Meseguer, J., Jan 1 2009, Objects, Components, Models and Patterns - 47th International Conference, TOOLS EUROPE 2009, Proceedings. Springer-Verlag, p. 96-115 20 p. (Lecture Notes in Business Information Processing; vol. 33 LNBIP).

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

Algebraic multigrid on a dragonfly network: First experiences on a cray XC30

Gahvari, H., Gropp, W., Jordan, K. E., Schulz, M. & Yang, U. M., Jan 1 2015, High Performance Computing Systems: Performance Modeling, Benchmarking, and Simulation - 5th International Workshop, PMBS 2014, Revised Selected Papers. Hammond, S. D., Jarvis, S. A. & Wright, S. A. (eds.). Springer-Verlag, p. 3-23 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8966).

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

Algebraic geometry and group theory in geometric constraint satisfaction

Ruiz, O. E. S. & Ferreira, P. M., Aug 1 1994, Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC 1994. Association for Computing Machinery, p. 224-233 10 p. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC; vol. Part F129423).

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

AlGaN/GaN HFETs for low noise applications

Adesida, I., Lu, W. & Kumar, V., Jan 1 2001, 2001 6th International Conference on Solid-State and Integrated Circuit Technology, ICSICT 2001 - Proceedings. Iwai, H., Qu, X-P., Li, B-Z., Ru, G-P. & Yu, P. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 1163-1168 6 p. 982106. (2001 6th International Conference on Solid-State and Integrated Circuit Technology, ICSICT 2001 - Proceedings; vol. 2).

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

AlGalnP solar cells with high internal quantum efficiency grown by molecular beam epitaxy

Faucher, J., Sun, Y., Jung, D., Martin, D., Masuda, T. & Lee, M. L., Nov 18 2016, 2016 IEEE 43rd Photovoltaic Specialists Conference, PVSC 2016. Institute of Electrical and Electronics Engineers Inc., p. 35-39 5 p. 7749404. (Conference Record of the IEEE Photovoltaic Specialists Conference; vol. 2016-November).

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

AlGalnP solar cells with high internal quantum efficiency grown by molecular beam epitaxy

Faucher, J., Sun, Y., Jung, D., Martin, D., Masuda, T. & Lee, M. L., Jan 1 2017, 2017 IEEE 44th Photovoltaic Specialist Conference, PVSC 2017. Institute of Electrical and Electronics Engineers Inc., p. 1-5 5 p. (2017 IEEE 44th Photovoltaic Specialist Conference, PVSC 2017).

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

AlGaInP/GaAs tandem solar cells for power conversion at 400°C and high concentration

Steiner, M. A., Perl, E. E., Simon, J., Friedman, D. J., Jain, N., Sharps, P., McPheeters, C. & Lee, M. L., Sep 6 2017, 13th International Conference on Concentrator Photovoltaic Systems, CPV 2017. Rey-Stolle, I., Siefer, G. & Hinzer, K. (eds.). American Institute of Physics Inc., 040007. (AIP Conference Proceedings; vol. 1881).

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

A level-crossing sampling scheme for non-bandlimited signals

Guan, K. & Singer, A. C., Dec 1 2006, 2006 IEEE International Conference on Acoustics, Speech, and Signal Processing - Proceedings. 1660670. (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings; vol. 3).

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

A level-crossing sampling scheme for bursty signals

Guan, K. & Singer, A. C., Jan 1 2006, 2006 IEEE Conference on Information Sciences and Systems, CISS 2006 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 1357-1359 3 p. 4068017. (2006 IEEE Conference on Information Sciences and Systems, CISS 2006 - Proceedings).

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

A level-crossing sampling scheme for both deterministic and stochastic non-bandlimited signals

Guan, K. & Singer, A. C., Dec 1 2006, 2006 IEEE Sarnoff Symposium. 4534743. (2006 IEEE Sarnoff Symposium).

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

A least-squares, adaptive uncertainty propagation approach for a plasma-coupled combustion system

Tang, K., Massa, L., Wang, J. & Freund, J. B., Jan 1 2016, ECCOMAS Congress 2016 - Proceedings of the 7th European Congress on Computational Methods in Applied Sciences and Engineering. Papadopoulos, V., Stefanou, G., Plevris, V. & Papadrakakis, M. (eds.). National Technical University of Athens, p. 6213-6225 13 p. (ECCOMAS Congress 2016 - Proceedings of the 7th European Congress on Computational Methods in Applied Sciences and Engineering; vol. 3).

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

A learning based precool algorithm for utilization of foodstuff as thermal energy storage

Vinther, K., Rasmussen, H., Izadi-Zamanabadi, R., Stoustrup, J. & Alleyne, A. G., Jan 1 2013, 2013 IEEE International Conference on Control Applications, CCA 2013. Institute of Electrical and Electronics Engineers Inc., p. 314-321 8 p. 6662777. (Proceedings of the IEEE International Conference on Control Applications).

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

A learning-based approach to direction of arrival estimation in noisy and reverberant environments

Xiao, X., Zhao, S., Zhong, X., Jones, D. L., Chng, E. S. & Li, H., Aug 4 2015, 2015 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2015 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 2814-2818 5 p. 7178484. (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings; vol. 2015-August).

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

A learning approach to fixating on 3D targets with active cameras

Srinivasa, N. & Ahuja, N., Jan 1 1997, Computer Vision - ACCV 1998 - 3rd Asian Conference on Computer Vision, Proceedings. Chin, R. & Pong, T-C. (eds.). Springer-Verlag, p. 623-631 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1351).

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

A leading-edge alula-inspired device (LEAD) for stall mitigation and lift enhancement for low Reynolds number finite wings

Ito, M. R., Duan, C., Chamorro, L. P. & Wissa, A. A., Jan 1 2018, Mechanics and Behavior of Active Materials; Structural Health Monitoring; Bioinspired Smart Materials and Systems; Energy Harvesting; Emerging Technologies. American Society of Mechanical Engineers (ASME), (ASME 2018 Conference on Smart Materials, Adaptive Structures and Intelligent Systems, SMASIS 2018; vol. 2).

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

Alchemist: Learning guarded affine functions

Saha, S., Garg, P. & Madhusudan, P., Jan 1 2015, Computer Aided Verification - 27th International Conference, CAV 2015, Proceedings. Pasareanu, C. S., Kroening, D., Pasareanu, C. S. & Kroening, D. (eds.). Springer-Verlag, p. 440-446 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9206).

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

Album-based object-centric event recognition

Tsai, S. F., Huang, T. S. & Tang, F., Nov 7 2011, Electronic Proceedings of the 2011 IEEE International Conference on Multimedia and Expo, ICME 2011. 6012232. (Proceedings - IEEE International Conference on Multimedia and Expo).

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

A lateral position sensing system for automated vehicle following

Alleyne, A. G., Williams, B. & DePoorter, M., Dec 1 1998, Proceedings of the 1998 American Control Conference, ACC 1998. p. 939-943 5 p. 703546. (Proceedings of the American Control Conference; vol. 2).

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

A latent model of discriminative aspect

Farhadi, A., Tabrizi, M. K., Endres, I. & Forsyth, D., Dec 1 2009, 2009 IEEE 12th International Conference on Computer Vision, ICCV 2009. p. 948-955 8 p. 5459350. (Proceedings of the IEEE International Conference on Computer Vision).

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

A latent hawkes process model for event clustering and temporal dynamics learning with applications in GitHub

Liu, S., Yao, S., Liu, D., Shao, H., Zhao, Y., Fu, X. & Abdelzaher, T., Jul 2019, Proceedings - 2019 39th IEEE International Conference on Distributed Computing Systems, ICDCS 2019. Institute of Electrical and Electronics Engineers Inc., p. 1275-1285 11 p. 8884839. (Proceedings - International Conference on Distributed Computing Systems; vol. 2019-July).

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

A laser based tabletop localization system for educational robots

Bac, C. W., Grift, T. E., Bhalerao, K. & Menezes, G., Dec 1 2009, American Society of Agricultural and Biological Engineers Annual International Meeting 2009, ASABE 2009. p. 180-192 13 p. (American Society of Agricultural and Biological Engineers Annual International Meeting 2009, ASABE 2009; vol. 1).

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

A large-scale study of test coverage evolution

Hilton, M., Bell, J. & Marinov, D., Sep 3 2018, ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering. Kastner, C., Huchard, M. & Fraser, G. (eds.). Association for Computing Machinery, Inc, p. 53-63 11 p. (ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering).

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

A large scale study of data center network reliability

Meza, J., Veeraraghavan, K., Xu, T. & Mutlu, O., Oct 31 2018, IMC 2018 - Proceedings of the Internet Measurement Conference. Association for Computing Machinery, p. 393-407 15 p. (Proceedings of the ACM SIGCOMM Internet Measurement Conference, IMC).

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

A large-scale service system with packing constraints: Minimizing the number of occupied servers

Stolyar, A. L. & Zhong, Y., Jul 22 2013, SIGMETRICS 2013 - Proceedings of the 2013 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems. 1 SPEC. ISS. ed. p. 41-52 12 p. (Performance Evaluation Review; vol. 41, no. 1 SPEC. ISS.).

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

A large-scale empirical study on android runtime-permission rationale messages

Liu, X., Leng, Y., Yang, W., Wang, W., Zhai, C. & Xie, T., Oct 23 2018, Proceedings - 2018 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2018. Kelleher, C., Engels, G., Fernandes, J. P., Cunha, J. & Mendes, J. (eds.). IEEE Computer Society, p. 137-146 10 p. 8506574. (Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC; vol. 2018-October).

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

A large deviations analysis of scheduling in wireless networks

Ying, L., Srikant, R. & Dullerud, G. E., Dec 1 2005, Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05. p. 6016-6021 6 p. 1583124. (Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05; vol. 2005).

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

A large deviation bound for the area under the ROC curve

Agarwal, S., Graepel, T., Herbrich, R. & Roth, D., Jan 1 2005, Advances in Neural Information Processing Systems 17 - Proceedings of the 2004 Conference, NIPS 2004. Neural information processing systems foundation, (Advances in Neural Information Processing Systems).

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

A large deformation finite element formulation for subgrade soil compaction

Xia, K., Masud, A. & You, Z., Dec 1 2008, Proceedings of the Symposium on Pavement Mechanics and Materials at the Inaugural International Conference of the Engineering Mechanics Institute - Pavements and Materials 2008: Modeling, Testing, and. p. 122-130 9 p. (Proceedings of the Symposium on Pavement Mechanics and Materials at the Inaugural International Conference of the Engineering Mechanics Institute - Pavements and Materials 2008: Modeling, Testing, and; vol. 334).

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

A large area monolayer WS2 laser based on surface-emitting heterostructure photonic crystal cavities

Ge, X., Minkov, M., Li, X., Fan, S. & Zhou, W., Jan 1 2018, CLEO: Applications and Technology, CLEO_AT 2018. OSA - The Optical Society, (Optics InfoBase Conference Papers; vol. Part F92-CLEO_AT 2018).

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

A laplace transform-based method to stochastic path finding

Uludag, S., Uludag, Z. E., Nahrstedt, K., Lui, K. S. & Baker, F., Nov 19 2009, Proceedings - 2009 IEEE International Conference on Communications, ICC 2009. 5198619. (IEEE International Conference on Communications).

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

A language-independent proof system for mutual program equivalence

Ciobâcă, Ş., Lucanu, D., Rusu, V. & Roşu, G., Jan 1 2014, Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Proceedings. Merz, S. & Pang, J. (eds.). Springer-Verlag Berlin Heidelberg, p. 75-90 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8829).

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

A language-independent program verification framework

Chen, X. & Roşu, G., Jan 1 2018, Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer-Verlag, p. 92-102 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11245 LNCS).

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

A language-independent approach to smart contract verification

Chen, X., Park, D. & Roşu, G., Jan 1 2018, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer-Verlag, p. 405-413 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11247 LNCS).

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

A language framework for multi-object coordination

Frølund, S. & Agha, G., Jan 1 1993, ECOOP 1993 - Object-Oriented Programming - 7th European Conference, Proceedings. Nierstrasz, O. M. (ed.). Springer-Verlag Berlin Heidelberg, p. 346-360 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 707 LNCS).

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

A language for the compact representation of multiple program versions

Donadio, S., Brodman, J., Roeder, T., Yotov, K., Barthou, D., Cohen, A., Garzarán, M. J., Padua, D. & Pingali, K., Jan 1 2006, Languages and Compilers for Parallel Computing - 18th International Workshop, LCPC 2005, Revised Selected Papers. Springer-Verlag, p. 136-151 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4339 LNCS).

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

A landscape genetics approach demonstrates the effects of human disturbance on the udzungwa red colobus monkey (Procolobus gordonorum)

Ruiz-Lopez, M. J., Barelli, C., Rovero, F., Hodges, K., Roos, C., Peterman, W. E. & Ting, N., 2015, American Journal of Primatologists. Vol. 77 Supplement 1. p. 103--104

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

A lagrangian approach for the handling of curved boundaries in the finite-difference time-domain method

Russer, J. A., Sumant, P. S. & Cangellaris, A. C., Oct 2 2007, 2007 IEEE MTT-S International Microwave Symposium Digest. p. 717-720 4 p. 4263918. (IEEE MTT-S International Microwave Symposium Digest).

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

Aladdin: Automating release of android deep links to in-app content

Ma, Y., Liu, X., Hu, Z., Yang, D., Huang, G., Liu, Y. & Xie, T., Jun 30 2017, Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering Companion, ICSE-C 2017. Institute of Electrical and Electronics Engineers Inc., p. 139-140 2 p. 7965281. (Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering Companion, ICSE-C 2017).

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