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 subject:(Execution). Showing records 1 – 30 of 774 total matches.

[1] [2] [3] [4] [5] … [26]

Search Limiters

Last 2 Years | English Only

Degrees

Levels

Languages

Country

▼ Search Limiters


Università della Svizzera italiana

1. Tsitovich, Aliaksei. Scalable abstractions for efficient security checks.

Degree: 2011, Università della Svizzera italiana

 Following the industrial demand to address the problem of software correctness, the computer science research community puts a lot of efforts into development of scalable… (more)

Subjects/Keywords: Symbolic execution

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Tsitovich, A. (2011). Scalable abstractions for efficient security checks. (Thesis). Università della Svizzera italiana. Retrieved from http://doc.rero.ch/record/25000

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Tsitovich, Aliaksei. “Scalable abstractions for efficient security checks.” 2011. Thesis, Università della Svizzera italiana. Accessed October 24, 2019. http://doc.rero.ch/record/25000.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Tsitovich, Aliaksei. “Scalable abstractions for efficient security checks.” 2011. Web. 24 Oct 2019.

Vancouver:

Tsitovich A. Scalable abstractions for efficient security checks. [Internet] [Thesis]. Università della Svizzera italiana; 2011. [cited 2019 Oct 24]. Available from: http://doc.rero.ch/record/25000.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Tsitovich A. Scalable abstractions for efficient security checks. [Thesis]. Università della Svizzera italiana; 2011. Available from: http://doc.rero.ch/record/25000

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Pretoria

2. Chetty, Thershen. The drivers and inhibitors of strategy execution.

Degree: Gordon Institute of Business Science (GIBS), 2012, University of Pretoria

 A review of the literature reveals that the ability to execute strategy is more important than the quality of the strategy itself. Researchers indicate that… (more)

Subjects/Keywords: UCTD; Strategy execution

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chetty, T. (2012). The drivers and inhibitors of strategy execution. (Masters Thesis). University of Pretoria. Retrieved from http://hdl.handle.net/2263/23764

Chicago Manual of Style (16th Edition):

Chetty, Thershen. “The drivers and inhibitors of strategy execution.” 2012. Masters Thesis, University of Pretoria. Accessed October 24, 2019. http://hdl.handle.net/2263/23764.

MLA Handbook (7th Edition):

Chetty, Thershen. “The drivers and inhibitors of strategy execution.” 2012. Web. 24 Oct 2019.

Vancouver:

Chetty T. The drivers and inhibitors of strategy execution. [Internet] [Masters thesis]. University of Pretoria; 2012. [cited 2019 Oct 24]. Available from: http://hdl.handle.net/2263/23764.

Council of Science Editors:

Chetty T. The drivers and inhibitors of strategy execution. [Masters Thesis]. University of Pretoria; 2012. Available from: http://hdl.handle.net/2263/23764


University of Pretoria

3. [No author]. The drivers and inhibitors of strategy execution .

Degree: 2012, University of Pretoria

 A review of the literature reveals that the ability to execute strategy is more important than the quality of the strategy itself. Researchers indicate that… (more)

Subjects/Keywords: UCTD; Strategy execution

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

author], [. (2012). The drivers and inhibitors of strategy execution . (Masters Thesis). University of Pretoria. Retrieved from http://upetd.up.ac.za/thesis/available/etd-04042011-144401/

Chicago Manual of Style (16th Edition):

author], [No. “The drivers and inhibitors of strategy execution .” 2012. Masters Thesis, University of Pretoria. Accessed October 24, 2019. http://upetd.up.ac.za/thesis/available/etd-04042011-144401/.

MLA Handbook (7th Edition):

author], [No. “The drivers and inhibitors of strategy execution .” 2012. Web. 24 Oct 2019.

Vancouver:

author] [. The drivers and inhibitors of strategy execution . [Internet] [Masters thesis]. University of Pretoria; 2012. [cited 2019 Oct 24]. Available from: http://upetd.up.ac.za/thesis/available/etd-04042011-144401/.

Council of Science Editors:

author] [. The drivers and inhibitors of strategy execution . [Masters Thesis]. University of Pretoria; 2012. Available from: http://upetd.up.ac.za/thesis/available/etd-04042011-144401/

4. Powell, Daniel Christopher. Lightweight speculative support for aggressive auto-parallelisation tools.

Degree: PhD, 2015, University of Edinburgh

 With the recent move to multi-core architectures it has become important to create the means to exploit the performance made available to us by these… (more)

Subjects/Keywords: 005.2; parallelism; speculative execution

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Powell, D. C. (2015). Lightweight speculative support for aggressive auto-parallelisation tools. (Doctoral Dissertation). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/10566

Chicago Manual of Style (16th Edition):

Powell, Daniel Christopher. “Lightweight speculative support for aggressive auto-parallelisation tools.” 2015. Doctoral Dissertation, University of Edinburgh. Accessed October 24, 2019. http://hdl.handle.net/1842/10566.

MLA Handbook (7th Edition):

Powell, Daniel Christopher. “Lightweight speculative support for aggressive auto-parallelisation tools.” 2015. Web. 24 Oct 2019.

Vancouver:

Powell DC. Lightweight speculative support for aggressive auto-parallelisation tools. [Internet] [Doctoral dissertation]. University of Edinburgh; 2015. [cited 2019 Oct 24]. Available from: http://hdl.handle.net/1842/10566.

Council of Science Editors:

Powell DC. Lightweight speculative support for aggressive auto-parallelisation tools. [Doctoral Dissertation]. University of Edinburgh; 2015. Available from: http://hdl.handle.net/1842/10566


NSYSU

5. LIU, WEI-CHEN. The Research of Execution Promotion of A Refinery Plant's Employees.

Degree: Master, EMBA, 2013, NSYSU

 Abstract Execution promotion is not only related to long-term stability but also related to the sustainable development of enterprises. Therefore, we must try our best… (more)

Subjects/Keywords: Execution; performance; human capital

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

LIU, W. (2013). The Research of Execution Promotion of A Refinery Plant's Employees. (Thesis). NSYSU. Retrieved from http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0518113-192144

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

LIU, WEI-CHEN. “The Research of Execution Promotion of A Refinery Plant's Employees.” 2013. Thesis, NSYSU. Accessed October 24, 2019. http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0518113-192144.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

LIU, WEI-CHEN. “The Research of Execution Promotion of A Refinery Plant's Employees.” 2013. Web. 24 Oct 2019.

Vancouver:

LIU W. The Research of Execution Promotion of A Refinery Plant's Employees. [Internet] [Thesis]. NSYSU; 2013. [cited 2019 Oct 24]. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0518113-192144.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

LIU W. The Research of Execution Promotion of A Refinery Plant's Employees. [Thesis]. NSYSU; 2013. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0518113-192144

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Louisiana State University

6. Hanagodimath, Pratik Prabhu. Performance Comparison Between Patus and Pluto Compilers on Stencils.

Degree: MSEE, Electrical and Computer Engineering, 2014, Louisiana State University

Comparing the performances of Patus and Pluto compilers on stencil applications. Stencils are written in Jacobi and Seidel style of coding and performances of both these compilers are analysed based on these coding styles.

Subjects/Keywords: Compiler optimization; parallel execution.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hanagodimath, P. P. (2014). Performance Comparison Between Patus and Pluto Compilers on Stencils. (Masters Thesis). Louisiana State University. Retrieved from etd-04142014-090546 ; https://digitalcommons.lsu.edu/gradschool_theses/2636

Chicago Manual of Style (16th Edition):

Hanagodimath, Pratik Prabhu. “Performance Comparison Between Patus and Pluto Compilers on Stencils.” 2014. Masters Thesis, Louisiana State University. Accessed October 24, 2019. etd-04142014-090546 ; https://digitalcommons.lsu.edu/gradschool_theses/2636.

MLA Handbook (7th Edition):

Hanagodimath, Pratik Prabhu. “Performance Comparison Between Patus and Pluto Compilers on Stencils.” 2014. Web. 24 Oct 2019.

Vancouver:

Hanagodimath PP. Performance Comparison Between Patus and Pluto Compilers on Stencils. [Internet] [Masters thesis]. Louisiana State University; 2014. [cited 2019 Oct 24]. Available from: etd-04142014-090546 ; https://digitalcommons.lsu.edu/gradschool_theses/2636.

Council of Science Editors:

Hanagodimath PP. Performance Comparison Between Patus and Pluto Compilers on Stencils. [Masters Thesis]. Louisiana State University; 2014. Available from: etd-04142014-090546 ; https://digitalcommons.lsu.edu/gradschool_theses/2636


Universidade Nova

7. Ferreira, André Abecasis Gomes. Efficient middleware for database replication.

Degree: 2008, Universidade Nova

Dissertação de Mestrado em Engenharia Informática

Database systems are used to store data on the most varied applications, like Web applications, enterprise applications, scientific research,… (more)

Subjects/Keywords: Replication; Speculative execution; Databases; Middleware

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ferreira, A. A. G. (2008). Efficient middleware for database replication. (Thesis). Universidade Nova. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/1866

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Ferreira, André Abecasis Gomes. “Efficient middleware for database replication.” 2008. Thesis, Universidade Nova. Accessed October 24, 2019. http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/1866.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Ferreira, André Abecasis Gomes. “Efficient middleware for database replication.” 2008. Web. 24 Oct 2019.

Vancouver:

Ferreira AAG. Efficient middleware for database replication. [Internet] [Thesis]. Universidade Nova; 2008. [cited 2019 Oct 24]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/1866.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Ferreira AAG. Efficient middleware for database replication. [Thesis]. Universidade Nova; 2008. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/1866

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Texas A&M University

8. Kodati, Vamsi Krishna. Probability-Based Memory Access Controller (PMAC) for Energy Reduction in High Performance Processors.

Degree: 2015, Texas A&M University

 The increasing transistor density due to Moore's law scaling continues to drive the improvement in processor core performance with each process generation. The additional transistors… (more)

Subjects/Keywords: Wrong Path Execution; Energy Reduction

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kodati, V. K. (2015). Probability-Based Memory Access Controller (PMAC) for Energy Reduction in High Performance Processors. (Thesis). Texas A&M University. Retrieved from http://hdl.handle.net/1969.1/156215

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Kodati, Vamsi Krishna. “Probability-Based Memory Access Controller (PMAC) for Energy Reduction in High Performance Processors.” 2015. Thesis, Texas A&M University. Accessed October 24, 2019. http://hdl.handle.net/1969.1/156215.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Kodati, Vamsi Krishna. “Probability-Based Memory Access Controller (PMAC) for Energy Reduction in High Performance Processors.” 2015. Web. 24 Oct 2019.

Vancouver:

Kodati VK. Probability-Based Memory Access Controller (PMAC) for Energy Reduction in High Performance Processors. [Internet] [Thesis]. Texas A&M University; 2015. [cited 2019 Oct 24]. Available from: http://hdl.handle.net/1969.1/156215.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Kodati VK. Probability-Based Memory Access Controller (PMAC) for Energy Reduction in High Performance Processors. [Thesis]. Texas A&M University; 2015. Available from: http://hdl.handle.net/1969.1/156215

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


North-West University

9. Leibbrandt, Johannes Henricus. Development of an integrated operating framework for strategy execution in Gauteng municipalities / J.H. Leibbrandt.

Degree: 2013, North-West University

 The establishment of a new democracy has created high expectations amongst all the different communities of South Africa. The demand for basic essential services by… (more)

Subjects/Keywords: Strategy; execution; planning; integrated; framework

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Leibbrandt, J. H. (2013). Development of an integrated operating framework for strategy execution in Gauteng municipalities / J.H. Leibbrandt. (Thesis). North-West University. Retrieved from http://hdl.handle.net/10394/9671

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Leibbrandt, Johannes Henricus. “Development of an integrated operating framework for strategy execution in Gauteng municipalities / J.H. Leibbrandt. ” 2013. Thesis, North-West University. Accessed October 24, 2019. http://hdl.handle.net/10394/9671.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Leibbrandt, Johannes Henricus. “Development of an integrated operating framework for strategy execution in Gauteng municipalities / J.H. Leibbrandt. ” 2013. Web. 24 Oct 2019.

Vancouver:

Leibbrandt JH. Development of an integrated operating framework for strategy execution in Gauteng municipalities / J.H. Leibbrandt. [Internet] [Thesis]. North-West University; 2013. [cited 2019 Oct 24]. Available from: http://hdl.handle.net/10394/9671.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Leibbrandt JH. Development of an integrated operating framework for strategy execution in Gauteng municipalities / J.H. Leibbrandt. [Thesis]. North-West University; 2013. Available from: http://hdl.handle.net/10394/9671

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Ottawa

10. Cooper, Jody. Scaffold Fiction: Execution and Eighteenth-Century British Literature .

Degree: 2012, University of Ottawa

 Before the age of sensibility, the literary scaffold was a device, albeit one with its own set of associations. Its purpose was to arrest plot,… (more)

Subjects/Keywords: execution; scaffold; literature; gothic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cooper, J. (2012). Scaffold Fiction: Execution and Eighteenth-Century British Literature . (Thesis). University of Ottawa. Retrieved from http://hdl.handle.net/10393/20728

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Cooper, Jody. “Scaffold Fiction: Execution and Eighteenth-Century British Literature .” 2012. Thesis, University of Ottawa. Accessed October 24, 2019. http://hdl.handle.net/10393/20728.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Cooper, Jody. “Scaffold Fiction: Execution and Eighteenth-Century British Literature .” 2012. Web. 24 Oct 2019.

Vancouver:

Cooper J. Scaffold Fiction: Execution and Eighteenth-Century British Literature . [Internet] [Thesis]. University of Ottawa; 2012. [cited 2019 Oct 24]. Available from: http://hdl.handle.net/10393/20728.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Cooper J. Scaffold Fiction: Execution and Eighteenth-Century British Literature . [Thesis]. University of Ottawa; 2012. Available from: http://hdl.handle.net/10393/20728

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Georgia Tech

11. Park, Daehyung. A multimodal execution monitor for assistive robots.

Degree: PhD, Interactive Computing, 2018, Georgia Tech

 Assistive robots have the potential to serve as caregivers, providing assistance with activities of daily living to people with disabilities. Monitoring when something has gone… (more)

Subjects/Keywords: Execution monitor; Assistive robot

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Park, D. (2018). A multimodal execution monitor for assistive robots. (Doctoral Dissertation). Georgia Tech. Retrieved from http://hdl.handle.net/1853/59860

Chicago Manual of Style (16th Edition):

Park, Daehyung. “A multimodal execution monitor for assistive robots.” 2018. Doctoral Dissertation, Georgia Tech. Accessed October 24, 2019. http://hdl.handle.net/1853/59860.

MLA Handbook (7th Edition):

Park, Daehyung. “A multimodal execution monitor for assistive robots.” 2018. Web. 24 Oct 2019.

Vancouver:

Park D. A multimodal execution monitor for assistive robots. [Internet] [Doctoral dissertation]. Georgia Tech; 2018. [cited 2019 Oct 24]. Available from: http://hdl.handle.net/1853/59860.

Council of Science Editors:

Park D. A multimodal execution monitor for assistive robots. [Doctoral Dissertation]. Georgia Tech; 2018. Available from: http://hdl.handle.net/1853/59860


University of Waterloo

12. Tse, Shu Tong. Numerical Methods for Optimal Trade Execution.

Degree: 2012, University of Waterloo

 Optimal trade execution aims at balancing price impact and timing risk. With respect to the mathematical formulation of the optimization problem, we primarily focus on… (more)

Subjects/Keywords: Optimal Trade Execution; Viscosity solution

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Tse, S. T. (2012). Numerical Methods for Optimal Trade Execution. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/6999

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Tse, Shu Tong. “Numerical Methods for Optimal Trade Execution.” 2012. Thesis, University of Waterloo. Accessed October 24, 2019. http://hdl.handle.net/10012/6999.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Tse, Shu Tong. “Numerical Methods for Optimal Trade Execution.” 2012. Web. 24 Oct 2019.

Vancouver:

Tse ST. Numerical Methods for Optimal Trade Execution. [Internet] [Thesis]. University of Waterloo; 2012. [cited 2019 Oct 24]. Available from: http://hdl.handle.net/10012/6999.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Tse ST. Numerical Methods for Optimal Trade Execution. [Thesis]. University of Waterloo; 2012. Available from: http://hdl.handle.net/10012/6999

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


San Jose State University

13. Makleff, Orna H. Commentary on Canvas, The Five Paintings of The Execution of Maximilian by Edouard Manet.

Degree: MA, Art and Art History, 2012, San Jose State University

  Edouard Manet painted five versions of The Execution of Maximilian. The three oils, lithograph, and oil sketch differ in style, focus, size, and media… (more)

Subjects/Keywords: Execution; Manet; Maximiliam; Painting

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Makleff, O. H. (2012). Commentary on Canvas, The Five Paintings of The Execution of Maximilian by Edouard Manet. (Masters Thesis). San Jose State University. Retrieved from https://doi.org/10.31979/etd.cubz-e8km ; https://scholarworks.sjsu.edu/etd_theses/4146

Chicago Manual of Style (16th Edition):

Makleff, Orna H. “Commentary on Canvas, The Five Paintings of The Execution of Maximilian by Edouard Manet.” 2012. Masters Thesis, San Jose State University. Accessed October 24, 2019. https://doi.org/10.31979/etd.cubz-e8km ; https://scholarworks.sjsu.edu/etd_theses/4146.

MLA Handbook (7th Edition):

Makleff, Orna H. “Commentary on Canvas, The Five Paintings of The Execution of Maximilian by Edouard Manet.” 2012. Web. 24 Oct 2019.

Vancouver:

Makleff OH. Commentary on Canvas, The Five Paintings of The Execution of Maximilian by Edouard Manet. [Internet] [Masters thesis]. San Jose State University; 2012. [cited 2019 Oct 24]. Available from: https://doi.org/10.31979/etd.cubz-e8km ; https://scholarworks.sjsu.edu/etd_theses/4146.

Council of Science Editors:

Makleff OH. Commentary on Canvas, The Five Paintings of The Execution of Maximilian by Edouard Manet. [Masters Thesis]. San Jose State University; 2012. Available from: https://doi.org/10.31979/etd.cubz-e8km ; https://scholarworks.sjsu.edu/etd_theses/4146


NSYSU

14. Wu, Guan-Ying. A Study on the Hand over of Foreclosed HousesâFocus on Civil Enforcement Act.

Degree: Master, ICAPS, 2018, NSYSU

 This paper aims to explore Taiwan's enforcement court for enforcement events, for the court to auction the real estate point of handover problems arising and… (more)

Subjects/Keywords: real estate; handover; auction; The writ of execution; The compulsory execution

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Wu, G. (2018). A Study on the Hand over of Foreclosed HousesâFocus on Civil Enforcement Act. (Thesis). NSYSU. Retrieved from http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0612118-211517

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Wu, Guan-Ying. “A Study on the Hand over of Foreclosed HousesâFocus on Civil Enforcement Act.” 2018. Thesis, NSYSU. Accessed October 24, 2019. http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0612118-211517.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Wu, Guan-Ying. “A Study on the Hand over of Foreclosed HousesâFocus on Civil Enforcement Act.” 2018. Web. 24 Oct 2019.

Vancouver:

Wu G. A Study on the Hand over of Foreclosed HousesâFocus on Civil Enforcement Act. [Internet] [Thesis]. NSYSU; 2018. [cited 2019 Oct 24]. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0612118-211517.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Wu G. A Study on the Hand over of Foreclosed HousesâFocus on Civil Enforcement Act. [Thesis]. NSYSU; 2018. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0612118-211517

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

15. Zhang, Ning. Attack and Defense with Hardware-Aided Security.

Degree: PhD, Computer Science, 2016, Virginia Tech

 Riding on recent advances in computing and networking, our society is now experiencing the evolution into the age of information. While the development of these… (more)

Subjects/Keywords: Trusted Execution Environment; Hardware-Assisted Security; Secure Execution; Cache; Rootkit

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zhang, N. (2016). Attack and Defense with Hardware-Aided Security. (Doctoral Dissertation). Virginia Tech. Retrieved from http://hdl.handle.net/10919/72855

Chicago Manual of Style (16th Edition):

Zhang, Ning. “Attack and Defense with Hardware-Aided Security.” 2016. Doctoral Dissertation, Virginia Tech. Accessed October 24, 2019. http://hdl.handle.net/10919/72855.

MLA Handbook (7th Edition):

Zhang, Ning. “Attack and Defense with Hardware-Aided Security.” 2016. Web. 24 Oct 2019.

Vancouver:

Zhang N. Attack and Defense with Hardware-Aided Security. [Internet] [Doctoral dissertation]. Virginia Tech; 2016. [cited 2019 Oct 24]. Available from: http://hdl.handle.net/10919/72855.

Council of Science Editors:

Zhang N. Attack and Defense with Hardware-Aided Security. [Doctoral Dissertation]. Virginia Tech; 2016. Available from: http://hdl.handle.net/10919/72855

16. Ventroux, Julien. Aide à la maîtrise des risques liés à la contractualisation et l’exécution d’un projet complexe pétrolier : Helps to control risks associated with contracting and execution of an oil complex project.

Degree: Docteur es, Sciences et technologies industrielles, 2016, Paris Saclay

Dans le cadre de projets pétroliers fortement externalisés, il a été demandé de modifier le processus et l’organisation du management des risques liés à cette… (more)

Subjects/Keywords: Contractualisation; Execution; Risques; Projet complexe; Contracting; Execution; Risks; Complex project

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ventroux, J. (2016). Aide à la maîtrise des risques liés à la contractualisation et l’exécution d’un projet complexe pétrolier : Helps to control risks associated with contracting and execution of an oil complex project. (Doctoral Dissertation). Paris Saclay. Retrieved from http://www.theses.fr/2016SACLC077

Chicago Manual of Style (16th Edition):

Ventroux, Julien. “Aide à la maîtrise des risques liés à la contractualisation et l’exécution d’un projet complexe pétrolier : Helps to control risks associated with contracting and execution of an oil complex project.” 2016. Doctoral Dissertation, Paris Saclay. Accessed October 24, 2019. http://www.theses.fr/2016SACLC077.

MLA Handbook (7th Edition):

Ventroux, Julien. “Aide à la maîtrise des risques liés à la contractualisation et l’exécution d’un projet complexe pétrolier : Helps to control risks associated with contracting and execution of an oil complex project.” 2016. Web. 24 Oct 2019.

Vancouver:

Ventroux J. Aide à la maîtrise des risques liés à la contractualisation et l’exécution d’un projet complexe pétrolier : Helps to control risks associated with contracting and execution of an oil complex project. [Internet] [Doctoral dissertation]. Paris Saclay; 2016. [cited 2019 Oct 24]. Available from: http://www.theses.fr/2016SACLC077.

Council of Science Editors:

Ventroux J. Aide à la maîtrise des risques liés à la contractualisation et l’exécution d’un projet complexe pétrolier : Helps to control risks associated with contracting and execution of an oil complex project. [Doctoral Dissertation]. Paris Saclay; 2016. Available from: http://www.theses.fr/2016SACLC077


Universitat Politècnica de València

17. Gúzman Álvarez, César Augusto. Reactive plan execution in multi-agent environments .

Degree: 2019, Universitat Politècnica de València

 [ES] Uno de los desafı́os de la robótica es desarrollar sistemas de control capaces de obtener rápidamente respuestas adecuadas e inteligentes para los cambios constantes… (more)

Subjects/Keywords: Reactive planning; Execution; Monitoring plan execution; Collaborative; Collaborative repair; Multi-agent; Multi-agent reactive plan execution

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gúzman Álvarez, C. A. (2019). Reactive plan execution in multi-agent environments . (Doctoral Dissertation). Universitat Politècnica de València. Retrieved from http://hdl.handle.net/10251/120457

Chicago Manual of Style (16th Edition):

Gúzman Álvarez, César Augusto. “Reactive plan execution in multi-agent environments .” 2019. Doctoral Dissertation, Universitat Politècnica de València. Accessed October 24, 2019. http://hdl.handle.net/10251/120457.

MLA Handbook (7th Edition):

Gúzman Álvarez, César Augusto. “Reactive plan execution in multi-agent environments .” 2019. Web. 24 Oct 2019.

Vancouver:

Gúzman Álvarez CA. Reactive plan execution in multi-agent environments . [Internet] [Doctoral dissertation]. Universitat Politècnica de València; 2019. [cited 2019 Oct 24]. Available from: http://hdl.handle.net/10251/120457.

Council of Science Editors:

Gúzman Álvarez CA. Reactive plan execution in multi-agent environments . [Doctoral Dissertation]. Universitat Politècnica de València; 2019. Available from: http://hdl.handle.net/10251/120457


University of Alberta

18. Lin, Xuran. Optimal Execution of Backstopped Block Trades.

Degree: MS, Department of Mathematical and Statistical Sciences, 2016, University of Alberta

 In this thesis, we introduce and study a model for a broker who executes a client order and takes over its execution risk at some… (more)

Subjects/Keywords: Mathematical Finance; Algorithm Trading; Optimal Execution

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lin, X. (2016). Optimal Execution of Backstopped Block Trades. (Masters Thesis). University of Alberta. Retrieved from https://era.library.ualberta.ca/files/c2r36tx76h

Chicago Manual of Style (16th Edition):

Lin, Xuran. “Optimal Execution of Backstopped Block Trades.” 2016. Masters Thesis, University of Alberta. Accessed October 24, 2019. https://era.library.ualberta.ca/files/c2r36tx76h.

MLA Handbook (7th Edition):

Lin, Xuran. “Optimal Execution of Backstopped Block Trades.” 2016. Web. 24 Oct 2019.

Vancouver:

Lin X. Optimal Execution of Backstopped Block Trades. [Internet] [Masters thesis]. University of Alberta; 2016. [cited 2019 Oct 24]. Available from: https://era.library.ualberta.ca/files/c2r36tx76h.

Council of Science Editors:

Lin X. Optimal Execution of Backstopped Block Trades. [Masters Thesis]. University of Alberta; 2016. Available from: https://era.library.ualberta.ca/files/c2r36tx76h


Uniwersytet im. Adama Mickiewicza w Poznaniu

19. Żal, Tomasz. Egzekucja z ruchomości .

Degree: 2013, Uniwersytet im. Adama Mickiewicza w Poznaniu

 Praca doktorska przedstawia problematykę egzekucji sądowej z ruchomości. Jej celem jest udzielenie odpowiedzi na pytanie, czy obowiązująca w prawie polskim egzekucja sądowa z ruchomości spełnia… (more)

Subjects/Keywords: Prawo; Law; Egzekucja; Execution; Ruchomości; Movables

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Żal, T. (2013). Egzekucja z ruchomości . (Doctoral Dissertation). Uniwersytet im. Adama Mickiewicza w Poznaniu. Retrieved from http://hdl.handle.net/10593/4273

Chicago Manual of Style (16th Edition):

Żal, Tomasz. “Egzekucja z ruchomości .” 2013. Doctoral Dissertation, Uniwersytet im. Adama Mickiewicza w Poznaniu. Accessed October 24, 2019. http://hdl.handle.net/10593/4273.

MLA Handbook (7th Edition):

Żal, Tomasz. “Egzekucja z ruchomości .” 2013. Web. 24 Oct 2019.

Vancouver:

Żal T. Egzekucja z ruchomości . [Internet] [Doctoral dissertation]. Uniwersytet im. Adama Mickiewicza w Poznaniu; 2013. [cited 2019 Oct 24]. Available from: http://hdl.handle.net/10593/4273.

Council of Science Editors:

Żal T. Egzekucja z ruchomości . [Doctoral Dissertation]. Uniwersytet im. Adama Mickiewicza w Poznaniu; 2013. Available from: http://hdl.handle.net/10593/4273


University of Canterbury

20. Hardy, Amy Marree. Completion Design and Execution Strategy for Increasing Maui Reserve.

Degree: Master of Engineering Management, 2014, University of Canterbury

 This report provides Shell Todd Oil Service’s Completion and Well Intervention Engineering Department with feasible options for the completion design and execution strategy for proposed… (more)

Subjects/Keywords: Oil & gas; wells; completion design; execution strategy

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hardy, A. M. (2014). Completion Design and Execution Strategy for Increasing Maui Reserve. (Thesis). University of Canterbury. Retrieved from http://hdl.handle.net/10092/8945

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Hardy, Amy Marree. “Completion Design and Execution Strategy for Increasing Maui Reserve.” 2014. Thesis, University of Canterbury. Accessed October 24, 2019. http://hdl.handle.net/10092/8945.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Hardy, Amy Marree. “Completion Design and Execution Strategy for Increasing Maui Reserve.” 2014. Web. 24 Oct 2019.

Vancouver:

Hardy AM. Completion Design and Execution Strategy for Increasing Maui Reserve. [Internet] [Thesis]. University of Canterbury; 2014. [cited 2019 Oct 24]. Available from: http://hdl.handle.net/10092/8945.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Hardy AM. Completion Design and Execution Strategy for Increasing Maui Reserve. [Thesis]. University of Canterbury; 2014. Available from: http://hdl.handle.net/10092/8945

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Univerzitet u Beogradu

21. Korolija, Nenad. Убрзавање извршавања временски захтевних софтверских апликација конфигурисањем наменског хардвера у време извршавања програма на вишепроцесорским рачунарима.

Degree: Elektrotehnički fakultet, 2017, Univerzitet u Beogradu

Техничке науке – Електротехника и рачунарство - Софтверско инжењерство / Technical science – Electrical engineering and computer science - Software engineering

За разлику од рачунара… (more)

Subjects/Keywords: Dataflow hardware; accelerating application execution; creating schedules

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Korolija, N. (2017). Убрзавање извршавања временски захтевних софтверских апликација конфигурисањем наменског хардвера у време извршавања програма на вишепроцесорским рачунарима. (Thesis). Univerzitet u Beogradu. Retrieved from https://fedorabg.bg.ac.rs/fedora/get/o:15605/bdef:Content/get

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Korolija, Nenad. “Убрзавање извршавања временски захтевних софтверских апликација конфигурисањем наменског хардвера у време извршавања програма на вишепроцесорским рачунарима.” 2017. Thesis, Univerzitet u Beogradu. Accessed October 24, 2019. https://fedorabg.bg.ac.rs/fedora/get/o:15605/bdef:Content/get.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Korolija, Nenad. “Убрзавање извршавања временски захтевних софтверских апликација конфигурисањем наменског хардвера у време извршавања програма на вишепроцесорским рачунарима.” 2017. Web. 24 Oct 2019.

Vancouver:

Korolija N. Убрзавање извршавања временски захтевних софтверских апликација конфигурисањем наменског хардвера у време извршавања програма на вишепроцесорским рачунарима. [Internet] [Thesis]. Univerzitet u Beogradu; 2017. [cited 2019 Oct 24]. Available from: https://fedorabg.bg.ac.rs/fedora/get/o:15605/bdef:Content/get.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Korolija N. Убрзавање извршавања временски захтевних софтверских апликација конфигурисањем наменског хардвера у време извршавања програма на вишепроцесорским рачунарима. [Thesis]. Univerzitet u Beogradu; 2017. Available from: https://fedorabg.bg.ac.rs/fedora/get/o:15605/bdef:Content/get

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Southern California

22. Wang, Xinyang. Dynamic equilibrium model for limit order book and optimal execution problem.

Degree: PhD, Applied Mathematics, 2011, University of Southern California

 In this dissertation we study the optimal execution problem on an order driven market under our equilibrium model for the limit order book (LOB). In… (more)

Subjects/Keywords: limit order book; liquidity risk; optimal execution

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Wang, X. (2011). Dynamic equilibrium model for limit order book and optimal execution problem. (Doctoral Dissertation). University of Southern California. Retrieved from http://digitallibrary.usc.edu/cdm/compoundobject/collection/p15799coll127/id/624666/rec/2120

Chicago Manual of Style (16th Edition):

Wang, Xinyang. “Dynamic equilibrium model for limit order book and optimal execution problem.” 2011. Doctoral Dissertation, University of Southern California. Accessed October 24, 2019. http://digitallibrary.usc.edu/cdm/compoundobject/collection/p15799coll127/id/624666/rec/2120.

MLA Handbook (7th Edition):

Wang, Xinyang. “Dynamic equilibrium model for limit order book and optimal execution problem.” 2011. Web. 24 Oct 2019.

Vancouver:

Wang X. Dynamic equilibrium model for limit order book and optimal execution problem. [Internet] [Doctoral dissertation]. University of Southern California; 2011. [cited 2019 Oct 24]. Available from: http://digitallibrary.usc.edu/cdm/compoundobject/collection/p15799coll127/id/624666/rec/2120.

Council of Science Editors:

Wang X. Dynamic equilibrium model for limit order book and optimal execution problem. [Doctoral Dissertation]. University of Southern California; 2011. Available from: http://digitallibrary.usc.edu/cdm/compoundobject/collection/p15799coll127/id/624666/rec/2120


University of Debrecen

23. Gritta, Diána. The Marriage Policy of Henry VIII .

Degree: DE – TEK – Bölcsészettudományi Kar, 2013, University of Debrecen

 The aim of this thesis is to describe and analyse the typical characteristics of the Tudor Monarchy based on rulers’ actions. In the explanation of… (more)

Subjects/Keywords: Great Britain; foreign policy; marriage policy; execution

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gritta, D. (2013). The Marriage Policy of Henry VIII . (Thesis). University of Debrecen. Retrieved from http://hdl.handle.net/2437/169365

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Gritta, Diána. “The Marriage Policy of Henry VIII .” 2013. Thesis, University of Debrecen. Accessed October 24, 2019. http://hdl.handle.net/2437/169365.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Gritta, Diána. “The Marriage Policy of Henry VIII .” 2013. Web. 24 Oct 2019.

Vancouver:

Gritta D. The Marriage Policy of Henry VIII . [Internet] [Thesis]. University of Debrecen; 2013. [cited 2019 Oct 24]. Available from: http://hdl.handle.net/2437/169365.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Gritta D. The Marriage Policy of Henry VIII . [Thesis]. University of Debrecen; 2013. Available from: http://hdl.handle.net/2437/169365

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Université Catholique de Louvain

24. Bohorquez Derriks, Joachim. Les conséquences de la perte post mortem par un notaire du testament olographe qu'il détient.

Degree: 2015, Université Catholique de Louvain

Le risque de perte d'un testament olographe est important. Si le notaire est celui qui l'a perdu, celui qui l'invoque pourra accèder à la preuve… (more)

Subjects/Keywords: testament olographe; perte; preuve; execution; responsabilite

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bohorquez Derriks, J. (2015). Les conséquences de la perte post mortem par un notaire du testament olographe qu'il détient. (Thesis). Université Catholique de Louvain. Retrieved from http://hdl.handle.net/2078.1/thesis:3523

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Bohorquez Derriks, Joachim. “Les conséquences de la perte post mortem par un notaire du testament olographe qu'il détient.” 2015. Thesis, Université Catholique de Louvain. Accessed October 24, 2019. http://hdl.handle.net/2078.1/thesis:3523.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Bohorquez Derriks, Joachim. “Les conséquences de la perte post mortem par un notaire du testament olographe qu'il détient.” 2015. Web. 24 Oct 2019.

Vancouver:

Bohorquez Derriks J. Les conséquences de la perte post mortem par un notaire du testament olographe qu'il détient. [Internet] [Thesis]. Université Catholique de Louvain; 2015. [cited 2019 Oct 24]. Available from: http://hdl.handle.net/2078.1/thesis:3523.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Bohorquez Derriks J. Les conséquences de la perte post mortem par un notaire du testament olographe qu'il détient. [Thesis]. Université Catholique de Louvain; 2015. Available from: http://hdl.handle.net/2078.1/thesis:3523

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Virginia Tech

25. Murali, Dilip Venkateswaran. Verification of Cyber Physical Systems.

Degree: MS, Electrical and Computer Engineering, 2013, Virginia Tech

 Due to the increasing complexity of today\'s cyber-physical systems, defects become inevitable and harder to detect. The complexity of such software is generally huge, with… (more)

Subjects/Keywords: Invariants detection; Symbolic Execution; KLEE; Cloud9; VCC

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Murali, D. V. (2013). Verification of Cyber Physical Systems. (Masters Thesis). Virginia Tech. Retrieved from http://hdl.handle.net/10919/23824

Chicago Manual of Style (16th Edition):

Murali, Dilip Venkateswaran. “Verification of Cyber Physical Systems.” 2013. Masters Thesis, Virginia Tech. Accessed October 24, 2019. http://hdl.handle.net/10919/23824.

MLA Handbook (7th Edition):

Murali, Dilip Venkateswaran. “Verification of Cyber Physical Systems.” 2013. Web. 24 Oct 2019.

Vancouver:

Murali DV. Verification of Cyber Physical Systems. [Internet] [Masters thesis]. Virginia Tech; 2013. [cited 2019 Oct 24]. Available from: http://hdl.handle.net/10919/23824.

Council of Science Editors:

Murali DV. Verification of Cyber Physical Systems. [Masters Thesis]. Virginia Tech; 2013. Available from: http://hdl.handle.net/10919/23824


Penn State University

26. Kilmer, Eric. Extending Vulnerability Discovery with Fuzzing and Symbolic Execution to Realistic Applications.

Degree: 2017, Penn State University

 In 2016, DARPA held the Cyber Grand Challenge (CGC) using a special execution and evaluation environment to compare the results of different techniques in automated… (more)

Subjects/Keywords: Symbolic Execution; Vulnerability Discovery; Program Analysis; Fuzzing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kilmer, E. (2017). Extending Vulnerability Discovery with Fuzzing and Symbolic Execution to Realistic Applications. (Thesis). Penn State University. Retrieved from https://etda.libraries.psu.edu/catalog/14016eyk5120

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Kilmer, Eric. “Extending Vulnerability Discovery with Fuzzing and Symbolic Execution to Realistic Applications.” 2017. Thesis, Penn State University. Accessed October 24, 2019. https://etda.libraries.psu.edu/catalog/14016eyk5120.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Kilmer, Eric. “Extending Vulnerability Discovery with Fuzzing and Symbolic Execution to Realistic Applications.” 2017. Web. 24 Oct 2019.

Vancouver:

Kilmer E. Extending Vulnerability Discovery with Fuzzing and Symbolic Execution to Realistic Applications. [Internet] [Thesis]. Penn State University; 2017. [cited 2019 Oct 24]. Available from: https://etda.libraries.psu.edu/catalog/14016eyk5120.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Kilmer E. Extending Vulnerability Discovery with Fuzzing and Symbolic Execution to Realistic Applications. [Thesis]. Penn State University; 2017. Available from: https://etda.libraries.psu.edu/catalog/14016eyk5120

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of California – San Francisco

27. Cheung, Chung Yan Joanne. Contributions of premotor nucleus RA for the spectral and temporal structure of song in the Bengalese Finch.

Degree: Neuroscience, 2018, University of California – San Francisco

 Song is a learned motor behavior where each vocal element (syllable) has its own distinct acoustic structure. Syllable features, like pitch and amplitude, have been… (more)

Subjects/Keywords: Neurosciences; behavior; motor execution; neuroethology; neurophysiology; songbird

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cheung, C. Y. J. (2018). Contributions of premotor nucleus RA for the spectral and temporal structure of song in the Bengalese Finch. (Thesis). University of California – San Francisco. Retrieved from http://www.escholarship.org/uc/item/4285h85g

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Cheung, Chung Yan Joanne. “Contributions of premotor nucleus RA for the spectral and temporal structure of song in the Bengalese Finch.” 2018. Thesis, University of California – San Francisco. Accessed October 24, 2019. http://www.escholarship.org/uc/item/4285h85g.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Cheung, Chung Yan Joanne. “Contributions of premotor nucleus RA for the spectral and temporal structure of song in the Bengalese Finch.” 2018. Web. 24 Oct 2019.

Vancouver:

Cheung CYJ. Contributions of premotor nucleus RA for the spectral and temporal structure of song in the Bengalese Finch. [Internet] [Thesis]. University of California – San Francisco; 2018. [cited 2019 Oct 24]. Available from: http://www.escholarship.org/uc/item/4285h85g.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Cheung CYJ. Contributions of premotor nucleus RA for the spectral and temporal structure of song in the Bengalese Finch. [Thesis]. University of California – San Francisco; 2018. Available from: http://www.escholarship.org/uc/item/4285h85g

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Virginia Tech

28. Mishra, Tanmaya. Parallelizing Trusted Execution Environments for Multicore Hard Real-Time Systems.

Degree: MS, Electrical and Computer Engineering, 2019, Virginia Tech

 Real-Time systems are defined not only by their logical correctness but also timeliness. Modern real-time systems, such as those controlling industrial plants or the flight… (more)

Subjects/Keywords: Trusted Execution; Hard real-time systems; Scheduling

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mishra, T. (2019). Parallelizing Trusted Execution Environments for Multicore Hard Real-Time Systems. (Masters Thesis). Virginia Tech. Retrieved from http://hdl.handle.net/10919/89889

Chicago Manual of Style (16th Edition):

Mishra, Tanmaya. “Parallelizing Trusted Execution Environments for Multicore Hard Real-Time Systems.” 2019. Masters Thesis, Virginia Tech. Accessed October 24, 2019. http://hdl.handle.net/10919/89889.

MLA Handbook (7th Edition):

Mishra, Tanmaya. “Parallelizing Trusted Execution Environments for Multicore Hard Real-Time Systems.” 2019. Web. 24 Oct 2019.

Vancouver:

Mishra T. Parallelizing Trusted Execution Environments for Multicore Hard Real-Time Systems. [Internet] [Masters thesis]. Virginia Tech; 2019. [cited 2019 Oct 24]. Available from: http://hdl.handle.net/10919/89889.

Council of Science Editors:

Mishra T. Parallelizing Trusted Execution Environments for Multicore Hard Real-Time Systems. [Masters Thesis]. Virginia Tech; 2019. Available from: http://hdl.handle.net/10919/89889


Northeastern University

29. Chen, Zhongliang. Scalar-vector GPU architectures.

Degree: PhD, Department of Electrical and Computer Engineering, 2016, Northeastern University

 Graphics Processing Units (GPUs) have evolved to become high throughput processors for general purpose data-parallel applications. Most GPU execution exploits a Single Instruction Multiple Data… (more)

Subjects/Keywords: graphics processing units; scalar; subwarp execution

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chen, Z. (2016). Scalar-vector GPU architectures. (Doctoral Dissertation). Northeastern University. Retrieved from http://hdl.handle.net/2047/D20251481

Chicago Manual of Style (16th Edition):

Chen, Zhongliang. “Scalar-vector GPU architectures.” 2016. Doctoral Dissertation, Northeastern University. Accessed October 24, 2019. http://hdl.handle.net/2047/D20251481.

MLA Handbook (7th Edition):

Chen, Zhongliang. “Scalar-vector GPU architectures.” 2016. Web. 24 Oct 2019.

Vancouver:

Chen Z. Scalar-vector GPU architectures. [Internet] [Doctoral dissertation]. Northeastern University; 2016. [cited 2019 Oct 24]. Available from: http://hdl.handle.net/2047/D20251481.

Council of Science Editors:

Chen Z. Scalar-vector GPU architectures. [Doctoral Dissertation]. Northeastern University; 2016. Available from: http://hdl.handle.net/2047/D20251481


Northeastern University

30. Yilmazer, Ayse. Micro-architectural support for improving synchronization and efficiency of SIMD execution on GPUS.

Degree: PhD, Department of Electrical and Computer Engineering, 2013, Northeastern University

 GPUs dedicate a majority of their transistor budgets to compute units rather than control logic. As a result, they can achieve excellent data-parallel power/performance. Given… (more)

Subjects/Keywords: GPU; SIMD Execution; Synchronization; Computer Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Yilmazer, A. (2013). Micro-architectural support for improving synchronization and efficiency of SIMD execution on GPUS. (Doctoral Dissertation). Northeastern University. Retrieved from http://hdl.handle.net/2047/d20004880

Chicago Manual of Style (16th Edition):

Yilmazer, Ayse. “Micro-architectural support for improving synchronization and efficiency of SIMD execution on GPUS.” 2013. Doctoral Dissertation, Northeastern University. Accessed October 24, 2019. http://hdl.handle.net/2047/d20004880.

MLA Handbook (7th Edition):

Yilmazer, Ayse. “Micro-architectural support for improving synchronization and efficiency of SIMD execution on GPUS.” 2013. Web. 24 Oct 2019.

Vancouver:

Yilmazer A. Micro-architectural support for improving synchronization and efficiency of SIMD execution on GPUS. [Internet] [Doctoral dissertation]. Northeastern University; 2013. [cited 2019 Oct 24]. Available from: http://hdl.handle.net/2047/d20004880.

Council of Science Editors:

Yilmazer A. Micro-architectural support for improving synchronization and efficiency of SIMD execution on GPUS. [Doctoral Dissertation]. Northeastern University; 2013. Available from: http://hdl.handle.net/2047/d20004880

[1] [2] [3] [4] [5] … [26]

.