Research Output per year
Research Output
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. 43Research output: Chapter in Book/Report/Conference proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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--26Research output: Chapter in Book/Report/Conference proceeding › Conference 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--332Research output: Chapter in Book/Report/Conference proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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. 6105323Research output: Chapter in Book/Report/Conference proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference contribution