Research Output

Utilization of Water Supply Networks for Harvesting Renewable Energy

Fooladivanda, D., Dominguez-Garcia, A. D. & Sauer, P. W., Jun 2019, In : IEEE Transactions on Control of Network Systems. 6, 2, p. 763-774 12 p., 8481504.

Research output: Contribution to journalArticle

Utilizing the Impedance Matrix to Design Antennas with a Characteristic Far-Field Pattern

Bohannon, N. L. & Bernhard, J. T., Sep 2 2017, In : IEEE Antennas and Wireless Propagation Letters. 16, p. 2836-2839 4 p., 8025574.

Research output: Contribution to journalArticle

UWB radar target sensing and imaging for granular materials research applications

Niekerk, C. V., Zastrow, E., Hagness, S. C. & Bernhard, J. T., Nov 22 2010, 2010 IEEE International Symposium on Antennas and Propagation and CNC-USNC/URSI Radio Science Meeting - Leading the Wave, AP-S/URSI 2010. 5562212. (2010 IEEE International Symposium on Antennas and Propagation and CNC-USNC/URSI Radio Science Meeting - Leading the Wave, AP-S/URSI 2010).

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

Vacuum packing: Extracting hardware-detected program phases for post-link optimization

Barnes, R. D., Nystrom, E. M., Merten, M. C. & Hwu, W-M. W., Jan 1 2002, Proceedings - 35th Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 2002. IEEE Computer Society, p. 233-244 12 p. 1176253. (Proceedings of the Annual International Symposium on Microarchitecture, MICRO; vol. 2002-January).

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

Vac - Verifier of administrative role-based access control policies

Ferrara, A. L., Madhusudan, P., Nguyen, T. L. & Parlato, G., Jan 1 2014, Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Proceedings. Springer-Verlag Berlin Heidelberg, p. 184-191 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8559 LNCS).

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

Validating resiliency in Software Defined Networks for smart grids

Kumar, R. & Nicol, D. M., Dec 8 2016, 2016 IEEE International Conference on Smart Grid Communications, SmartGridComm 2016. Institute of Electrical and Electronics Engineers Inc., p. 441-446 6 p. 7778801. (2016 IEEE International Conference on Smart Grid Communications, SmartGridComm 2016).

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

Validation of an instrumented wheelchair hand rim

Gaglio, A., Daigle, S., Gacek, E., Jahanian, O., Slavens, B., Rice, I. & Hsiao-Wecksler, E., Jan 1 2017, Frontiers in Biomedical Devices, BIOMED - 2017 Design of Medical Devices Conference, DMD 2017. American Society of Mechanical Engineers, (Frontiers in Biomedical Devices, BIOMED - 2017 Design of Medical Devices Conference, DMD 2017).

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

Validation of application behavior on a virtual time integrated network emulation testbed

Zheng, Y., Jin, D. & Nicol, D. M., 2012, Proceedings of the 2012 Winter Simulation Conference, WSC 2012. 6465240. (Proceedings - Winter Simulation Conference).

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

Validation of a wearable position, velocity, and resistance meter for assessing spasticity and rigidity

Song, S. Y., Pei, Y., Tippett, S. R., Lamichhane, D., Zallek, C. M. & Hsiao-Wecksler, E. T., Jan 1 2018.

Research output: Contribution to conferencePaper

Validation of model sets on the basis of closed-loop feedback system generated data

Dullerud, G. & Smith, R., Dec 1 1999, p. 28-33. 6 p.

Research output: Contribution to conferencePaper

Validation of radio channel models using an anechoic chamber

Zheng, Y. & Nicol, D. M., Jul 5 2010, 2010 IEEE Workshop on Principles of Advanced and Distributed Simulation, PADS 2010. p. 114-121 8 p. 5471660. (Proceedings - Workshop on Principles of Advanced and Distributed Simulation, PADS).

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

Valuation of reserve services

Ruiz, P. A. & Sauer, P. W., Sep 16 2008, Proceedings of the 41st Annual Hawaii International Conference on System Sciences 2008, HICSS. 4438884. (Proceedings of the Annual Hawaii International Conference on System Sciences).

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

Value chain creation through digital innovation: The ebb and flow of communality and connectivity in a networked interorganizational system

Guth, K. & Poole, M. S., Mar 26 2015, Proceedings of the 48th Annual Hawaii International Conference on System Sciences, HICSS 2015. Sprague, R. H. & Bui, T. X. (eds.). IEEE Computer Society, p. 4191-4200 10 p. 7070321. (Proceedings of the Annual Hawaii International Conference on System Sciences; vol. 2015-March).

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

Value of demand response in the smart grid

Zhu, Q., Sauer, P. & Başar, T., 2013, 2013 IEEE Power and Energy Conference at Illinois, PECI 2013. p. 76-82 7 p. 6506038. (2013 IEEE Power and Energy Conference at Illinois, PECI 2013).

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

Valve: Securing Function Workflows on Serverless Computing Platforms

Datta, P., Kumar, P., Morris, T., Grace, M., Rahmati, A. & Bates, A., Apr 20 2020, The Web Conference 2020 - Proceedings of the World Wide Web Conference, WWW 2020. Association for Computing Machinery, Inc, p. 939-950 12 p. (The Web Conference 2020 - Proceedings of the World Wide Web Conference, WWW 2020).

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

Open Access

VANET 2012 chairs' welcome

Kenney, J., Gozalvez, J., Bai, F. & Kravets, R., Jul 31 2012, In : VANET'12 - Proceedings of the 9th ACM International Workshop on VehiculAr Inter-NETworking, Systems, and Applications. p. iii

Research output: Contribution to journalEditorial

Vapor compression cycles: Control-oriented modeling and validation

Eldredge, B. D., Rasmussen, B. P. & Alleyne, A. G., Dec 1 2005, Proceedings of the ASME Dynamic Systems and Control Division 2005. 2 PART B ed. p. 1213-1222 10 p. (American Society of Mechanical Engineers, Dynamic Systems and Control Division (Publication) DSC; vol. 74 DSC, no. 2 PART B).

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

Variability in the execution of multimedia applications and implications for architecture

Hughes, C. J., Kaul, P., Adve, S. V., Jain, R., Park, C. & Srinivasan, J., Jan 1 2001, In : Conference Proceedings - Annual International Symposium on Computer Architecture, ISCA. p. 254-265 12 p.

Research output: Contribution to journalArticle

Variability in wheelchair propulsion: A new window into an old problem

Sosnoff, J. J., Rice, I. M., Hsiao-Wecksler, E. T., Iris, I. M., Jayaraman, C. & Moon, Y., 2015, In : Frontiers in Bioengineering and Biotechnology. 3, JUL, 105.

Research output: Contribution to journalArticle

Variability of peak shoulder force during wheelchair propulsion in manual wheelchair users with and without shoulder pain

Moon, Y., Jayaraman, C., Hsu, I. M. K., Rice, I. M., Hsiao-Wecksler, E. T. & Sosnoff, J. J., Nov 2013, In : Clinical Biomechanics. 28, 9-10, p. 967-972 6 p.

Research output: Contribution to journalArticle

Variable fidelity modeling in closed loop dynamical systems

Williams, M. A. & Alleyne, A. G., Jan 1 2014, Industrial Applications; Modeling for Oil and Gas, Control and Validation, Estimation, and Control of Automotive Systems; Multi-Agent and Networked Systems; Control System Design; Physical Human-Robot Interaction; Rehabilitation Robotics; Sensing and Actuation for Control; Biomedical Systems; Time Delay Systems and Stability; Unmanned Ground and Surface Robotics; Vehicle Motion Controls; Vibration Analysis and Isolation; Vibration and Control for Energy Harvesting; Wind Energy. American Society of Mechanical Engineers, (ASME 2014 Dynamic Systems and Control Conference, DSCC 2014; vol. 3).

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

Variable slew-rate spiral design: Theory and application to peak B 1 amplitude reduction in 2D RF pulse design

Xu, D., King, K. F. & Liang, Z. P., Oct 1 2007, In : Magnetic Resonance in Medicine. 58, 4, p. 835-842 8 p.

Research output: Contribution to journalArticle

Variable-source shading analysis

Forsyth, D. A., Feb 1 2011, In : International Journal of Computer Vision. 91, 3, p. 280-302 23 p.

Research output: Contribution to journalArticle

Variable temperature thin film indentation with a flat punch

Cross, G. L. W., O'Connell, B. S., Pethica, J. B., Rowland, H. & King, W. P., Feb 11 2008, In : Review of Scientific Instruments. 79, 1, 013904.

Research output: Contribution to journalArticle

Variance-reduced model predictive control of Markov jump processes

Maginnis, P. A., West, M. & Dullerud, G. E., Jul 28 2016, 2016 American Control Conference, ACC 2016. Institute of Electrical and Electronics Engineers Inc., p. 5376-5380 5 p. 7526512. (Proceedings of the American Control Conference; vol. 2016-July).

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

Variance-reduced simulation of lattice discrete-time Markov chains with applications in reaction networks

Maginnis, P. A., West, M. & Dullerud, G. E., Oct 1 2016, In : Journal of Computational Physics. 322, p. 400-414 15 p.

Research output: Contribution to journalArticle

Variant-based decidable satisfiability in initial algebras with predicates

Gutiérrez, R. & Meseguer, J., Jan 1 2018, Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017, Revised Selected Papers. Fioravanti, F. & Gallagher, J. P. (eds.). Springer-Verlag Berlin Heidelberg, p. 306-322 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10855 LNCS).

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

Variant-based satisfiability in initial algebras

Meseguer, J., Mar 1 2018, In : Science of Computer Programming. 154, p. 3-41 39 p.

Research output: Contribution to journalArticle

Variant-based satisfiability in initial algebras

Meseguer, J., Jan 1 2016, Formal Techniques for Safety-Critical Systems - 4th International Workshop, FTSCS 2015, Revised Selected Papers. Ölveczky, P. C. & Artho, C. (eds.). Springer-Verlag Berlin Heidelberg, p. 3-34 32 p. (Communications in Computer and Information Science; vol. 596).

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

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

Variant Narrowing and Equational Unification

Escobar, S., Meseguer, J. & Sasse, R., Jun 29 2009, In : Electronic Notes in Theoretical Computer Science. 238, 3, p. 103-119 17 p.

Research output: Contribution to journalArticle

Variants, unification, narrowing, and symbolic reachability in Maude 2.6

Durán, F., Eker, S., Escobar, S., Meseguer, J. & Talcott, C., Dec 1 2011, 22nd International Conference on Rewriting Techniques and Applications, RTA 2011. p. 31-40 10 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 10).

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

Variation-aware application scheduling and power management for chip multiprocessors

Teodorescu, R. & Torrellas, J., Oct 1 2008, ISCA 2008, Proceedings - 35th International Symposium on Computer Architecture. p. 363-374 12 p. 4556740. (Proceedings - International Symposium on Computer Architecture).

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

Variation-aware layout-driven scheduling for performance yield optimization

Lucas, G. & Chen, D., Dec 1 2010, 2010 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2010. p. 17-24 8 p. 5654344. (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD).

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

Variation-aware placement for FPGAs with multi-cycle statistical timing analysis

Lucas, G., Dong, C. & Chen, D., May 3 2010, FPGA'10 - Proceedings of the 18th ACM SIGDA International Symposium on Field-Programmable Gate Arrays. p. 177-180 4 p. (ACM/SIGDA International Symposium on Field Programmable Gate Arrays - FPGA).

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

Variation-aware placement with multi-cycle statistical timing analysis for FPGAs

Lucas, G., Dong, C. & Chen, D., Nov 1 2010, In : IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 29, 11, p. 1818-1822 5 p., 5605329.

Research output: Contribution to journalArticle

Variation aware routing for three-dimensional FPGAs

Dong, C., Chilstedt, S. & Chen, D., Oct 5 2009, Proceedings of the 2009 IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2009. p. 298-303 6 p. 5076424. (Proceedings of the 2009 IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2009).

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

Variation-aware speed binning of multi-core processors

Sartori, J., Pant, A., Kumar, R. & Gupta, P., May 28 2010, Proceedings of the 11th International Symposium on Quality Electronic Design, ISQED 2010. p. 307-314 8 p. 5450442. (Proceedings of the 11th International Symposium on Quality Electronic Design, ISQED 2010).

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

Variation-conscious formal timing verification in RTL

Kumar, J. A. & Vasudevan, S., Mar 25 2011, Proceedings - 24th International Conference on VLSI Design, VLSI Design 2011, Held Jointly with 10th International Conference on Embedded Systems. p. 58-63 6 p. 5718778. (Proceedings of the IEEE International Conference on VLSI Design).

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

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

Variations on the theme of the witsenhausen counterexample

Başar, T., Dec 1 2008, Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008. p. 1614-1619 6 p. 4739205. (Proceedings of the IEEE Conference on Decision and Control).

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

Variation-tolerant, low-power PN-code acquisition using stochastic sensor NOC

Varatkar, G. V., Narayanan, S., Shanbhag, N. R. & Jones, D. L., Sep 24 2008, 2008 IEEE International Symposium on Circuits and Systems, ISCAS 2008. p. 380-383 4 p. 4541434. (Proceedings - IEEE International Symposium on Circuits and Systems).

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

Variation-tolerant architectures for convolutional neural networks in the near threshold voltage regime

Lin, Y., Zhang, S. & Shanbhag, N. R., Dec 9 2016, Proceedings - IEEE International Workshop on Signal Processing Systems, SiPS 2016. Institute of Electrical and Electronics Engineers Inc., p. 17-22 6 p. 7780065. (IEEE Workshop on Signal Processing Systems, SiPS: Design and Implementation).

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

Variation-tolerant motion estimation architecture

Varatkar, G. V. & Shanbhag, N. R., Dec 1 2007, 2007 IEEE Workshop on Signal Processing Systems, SiPS 2007, Proceedings. p. 126-131 6 p. 4387531. (IEEE Workshop on Signal Processing Systems, SiPS: Design and Implementation).

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

VARIUS: A model of process variation and resulting timing errors for microarchitects

Sarangi, S. R., Greskamp, B., Teodorescu, R., Nakano, J., Tiwari, A. & Torrellas, J., Feb 1 2008, In : IEEE Transactions on Semiconductor Manufacturing. 21, 1, p. 3-13 11 p.

Research output: Contribution to journalArticle

VARIUS-NTV: A microarchitectural model to capture the increased sensitivity of manycores to process variations at near-threshold voltages

Karpuzcu, U. R., Kolluru, K. B., Kim, N. S. & Torrellas, J., Oct 1 2012, 2012 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2012. 6263951. (Proceedings of the International Conference on Dependable Systems and Networks).

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

VCode and VData: Illustrating a new framework for supporting the video annotation workflow

Hagedorn, J., Hailpern, J. & Karahalios, K. G., Dec 15 2008, p. 317-321. 5 p.

Research output: Contribution to conferencePaper

V-Combiner: Speeding-up iterative graph processing on a shared-memory platform with vertex merging

Heidarshenas, A., Yesil, S., Skarlatos, D., Misailovic, S., Morrison, A. & Torrellas, J., Jun 29 2020, Proceedings of the 34th ACM International Conference on Supercomputing, ICS 2020. Association for Computing Machinery, (Proceedings of the International Conference on Supercomputing).

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

VEBoC: Variation and error-aware design for billions of devices on a chip

Akram, S., Cromar, S., Lucas, G., Papakonstantinou, A. & Chen, D., Aug 21 2008, 2008 Asia and South Pacific Design Automation Conference, ASP-DAC. p. 803-808 6 p. 4484062. (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC).

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