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:(Run time). Showing records 1 – 30 of 120 total matches.

[1] [2] [3] [4]

Search Limiters

Last 2 Years | English Only

Universities

Degrees

Levels

▼ Search Limiters


Colorado State University

1. Krieger, Christopher D. Generalized full sparse tiling of loop chains.

Degree: PhD, Computer Science, 2013, Colorado State University

 Computer and computational scientists are tackling increasingly large and complex problems and are seeking ways of improving the performance of their codes. The key issue… (more)

Subjects/Keywords: compilers; run-time optimization; parallelization

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Krieger, C. D. (2013). Generalized full sparse tiling of loop chains. (Doctoral Dissertation). Colorado State University. Retrieved from http://hdl.handle.net/10217/80954

Chicago Manual of Style (16th Edition):

Krieger, Christopher D. “Generalized full sparse tiling of loop chains.” 2013. Doctoral Dissertation, Colorado State University. Accessed January 20, 2021. http://hdl.handle.net/10217/80954.

MLA Handbook (7th Edition):

Krieger, Christopher D. “Generalized full sparse tiling of loop chains.” 2013. Web. 20 Jan 2021.

Vancouver:

Krieger CD. Generalized full sparse tiling of loop chains. [Internet] [Doctoral dissertation]. Colorado State University; 2013. [cited 2021 Jan 20]. Available from: http://hdl.handle.net/10217/80954.

Council of Science Editors:

Krieger CD. Generalized full sparse tiling of loop chains. [Doctoral Dissertation]. Colorado State University; 2013. Available from: http://hdl.handle.net/10217/80954


University of Illinois – Chicago

2. Yavolovsky, Andrey. Decision-Theoretic Monitoring of Cyber-Physical Systems.

Degree: 2018, University of Illinois – Chicago

 Cyber-physical systems (CPS) represent "engineered systems that are built from, and depend upon, the seamless integration of computational algorithms and physical components". They can be… (more)

Subjects/Keywords: Run-time; Monitoring; Decision Theory; POMDP

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Yavolovsky, A. (2018). Decision-Theoretic Monitoring of Cyber-Physical Systems. (Thesis). University of Illinois – Chicago. Retrieved from http://hdl.handle.net/10027/22592

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):

Yavolovsky, Andrey. “Decision-Theoretic Monitoring of Cyber-Physical Systems.” 2018. Thesis, University of Illinois – Chicago. Accessed January 20, 2021. http://hdl.handle.net/10027/22592.

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

MLA Handbook (7th Edition):

Yavolovsky, Andrey. “Decision-Theoretic Monitoring of Cyber-Physical Systems.” 2018. Web. 20 Jan 2021.

Vancouver:

Yavolovsky A. Decision-Theoretic Monitoring of Cyber-Physical Systems. [Internet] [Thesis]. University of Illinois – Chicago; 2018. [cited 2021 Jan 20]. Available from: http://hdl.handle.net/10027/22592.

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

Council of Science Editors:

Yavolovsky A. Decision-Theoretic Monitoring of Cyber-Physical Systems. [Thesis]. University of Illinois – Chicago; 2018. Available from: http://hdl.handle.net/10027/22592

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


University of Michigan

3. Clapp, Russell Mace. Run-time support for parallel programs.

Degree: PhD, Computer science, 1991, University of Michigan

 The emergence of commercial multiprocessors has prompted computer scientists to take a closer look at parallel programming. Apart from the intrinsic limitations to parallelism imposed… (more)

Subjects/Keywords: Parallel; Programs; Run; Support; Time

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Clapp, R. M. (1991). Run-time support for parallel programs. (Doctoral Dissertation). University of Michigan. Retrieved from http://hdl.handle.net/2027.42/128743

Chicago Manual of Style (16th Edition):

Clapp, Russell Mace. “Run-time support for parallel programs.” 1991. Doctoral Dissertation, University of Michigan. Accessed January 20, 2021. http://hdl.handle.net/2027.42/128743.

MLA Handbook (7th Edition):

Clapp, Russell Mace. “Run-time support for parallel programs.” 1991. Web. 20 Jan 2021.

Vancouver:

Clapp RM. Run-time support for parallel programs. [Internet] [Doctoral dissertation]. University of Michigan; 1991. [cited 2021 Jan 20]. Available from: http://hdl.handle.net/2027.42/128743.

Council of Science Editors:

Clapp RM. Run-time support for parallel programs. [Doctoral Dissertation]. University of Michigan; 1991. Available from: http://hdl.handle.net/2027.42/128743

4. Bhandari, Sheetal Umesh. Performance enhancement using reconfigurable devices for run time processes;.

Degree: 2015, Shivaji University

newline

t16620 /772

Advisors/Committee Members: Subbaraman, Shaila.

Subjects/Keywords: Electronics; Engineering; Run time process

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bhandari, S. U. (2015). Performance enhancement using reconfigurable devices for run time processes;. (Thesis). Shivaji University. Retrieved from http://shodhganga.inflibnet.ac.in/handle/10603/34959

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):

Bhandari, Sheetal Umesh. “Performance enhancement using reconfigurable devices for run time processes;.” 2015. Thesis, Shivaji University. Accessed January 20, 2021. http://shodhganga.inflibnet.ac.in/handle/10603/34959.

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

MLA Handbook (7th Edition):

Bhandari, Sheetal Umesh. “Performance enhancement using reconfigurable devices for run time processes;.” 2015. Web. 20 Jan 2021.

Vancouver:

Bhandari SU. Performance enhancement using reconfigurable devices for run time processes;. [Internet] [Thesis]. Shivaji University; 2015. [cited 2021 Jan 20]. Available from: http://shodhganga.inflibnet.ac.in/handle/10603/34959.

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

Council of Science Editors:

Bhandari SU. Performance enhancement using reconfigurable devices for run time processes;. [Thesis]. Shivaji University; 2015. Available from: http://shodhganga.inflibnet.ac.in/handle/10603/34959

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


Penn State University

5. Aktasoglu, Mahmut Sami. A Workload Mapping Method For Multicore systems Using Cross-run Statistics.

Degree: 2012, Penn State University

 Multicore architectures have become the design of choice in today’s microprocessor market. Due to the significant strides made in process technology and poor scalability of… (more)

Subjects/Keywords: Chip Multiprocessors; run-time systems; application mapping/scheduling; cache optimization

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Aktasoglu, M. S. (2012). A Workload Mapping Method For Multicore systems Using Cross-run Statistics. (Thesis). Penn State University. Retrieved from https://submit-etda.libraries.psu.edu/catalog/15343

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):

Aktasoglu, Mahmut Sami. “A Workload Mapping Method For Multicore systems Using Cross-run Statistics.” 2012. Thesis, Penn State University. Accessed January 20, 2021. https://submit-etda.libraries.psu.edu/catalog/15343.

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

MLA Handbook (7th Edition):

Aktasoglu, Mahmut Sami. “A Workload Mapping Method For Multicore systems Using Cross-run Statistics.” 2012. Web. 20 Jan 2021.

Vancouver:

Aktasoglu MS. A Workload Mapping Method For Multicore systems Using Cross-run Statistics. [Internet] [Thesis]. Penn State University; 2012. [cited 2021 Jan 20]. Available from: https://submit-etda.libraries.psu.edu/catalog/15343.

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

Council of Science Editors:

Aktasoglu MS. A Workload Mapping Method For Multicore systems Using Cross-run Statistics. [Thesis]. Penn State University; 2012. Available from: https://submit-etda.libraries.psu.edu/catalog/15343

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


Universidade Nova

6. Oliveira, Luís Miguel Picciochi de. A framework for scientific computing with GPUs.

Degree: 2012, Universidade Nova

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Commodity hardware nowadays includes not only many-core CPUs but also Graphics Processing Units (GPUs) whose… (more)

Subjects/Keywords: Job scheduling; GPGPU; OpenCL; Run-time support; Distributed computing; Scientific computing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Oliveira, L. M. P. d. (2012). A framework for scientific computing with GPUs. (Thesis). Universidade Nova. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/7817

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):

Oliveira, Luís Miguel Picciochi de. “A framework for scientific computing with GPUs.” 2012. Thesis, Universidade Nova. Accessed January 20, 2021. http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/7817.

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

MLA Handbook (7th Edition):

Oliveira, Luís Miguel Picciochi de. “A framework for scientific computing with GPUs.” 2012. Web. 20 Jan 2021.

Vancouver:

Oliveira LMPd. A framework for scientific computing with GPUs. [Internet] [Thesis]. Universidade Nova; 2012. [cited 2021 Jan 20]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/7817.

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

Council of Science Editors:

Oliveira LMPd. A framework for scientific computing with GPUs. [Thesis]. Universidade Nova; 2012. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/7817

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


Rice University

7. Smith, Rebecca Jane. Reliability and Optimization for Resource-Constrained Embedded Systems.

Degree: MS, Engineering, 2015, Rice University

 Embedded systems are ubiquitous, powering countless devices ranging from cars to appliances. As the software requirements of these systems grow increasingly complex, it is necessary… (more)

Subjects/Keywords: embedded systems; run-time systems; reliability; memory visualization; memory transformation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Smith, R. J. (2015). Reliability and Optimization for Resource-Constrained Embedded Systems. (Masters Thesis). Rice University. Retrieved from http://hdl.handle.net/1911/88151

Chicago Manual of Style (16th Edition):

Smith, Rebecca Jane. “Reliability and Optimization for Resource-Constrained Embedded Systems.” 2015. Masters Thesis, Rice University. Accessed January 20, 2021. http://hdl.handle.net/1911/88151.

MLA Handbook (7th Edition):

Smith, Rebecca Jane. “Reliability and Optimization for Resource-Constrained Embedded Systems.” 2015. Web. 20 Jan 2021.

Vancouver:

Smith RJ. Reliability and Optimization for Resource-Constrained Embedded Systems. [Internet] [Masters thesis]. Rice University; 2015. [cited 2021 Jan 20]. Available from: http://hdl.handle.net/1911/88151.

Council of Science Editors:

Smith RJ. Reliability and Optimization for Resource-Constrained Embedded Systems. [Masters Thesis]. Rice University; 2015. Available from: http://hdl.handle.net/1911/88151


University of Toronto

8. Gort, Marcel. Fast CAD for FPGAs.

Degree: PhD, 2014, University of Toronto

As field-programmable gate array (FPGA) capacities continue to increase in lockstep with semiconductor process shrinking, they are being used for increasingly complex applications. However, because… (more)

Subjects/Keywords: CAD; FPGA; parallel; placement; routing; run-time; 0464

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gort, M. (2014). Fast CAD for FPGAs. (Doctoral Dissertation). University of Toronto. Retrieved from http://hdl.handle.net/1807/72837

Chicago Manual of Style (16th Edition):

Gort, Marcel. “Fast CAD for FPGAs.” 2014. Doctoral Dissertation, University of Toronto. Accessed January 20, 2021. http://hdl.handle.net/1807/72837.

MLA Handbook (7th Edition):

Gort, Marcel. “Fast CAD for FPGAs.” 2014. Web. 20 Jan 2021.

Vancouver:

Gort M. Fast CAD for FPGAs. [Internet] [Doctoral dissertation]. University of Toronto; 2014. [cited 2021 Jan 20]. Available from: http://hdl.handle.net/1807/72837.

Council of Science Editors:

Gort M. Fast CAD for FPGAs. [Doctoral Dissertation]. University of Toronto; 2014. Available from: http://hdl.handle.net/1807/72837

9. Dang, Francis Hoai Dinh. Speculative parallelization of partially parallel loops.

Degree: MS, Computer Science, 2009, Texas A&M University

 Current parallelizing compilers cannot identify a significant fraction of parallelizable loops because they have complex or statically insufficiently defined access patterns. In our previous work,… (more)

Subjects/Keywords: Run time parallelization optimization

Runtime techniques can succeed where static compilation fails because they have access to… …guarded by runtime dependent conditions, and subscript expressions can all be analyzed… …unambiguously at runtime. There are several known run-time parallelization methodologies. However… …present a run-time technique based on speculative parallelization that can be applied to any… …thesis is structured as follows: • Review of run-time parallelization approaches (Chapter… 

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):

Dang, F. H. D. (2009). Speculative parallelization of partially parallel loops. (Masters Thesis). Texas A&M University. Retrieved from http://hdl.handle.net/1969.1/ETD-TAMU-1271

Chicago Manual of Style (16th Edition):

Dang, Francis Hoai Dinh. “Speculative parallelization of partially parallel loops.” 2009. Masters Thesis, Texas A&M University. Accessed January 20, 2021. http://hdl.handle.net/1969.1/ETD-TAMU-1271.

MLA Handbook (7th Edition):

Dang, Francis Hoai Dinh. “Speculative parallelization of partially parallel loops.” 2009. Web. 20 Jan 2021.

Vancouver:

Dang FHD. Speculative parallelization of partially parallel loops. [Internet] [Masters thesis]. Texas A&M University; 2009. [cited 2021 Jan 20]. Available from: http://hdl.handle.net/1969.1/ETD-TAMU-1271.

Council of Science Editors:

Dang FHD. Speculative parallelization of partially parallel loops. [Masters Thesis]. Texas A&M University; 2009. Available from: http://hdl.handle.net/1969.1/ETD-TAMU-1271

10. Hribernik, Jernej. Optimizacija zalog v podjetju X iz avtomobilske industrije.

Degree: 2015, Univerza v Mariboru

Magistrska naloga se osredotoča na upravljanje zalog v podjetju X iz avtomobilske industrije. Namen naloge je optimizacija zalog na področju nemških krožnih voženj v podjetju.… (more)

Subjects/Keywords: zaloge; optimizacija zalog; Just in time; Milk run; inventory; inventory optimisation; Just in time; Milk run; info:eu-repo/classification/udc/330.526.33:351.824.1:658.783(043.2)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hribernik, J. (2015). Optimizacija zalog v podjetju X iz avtomobilske industrije. (Masters Thesis). Univerza v Mariboru. Retrieved from https://dk.um.si/IzpisGradiva.php?id=47403 ; https://dk.um.si/Dokument.php?id=70171&dn= ; https://plus.si.cobiss.net/opac7/bib/18608406?lang=sl

Chicago Manual of Style (16th Edition):

Hribernik, Jernej. “Optimizacija zalog v podjetju X iz avtomobilske industrije.” 2015. Masters Thesis, Univerza v Mariboru. Accessed January 20, 2021. https://dk.um.si/IzpisGradiva.php?id=47403 ; https://dk.um.si/Dokument.php?id=70171&dn= ; https://plus.si.cobiss.net/opac7/bib/18608406?lang=sl.

MLA Handbook (7th Edition):

Hribernik, Jernej. “Optimizacija zalog v podjetju X iz avtomobilske industrije.” 2015. Web. 20 Jan 2021.

Vancouver:

Hribernik J. Optimizacija zalog v podjetju X iz avtomobilske industrije. [Internet] [Masters thesis]. Univerza v Mariboru; 2015. [cited 2021 Jan 20]. Available from: https://dk.um.si/IzpisGradiva.php?id=47403 ; https://dk.um.si/Dokument.php?id=70171&dn= ; https://plus.si.cobiss.net/opac7/bib/18608406?lang=sl.

Council of Science Editors:

Hribernik J. Optimizacija zalog v podjetju X iz avtomobilske industrije. [Masters Thesis]. Univerza v Mariboru; 2015. Available from: https://dk.um.si/IzpisGradiva.php?id=47403 ; https://dk.um.si/Dokument.php?id=70171&dn= ; https://plus.si.cobiss.net/opac7/bib/18608406?lang=sl


Wayne State University

11. Abdella, Galal M. An optimization of on-line monitoring of simple linear and polynomial quality functions.

Degree: PhD, Industrial and Manufacturing Engineering, 2011, Wayne State University

  This research aims to introduce a number of contributions for enhancing the statistical performance of some of Phase II linear and polynomial profile monitoring… (more)

Subjects/Keywords: Average run length (ARL), Average time to Signal (ATS), Phase II; Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Abdella, G. M. (2011). An optimization of on-line monitoring of simple linear and polynomial quality functions. (Doctoral Dissertation). Wayne State University. Retrieved from https://digitalcommons.wayne.edu/oa_dissertations/365

Chicago Manual of Style (16th Edition):

Abdella, Galal M. “An optimization of on-line monitoring of simple linear and polynomial quality functions.” 2011. Doctoral Dissertation, Wayne State University. Accessed January 20, 2021. https://digitalcommons.wayne.edu/oa_dissertations/365.

MLA Handbook (7th Edition):

Abdella, Galal M. “An optimization of on-line monitoring of simple linear and polynomial quality functions.” 2011. Web. 20 Jan 2021.

Vancouver:

Abdella GM. An optimization of on-line monitoring of simple linear and polynomial quality functions. [Internet] [Doctoral dissertation]. Wayne State University; 2011. [cited 2021 Jan 20]. Available from: https://digitalcommons.wayne.edu/oa_dissertations/365.

Council of Science Editors:

Abdella GM. An optimization of on-line monitoring of simple linear and polynomial quality functions. [Doctoral Dissertation]. Wayne State University; 2011. Available from: https://digitalcommons.wayne.edu/oa_dissertations/365


Princeton University

12. Dou, Liyu. Essays in Time Series Econometrics .

Degree: PhD, 2019, Princeton University

 This collection of essays investigates robust inference and modelling in time series econometrics. Chapter 1 considers the problem of deriving heteroskedasticity and autocorrelation robust (HAR)… (more)

Subjects/Keywords: Approximability; Continuous time ARMA process; Convergence; Heteroskedasticity and autocorrelation robust inference; Long-run variance; Persistence

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dou, L. (2019). Essays in Time Series Econometrics . (Doctoral Dissertation). Princeton University. Retrieved from http://arks.princeton.edu/ark:/88435/dsp01bn9999657

Chicago Manual of Style (16th Edition):

Dou, Liyu. “Essays in Time Series Econometrics .” 2019. Doctoral Dissertation, Princeton University. Accessed January 20, 2021. http://arks.princeton.edu/ark:/88435/dsp01bn9999657.

MLA Handbook (7th Edition):

Dou, Liyu. “Essays in Time Series Econometrics .” 2019. Web. 20 Jan 2021.

Vancouver:

Dou L. Essays in Time Series Econometrics . [Internet] [Doctoral dissertation]. Princeton University; 2019. [cited 2021 Jan 20]. Available from: http://arks.princeton.edu/ark:/88435/dsp01bn9999657.

Council of Science Editors:

Dou L. Essays in Time Series Econometrics . [Doctoral Dissertation]. Princeton University; 2019. Available from: http://arks.princeton.edu/ark:/88435/dsp01bn9999657


University of Southern California

13. Tajalli, Hossein. A reference architecture for integrated self‐adaptive software environments.

Degree: PhD, Computer Science (Software Engineering), 2014, University of Southern California

 Modern software systems are increasingly expected to satisfy high reliability and high availability requirements. During their life‐span, they need to constantly and seamlessly adapt and… (more)

Subjects/Keywords: adaptation planning; integrated development environments; life‐cycle; run‐time environment; self‐adaptation; software architecture

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Tajalli, H. (2014). A reference architecture for integrated self‐adaptive software environments. (Doctoral Dissertation). University of Southern California. Retrieved from http://digitallibrary.usc.edu/cdm/compoundobject/collection/p15799coll3/id/426323/rec/333

Chicago Manual of Style (16th Edition):

Tajalli, Hossein. “A reference architecture for integrated self‐adaptive software environments.” 2014. Doctoral Dissertation, University of Southern California. Accessed January 20, 2021. http://digitallibrary.usc.edu/cdm/compoundobject/collection/p15799coll3/id/426323/rec/333.

MLA Handbook (7th Edition):

Tajalli, Hossein. “A reference architecture for integrated self‐adaptive software environments.” 2014. Web. 20 Jan 2021.

Vancouver:

Tajalli H. A reference architecture for integrated self‐adaptive software environments. [Internet] [Doctoral dissertation]. University of Southern California; 2014. [cited 2021 Jan 20]. Available from: http://digitallibrary.usc.edu/cdm/compoundobject/collection/p15799coll3/id/426323/rec/333.

Council of Science Editors:

Tajalli H. A reference architecture for integrated self‐adaptive software environments. [Doctoral Dissertation]. University of Southern California; 2014. Available from: http://digitallibrary.usc.edu/cdm/compoundobject/collection/p15799coll3/id/426323/rec/333

14. Alouffi, Bader. Run time verifcation of hybrid systems.

Degree: PhD, 2016, De Montfort University

 The growing use of computers in modern control systems has led to the develop- ment of complex dynamic systems known as hybrid systems, which integrates… (more)

Subjects/Keywords: 004.2; Hybrid System; ITL; interval Temporal Logic; Run Time Verification; formal Methods

Page 1 Page 2 Page 3

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Alouffi, B. (2016). Run time verifcation of hybrid systems. (Doctoral Dissertation). De Montfort University. Retrieved from http://hdl.handle.net/2086/12490

Chicago Manual of Style (16th Edition):

Alouffi, Bader. “Run time verifcation of hybrid systems.” 2016. Doctoral Dissertation, De Montfort University. Accessed January 20, 2021. http://hdl.handle.net/2086/12490.

MLA Handbook (7th Edition):

Alouffi, Bader. “Run time verifcation of hybrid systems.” 2016. Web. 20 Jan 2021.

Vancouver:

Alouffi B. Run time verifcation of hybrid systems. [Internet] [Doctoral dissertation]. De Montfort University; 2016. [cited 2021 Jan 20]. Available from: http://hdl.handle.net/2086/12490.

Council of Science Editors:

Alouffi B. Run time verifcation of hybrid systems. [Doctoral Dissertation]. De Montfort University; 2016. Available from: http://hdl.handle.net/2086/12490


Louisiana State University

15. Neoh, Cheowway. Computing moments of a binary horizontally/vertically convex image using run-time reconfiguration.

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

 In this thesis, we present a design for computing moments of a binary horizontally/vertically convex image on an FPGA chip, using run-time reconfiguration. We compute… (more)

Subjects/Keywords: moments; run-time reconfiguration; convex images

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Neoh, C. (2002). Computing moments of a binary horizontally/vertically convex image using run-time reconfiguration. (Masters Thesis). Louisiana State University. Retrieved from etd-0414102-135429 ; https://digitalcommons.lsu.edu/gradschool_theses/1279

Chicago Manual of Style (16th Edition):

Neoh, Cheowway. “Computing moments of a binary horizontally/vertically convex image using run-time reconfiguration.” 2002. Masters Thesis, Louisiana State University. Accessed January 20, 2021. etd-0414102-135429 ; https://digitalcommons.lsu.edu/gradschool_theses/1279.

MLA Handbook (7th Edition):

Neoh, Cheowway. “Computing moments of a binary horizontally/vertically convex image using run-time reconfiguration.” 2002. Web. 20 Jan 2021.

Vancouver:

Neoh C. Computing moments of a binary horizontally/vertically convex image using run-time reconfiguration. [Internet] [Masters thesis]. Louisiana State University; 2002. [cited 2021 Jan 20]. Available from: etd-0414102-135429 ; https://digitalcommons.lsu.edu/gradschool_theses/1279.

Council of Science Editors:

Neoh C. Computing moments of a binary horizontally/vertically convex image using run-time reconfiguration. [Masters Thesis]. Louisiana State University; 2002. Available from: etd-0414102-135429 ; https://digitalcommons.lsu.edu/gradschool_theses/1279


Virginia Tech

16. He, Yingchun. VLSI Implementation of a Run-time Configurable Computing Integrated Circuit - The Stallion Chip.

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

 Reconfigurable computing architectures are gaining popularity as a replacement for general-purpose architectures for many high performance embedded applications. These machines support parallel computation and direct… (more)

Subjects/Keywords: run-time configurable computing; layout; VLSI

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

He, Y. (1998). VLSI Implementation of a Run-time Configurable Computing Integrated Circuit - The Stallion Chip. (Masters Thesis). Virginia Tech. Retrieved from http://hdl.handle.net/10919/36845

Chicago Manual of Style (16th Edition):

He, Yingchun. “VLSI Implementation of a Run-time Configurable Computing Integrated Circuit - The Stallion Chip.” 1998. Masters Thesis, Virginia Tech. Accessed January 20, 2021. http://hdl.handle.net/10919/36845.

MLA Handbook (7th Edition):

He, Yingchun. “VLSI Implementation of a Run-time Configurable Computing Integrated Circuit - The Stallion Chip.” 1998. Web. 20 Jan 2021.

Vancouver:

He Y. VLSI Implementation of a Run-time Configurable Computing Integrated Circuit - The Stallion Chip. [Internet] [Masters thesis]. Virginia Tech; 1998. [cited 2021 Jan 20]. Available from: http://hdl.handle.net/10919/36845.

Council of Science Editors:

He Y. VLSI Implementation of a Run-time Configurable Computing Integrated Circuit - The Stallion Chip. [Masters Thesis]. Virginia Tech; 1998. Available from: http://hdl.handle.net/10919/36845

17. Buni, Socorro. Reducing Turnaround Time of Clinical Laboratory Analysis Through Use of Efficient Blood Collection Techniques.

Degree: MS, Clinical Laboratory Sciences, 2018, Dominican University of California

  Clinical Laboratory departments continually strive to improved processes in order to help decrease wait time to assist medical providers to focus on immediate therapeutic… (more)

Subjects/Keywords: analytical turnaround time; blood collection tubes; Hospital-Acquired Anemia; laboratory run-time; clinical laboratory; Chem7; Medical Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Buni, S. (2018). Reducing Turnaround Time of Clinical Laboratory Analysis Through Use of Efficient Blood Collection Techniques. (Masters Thesis). Dominican University of California. Retrieved from https://scholar.dominican.edu/masters-theses/301

Chicago Manual of Style (16th Edition):

Buni, Socorro. “Reducing Turnaround Time of Clinical Laboratory Analysis Through Use of Efficient Blood Collection Techniques.” 2018. Masters Thesis, Dominican University of California. Accessed January 20, 2021. https://scholar.dominican.edu/masters-theses/301.

MLA Handbook (7th Edition):

Buni, Socorro. “Reducing Turnaround Time of Clinical Laboratory Analysis Through Use of Efficient Blood Collection Techniques.” 2018. Web. 20 Jan 2021.

Vancouver:

Buni S. Reducing Turnaround Time of Clinical Laboratory Analysis Through Use of Efficient Blood Collection Techniques. [Internet] [Masters thesis]. Dominican University of California; 2018. [cited 2021 Jan 20]. Available from: https://scholar.dominican.edu/masters-theses/301.

Council of Science Editors:

Buni S. Reducing Turnaround Time of Clinical Laboratory Analysis Through Use of Efficient Blood Collection Techniques. [Masters Thesis]. Dominican University of California; 2018. Available from: https://scholar.dominican.edu/masters-theses/301


Missouri University of Science and Technology

18. Nerella, Venkata Krishna Suhas. Exploring run-time reduction in programming codes via query optimization and caching.

Degree: PhD, Computer Science, Missouri University of Science and Technology

 "Object oriented programming languages raised the level of abstraction by supporting the explicit first class query constructs in the programming codes. These query constructs allow… (more)

Subjects/Keywords: Collection queries; Run time; Compile time; Histograms; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nerella, V. K. S. (n.d.). Exploring run-time reduction in programming codes via query optimization and caching. (Doctoral Dissertation). Missouri University of Science and Technology. Retrieved from https://scholarsmine.mst.edu/doctoral_dissertations/2062

Note: this citation may be lacking information needed for this citation format:
No year of publication.

Chicago Manual of Style (16th Edition):

Nerella, Venkata Krishna Suhas. “Exploring run-time reduction in programming codes via query optimization and caching.” Doctoral Dissertation, Missouri University of Science and Technology. Accessed January 20, 2021. https://scholarsmine.mst.edu/doctoral_dissertations/2062.

Note: this citation may be lacking information needed for this citation format:
No year of publication.

MLA Handbook (7th Edition):

Nerella, Venkata Krishna Suhas. “Exploring run-time reduction in programming codes via query optimization and caching.” Web. 20 Jan 2021.

Note: this citation may be lacking information needed for this citation format:
No year of publication.

Vancouver:

Nerella VKS. Exploring run-time reduction in programming codes via query optimization and caching. [Internet] [Doctoral dissertation]. Missouri University of Science and Technology; [cited 2021 Jan 20]. Available from: https://scholarsmine.mst.edu/doctoral_dissertations/2062.

Note: this citation may be lacking information needed for this citation format:
No year of publication.

Council of Science Editors:

Nerella VKS. Exploring run-time reduction in programming codes via query optimization and caching. [Doctoral Dissertation]. Missouri University of Science and Technology; Available from: https://scholarsmine.mst.edu/doctoral_dissertations/2062

Note: this citation may be lacking information needed for this citation format:
No year of publication.


University of New South Wales

19. Javaid, Haris. Analyses and Optimisations for Pipelined MPSoCs.

Degree: Computer Science & Engineering, 2012, University of New South Wales

 Heterogeneous MultiProcessor System on Chips (MPSoCs) are viable implementationplatforms for multimedia. However, optimisation of such platforms for performance,area footprint and energy consumption is a challenge.… (more)

Subjects/Keywords: Heterogeneous MultiProcessor System on Chips (MPSoCs); Design-time optimisation; Run-time optimisation; Estimation models; Footprint reduction

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Javaid, H. (2012). Analyses and Optimisations for Pipelined MPSoCs. (Doctoral Dissertation). University of New South Wales. Retrieved from http://handle.unsw.edu.au/1959.4/52629 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:11302/SOURCE01?view=true

Chicago Manual of Style (16th Edition):

Javaid, Haris. “Analyses and Optimisations for Pipelined MPSoCs.” 2012. Doctoral Dissertation, University of New South Wales. Accessed January 20, 2021. http://handle.unsw.edu.au/1959.4/52629 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:11302/SOURCE01?view=true.

MLA Handbook (7th Edition):

Javaid, Haris. “Analyses and Optimisations for Pipelined MPSoCs.” 2012. Web. 20 Jan 2021.

Vancouver:

Javaid H. Analyses and Optimisations for Pipelined MPSoCs. [Internet] [Doctoral dissertation]. University of New South Wales; 2012. [cited 2021 Jan 20]. Available from: http://handle.unsw.edu.au/1959.4/52629 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:11302/SOURCE01?view=true.

Council of Science Editors:

Javaid H. Analyses and Optimisations for Pipelined MPSoCs. [Doctoral Dissertation]. University of New South Wales; 2012. Available from: http://handle.unsw.edu.au/1959.4/52629 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:11302/SOURCE01?view=true


NSYSU

20. Wu, Chi-Fan. A Run-Time Loop Parallelization Technique on Shared-Memory Multiprocessor Systems.

Degree: Master, Electrical Engineering, 2000, NSYSU

 High performance computing power is important for the current advanced calculations of scientific applications. A multiprocessor system obtains its high performance from the fact that… (more)

Subjects/Keywords: Run-time parallelization; Parallelizing compiler; Multiprocessor system; Wavefront scheduling

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Wu, C. (2000). A Run-Time Loop Parallelization Technique on Shared-Memory Multiprocessor Systems. (Thesis). NSYSU. Retrieved from http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0706100-132843

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, Chi-Fan. “A Run-Time Loop Parallelization Technique on Shared-Memory Multiprocessor Systems.” 2000. Thesis, NSYSU. Accessed January 20, 2021. http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0706100-132843.

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

MLA Handbook (7th Edition):

Wu, Chi-Fan. “A Run-Time Loop Parallelization Technique on Shared-Memory Multiprocessor Systems.” 2000. Web. 20 Jan 2021.

Vancouver:

Wu C. A Run-Time Loop Parallelization Technique on Shared-Memory Multiprocessor Systems. [Internet] [Thesis]. NSYSU; 2000. [cited 2021 Jan 20]. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0706100-132843.

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

Council of Science Editors:

Wu C. A Run-Time Loop Parallelization Technique on Shared-Memory Multiprocessor Systems. [Thesis]. NSYSU; 2000. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0706100-132843

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

21. Baby,Thomas. Time-Lag and Cost Overrun of Infrastructural Investments with Special Reference to Power Projects in Kerala.

Degree: 1994, Cochin University of Science and Technology

Subjects/Keywords: Time lag; Cost Over run; Infrastructural Investments; Kerala Economy

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Baby,Thomas. (1994). Time-Lag and Cost Overrun of Infrastructural Investments with Special Reference to Power Projects in Kerala. (Thesis). Cochin University of Science and Technology. Retrieved from http://dyuthi.cusat.ac.in/jspui/handle/dyuthi/1625

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

Chicago Manual of Style (16th Edition):

Baby,Thomas. “Time-Lag and Cost Overrun of Infrastructural Investments with Special Reference to Power Projects in Kerala.” 1994. Thesis, Cochin University of Science and Technology. Accessed January 20, 2021. http://dyuthi.cusat.ac.in/jspui/handle/dyuthi/1625.

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

MLA Handbook (7th Edition):

Baby,Thomas. “Time-Lag and Cost Overrun of Infrastructural Investments with Special Reference to Power Projects in Kerala.” 1994. Web. 20 Jan 2021.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Vancouver:

Baby,Thomas. Time-Lag and Cost Overrun of Infrastructural Investments with Special Reference to Power Projects in Kerala. [Internet] [Thesis]. Cochin University of Science and Technology; 1994. [cited 2021 Jan 20]. Available from: http://dyuthi.cusat.ac.in/jspui/handle/dyuthi/1625.

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

Council of Science Editors:

Baby,Thomas. Time-Lag and Cost Overrun of Infrastructural Investments with Special Reference to Power Projects in Kerala. [Thesis]. Cochin University of Science and Technology; 1994. Available from: http://dyuthi.cusat.ac.in/jspui/handle/dyuthi/1625

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

22. Kojima, Leandro. Metodologia de projeto de sistemas dinamicamente reconfiguráveis.

Degree: Mestrado, Microeletrônica, 2007, University of São Paulo

FPGAs (Field Programmable Gate Arrays) dinamicamente reconfiguráveis (DR-FPGAs) são soluções promissoras para muitos sistemas embarcados devido a potencial redução de área de silício. Metodologias de… (more)

Subjects/Keywords: Bluetooth; Bluetooth; Dynamically reconfigurable logic (DRL); FPGAs; FPGAs; Metodologias de projeto; Microelectronics; Microeletrônica; Reconfiguração dinâmica; Run-time reconfiguration (RTR)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kojima, L. (2007). Metodologia de projeto de sistemas dinamicamente reconfiguráveis. (Masters Thesis). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/3/3140/tde-01082007-174443/ ;

Chicago Manual of Style (16th Edition):

Kojima, Leandro. “Metodologia de projeto de sistemas dinamicamente reconfiguráveis.” 2007. Masters Thesis, University of São Paulo. Accessed January 20, 2021. http://www.teses.usp.br/teses/disponiveis/3/3140/tde-01082007-174443/ ;.

MLA Handbook (7th Edition):

Kojima, Leandro. “Metodologia de projeto de sistemas dinamicamente reconfiguráveis.” 2007. Web. 20 Jan 2021.

Vancouver:

Kojima L. Metodologia de projeto de sistemas dinamicamente reconfiguráveis. [Internet] [Masters thesis]. University of São Paulo; 2007. [cited 2021 Jan 20]. Available from: http://www.teses.usp.br/teses/disponiveis/3/3140/tde-01082007-174443/ ;.

Council of Science Editors:

Kojima L. Metodologia de projeto de sistemas dinamicamente reconfiguráveis. [Masters Thesis]. University of São Paulo; 2007. Available from: http://www.teses.usp.br/teses/disponiveis/3/3140/tde-01082007-174443/ ;


University of Tasmania

23. Dermoudy, J. Effective run-time management of parallelism in a functional programming context.

Degree: 2002, University of Tasmania

 This thesis considers how to speed up the execution of functional programs using parallel execution, load distribution, and speculative evaluation. This is an important challenge… (more)

Subjects/Keywords: 280300 Computer Software; parallellism; functional programming; run-time management

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dermoudy, J. (2002). Effective run-time management of parallelism in a functional programming context. (Thesis). University of Tasmania. Retrieved from https://eprints.utas.edu.au/67/1/Dermoudy_PhD.pdf

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):

Dermoudy, J. “Effective run-time management of parallelism in a functional programming context.” 2002. Thesis, University of Tasmania. Accessed January 20, 2021. https://eprints.utas.edu.au/67/1/Dermoudy_PhD.pdf.

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

MLA Handbook (7th Edition):

Dermoudy, J. “Effective run-time management of parallelism in a functional programming context.” 2002. Web. 20 Jan 2021.

Vancouver:

Dermoudy J. Effective run-time management of parallelism in a functional programming context. [Internet] [Thesis]. University of Tasmania; 2002. [cited 2021 Jan 20]. Available from: https://eprints.utas.edu.au/67/1/Dermoudy_PhD.pdf.

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

Council of Science Editors:

Dermoudy J. Effective run-time management of parallelism in a functional programming context. [Thesis]. University of Tasmania; 2002. Available from: https://eprints.utas.edu.au/67/1/Dermoudy_PhD.pdf

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


Penn State University

24. Li, Xiaoye. Three Essays on Non-stationary Time Series.

Degree: 2013, Penn State University

 We study statistical inference for a class of non-stationary time series with time-dependent variances. Due to non-stationarity and the large number of unknown parameters, existing… (more)

Subjects/Keywords: Modulated Stationary; Self Normalization; Change-point Test; Long-run Variance; Autocovariance; Time-varying exogenous AR model; Sieve-wild Bootstrap

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Li, X. (2013). Three Essays on Non-stationary Time Series. (Thesis). Penn State University. Retrieved from https://submit-etda.libraries.psu.edu/catalog/19602

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):

Li, Xiaoye. “Three Essays on Non-stationary Time Series.” 2013. Thesis, Penn State University. Accessed January 20, 2021. https://submit-etda.libraries.psu.edu/catalog/19602.

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

MLA Handbook (7th Edition):

Li, Xiaoye. “Three Essays on Non-stationary Time Series.” 2013. Web. 20 Jan 2021.

Vancouver:

Li X. Three Essays on Non-stationary Time Series. [Internet] [Thesis]. Penn State University; 2013. [cited 2021 Jan 20]. Available from: https://submit-etda.libraries.psu.edu/catalog/19602.

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

Council of Science Editors:

Li X. Three Essays on Non-stationary Time Series. [Thesis]. Penn State University; 2013. Available from: https://submit-etda.libraries.psu.edu/catalog/19602

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


Brno University of Technology

25. Sečkařová, Petra. Ověřování temporálních vlastností konečných běhů programů: Checking of Temporal Properties of Finite Traces of Programs.

Degree: 2019, Brno University of Technology

 Correct behavior of programs can be defined by their temporal properties. One of the options for formal specification of such properties is  linear temporal logic… (more)

Subjects/Keywords: verifikace programů za běhu; temporální vlastnosti programů; lineární temporální logika; run-time verification; temporal properties of programs; linear temporal logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sečkařová, P. (2019). Ověřování temporálních vlastností konečných běhů programů: Checking of Temporal Properties of Finite Traces of Programs. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/180387

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):

Sečkařová, Petra. “Ověřování temporálních vlastností konečných běhů programů: Checking of Temporal Properties of Finite Traces of Programs.” 2019. Thesis, Brno University of Technology. Accessed January 20, 2021. http://hdl.handle.net/11012/180387.

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

MLA Handbook (7th Edition):

Sečkařová, Petra. “Ověřování temporálních vlastností konečných běhů programů: Checking of Temporal Properties of Finite Traces of Programs.” 2019. Web. 20 Jan 2021.

Vancouver:

Sečkařová P. Ověřování temporálních vlastností konečných běhů programů: Checking of Temporal Properties of Finite Traces of Programs. [Internet] [Thesis]. Brno University of Technology; 2019. [cited 2021 Jan 20]. Available from: http://hdl.handle.net/11012/180387.

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

Council of Science Editors:

Sečkařová P. Ověřování temporálních vlastností konečných běhů programů: Checking of Temporal Properties of Finite Traces of Programs. [Thesis]. Brno University of Technology; 2019. Available from: http://hdl.handle.net/11012/180387

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


Universidade Nova

26. Sousa, João Carlos Tanganho de. Parallel run-time for CO-OPN.

Degree: 2009, Universidade Nova

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Domain Specific Modeling (DSM) is a methodology to provide programs or system’s specification at higher… (more)

Subjects/Keywords: Domain specific modeling; Domain specific languages; Concurrent object- oriented Petri nets (CO-OPN); Thread safe parallel run-time

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sousa, J. C. T. d. (2009). Parallel run-time for CO-OPN. (Thesis). Universidade Nova. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/8101

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):

Sousa, João Carlos Tanganho de. “Parallel run-time for CO-OPN.” 2009. Thesis, Universidade Nova. Accessed January 20, 2021. http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/8101.

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

MLA Handbook (7th Edition):

Sousa, João Carlos Tanganho de. “Parallel run-time for CO-OPN.” 2009. Web. 20 Jan 2021.

Vancouver:

Sousa JCTd. Parallel run-time for CO-OPN. [Internet] [Thesis]. Universidade Nova; 2009. [cited 2021 Jan 20]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/8101.

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

Council of Science Editors:

Sousa JCTd. Parallel run-time for CO-OPN. [Thesis]. Universidade Nova; 2009. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/8101

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


Delft University of Technology

27. Raaijmakers, S.J. (author). Run-Time Partial Reconfiguration on the Virtex-II Pro.

Degree: 2007, Delft University of Technology

Reconfigurable Computing entails the utilization of a general-purpose processor augmented with a reconfigurable hardware structure (e.g. a field-programmable gate array). Normally, a complete reconfiguration is… (more)

Subjects/Keywords: run-time; runtime; partial; reconfiguration; xilinx; virtex

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Raaijmakers, S. J. (. (2007). Run-Time Partial Reconfiguration on the Virtex-II Pro. (Masters Thesis). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:eef80801-b933-4cd2-ae0a-ca797aa74774

Chicago Manual of Style (16th Edition):

Raaijmakers, S J (author). “Run-Time Partial Reconfiguration on the Virtex-II Pro.” 2007. Masters Thesis, Delft University of Technology. Accessed January 20, 2021. http://resolver.tudelft.nl/uuid:eef80801-b933-4cd2-ae0a-ca797aa74774.

MLA Handbook (7th Edition):

Raaijmakers, S J (author). “Run-Time Partial Reconfiguration on the Virtex-II Pro.” 2007. Web. 20 Jan 2021.

Vancouver:

Raaijmakers SJ(. Run-Time Partial Reconfiguration on the Virtex-II Pro. [Internet] [Masters thesis]. Delft University of Technology; 2007. [cited 2021 Jan 20]. Available from: http://resolver.tudelft.nl/uuid:eef80801-b933-4cd2-ae0a-ca797aa74774.

Council of Science Editors:

Raaijmakers SJ(. Run-Time Partial Reconfiguration on the Virtex-II Pro. [Masters Thesis]. Delft University of Technology; 2007. Available from: http://resolver.tudelft.nl/uuid:eef80801-b933-4cd2-ae0a-ca797aa74774


Georgia Tech

28. Hobbs, Kerianne L. Elicitation and Formal Specification of Run Time Assurance Requirements for Aerospace Collision Avoidance Systems.

Degree: PhD, Aerospace Engineering, 2020, Georgia Tech

Run Time Assurance (RTA) systems are proposed as a complementary verification approach to facilitate near-term certification of advanced aerospace decision and control systems. RTA systems… (more)

Subjects/Keywords: formal methods; model checking; run time assurance; verification; validation; systems engineering; system safety; collision avoidance; hazard analysis; requirements engineering; autonomy; automation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hobbs, K. L. (2020). Elicitation and Formal Specification of Run Time Assurance Requirements for Aerospace Collision Avoidance Systems. (Doctoral Dissertation). Georgia Tech. Retrieved from http://hdl.handle.net/1853/62788

Chicago Manual of Style (16th Edition):

Hobbs, Kerianne L. “Elicitation and Formal Specification of Run Time Assurance Requirements for Aerospace Collision Avoidance Systems.” 2020. Doctoral Dissertation, Georgia Tech. Accessed January 20, 2021. http://hdl.handle.net/1853/62788.

MLA Handbook (7th Edition):

Hobbs, Kerianne L. “Elicitation and Formal Specification of Run Time Assurance Requirements for Aerospace Collision Avoidance Systems.” 2020. Web. 20 Jan 2021.

Vancouver:

Hobbs KL. Elicitation and Formal Specification of Run Time Assurance Requirements for Aerospace Collision Avoidance Systems. [Internet] [Doctoral dissertation]. Georgia Tech; 2020. [cited 2021 Jan 20]. Available from: http://hdl.handle.net/1853/62788.

Council of Science Editors:

Hobbs KL. Elicitation and Formal Specification of Run Time Assurance Requirements for Aerospace Collision Avoidance Systems. [Doctoral Dissertation]. Georgia Tech; 2020. Available from: http://hdl.handle.net/1853/62788

29. WANG FANGDA. Adapting plan-based re-optimization of multiway join queries for streaming data.

Degree: 2013, National University of Singapore

Subjects/Keywords: Run-time re-optimization; streaming data; plan-based

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

FANGDA, W. (2013). Adapting plan-based re-optimization of multiway join queries for streaming data. (Thesis). National University of Singapore. Retrieved from http://scholarbank.nus.edu.sg/handle/10635/43622

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):

FANGDA, WANG. “Adapting plan-based re-optimization of multiway join queries for streaming data.” 2013. Thesis, National University of Singapore. Accessed January 20, 2021. http://scholarbank.nus.edu.sg/handle/10635/43622.

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

MLA Handbook (7th Edition):

FANGDA, WANG. “Adapting plan-based re-optimization of multiway join queries for streaming data.” 2013. Web. 20 Jan 2021.

Vancouver:

FANGDA W. Adapting plan-based re-optimization of multiway join queries for streaming data. [Internet] [Thesis]. National University of Singapore; 2013. [cited 2021 Jan 20]. Available from: http://scholarbank.nus.edu.sg/handle/10635/43622.

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

Council of Science Editors:

FANGDA W. Adapting plan-based re-optimization of multiway join queries for streaming data. [Thesis]. National University of Singapore; 2013. Available from: http://scholarbank.nus.edu.sg/handle/10635/43622

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


University of Florida

30. Sefair, Jorge A. Interdiction Models for Planning under Uncertainty.

Degree: PhD, Industrial and Systems Engineering, 2015, University of Florida

 This dissertation presents new classes of interdiction problems, accompanied by novel analytical and methodological development for their solution. The first problem is motivated by an… (more)

Subjects/Keywords: Algorithms; Approximation; Cost allocation; Cost efficiency; Integers; Markov chains; Mink; Optimal solutions; Run time; Transition probabilities; interdiction  – networks  – optimization  – uncertainty

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sefair, J. A. (2015). Interdiction Models for Planning under Uncertainty. (Doctoral Dissertation). University of Florida. Retrieved from https://ufdc.ufl.edu/UFE0049111

Chicago Manual of Style (16th Edition):

Sefair, Jorge A. “Interdiction Models for Planning under Uncertainty.” 2015. Doctoral Dissertation, University of Florida. Accessed January 20, 2021. https://ufdc.ufl.edu/UFE0049111.

MLA Handbook (7th Edition):

Sefair, Jorge A. “Interdiction Models for Planning under Uncertainty.” 2015. Web. 20 Jan 2021.

Vancouver:

Sefair JA. Interdiction Models for Planning under Uncertainty. [Internet] [Doctoral dissertation]. University of Florida; 2015. [cited 2021 Jan 20]. Available from: https://ufdc.ufl.edu/UFE0049111.

Council of Science Editors:

Sefair JA. Interdiction Models for Planning under Uncertainty. [Doctoral Dissertation]. University of Florida; 2015. Available from: https://ufdc.ufl.edu/UFE0049111

[1] [2] [3] [4]

.