Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for +publisher:"University of Michigan" +contributor:("Dick, Robert"). Showing records 1 – 22 of 22 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


University of Michigan

1. Chen, Xi. Performance, Power, and Thermal Modeling and Optimization for High-Performance Computer Systems.

Degree: PhD, Computer Science & Engineering, 2011, University of Michigan

 This dissertation presents several models for performance, power, and thermal estimations in high-performance computer systems. In addition, it also describes a hardware-oriented cache compression algorithm,… (more)

Subjects/Keywords: Modeling; Optimization; Performance; Power; Thermal; CMP; Computer Science; Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Chen, X. (2011). Performance, Power, and Thermal Modeling and Optimization for High-Performance Computer Systems. (Doctoral Dissertation). University of Michigan. Retrieved from http://hdl.handle.net/2027.42/86535

Chicago Manual of Style (16th Edition):

Chen, Xi. “Performance, Power, and Thermal Modeling and Optimization for High-Performance Computer Systems.” 2011. Doctoral Dissertation, University of Michigan. Accessed October 27, 2020. http://hdl.handle.net/2027.42/86535.

MLA Handbook (7th Edition):

Chen, Xi. “Performance, Power, and Thermal Modeling and Optimization for High-Performance Computer Systems.” 2011. Web. 27 Oct 2020.

Vancouver:

Chen X. Performance, Power, and Thermal Modeling and Optimization for High-Performance Computer Systems. [Internet] [Doctoral dissertation]. University of Michigan; 2011. [cited 2020 Oct 27]. Available from: http://hdl.handle.net/2027.42/86535.

Council of Science Editors:

Chen X. Performance, Power, and Thermal Modeling and Optimization for High-Performance Computer Systems. [Doctoral Dissertation]. University of Michigan; 2011. Available from: http://hdl.handle.net/2027.42/86535


University of Michigan

2. Jamshidi, Davoud. Accelerating Data Transfer for Throughput Processors.

Degree: PhD, Computer Science & Engineering, 2016, University of Michigan

 Graphics processing units (GPUs) have become prevalent in modern computing systems. While their highly parallel architectures are traditionally used as accelerators for rendering graphics, GPUs… (more)

Subjects/Keywords: computer architecture; Graphics Processing Unit (GPU) architecture; Computer Science; Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Jamshidi, D. (2016). Accelerating Data Transfer for Throughput Processors. (Doctoral Dissertation). University of Michigan. Retrieved from http://hdl.handle.net/2027.42/135935

Chicago Manual of Style (16th Edition):

Jamshidi, Davoud. “Accelerating Data Transfer for Throughput Processors.” 2016. Doctoral Dissertation, University of Michigan. Accessed October 27, 2020. http://hdl.handle.net/2027.42/135935.

MLA Handbook (7th Edition):

Jamshidi, Davoud. “Accelerating Data Transfer for Throughput Processors.” 2016. Web. 27 Oct 2020.

Vancouver:

Jamshidi D. Accelerating Data Transfer for Throughput Processors. [Internet] [Doctoral dissertation]. University of Michigan; 2016. [cited 2020 Oct 27]. Available from: http://hdl.handle.net/2027.42/135935.

Council of Science Editors:

Jamshidi D. Accelerating Data Transfer for Throughput Processors. [Doctoral Dissertation]. University of Michigan; 2016. Available from: http://hdl.handle.net/2027.42/135935


University of Michigan

3. Mehrara, Mojtaba. Compiler and Runtime Techniques for Automatic Parallelization of Sequential Applications.

Degree: PhD, Computer Science & Engineering, 2011, University of Michigan

 Multicore designs have emerged as the mainstream design paradigm for the microprocessor industry. Unfortunately, providing multiple cores does not directly translate into performance for most… (more)

Subjects/Keywords: Speculative Parallelization; Software Transactional Memory; JavaScript Parallelization; Multicore Compilation; Dynamic Parallelization; Loop Level Parallelism; Computer Science; Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Mehrara, M. (2011). Compiler and Runtime Techniques for Automatic Parallelization of Sequential Applications. (Doctoral Dissertation). University of Michigan. Retrieved from http://hdl.handle.net/2027.42/86499

Chicago Manual of Style (16th Edition):

Mehrara, Mojtaba. “Compiler and Runtime Techniques for Automatic Parallelization of Sequential Applications.” 2011. Doctoral Dissertation, University of Michigan. Accessed October 27, 2020. http://hdl.handle.net/2027.42/86499.

MLA Handbook (7th Edition):

Mehrara, Mojtaba. “Compiler and Runtime Techniques for Automatic Parallelization of Sequential Applications.” 2011. Web. 27 Oct 2020.

Vancouver:

Mehrara M. Compiler and Runtime Techniques for Automatic Parallelization of Sequential Applications. [Internet] [Doctoral dissertation]. University of Michigan; 2011. [cited 2020 Oct 27]. Available from: http://hdl.handle.net/2027.42/86499.

Council of Science Editors:

Mehrara M. Compiler and Runtime Techniques for Automatic Parallelization of Sequential Applications. [Doctoral Dissertation]. University of Michigan; 2011. Available from: http://hdl.handle.net/2027.42/86499


University of Michigan

4. DeBruin, Samuel. Enabling Visibility Into Building Energy Consumption Through Novel Metering Designs and Methods.

Degree: PhD, Computer Science & Engineering, 2017, University of Michigan

 Energy consumption in buildings is an area of growing national concern, with almost 3,000 TWh going to residential and commercial buildings in the United States… (more)

Subjects/Keywords: Residential energy metering; Low power wireless networks; Computer Science; Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

DeBruin, S. (2017). Enabling Visibility Into Building Energy Consumption Through Novel Metering Designs and Methods. (Doctoral Dissertation). University of Michigan. Retrieved from http://hdl.handle.net/2027.42/140896

Chicago Manual of Style (16th Edition):

DeBruin, Samuel. “Enabling Visibility Into Building Energy Consumption Through Novel Metering Designs and Methods.” 2017. Doctoral Dissertation, University of Michigan. Accessed October 27, 2020. http://hdl.handle.net/2027.42/140896.

MLA Handbook (7th Edition):

DeBruin, Samuel. “Enabling Visibility Into Building Energy Consumption Through Novel Metering Designs and Methods.” 2017. Web. 27 Oct 2020.

Vancouver:

DeBruin S. Enabling Visibility Into Building Energy Consumption Through Novel Metering Designs and Methods. [Internet] [Doctoral dissertation]. University of Michigan; 2017. [cited 2020 Oct 27]. Available from: http://hdl.handle.net/2027.42/140896.

Council of Science Editors:

DeBruin S. Enabling Visibility Into Building Energy Consumption Through Novel Metering Designs and Methods. [Doctoral Dissertation]. University of Michigan; 2017. Available from: http://hdl.handle.net/2027.42/140896


University of Michigan

5. Liu, Yue. Supporting Large Scale Communication Systems on Infrastructureless Networks Composed of Commodity Mobile Devices: Practicality, Scalability, and Security.

Degree: PhD, Electrical Engineering: Systems, 2016, University of Michigan

 Infrastructureless Delay Tolerant Networks (DTNs) composed of commodity mobile devices have the potential to support communication applications resistant to blocking and censorship, as well as… (more)

Subjects/Keywords: security; censorship; Infrastructureless networks; delay tolerant networks; the Sybil attack; human mobility and contacts; Computer Science; Electrical Engineering; Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Liu, Y. (2016). Supporting Large Scale Communication Systems on Infrastructureless Networks Composed of Commodity Mobile Devices: Practicality, Scalability, and Security. (Doctoral Dissertation). University of Michigan. Retrieved from http://hdl.handle.net/2027.42/120779

Chicago Manual of Style (16th Edition):

Liu, Yue. “Supporting Large Scale Communication Systems on Infrastructureless Networks Composed of Commodity Mobile Devices: Practicality, Scalability, and Security.” 2016. Doctoral Dissertation, University of Michigan. Accessed October 27, 2020. http://hdl.handle.net/2027.42/120779.

MLA Handbook (7th Edition):

Liu, Yue. “Supporting Large Scale Communication Systems on Infrastructureless Networks Composed of Commodity Mobile Devices: Practicality, Scalability, and Security.” 2016. Web. 27 Oct 2020.

Vancouver:

Liu Y. Supporting Large Scale Communication Systems on Infrastructureless Networks Composed of Commodity Mobile Devices: Practicality, Scalability, and Security. [Internet] [Doctoral dissertation]. University of Michigan; 2016. [cited 2020 Oct 27]. Available from: http://hdl.handle.net/2027.42/120779.

Council of Science Editors:

Liu Y. Supporting Large Scale Communication Systems on Infrastructureless Networks Composed of Commodity Mobile Devices: Practicality, Scalability, and Security. [Doctoral Dissertation]. University of Michigan; 2016. Available from: http://hdl.handle.net/2027.42/120779


University of Michigan

6. Bai, Lan. Simplifying Design of Wireless Sensor Networks with Programming Languages, Compilers, and Synthesis.

Degree: PhD, Computer Science & Engineering, 2011, University of Michigan

 Wireless sensor networks have opened opportunities for new applications and attracted users from domains beyond computer system design. Sensor network design is challenging. It is… (more)

Subjects/Keywords: Wireless Sensor Network; Design Automation; Programming Language; Synthesis; Modeling; Computer Science; Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bai, L. (2011). Simplifying Design of Wireless Sensor Networks with Programming Languages, Compilers, and Synthesis. (Doctoral Dissertation). University of Michigan. Retrieved from http://hdl.handle.net/2027.42/86465

Chicago Manual of Style (16th Edition):

Bai, Lan. “Simplifying Design of Wireless Sensor Networks with Programming Languages, Compilers, and Synthesis.” 2011. Doctoral Dissertation, University of Michigan. Accessed October 27, 2020. http://hdl.handle.net/2027.42/86465.

MLA Handbook (7th Edition):

Bai, Lan. “Simplifying Design of Wireless Sensor Networks with Programming Languages, Compilers, and Synthesis.” 2011. Web. 27 Oct 2020.

Vancouver:

Bai L. Simplifying Design of Wireless Sensor Networks with Programming Languages, Compilers, and Synthesis. [Internet] [Doctoral dissertation]. University of Michigan; 2011. [cited 2020 Oct 27]. Available from: http://hdl.handle.net/2027.42/86465.

Council of Science Editors:

Bai L. Simplifying Design of Wireless Sensor Networks with Programming Languages, Compilers, and Synthesis. [Doctoral Dissertation]. University of Michigan; 2011. Available from: http://hdl.handle.net/2027.42/86465


University of Michigan

7. Prelee, Matthew A. Manhattan Cutset Sampling and Sensor Networks.

Degree: PhD, Electrical Engineering: Systems, 2016, University of Michigan

 Cutset sampling is a new approach to acquiring two-dimensional data, i.e., images, where values are recorded densely along straight lines. This type of sampling is… (more)

Subjects/Keywords: image sampling; sensor networks; Electrical Engineering; Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Prelee, M. A. (2016). Manhattan Cutset Sampling and Sensor Networks. (Doctoral Dissertation). University of Michigan. Retrieved from http://hdl.handle.net/2027.42/120876

Chicago Manual of Style (16th Edition):

Prelee, Matthew A. “Manhattan Cutset Sampling and Sensor Networks.” 2016. Doctoral Dissertation, University of Michigan. Accessed October 27, 2020. http://hdl.handle.net/2027.42/120876.

MLA Handbook (7th Edition):

Prelee, Matthew A. “Manhattan Cutset Sampling and Sensor Networks.” 2016. Web. 27 Oct 2020.

Vancouver:

Prelee MA. Manhattan Cutset Sampling and Sensor Networks. [Internet] [Doctoral dissertation]. University of Michigan; 2016. [cited 2020 Oct 27]. Available from: http://hdl.handle.net/2027.42/120876.

Council of Science Editors:

Prelee MA. Manhattan Cutset Sampling and Sensor Networks. [Doctoral Dissertation]. University of Michigan; 2016. Available from: http://hdl.handle.net/2027.42/120876

8. Huang, Junxian. Performance and Power Characterization of Cellular Networks and Mobile Application Optimizations.

Degree: PhD, Computer Science & Engineering, 2013, University of Michigan

 Smartphones with cellular data access have become increasingly popular with the wide variety of mobile applications. However, the performance and power footprint of these mobile… (more)

Subjects/Keywords: Cellular Networks; Network Characterization; Smartphone Energy Model; LTE Networks; Mobile Application Optimization; TCP in Cellular Networks; Computer Science; Engineering

…x5B;9] that are being actively worked on, with joint collaboration among University of… …Michigan, M-Lab [10] and University of Washington. 3 and other mobile networks [… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Huang, J. (2013). Performance and Power Characterization of Cellular Networks and Mobile Application Optimizations. (Doctoral Dissertation). University of Michigan. Retrieved from http://hdl.handle.net/2027.42/99905

Chicago Manual of Style (16th Edition):

Huang, Junxian. “Performance and Power Characterization of Cellular Networks and Mobile Application Optimizations.” 2013. Doctoral Dissertation, University of Michigan. Accessed October 27, 2020. http://hdl.handle.net/2027.42/99905.

MLA Handbook (7th Edition):

Huang, Junxian. “Performance and Power Characterization of Cellular Networks and Mobile Application Optimizations.” 2013. Web. 27 Oct 2020.

Vancouver:

Huang J. Performance and Power Characterization of Cellular Networks and Mobile Application Optimizations. [Internet] [Doctoral dissertation]. University of Michigan; 2013. [cited 2020 Oct 27]. Available from: http://hdl.handle.net/2027.42/99905.

Council of Science Editors:

Huang J. Performance and Power Characterization of Cellular Networks and Mobile Application Optimizations. [Doctoral Dissertation]. University of Michigan; 2013. Available from: http://hdl.handle.net/2027.42/99905

9. Zick, Kenneth M. Physically-Adaptive Computing via Introspection and Self-Optimization in Reconfigurable Systems.

Degree: PhD, Computer Science & Engineering, 2010, University of Michigan

 Digital electronic systems typically must compute precise and deterministic results, but in principle have flexibility in how they compute. Despite the potential flexibility, the overriding… (more)

Subjects/Keywords: Physically-adaptive Computing; Introspection; Reconfigurable Digital Systems; Field-programmable Gate Arrays; Physical Variation; Nanoscale; Computer Science; Engineering

Page 1 Page 2 Page 3 Page 4 Page 5

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Zick, K. M. (2010). Physically-Adaptive Computing via Introspection and Self-Optimization in Reconfigurable Systems. (Doctoral Dissertation). University of Michigan. Retrieved from http://hdl.handle.net/2027.42/78922

Chicago Manual of Style (16th Edition):

Zick, Kenneth M. “Physically-Adaptive Computing via Introspection and Self-Optimization in Reconfigurable Systems.” 2010. Doctoral Dissertation, University of Michigan. Accessed October 27, 2020. http://hdl.handle.net/2027.42/78922.

MLA Handbook (7th Edition):

Zick, Kenneth M. “Physically-Adaptive Computing via Introspection and Self-Optimization in Reconfigurable Systems.” 2010. Web. 27 Oct 2020.

Vancouver:

Zick KM. Physically-Adaptive Computing via Introspection and Self-Optimization in Reconfigurable Systems. [Internet] [Doctoral dissertation]. University of Michigan; 2010. [cited 2020 Oct 27]. Available from: http://hdl.handle.net/2027.42/78922.

Council of Science Editors:

Zick KM. Physically-Adaptive Computing via Introspection and Self-Optimization in Reconfigurable Systems. [Doctoral Dissertation]. University of Michigan; 2010. Available from: http://hdl.handle.net/2027.42/78922

10. Lee, Suho. Unbounded Scalable Hardware Verification.

Degree: PhD, Computer Science and Engineering, 2016, University of Michigan

 Model checking is a formal verification method that has been successfully applied to real-world hardware and software designs. Model checking tools, however, encounter the so-called… (more)

Subjects/Keywords: Formal verification; Hardware verification; Structural abstraction; Approximate reachability; Computer Science; Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Lee, S. (2016). Unbounded Scalable Hardware Verification. (Doctoral Dissertation). University of Michigan. Retrieved from http://hdl.handle.net/2027.42/133375

Chicago Manual of Style (16th Edition):

Lee, Suho. “Unbounded Scalable Hardware Verification.” 2016. Doctoral Dissertation, University of Michigan. Accessed October 27, 2020. http://hdl.handle.net/2027.42/133375.

MLA Handbook (7th Edition):

Lee, Suho. “Unbounded Scalable Hardware Verification.” 2016. Web. 27 Oct 2020.

Vancouver:

Lee S. Unbounded Scalable Hardware Verification. [Internet] [Doctoral dissertation]. University of Michigan; 2016. [cited 2020 Oct 27]. Available from: http://hdl.handle.net/2027.42/133375.

Council of Science Editors:

Lee S. Unbounded Scalable Hardware Verification. [Doctoral Dissertation]. University of Michigan; 2016. Available from: http://hdl.handle.net/2027.42/133375

11. Bild, David Robinson. Non-Hierarchical Networks for Censorship-Resistant Personal Communication.

Degree: PhD, Computer Science & Engineering, 2014, University of Michigan

 The Internet promises widespread access to the world’s collective information and fast communication among people, but common government censorship and spying undermines this potential. This… (more)

Subjects/Keywords: Security; Communication; Ad Hoc Networking; Computer Science; Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bild, D. R. (2014). Non-Hierarchical Networks for Censorship-Resistant Personal Communication. (Doctoral Dissertation). University of Michigan. Retrieved from http://hdl.handle.net/2027.42/107314

Chicago Manual of Style (16th Edition):

Bild, David Robinson. “Non-Hierarchical Networks for Censorship-Resistant Personal Communication.” 2014. Doctoral Dissertation, University of Michigan. Accessed October 27, 2020. http://hdl.handle.net/2027.42/107314.

MLA Handbook (7th Edition):

Bild, David Robinson. “Non-Hierarchical Networks for Censorship-Resistant Personal Communication.” 2014. Web. 27 Oct 2020.

Vancouver:

Bild DR. Non-Hierarchical Networks for Censorship-Resistant Personal Communication. [Internet] [Doctoral dissertation]. University of Michigan; 2014. [cited 2020 Oct 27]. Available from: http://hdl.handle.net/2027.42/107314.

Council of Science Editors:

Bild DR. Non-Hierarchical Networks for Censorship-Resistant Personal Communication. [Doctoral Dissertation]. University of Michigan; 2014. Available from: http://hdl.handle.net/2027.42/107314

12. Qian, Feng. Characterization and Optimization of Resource Utilization for Cellular Networks.

Degree: PhD, Computer Science and Engineering, 2012, University of Michigan

 Cellular data networks have experienced significant growth in the recent years particularly due to the emergence of smartphones. Despite its popularity, there remain two major… (more)

Subjects/Keywords: Cellular Resource Utilization Optimization; Cellular Networks; Smartphone Applications; RRC State Machine; Mobile Application Resource Optimizer (ARO); UMTS; Computer Science; Engineering

…users at the University of Michigan. Surprisingly, our findings suggest that redundant… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Qian, F. (2012). Characterization and Optimization of Resource Utilization for Cellular Networks. (Doctoral Dissertation). University of Michigan. Retrieved from http://hdl.handle.net/2027.42/94024

Chicago Manual of Style (16th Edition):

Qian, Feng. “Characterization and Optimization of Resource Utilization for Cellular Networks.” 2012. Doctoral Dissertation, University of Michigan. Accessed October 27, 2020. http://hdl.handle.net/2027.42/94024.

MLA Handbook (7th Edition):

Qian, Feng. “Characterization and Optimization of Resource Utilization for Cellular Networks.” 2012. Web. 27 Oct 2020.

Vancouver:

Qian F. Characterization and Optimization of Resource Utilization for Cellular Networks. [Internet] [Doctoral dissertation]. University of Michigan; 2012. [cited 2020 Oct 27]. Available from: http://hdl.handle.net/2027.42/94024.

Council of Science Editors:

Qian F. Characterization and Optimization of Resource Utilization for Cellular Networks. [Doctoral Dissertation]. University of Michigan; 2012. Available from: http://hdl.handle.net/2027.42/94024

13. Greathouse, Joseph Lee. Hardware Mechanisms for Distributed Dynamic Software Analysis.

Degree: PhD, Computer Science & Engineering, 2012, University of Michigan

 The complexity of modern software makes it difficult to ship correct programs. Errors can cost money and lives, so developers often use automated software analysis… (more)

Subjects/Keywords: Dynamic Software Analysis; Data Race Detection; Watchpoints; Distributed Software Analysis; Computer Science; Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Greathouse, J. L. (2012). Hardware Mechanisms for Distributed Dynamic Software Analysis. (Doctoral Dissertation). University of Michigan. Retrieved from http://hdl.handle.net/2027.42/93851

Chicago Manual of Style (16th Edition):

Greathouse, Joseph Lee. “Hardware Mechanisms for Distributed Dynamic Software Analysis.” 2012. Doctoral Dissertation, University of Michigan. Accessed October 27, 2020. http://hdl.handle.net/2027.42/93851.

MLA Handbook (7th Edition):

Greathouse, Joseph Lee. “Hardware Mechanisms for Distributed Dynamic Software Analysis.” 2012. Web. 27 Oct 2020.

Vancouver:

Greathouse JL. Hardware Mechanisms for Distributed Dynamic Software Analysis. [Internet] [Doctoral dissertation]. University of Michigan; 2012. [cited 2020 Oct 27]. Available from: http://hdl.handle.net/2027.42/93851.

Council of Science Editors:

Greathouse JL. Hardware Mechanisms for Distributed Dynamic Software Analysis. [Doctoral Dissertation]. University of Michigan; 2012. Available from: http://hdl.handle.net/2027.42/93851

14. Xu, Qiang. Optimizing Mobile Application Performance through Network Infrastructure Aware Adaptation.

Degree: PhD, Computer Science & Engineering, 2013, University of Michigan

 Encouraged by the fast adoption of mobile devices and the widespread deployment of mobile networks, mobile applications are becoming the preferred “gateways” connecting users to… (more)

Subjects/Keywords: Cellular Infrastructure, Mobile Application, Performance Adaptation; Computer Science; Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Xu, Q. (2013). Optimizing Mobile Application Performance through Network Infrastructure Aware Adaptation. (Doctoral Dissertation). University of Michigan. Retrieved from http://hdl.handle.net/2027.42/99829

Chicago Manual of Style (16th Edition):

Xu, Qiang. “Optimizing Mobile Application Performance through Network Infrastructure Aware Adaptation.” 2013. Doctoral Dissertation, University of Michigan. Accessed October 27, 2020. http://hdl.handle.net/2027.42/99829.

MLA Handbook (7th Edition):

Xu, Qiang. “Optimizing Mobile Application Performance through Network Infrastructure Aware Adaptation.” 2013. Web. 27 Oct 2020.

Vancouver:

Xu Q. Optimizing Mobile Application Performance through Network Infrastructure Aware Adaptation. [Internet] [Doctoral dissertation]. University of Michigan; 2013. [cited 2020 Oct 27]. Available from: http://hdl.handle.net/2027.42/99829.

Council of Science Editors:

Xu Q. Optimizing Mobile Application Performance through Network Infrastructure Aware Adaptation. [Doctoral Dissertation]. University of Michigan; 2013. Available from: http://hdl.handle.net/2027.42/99829

15. Xiang, Yun. Mobile Sensor Network Design and Optimization for Air Quality Monitoring.

Degree: PhD, Electrical Engineering, 2014, University of Michigan

 Air quality and personal pollutant exposure measurement are important for the health and productivity of individuals. Accurate measurement of personal exposure is challenging because of… (more)

Subjects/Keywords: Sensor Netowrk; Air Quality; Optimization; Bayesian Network; Electrical Engineering; Engineering

…experiments at the University of Michigan and the University of Colorado Boulder. M-pods were… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Xiang, Y. (2014). Mobile Sensor Network Design and Optimization for Air Quality Monitoring. (Doctoral Dissertation). University of Michigan. Retrieved from http://hdl.handle.net/2027.42/107188

Chicago Manual of Style (16th Edition):

Xiang, Yun. “Mobile Sensor Network Design and Optimization for Air Quality Monitoring.” 2014. Doctoral Dissertation, University of Michigan. Accessed October 27, 2020. http://hdl.handle.net/2027.42/107188.

MLA Handbook (7th Edition):

Xiang, Yun. “Mobile Sensor Network Design and Optimization for Air Quality Monitoring.” 2014. Web. 27 Oct 2020.

Vancouver:

Xiang Y. Mobile Sensor Network Design and Optimization for Air Quality Monitoring. [Internet] [Doctoral dissertation]. University of Michigan; 2014. [cited 2020 Oct 27]. Available from: http://hdl.handle.net/2027.42/107188.

Council of Science Editors:

Xiang Y. Mobile Sensor Network Design and Optimization for Air Quality Monitoring. [Doctoral Dissertation]. University of Michigan; 2014. Available from: http://hdl.handle.net/2027.42/107188

16. He, Xuejing. Energy Saving and Scavenging in Stand-alone and Large Scale Distributed Systems.

Degree: PhD, Electrical Engineering, 2015, University of Michigan

 This thesis focuses on energy management techniques for distributed systems such as hand-held mobile devices, sensor nodes, and data center servers. One of the major… (more)

Subjects/Keywords: Energy management; Embedded system; Data center; Electrical Engineering; Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

He, X. (2015). Energy Saving and Scavenging in Stand-alone and Large Scale Distributed Systems. (Doctoral Dissertation). University of Michigan. Retrieved from http://hdl.handle.net/2027.42/116746

Chicago Manual of Style (16th Edition):

He, Xuejing. “Energy Saving and Scavenging in Stand-alone and Large Scale Distributed Systems.” 2015. Doctoral Dissertation, University of Michigan. Accessed October 27, 2020. http://hdl.handle.net/2027.42/116746.

MLA Handbook (7th Edition):

He, Xuejing. “Energy Saving and Scavenging in Stand-alone and Large Scale Distributed Systems.” 2015. Web. 27 Oct 2020.

Vancouver:

He X. Energy Saving and Scavenging in Stand-alone and Large Scale Distributed Systems. [Internet] [Doctoral dissertation]. University of Michigan; 2015. [cited 2020 Oct 27]. Available from: http://hdl.handle.net/2027.42/116746.

Council of Science Editors:

He X. Energy Saving and Scavenging in Stand-alone and Large Scale Distributed Systems. [Doctoral Dissertation]. University of Michigan; 2015. Available from: http://hdl.handle.net/2027.42/116746

17. Samadiarakhshbahar, Mehrzad. Dynamic Orchestration of Massively Data Parallel Execution.

Degree: PhD, Computer Science & Engineering, 2014, University of Michigan

 Graphics processing units (GPUs) are specialized hardware accelerators capable of rendering graphics much faster than conventional general-purpose processors. They are widely used in personal computers,… (more)

Subjects/Keywords: Compilers; Approximation; GPUs; Performance Portability; Code Generation; Approximate Computing; Computer Science; Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Samadiarakhshbahar, M. (2014). Dynamic Orchestration of Massively Data Parallel Execution. (Doctoral Dissertation). University of Michigan. Retrieved from http://hdl.handle.net/2027.42/108805

Chicago Manual of Style (16th Edition):

Samadiarakhshbahar, Mehrzad. “Dynamic Orchestration of Massively Data Parallel Execution.” 2014. Doctoral Dissertation, University of Michigan. Accessed October 27, 2020. http://hdl.handle.net/2027.42/108805.

MLA Handbook (7th Edition):

Samadiarakhshbahar, Mehrzad. “Dynamic Orchestration of Massively Data Parallel Execution.” 2014. Web. 27 Oct 2020.

Vancouver:

Samadiarakhshbahar M. Dynamic Orchestration of Massively Data Parallel Execution. [Internet] [Doctoral dissertation]. University of Michigan; 2014. [cited 2020 Oct 27]. Available from: http://hdl.handle.net/2027.42/108805.

Council of Science Editors:

Samadiarakhshbahar M. Dynamic Orchestration of Massively Data Parallel Execution. [Doctoral Dissertation]. University of Michigan; 2014. Available from: http://hdl.handle.net/2027.42/108805

18. Zhang, Lide. Power, Performance Modeling and Optimization for Mobile System and Applications.

Degree: PhD, Computer Science & Engineering, 2013, University of Michigan

 Smartphone usage has experienced significant growth in the recent years. Despite of its popularity, there is a tension between the increasing demand for smartphone performance,… (more)

Subjects/Keywords: Mobile System; Performance; Power; Computer Science; Engineering

…Panappticon was deployed on 14 users we recruited from University of Michigan for a month. The… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Zhang, L. (2013). Power, Performance Modeling and Optimization for Mobile System and Applications. (Doctoral Dissertation). University of Michigan. Retrieved from http://hdl.handle.net/2027.42/97824

Chicago Manual of Style (16th Edition):

Zhang, Lide. “Power, Performance Modeling and Optimization for Mobile System and Applications.” 2013. Doctoral Dissertation, University of Michigan. Accessed October 27, 2020. http://hdl.handle.net/2027.42/97824.

MLA Handbook (7th Edition):

Zhang, Lide. “Power, Performance Modeling and Optimization for Mobile System and Applications.” 2013. Web. 27 Oct 2020.

Vancouver:

Zhang L. Power, Performance Modeling and Optimization for Mobile System and Applications. [Internet] [Doctoral dissertation]. University of Michigan; 2013. [cited 2020 Oct 27]. Available from: http://hdl.handle.net/2027.42/97824.

Council of Science Editors:

Zhang L. Power, Performance Modeling and Optimization for Mobile System and Applications. [Doctoral Dissertation]. University of Michigan; 2013. Available from: http://hdl.handle.net/2027.42/97824

19. Hsiao, Chun-Hung. Improving Software Reliability for Event-Driven Mobile Systems.

Degree: PhD, Computer Science & Engineering, 2017, University of Michigan

 Mobile platforms commonly support an event-driven model of concurrent programming. In an event-driven system, the flow of a program is controlled by asynchronous events. Events… (more)

Subjects/Keywords: event-driven; asynchronous; data race; happens-before; commutativity; Computer Science; Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Hsiao, C. (2017). Improving Software Reliability for Event-Driven Mobile Systems. (Doctoral Dissertation). University of Michigan. Retrieved from http://hdl.handle.net/2027.42/138565

Chicago Manual of Style (16th Edition):

Hsiao, Chun-Hung. “Improving Software Reliability for Event-Driven Mobile Systems.” 2017. Doctoral Dissertation, University of Michigan. Accessed October 27, 2020. http://hdl.handle.net/2027.42/138565.

MLA Handbook (7th Edition):

Hsiao, Chun-Hung. “Improving Software Reliability for Event-Driven Mobile Systems.” 2017. Web. 27 Oct 2020.

Vancouver:

Hsiao C. Improving Software Reliability for Event-Driven Mobile Systems. [Internet] [Doctoral dissertation]. University of Michigan; 2017. [cited 2020 Oct 27]. Available from: http://hdl.handle.net/2027.42/138565.

Council of Science Editors:

Hsiao C. Improving Software Reliability for Event-Driven Mobile Systems. [Doctoral Dissertation]. University of Michigan; 2017. Available from: http://hdl.handle.net/2027.42/138565

20. Yu, Jie. Finding and Tolerating Concurrency Bugs.

Degree: PhD, Computer Science & Engineering, 2013, University of Michigan

 Shared-memory multi-threaded programming is inherently more difficult than single-threaded programming. The main source of complexity is that, the threads of an application can interleave in… (more)

Subjects/Keywords: Parallel Programming; Concurrency Bugs; Interleaving Constrained; Software Testing and Debugging; Coverage; Computer Science; Engineering; Science

Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Yu, J. (2013). Finding and Tolerating Concurrency Bugs. (Doctoral Dissertation). University of Michigan. Retrieved from http://hdl.handle.net/2027.42/99765

Chicago Manual of Style (16th Edition):

Yu, Jie. “Finding and Tolerating Concurrency Bugs.” 2013. Doctoral Dissertation, University of Michigan. Accessed October 27, 2020. http://hdl.handle.net/2027.42/99765.

MLA Handbook (7th Edition):

Yu, Jie. “Finding and Tolerating Concurrency Bugs.” 2013. Web. 27 Oct 2020.

Vancouver:

Yu J. Finding and Tolerating Concurrency Bugs. [Internet] [Doctoral dissertation]. University of Michigan; 2013. [cited 2020 Oct 27]. Available from: http://hdl.handle.net/2027.42/99765.

Council of Science Editors:

Yu J. Finding and Tolerating Concurrency Bugs. [Doctoral Dissertation]. University of Michigan; 2013. Available from: http://hdl.handle.net/2027.42/99765

21. Qian, Zhiyun. Discover, Analyze, and Validate Attacks with Introspective Side Channels.

Degree: PhD, Computer Science and Engineering, 2012, University of Michigan

 Traditionally, the focus of security property ``confidentiality'' is on users' data (or application-layer information) such as password and credit card numbers. However, as network systems… (more)

Subjects/Keywords: Introspective Side Channel; TCP Sequence Number Inference; Firewall Middleboxes; Cellular Networks; Computer Science; Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Qian, Z. (2012). Discover, Analyze, and Validate Attacks with Introspective Side Channels. (Doctoral Dissertation). University of Michigan. Retrieved from http://hdl.handle.net/2027.42/94037

Chicago Manual of Style (16th Edition):

Qian, Zhiyun. “Discover, Analyze, and Validate Attacks with Introspective Side Channels.” 2012. Doctoral Dissertation, University of Michigan. Accessed October 27, 2020. http://hdl.handle.net/2027.42/94037.

MLA Handbook (7th Edition):

Qian, Zhiyun. “Discover, Analyze, and Validate Attacks with Introspective Side Channels.” 2012. Web. 27 Oct 2020.

Vancouver:

Qian Z. Discover, Analyze, and Validate Attacks with Introspective Side Channels. [Internet] [Doctoral dissertation]. University of Michigan; 2012. [cited 2020 Oct 27]. Available from: http://hdl.handle.net/2027.42/94037.

Council of Science Editors:

Qian Z. Discover, Analyze, and Validate Attacks with Introspective Side Channels. [Doctoral Dissertation]. University of Michigan; 2012. Available from: http://hdl.handle.net/2027.42/94037


University of Michigan

22. Chen, Xu. Toward Automated Network Management and Operations.

Degree: PhD, Computer Science & Engineering, 2010, University of Michigan

 Network management plays a fundamental role in the operation and well-being of today's networks. Despite the best effort of existing support systems and tools, management… (more)

Subjects/Keywords: Network Management; Automation; Misconfiguration; Petri-Net; Declarative System; Virtualization; Computer Science; Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Chen, X. (2010). Toward Automated Network Management and Operations. (Doctoral Dissertation). University of Michigan. Retrieved from http://hdl.handle.net/2027.42/78837

Chicago Manual of Style (16th Edition):

Chen, Xu. “Toward Automated Network Management and Operations.” 2010. Doctoral Dissertation, University of Michigan. Accessed October 27, 2020. http://hdl.handle.net/2027.42/78837.

MLA Handbook (7th Edition):

Chen, Xu. “Toward Automated Network Management and Operations.” 2010. Web. 27 Oct 2020.

Vancouver:

Chen X. Toward Automated Network Management and Operations. [Internet] [Doctoral dissertation]. University of Michigan; 2010. [cited 2020 Oct 27]. Available from: http://hdl.handle.net/2027.42/78837.

Council of Science Editors:

Chen X. Toward Automated Network Management and Operations. [Doctoral Dissertation]. University of Michigan; 2010. Available from: http://hdl.handle.net/2027.42/78837

.