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:(dead variable). Showing records 1 – 4 of 4 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


NSYSU

1. Huang , Chung-Che. Variable Dead Time Control Strategies for Light-Load Efficiency Improvement of Phase-Shift Full-Bridge Converters.

Degree: Master, Electrical Engineering, 2014, NSYSU

 Generally, the Phase-Shift Full-Bridge Converter (PSFBC) could achieve Zero-Voltage Switching (ZVS) for power switches by controlling the phase shift of switch signals. However, constrained by… (more)

Subjects/Keywords: Light-Load Efficiency; Variable Dead Time Control; Zero-Voltage Switching (ZVS); Phase-Shift Full-Bridge Converter (PSFBC)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Huang , C. (2014). Variable Dead Time Control Strategies for Light-Load Efficiency Improvement of Phase-Shift Full-Bridge Converters. (Thesis). NSYSU. Retrieved from http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0704114-124835

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

Huang , Chung-Che. “Variable Dead Time Control Strategies for Light-Load Efficiency Improvement of Phase-Shift Full-Bridge Converters.” 2014. Thesis, NSYSU. Accessed March 31, 2020. http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0704114-124835.

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

MLA Handbook (7th Edition):

Huang , Chung-Che. “Variable Dead Time Control Strategies for Light-Load Efficiency Improvement of Phase-Shift Full-Bridge Converters.” 2014. Web. 31 Mar 2020.

Vancouver:

Huang C. Variable Dead Time Control Strategies for Light-Load Efficiency Improvement of Phase-Shift Full-Bridge Converters. [Internet] [Thesis]. NSYSU; 2014. [cited 2020 Mar 31]. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0704114-124835.

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

Council of Science Editors:

Huang C. Variable Dead Time Control Strategies for Light-Load Efficiency Improvement of Phase-Shift Full-Bridge Converters. [Thesis]. NSYSU; 2014. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0704114-124835

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


Brigham Young University

2. Lewis, Micah S. Dynamic Dead Variable Analysis.

Degree: MS, 2005, Brigham Young University

 Dynamic dead variable analysis (DDVA) extends traditional static dead variable analysis (SDVA) in the context of model checking through the use of run-time information. The… (more)

Subjects/Keywords: static analysis; model checking; abstraction; live variable analysis; dead variable analysis; verification; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lewis, M. S. (2005). Dynamic Dead Variable Analysis. (Masters Thesis). Brigham Young University. Retrieved from https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=1638&context=etd

Chicago Manual of Style (16th Edition):

Lewis, Micah S. “Dynamic Dead Variable Analysis.” 2005. Masters Thesis, Brigham Young University. Accessed March 31, 2020. https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=1638&context=etd.

MLA Handbook (7th Edition):

Lewis, Micah S. “Dynamic Dead Variable Analysis.” 2005. Web. 31 Mar 2020.

Vancouver:

Lewis MS. Dynamic Dead Variable Analysis. [Internet] [Masters thesis]. Brigham Young University; 2005. [cited 2020 Mar 31]. Available from: https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=1638&context=etd.

Council of Science Editors:

Lewis MS. Dynamic Dead Variable Analysis. [Masters Thesis]. Brigham Young University; 2005. Available from: https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=1638&context=etd


Brigham Young University

3. Self, Joel P. On-the-Fly Dynamic Dead Variable Analysis.

Degree: MS, 2007, Brigham Young University

 State explosion in model checking continues to be the primary obstacle to widespread use of software model checking. The large input ranges of variables used… (more)

Subjects/Keywords: model checking; computer science; static; static analysis; dynamic analysis; analysis; program; program analysis; Estes; GDB; dead variable analysis; dead variable; live variable; live variable analysis; CFG; abstraction; data abstraction; on-the-fly; static program analysis; control flow graph; software model checking; state space; depth first search; state explosion; state explosion problem; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Self, J. P. (2007). On-the-Fly Dynamic Dead Variable Analysis. (Masters Thesis). Brigham Young University. Retrieved from https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=1885&context=etd

Chicago Manual of Style (16th Edition):

Self, Joel P. “On-the-Fly Dynamic Dead Variable Analysis.” 2007. Masters Thesis, Brigham Young University. Accessed March 31, 2020. https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=1885&context=etd.

MLA Handbook (7th Edition):

Self, Joel P. “On-the-Fly Dynamic Dead Variable Analysis.” 2007. Web. 31 Mar 2020.

Vancouver:

Self JP. On-the-Fly Dynamic Dead Variable Analysis. [Internet] [Masters thesis]. Brigham Young University; 2007. [cited 2020 Mar 31]. Available from: https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=1885&context=etd.

Council of Science Editors:

Self JP. On-the-Fly Dynamic Dead Variable Analysis. [Masters Thesis]. Brigham Young University; 2007. Available from: https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=1885&context=etd

4. Timmer, Mark. Efficient Modelling, Generation and Analysis of Markov Automata.

Degree: Faculty of Electrical Engineering, Mathematics and Computer Science, 2013, Centre for Telematics and Information Technology (CTIT)

 Quantitative model checking is concerned with the verification of both quantitative and qualitative properties over models incorporating quantitative information. Increases in expressivity of the models… (more)

Subjects/Keywords: EWI-23586; Dead variable reduction; Process Algebra; State space explosion; Partial order reduction; EC Grant Agreement nr.: FP7-ICT-2007-1; METIS-297421; Model Checking; Confluence reduction; quantitative verification; Markov Automata; IR-87174; Reduction techniques; EC Grant Agreement nr.: FP7/214755; NWO 612.063.817

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Timmer, M. (2013). Efficient Modelling, Generation and Analysis of Markov Automata. (Doctoral Dissertation). Centre for Telematics and Information Technology (CTIT). Retrieved from https://research.utwente.nl/en/publications/efficient-modelling-generation-and-analysis-of-markov-automata(226df5a7-82e6-488b-8516-3af16f103ed6).html ; urn:nbn:nl:ui:28-87174 ; 226df5a7-82e6-488b-8516-3af16f103ed6 ; 10.3990/1.9789036505925 ; urn:isbn:978-90-365-0592-5 ; urn:nbn:nl:ui:28-87174 ; https://research.utwente.nl/en/publications/efficient-modelling-generation-and-analysis-of-markov-automata(226df5a7-82e6-488b-8516-3af16f103ed6).html

Chicago Manual of Style (16th Edition):

Timmer, Mark. “Efficient Modelling, Generation and Analysis of Markov Automata.” 2013. Doctoral Dissertation, Centre for Telematics and Information Technology (CTIT). Accessed March 31, 2020. https://research.utwente.nl/en/publications/efficient-modelling-generation-and-analysis-of-markov-automata(226df5a7-82e6-488b-8516-3af16f103ed6).html ; urn:nbn:nl:ui:28-87174 ; 226df5a7-82e6-488b-8516-3af16f103ed6 ; 10.3990/1.9789036505925 ; urn:isbn:978-90-365-0592-5 ; urn:nbn:nl:ui:28-87174 ; https://research.utwente.nl/en/publications/efficient-modelling-generation-and-analysis-of-markov-automata(226df5a7-82e6-488b-8516-3af16f103ed6).html.

MLA Handbook (7th Edition):

Timmer, Mark. “Efficient Modelling, Generation and Analysis of Markov Automata.” 2013. Web. 31 Mar 2020.

Vancouver:

Timmer M. Efficient Modelling, Generation and Analysis of Markov Automata. [Internet] [Doctoral dissertation]. Centre for Telematics and Information Technology (CTIT); 2013. [cited 2020 Mar 31]. Available from: https://research.utwente.nl/en/publications/efficient-modelling-generation-and-analysis-of-markov-automata(226df5a7-82e6-488b-8516-3af16f103ed6).html ; urn:nbn:nl:ui:28-87174 ; 226df5a7-82e6-488b-8516-3af16f103ed6 ; 10.3990/1.9789036505925 ; urn:isbn:978-90-365-0592-5 ; urn:nbn:nl:ui:28-87174 ; https://research.utwente.nl/en/publications/efficient-modelling-generation-and-analysis-of-markov-automata(226df5a7-82e6-488b-8516-3af16f103ed6).html.

Council of Science Editors:

Timmer M. Efficient Modelling, Generation and Analysis of Markov Automata. [Doctoral Dissertation]. Centre for Telematics and Information Technology (CTIT); 2013. Available from: https://research.utwente.nl/en/publications/efficient-modelling-generation-and-analysis-of-markov-automata(226df5a7-82e6-488b-8516-3af16f103ed6).html ; urn:nbn:nl:ui:28-87174 ; 226df5a7-82e6-488b-8516-3af16f103ed6 ; 10.3990/1.9789036505925 ; urn:isbn:978-90-365-0592-5 ; urn:nbn:nl:ui:28-87174 ; https://research.utwente.nl/en/publications/efficient-modelling-generation-and-analysis-of-markov-automata(226df5a7-82e6-488b-8516-3af16f103ed6).html

.