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:(design verification). Showing records 1 – 30 of 122 total matches.

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

Search Limiters

Last 2 Years | English Only

Degrees

Levels

▼ Search Limiters


University of Utah

1. Pruss, Tim. Word-level abstraction from combinational circuits using algebraic geometry.

Degree: PhD, Electrical & Computer Engineering, 2015, University of Utah

 Abstraction plays an important role in digital design, analysis, and verification, as it allows for the refinement of functions through different levels of conceptualization. This… (more)

Subjects/Keywords: Abstraction; Digital Design; Formal Verification; Grobner Basis; Hardware Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Pruss, T. (2015). Word-level abstraction from combinational circuits using algebraic geometry. (Doctoral Dissertation). University of Utah. Retrieved from http://content.lib.utah.edu/cdm/singleitem/collection/etd3/id/3965/rec/2938

Chicago Manual of Style (16th Edition):

Pruss, Tim. “Word-level abstraction from combinational circuits using algebraic geometry.” 2015. Doctoral Dissertation, University of Utah. Accessed December 16, 2019. http://content.lib.utah.edu/cdm/singleitem/collection/etd3/id/3965/rec/2938.

MLA Handbook (7th Edition):

Pruss, Tim. “Word-level abstraction from combinational circuits using algebraic geometry.” 2015. Web. 16 Dec 2019.

Vancouver:

Pruss T. Word-level abstraction from combinational circuits using algebraic geometry. [Internet] [Doctoral dissertation]. University of Utah; 2015. [cited 2019 Dec 16]. Available from: http://content.lib.utah.edu/cdm/singleitem/collection/etd3/id/3965/rec/2938.

Council of Science Editors:

Pruss T. Word-level abstraction from combinational circuits using algebraic geometry. [Doctoral Dissertation]. University of Utah; 2015. Available from: http://content.lib.utah.edu/cdm/singleitem/collection/etd3/id/3965/rec/2938


University of Minnesota

2. Ambalakkat, Sarath Mohan. Optimization of Constrained Random Verification using Machine Learning.

Degree: M.S.E.E., Electrical Engineering, 2018, University of Minnesota

 Constrained random simulations play a critical role in Design Verification today. But the effort and time spent to manually update the input constraints, analyzing and… (more)

Subjects/Keywords: ANN; Constrained Random Verification; Design Verification; Machine Learning; Neural Networks; UVM

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ambalakkat, S. M. (2018). Optimization of Constrained Random Verification using Machine Learning. (Masters Thesis). University of Minnesota. Retrieved from http://hdl.handle.net/11299/198982

Chicago Manual of Style (16th Edition):

Ambalakkat, Sarath Mohan. “Optimization of Constrained Random Verification using Machine Learning.” 2018. Masters Thesis, University of Minnesota. Accessed December 16, 2019. http://hdl.handle.net/11299/198982.

MLA Handbook (7th Edition):

Ambalakkat, Sarath Mohan. “Optimization of Constrained Random Verification using Machine Learning.” 2018. Web. 16 Dec 2019.

Vancouver:

Ambalakkat SM. Optimization of Constrained Random Verification using Machine Learning. [Internet] [Masters thesis]. University of Minnesota; 2018. [cited 2019 Dec 16]. Available from: http://hdl.handle.net/11299/198982.

Council of Science Editors:

Ambalakkat SM. Optimization of Constrained Random Verification using Machine Learning. [Masters Thesis]. University of Minnesota; 2018. Available from: http://hdl.handle.net/11299/198982


Texas A&M University

3. Zeng, Zhiyu. Scalable Analysis, Verification and Design of IC Power Delivery.

Degree: 2012, Texas A&M University

 Due to recent aggressive process scaling into the nanometer regime, power delivery network design faces many challenges that set more stringent and specific requirements to… (more)

Subjects/Keywords: Analysis; Verification; Design; Power Delivery Network

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zeng, Z. (2012). Scalable Analysis, Verification and Design of IC Power Delivery. (Thesis). Texas A&M University. Retrieved from http://hdl.handle.net/1969.1/ETD-TAMU-2011-12-10641

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

Zeng, Zhiyu. “Scalable Analysis, Verification and Design of IC Power Delivery.” 2012. Thesis, Texas A&M University. Accessed December 16, 2019. http://hdl.handle.net/1969.1/ETD-TAMU-2011-12-10641.

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

MLA Handbook (7th Edition):

Zeng, Zhiyu. “Scalable Analysis, Verification and Design of IC Power Delivery.” 2012. Web. 16 Dec 2019.

Vancouver:

Zeng Z. Scalable Analysis, Verification and Design of IC Power Delivery. [Internet] [Thesis]. Texas A&M University; 2012. [cited 2019 Dec 16]. Available from: http://hdl.handle.net/1969.1/ETD-TAMU-2011-12-10641.

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

Council of Science Editors:

Zeng Z. Scalable Analysis, Verification and Design of IC Power Delivery. [Thesis]. Texas A&M University; 2012. Available from: http://hdl.handle.net/1969.1/ETD-TAMU-2011-12-10641

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

4. Nakae, Tatsuya. Canonical Factorization of Logic Functions and Its Application to BDD Based Logic Design Verification : 論理関数の正規因子分解を用いた論理設計検証; ロンリ カンスウ ノ セイキ インシ ブンカイ オ モチイタ ロンリ セッケイ ケンショウ.

Degree: Nara Institute of Science and Technology / 奈良先端科学技術大学院大学

Subjects/Keywords: Logic Design Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nakae, T. (n.d.). Canonical Factorization of Logic Functions and Its Application to BDD Based Logic Design Verification : 論理関数の正規因子分解を用いた論理設計検証; ロンリ カンスウ ノ セイキ インシ ブンカイ オ モチイタ ロンリ セッケイ ケンショウ. (Thesis). Nara Institute of Science and Technology / 奈良先端科学技術大学院大学. Retrieved from http://hdl.handle.net/10061/2505

Note: this citation may be lacking information needed for this citation format:
No year of publication.
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Nakae, Tatsuya. “Canonical Factorization of Logic Functions and Its Application to BDD Based Logic Design Verification : 論理関数の正規因子分解を用いた論理設計検証; ロンリ カンスウ ノ セイキ インシ ブンカイ オ モチイタ ロンリ セッケイ ケンショウ.” Thesis, Nara Institute of Science and Technology / 奈良先端科学技術大学院大学. Accessed December 16, 2019. http://hdl.handle.net/10061/2505.

Note: this citation may be lacking information needed for this citation format:
No year of publication.
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Nakae, Tatsuya. “Canonical Factorization of Logic Functions and Its Application to BDD Based Logic Design Verification : 論理関数の正規因子分解を用いた論理設計検証; ロンリ カンスウ ノ セイキ インシ ブンカイ オ モチイタ ロンリ セッケイ ケンショウ.” Web. 16 Dec 2019.

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

Vancouver:

Nakae T. Canonical Factorization of Logic Functions and Its Application to BDD Based Logic Design Verification : 論理関数の正規因子分解を用いた論理設計検証; ロンリ カンスウ ノ セイキ インシ ブンカイ オ モチイタ ロンリ セッケイ ケンショウ. [Internet] [Thesis]. Nara Institute of Science and Technology / 奈良先端科学技術大学院大学; [cited 2019 Dec 16]. Available from: http://hdl.handle.net/10061/2505.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
No year of publication.

Council of Science Editors:

Nakae T. Canonical Factorization of Logic Functions and Its Application to BDD Based Logic Design Verification : 論理関数の正規因子分解を用いた論理設計検証; ロンリ カンスウ ノ セイキ インシ ブンカイ オ モチイタ ロンリ セッケイ ケンショウ. [Thesis]. Nara Institute of Science and Technology / 奈良先端科学技術大学院大学; Available from: http://hdl.handle.net/10061/2505

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
No year of publication.

5. Carloto, Carlos José Abreu Dias da Silva. Towards a formally verified microkernel using the Frama-C toolset.

Degree: 2010, RCAAP

 This dissertation is included in the MSc course in Computer Science of the University of Beira Interior. It is a Formal Method’s related dissertation, where… (more)

Subjects/Keywords: Design by contract; Formal verification; xLuna; Formal methods; Frama-C; Hoare logic; Static verification; Deductive verification; Separation Kernel

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Carloto, C. J. A. D. d. S. (2010). Towards a formally verified microkernel using the Frama-C toolset. (Thesis). RCAAP. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:ubibliorum.ubi.pt:10400.6/3716

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

Carloto, Carlos José Abreu Dias da Silva. “Towards a formally verified microkernel using the Frama-C toolset.” 2010. Thesis, RCAAP. Accessed December 16, 2019. http://www.rcaap.pt/detail.jsp?id=oai:ubibliorum.ubi.pt:10400.6/3716.

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

MLA Handbook (7th Edition):

Carloto, Carlos José Abreu Dias da Silva. “Towards a formally verified microkernel using the Frama-C toolset.” 2010. Web. 16 Dec 2019.

Vancouver:

Carloto CJADdS. Towards a formally verified microkernel using the Frama-C toolset. [Internet] [Thesis]. RCAAP; 2010. [cited 2019 Dec 16]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:ubibliorum.ubi.pt:10400.6/3716.

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

Council of Science Editors:

Carloto CJADdS. Towards a formally verified microkernel using the Frama-C toolset. [Thesis]. RCAAP; 2010. Available from: http://www.rcaap.pt/detail.jsp?id=oai:ubibliorum.ubi.pt:10400.6/3716

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


Portland State University

6. Li, Juncao. An Automata-Theoretic Approach to Hardware/Software Co-verification.

Degree: PhD, Computer Science, 2010, Portland State University

  Hardware/Software (HW/SW) interfaces are pervasive in computer systems. However, many HW/SW interface implementations are unreliable due to their intrinsically complicated nature. In industrial settings,… (more)

Subjects/Keywords: Computer network protocols  – Design; System design; Computer systems  – Verification; Computer interfaces  – Design and construction

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Li, J. (2010). An Automata-Theoretic Approach to Hardware/Software Co-verification. (Doctoral Dissertation). Portland State University. Retrieved from http://pdxscholar.library.pdx.edu/open_access_etds/12

Chicago Manual of Style (16th Edition):

Li, Juncao. “An Automata-Theoretic Approach to Hardware/Software Co-verification.” 2010. Doctoral Dissertation, Portland State University. Accessed December 16, 2019. http://pdxscholar.library.pdx.edu/open_access_etds/12.

MLA Handbook (7th Edition):

Li, Juncao. “An Automata-Theoretic Approach to Hardware/Software Co-verification.” 2010. Web. 16 Dec 2019.

Vancouver:

Li J. An Automata-Theoretic Approach to Hardware/Software Co-verification. [Internet] [Doctoral dissertation]. Portland State University; 2010. [cited 2019 Dec 16]. Available from: http://pdxscholar.library.pdx.edu/open_access_etds/12.

Council of Science Editors:

Li J. An Automata-Theoretic Approach to Hardware/Software Co-verification. [Doctoral Dissertation]. Portland State University; 2010. Available from: http://pdxscholar.library.pdx.edu/open_access_etds/12

7. Liu, Zhiying. Verification of mathematical design documents.

Degree: 2011, University of Limerick

peer-reviewed

The problem to be studied in this thesis is how to verify a set of mathematical design documents in the sense that if each… (more)

Subjects/Keywords: mathematical design; verification

…a sequence of small design steps that permit the immediate verification of their… …industrial software practice on thorough requirements analysis and design, early verification and… …90 98 103 Trace Function Method Trace Assertion Method Prototype Verification System… …verify a set of mathematical design documents in the sense that if each component is… …modular design of a software system comprises: • Analyzing and specifying the system… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Liu, Z. (2011). Verification of mathematical design documents. (Thesis). University of Limerick. Retrieved from http://hdl.handle.net/10344/1673

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, Zhiying. “Verification of mathematical design documents.” 2011. Thesis, University of Limerick. Accessed December 16, 2019. http://hdl.handle.net/10344/1673.

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

MLA Handbook (7th Edition):

Liu, Zhiying. “Verification of mathematical design documents.” 2011. Web. 16 Dec 2019.

Vancouver:

Liu Z. Verification of mathematical design documents. [Internet] [Thesis]. University of Limerick; 2011. [cited 2019 Dec 16]. Available from: http://hdl.handle.net/10344/1673.

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

Council of Science Editors:

Liu Z. Verification of mathematical design documents. [Thesis]. University of Limerick; 2011. Available from: http://hdl.handle.net/10344/1673

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

8. Li, Peihan. Matching Spec# Specifications.

Degree: 2013, RIAN

 In this project, we develop a tool which compares two Spec# programs (C# code with specification contracts) for signature matching. The tool automatically identifies whether… (more)

Subjects/Keywords: Computer Science; Match specifications; Spec# programs; Verification; Design by Contract

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Li, P. (2013). Matching Spec# Specifications. (Thesis). RIAN. Retrieved from http://eprints.maynoothuniversity.ie/4553/

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, Peihan. “Matching Spec# Specifications.” 2013. Thesis, RIAN. Accessed December 16, 2019. http://eprints.maynoothuniversity.ie/4553/.

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

MLA Handbook (7th Edition):

Li, Peihan. “Matching Spec# Specifications.” 2013. Web. 16 Dec 2019.

Vancouver:

Li P. Matching Spec# Specifications. [Internet] [Thesis]. RIAN; 2013. [cited 2019 Dec 16]. Available from: http://eprints.maynoothuniversity.ie/4553/.

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

Council of Science Editors:

Li P. Matching Spec# Specifications. [Thesis]. RIAN; 2013. Available from: http://eprints.maynoothuniversity.ie/4553/

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


Delft University of Technology

9. Hoevenaars, A.G.L. Design, Integration and Verification of the Delfi-n3Xt Reaction Wheel System:.

Degree: 2012, Delft University of Technology

 To improve the pointing capabilities of nanosatellites a fast response attitude control system is required. Reaction wheels are an effective solution and rely on the… (more)

Subjects/Keywords: reaction wheel; nanosatellite; Delfi; attitude control; design; verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hoevenaars, A. G. L. (2012). Design, Integration and Verification of the Delfi-n3Xt Reaction Wheel System:. (Masters Thesis). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:282ce049-a4e9-4e3d-84c6-8b16f9e5414d

Chicago Manual of Style (16th Edition):

Hoevenaars, A G L. “Design, Integration and Verification of the Delfi-n3Xt Reaction Wheel System:.” 2012. Masters Thesis, Delft University of Technology. Accessed December 16, 2019. http://resolver.tudelft.nl/uuid:282ce049-a4e9-4e3d-84c6-8b16f9e5414d.

MLA Handbook (7th Edition):

Hoevenaars, A G L. “Design, Integration and Verification of the Delfi-n3Xt Reaction Wheel System:.” 2012. Web. 16 Dec 2019.

Vancouver:

Hoevenaars AGL. Design, Integration and Verification of the Delfi-n3Xt Reaction Wheel System:. [Internet] [Masters thesis]. Delft University of Technology; 2012. [cited 2019 Dec 16]. Available from: http://resolver.tudelft.nl/uuid:282ce049-a4e9-4e3d-84c6-8b16f9e5414d.

Council of Science Editors:

Hoevenaars AGL. Design, Integration and Verification of the Delfi-n3Xt Reaction Wheel System:. [Masters Thesis]. Delft University of Technology; 2012. Available from: http://resolver.tudelft.nl/uuid:282ce049-a4e9-4e3d-84c6-8b16f9e5414d

10. Dodan'Li, Nihal. Digital product labels and the mapping of consumer values.

Degree: Doctoral Thesis, SET, 2013, University of Abertay Dundee

 Current labels of consumer products provide some level of information to consumers but at the moment, this expanding labelling logic, and the multitude of requirements… (more)

Subjects/Keywords: Information quality; Consumer labelling; Values; Verification; Context; Participation; Ethics; Product design

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dodan'Li, N. (2013). Digital product labels and the mapping of consumer values. (Thesis). University of Abertay Dundee. Retrieved from https://rke.abertay.ac.uk/en/studentTheses/c697b0fe-d3e3-4f9a-b625-241cd3239b2b

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

Dodan'Li, Nihal. “Digital product labels and the mapping of consumer values.” 2013. Thesis, University of Abertay Dundee. Accessed December 16, 2019. https://rke.abertay.ac.uk/en/studentTheses/c697b0fe-d3e3-4f9a-b625-241cd3239b2b.

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

MLA Handbook (7th Edition):

Dodan'Li, Nihal. “Digital product labels and the mapping of consumer values.” 2013. Web. 16 Dec 2019.

Vancouver:

Dodan'Li N. Digital product labels and the mapping of consumer values. [Internet] [Thesis]. University of Abertay Dundee; 2013. [cited 2019 Dec 16]. Available from: https://rke.abertay.ac.uk/en/studentTheses/c697b0fe-d3e3-4f9a-b625-241cd3239b2b.

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

Council of Science Editors:

Dodan'Li N. Digital product labels and the mapping of consumer values. [Thesis]. University of Abertay Dundee; 2013. Available from: https://rke.abertay.ac.uk/en/studentTheses/c697b0fe-d3e3-4f9a-b625-241cd3239b2b

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


University of Waterloo

11. Berzish, Murphy. A Software Toolchain for Physical System Description and Synthesis, and Applications to Microfluidic Design Automation.

Degree: 2016, University of Waterloo

 Microfluidic circuits are currently designed by hand, using a combination of the designer’s domain knowledge and educated intuition to determine unknown design parameters. As no… (more)

Subjects/Keywords: programming languages; microfluidics; design automation; constraint solvers; formal verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Berzish, M. (2016). A Software Toolchain for Physical System Description and Synthesis, and Applications to Microfluidic Design Automation. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/10457

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

Berzish, Murphy. “A Software Toolchain for Physical System Description and Synthesis, and Applications to Microfluidic Design Automation.” 2016. Thesis, University of Waterloo. Accessed December 16, 2019. http://hdl.handle.net/10012/10457.

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

MLA Handbook (7th Edition):

Berzish, Murphy. “A Software Toolchain for Physical System Description and Synthesis, and Applications to Microfluidic Design Automation.” 2016. Web. 16 Dec 2019.

Vancouver:

Berzish M. A Software Toolchain for Physical System Description and Synthesis, and Applications to Microfluidic Design Automation. [Internet] [Thesis]. University of Waterloo; 2016. [cited 2019 Dec 16]. Available from: http://hdl.handle.net/10012/10457.

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

Council of Science Editors:

Berzish M. A Software Toolchain for Physical System Description and Synthesis, and Applications to Microfluidic Design Automation. [Thesis]. University of Waterloo; 2016. Available from: http://hdl.handle.net/10012/10457

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


University of Illinois – Urbana-Champaign

12. Hope, Eric M. Design verification of power electronics systems subject to bounded uncertain inputs.

Degree: MS, 1200, 2010, University of Illinois – Urbana-Champaign

 This thesis proposes a new methodology for design verification of power electronics systems subject to bounded uncertain inputs. In this method, the power electronics system,… (more)

Subjects/Keywords: power electronics; design verification; power converters; reachability analysis; switched-linear systems

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hope, E. M. (2010). Design verification of power electronics systems subject to bounded uncertain inputs. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/14643

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

Hope, Eric M. “Design verification of power electronics systems subject to bounded uncertain inputs.” 2010. Thesis, University of Illinois – Urbana-Champaign. Accessed December 16, 2019. http://hdl.handle.net/2142/14643.

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

MLA Handbook (7th Edition):

Hope, Eric M. “Design verification of power electronics systems subject to bounded uncertain inputs.” 2010. Web. 16 Dec 2019.

Vancouver:

Hope EM. Design verification of power electronics systems subject to bounded uncertain inputs. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2010. [cited 2019 Dec 16]. Available from: http://hdl.handle.net/2142/14643.

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

Council of Science Editors:

Hope EM. Design verification of power electronics systems subject to bounded uncertain inputs. [Thesis]. University of Illinois – Urbana-Champaign; 2010. Available from: http://hdl.handle.net/2142/14643

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


University of Rochester

13. Garg, Alok (1979 - ). Exploring performance-correctness explicitly-decoupled architectures.

Degree: PhD, 2011, University of Rochester

 Optimizing the common case has been an adage in decades of processor design practices. However, as the system complexity and optimization techniques' sophistication have increased… (more)

Subjects/Keywords: Computer architecture; Decoupled architecture; Design complexity; Performance optimizations; Processor; Verification complexity

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Garg, A. (. -. ). (2011). Exploring performance-correctness explicitly-decoupled architectures. (Doctoral Dissertation). University of Rochester. Retrieved from http://hdl.handle.net/1802/16799

Chicago Manual of Style (16th Edition):

Garg, Alok (1979 - ). “Exploring performance-correctness explicitly-decoupled architectures.” 2011. Doctoral Dissertation, University of Rochester. Accessed December 16, 2019. http://hdl.handle.net/1802/16799.

MLA Handbook (7th Edition):

Garg, Alok (1979 - ). “Exploring performance-correctness explicitly-decoupled architectures.” 2011. Web. 16 Dec 2019.

Vancouver:

Garg A(-). Exploring performance-correctness explicitly-decoupled architectures. [Internet] [Doctoral dissertation]. University of Rochester; 2011. [cited 2019 Dec 16]. Available from: http://hdl.handle.net/1802/16799.

Council of Science Editors:

Garg A(-). Exploring performance-correctness explicitly-decoupled architectures. [Doctoral Dissertation]. University of Rochester; 2011. Available from: http://hdl.handle.net/1802/16799


Cal Poly

14. Berrian, Joshua. AN AUTOMATED TEST STATION DESIGN USED TO VERIFY AIRCRAFT COMMUNICATION PROTOCOLS.

Degree: MS, Aerospace Engineering, 2011, Cal Poly

  Requirements verification is typically the costliest part of the systems engineering design process. In the commercial aircraft industry, as the software and hardware design(more)

Subjects/Keywords: Automation; Verification; Avionics; Communication; Systems Engineering and Multidisciplinary Design Optimization

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Berrian, J. (2011). AN AUTOMATED TEST STATION DESIGN USED TO VERIFY AIRCRAFT COMMUNICATION PROTOCOLS. (Masters Thesis). Cal Poly. Retrieved from https://digitalcommons.calpoly.edu/theses/635 ; 10.15368/theses.2011.192

Chicago Manual of Style (16th Edition):

Berrian, Joshua. “AN AUTOMATED TEST STATION DESIGN USED TO VERIFY AIRCRAFT COMMUNICATION PROTOCOLS.” 2011. Masters Thesis, Cal Poly. Accessed December 16, 2019. https://digitalcommons.calpoly.edu/theses/635 ; 10.15368/theses.2011.192.

MLA Handbook (7th Edition):

Berrian, Joshua. “AN AUTOMATED TEST STATION DESIGN USED TO VERIFY AIRCRAFT COMMUNICATION PROTOCOLS.” 2011. Web. 16 Dec 2019.

Vancouver:

Berrian J. AN AUTOMATED TEST STATION DESIGN USED TO VERIFY AIRCRAFT COMMUNICATION PROTOCOLS. [Internet] [Masters thesis]. Cal Poly; 2011. [cited 2019 Dec 16]. Available from: https://digitalcommons.calpoly.edu/theses/635 ; 10.15368/theses.2011.192.

Council of Science Editors:

Berrian J. AN AUTOMATED TEST STATION DESIGN USED TO VERIFY AIRCRAFT COMMUNICATION PROTOCOLS. [Masters Thesis]. Cal Poly; 2011. Available from: https://digitalcommons.calpoly.edu/theses/635 ; 10.15368/theses.2011.192


Iowa State University

15. Liu, Zhiqiang. Design and verification approaches for reliability and functional safety of analog integrated circuits.

Degree: 2018, Iowa State University

 New breakthroughs in semiconductor design have enabled a rapid integration of semiconductor chips into systems that affect all aspects of the society. Examples of emerging… (more)

Subjects/Keywords: Analog Design; Analog Integrated Circuits; Analog Verification; Electrical and Electronics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Liu, Z. (2018). Design and verification approaches for reliability and functional safety of analog integrated circuits. (Thesis). Iowa State University. Retrieved from https://lib.dr.iastate.edu/etd/17246

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, Zhiqiang. “Design and verification approaches for reliability and functional safety of analog integrated circuits.” 2018. Thesis, Iowa State University. Accessed December 16, 2019. https://lib.dr.iastate.edu/etd/17246.

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

MLA Handbook (7th Edition):

Liu, Zhiqiang. “Design and verification approaches for reliability and functional safety of analog integrated circuits.” 2018. Web. 16 Dec 2019.

Vancouver:

Liu Z. Design and verification approaches for reliability and functional safety of analog integrated circuits. [Internet] [Thesis]. Iowa State University; 2018. [cited 2019 Dec 16]. Available from: https://lib.dr.iastate.edu/etd/17246.

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

Council of Science Editors:

Liu Z. Design and verification approaches for reliability and functional safety of analog integrated circuits. [Thesis]. Iowa State University; 2018. Available from: https://lib.dr.iastate.edu/etd/17246

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


University of California – Irvine

16. Harris, Christopher Bryant. Generating Formal Verification Properties from Natural Language Hardware Specifications.

Degree: Electrical and Computer Engineering, 2015, University of California – Irvine

Verification of modern digital systems can consume up to 70% of the design cycle. Verification engineers must create formal properties which reflect correct operation from… (more)

Subjects/Keywords: Computer engineering; Electrical engineering; Computer science; Assertion Based Verification; Computer Architecture; Electronic Design Automation; Formal Verification; Natural Language Processing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Harris, C. B. (2015). Generating Formal Verification Properties from Natural Language Hardware Specifications. (Thesis). University of California – Irvine. Retrieved from http://www.escholarship.org/uc/item/11d7k48g

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

Harris, Christopher Bryant. “Generating Formal Verification Properties from Natural Language Hardware Specifications.” 2015. Thesis, University of California – Irvine. Accessed December 16, 2019. http://www.escholarship.org/uc/item/11d7k48g.

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

MLA Handbook (7th Edition):

Harris, Christopher Bryant. “Generating Formal Verification Properties from Natural Language Hardware Specifications.” 2015. Web. 16 Dec 2019.

Vancouver:

Harris CB. Generating Formal Verification Properties from Natural Language Hardware Specifications. [Internet] [Thesis]. University of California – Irvine; 2015. [cited 2019 Dec 16]. Available from: http://www.escholarship.org/uc/item/11d7k48g.

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

Council of Science Editors:

Harris CB. Generating Formal Verification Properties from Natural Language Hardware Specifications. [Thesis]. University of California – Irvine; 2015. Available from: http://www.escholarship.org/uc/item/11d7k48g

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


University of Utah

17. Kilada, Eliyah Wadie Ragi. Area, power and performance optimization algorithms for elastic circuit control networks.

Degree: PhD, Electrical & Computer Engineering, 2012, University of Utah

 Elasticity is a design paradigm in which circuits can tolerate arbitrary latency/delay variations in their computation units as well as communication channels. Creating elastic (both… (more)

Subjects/Keywords: Control network optimization; Elastic circuits; Hybrid SELF implementation; Latency-insensitive design; Lazy SELF implementation; Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kilada, E. W. R. (2012). Area, power and performance optimization algorithms for elastic circuit control networks. (Doctoral Dissertation). University of Utah. Retrieved from http://content.lib.utah.edu/cdm/singleitem/collection/etd3/id/512/rec/282

Chicago Manual of Style (16th Edition):

Kilada, Eliyah Wadie Ragi. “Area, power and performance optimization algorithms for elastic circuit control networks.” 2012. Doctoral Dissertation, University of Utah. Accessed December 16, 2019. http://content.lib.utah.edu/cdm/singleitem/collection/etd3/id/512/rec/282.

MLA Handbook (7th Edition):

Kilada, Eliyah Wadie Ragi. “Area, power and performance optimization algorithms for elastic circuit control networks.” 2012. Web. 16 Dec 2019.

Vancouver:

Kilada EWR. Area, power and performance optimization algorithms for elastic circuit control networks. [Internet] [Doctoral dissertation]. University of Utah; 2012. [cited 2019 Dec 16]. Available from: http://content.lib.utah.edu/cdm/singleitem/collection/etd3/id/512/rec/282.

Council of Science Editors:

Kilada EWR. Area, power and performance optimization algorithms for elastic circuit control networks. [Doctoral Dissertation]. University of Utah; 2012. Available from: http://content.lib.utah.edu/cdm/singleitem/collection/etd3/id/512/rec/282


EPFL

18. Bajić-Bizumić, Biljana. Animation-Based Service Specification, Verification and Validation.

Degree: 2015, EPFL

 [Context] With the expansion of services and service science, service systems have become an important abstraction for the service revolution. Service is defined as the… (more)

Subjects/Keywords: Service Design; Service Refinement; Service Validation; Service Verification; Model Prototyping; Model Simulation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bajić-Bizumić, B. (2015). Animation-Based Service Specification, Verification and Validation. (Thesis). EPFL. Retrieved from http://infoscience.epfl.ch/record/205767

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

Bajić-Bizumić, Biljana. “Animation-Based Service Specification, Verification and Validation.” 2015. Thesis, EPFL. Accessed December 16, 2019. http://infoscience.epfl.ch/record/205767.

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

MLA Handbook (7th Edition):

Bajić-Bizumić, Biljana. “Animation-Based Service Specification, Verification and Validation.” 2015. Web. 16 Dec 2019.

Vancouver:

Bajić-Bizumić B. Animation-Based Service Specification, Verification and Validation. [Internet] [Thesis]. EPFL; 2015. [cited 2019 Dec 16]. Available from: http://infoscience.epfl.ch/record/205767.

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

Council of Science Editors:

Bajić-Bizumić B. Animation-Based Service Specification, Verification and Validation. [Thesis]. EPFL; 2015. Available from: http://infoscience.epfl.ch/record/205767

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


Penn State University

19. Golovko, Sergii. Essays in Game Theory.

Degree: PhD, Economics, 2016, Penn State University

 The present dissertation consists of two independent essays related to Game Theory. The first essay investigates the strategic information transmission between two biased experts and… (more)

Subjects/Keywords: Mechanism Design; Optimal Auctions; Ex-Post Verification; Limited Punishments; Strategic Communication; Persuasion; Revenue Equivalence

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Golovko, S. (2016). Essays in Game Theory. (Doctoral Dissertation). Penn State University. Retrieved from https://etda.libraries.psu.edu/catalog/df65v784d

Chicago Manual of Style (16th Edition):

Golovko, Sergii. “Essays in Game Theory.” 2016. Doctoral Dissertation, Penn State University. Accessed December 16, 2019. https://etda.libraries.psu.edu/catalog/df65v784d.

MLA Handbook (7th Edition):

Golovko, Sergii. “Essays in Game Theory.” 2016. Web. 16 Dec 2019.

Vancouver:

Golovko S. Essays in Game Theory. [Internet] [Doctoral dissertation]. Penn State University; 2016. [cited 2019 Dec 16]. Available from: https://etda.libraries.psu.edu/catalog/df65v784d.

Council of Science Editors:

Golovko S. Essays in Game Theory. [Doctoral Dissertation]. Penn State University; 2016. Available from: https://etda.libraries.psu.edu/catalog/df65v784d

20. Carvalho, Vitor José da Silva. Utilização dos eurocódigos na construção metálica.

Degree: 2011, Repositório Científico do Instituto Politécnico de Lisboa

Os Eurocódigos estruturais são um conjunto de normas técnicas que têm como objectivo abranger o projecto e verificação de qualquer tipo de construção para os… (more)

Subjects/Keywords: Eurocódigos; Estrutura em aço; Ponte rolante; Projecto; Verificação; Eurocodes; Steel structure; Crane; Design and verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Carvalho, V. J. d. S. (2011). Utilização dos eurocódigos na construção metálica. (Thesis). Repositório Científico do Instituto Politécnico de Lisboa. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:repositorio.ipl.pt:10400.21/1162

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

Carvalho, Vitor José da Silva. “Utilização dos eurocódigos na construção metálica.” 2011. Thesis, Repositório Científico do Instituto Politécnico de Lisboa. Accessed December 16, 2019. http://www.rcaap.pt/detail.jsp?id=oai:repositorio.ipl.pt:10400.21/1162.

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

MLA Handbook (7th Edition):

Carvalho, Vitor José da Silva. “Utilização dos eurocódigos na construção metálica.” 2011. Web. 16 Dec 2019.

Vancouver:

Carvalho VJdS. Utilização dos eurocódigos na construção metálica. [Internet] [Thesis]. Repositório Científico do Instituto Politécnico de Lisboa; 2011. [cited 2019 Dec 16]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:repositorio.ipl.pt:10400.21/1162.

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

Council of Science Editors:

Carvalho VJdS. Utilização dos eurocódigos na construção metálica. [Thesis]. Repositório Científico do Instituto Politécnico de Lisboa; 2011. Available from: http://www.rcaap.pt/detail.jsp?id=oai:repositorio.ipl.pt:10400.21/1162

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

21. Raka, Sid-Ahmed. Méthodes et outils ensemblistes pour le pré-dimensionnement de systèmes mécatroniques : Set-membership methods and tools for the pre-design of mechatronic systems.

Degree: Docteur es, Génie électrique et électronique - Cergy, 2011, Cergy-Pontoise

Le pré-dimensionnement se situe en amont du processus de conception d'un système : à partir d'un ensemble d'exigences, il consiste à déterminer un ensemble de… (more)

Subjects/Keywords: Pré-dimensionnement; Mécatronique; Vérification; Intervalles; Incertitudes; Atteignabilité; Pre-design; Mechatronic; Verification; Intervals; Uncertainties; Reachability

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Raka, S. (2011). Méthodes et outils ensemblistes pour le pré-dimensionnement de systèmes mécatroniques : Set-membership methods and tools for the pre-design of mechatronic systems. (Doctoral Dissertation). Cergy-Pontoise. Retrieved from http://www.theses.fr/2011CERG0516

Chicago Manual of Style (16th Edition):

Raka, Sid-Ahmed. “Méthodes et outils ensemblistes pour le pré-dimensionnement de systèmes mécatroniques : Set-membership methods and tools for the pre-design of mechatronic systems.” 2011. Doctoral Dissertation, Cergy-Pontoise. Accessed December 16, 2019. http://www.theses.fr/2011CERG0516.

MLA Handbook (7th Edition):

Raka, Sid-Ahmed. “Méthodes et outils ensemblistes pour le pré-dimensionnement de systèmes mécatroniques : Set-membership methods and tools for the pre-design of mechatronic systems.” 2011. Web. 16 Dec 2019.

Vancouver:

Raka S. Méthodes et outils ensemblistes pour le pré-dimensionnement de systèmes mécatroniques : Set-membership methods and tools for the pre-design of mechatronic systems. [Internet] [Doctoral dissertation]. Cergy-Pontoise; 2011. [cited 2019 Dec 16]. Available from: http://www.theses.fr/2011CERG0516.

Council of Science Editors:

Raka S. Méthodes et outils ensemblistes pour le pré-dimensionnement de systèmes mécatroniques : Set-membership methods and tools for the pre-design of mechatronic systems. [Doctoral Dissertation]. Cergy-Pontoise; 2011. Available from: http://www.theses.fr/2011CERG0516


Virginia Tech

22. Li, Qiong. Developing Modeling and Simulation Methodology for Virtual Prototype Power Supply System.

Degree: PhD, Electrical and Computer Engineering, 1999, Virginia Tech

 This dissertation develops a modeling and simulation methodology for design, verification, and testing (DVT) power supply system using a virtual prototype. The virtual prototype is… (more)

Subjects/Keywords: design verification; active clamp; modeling; simulation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Li, Q. (1999). Developing Modeling and Simulation Methodology for Virtual Prototype Power Supply System. (Doctoral Dissertation). Virginia Tech. Retrieved from http://hdl.handle.net/10919/27462

Chicago Manual of Style (16th Edition):

Li, Qiong. “Developing Modeling and Simulation Methodology for Virtual Prototype Power Supply System.” 1999. Doctoral Dissertation, Virginia Tech. Accessed December 16, 2019. http://hdl.handle.net/10919/27462.

MLA Handbook (7th Edition):

Li, Qiong. “Developing Modeling and Simulation Methodology for Virtual Prototype Power Supply System.” 1999. Web. 16 Dec 2019.

Vancouver:

Li Q. Developing Modeling and Simulation Methodology for Virtual Prototype Power Supply System. [Internet] [Doctoral dissertation]. Virginia Tech; 1999. [cited 2019 Dec 16]. Available from: http://hdl.handle.net/10919/27462.

Council of Science Editors:

Li Q. Developing Modeling and Simulation Methodology for Virtual Prototype Power Supply System. [Doctoral Dissertation]. Virginia Tech; 1999. Available from: http://hdl.handle.net/10919/27462


University of California – Santa Cruz

23. Osborn, Joseph Carter. Operationalizing Operational Logics.

Degree: Computer Science, 2018, University of California – Santa Cruz

 Since their initial development by Wardrip-Fruin and further exposition by Wardrip-Fruin and Mateas, operational logics (OLs) have enjoyed broad use and inspired several approaches to… (more)

Subjects/Keywords: Artificial intelligence; Computer science; game design; game studies; interactive media; operational logics; software verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Osborn, J. C. (2018). Operationalizing Operational Logics. (Thesis). University of California – Santa Cruz. Retrieved from http://www.escholarship.org/uc/item/67g658wb

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

Osborn, Joseph Carter. “Operationalizing Operational Logics.” 2018. Thesis, University of California – Santa Cruz. Accessed December 16, 2019. http://www.escholarship.org/uc/item/67g658wb.

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

MLA Handbook (7th Edition):

Osborn, Joseph Carter. “Operationalizing Operational Logics.” 2018. Web. 16 Dec 2019.

Vancouver:

Osborn JC. Operationalizing Operational Logics. [Internet] [Thesis]. University of California – Santa Cruz; 2018. [cited 2019 Dec 16]. Available from: http://www.escholarship.org/uc/item/67g658wb.

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

Council of Science Editors:

Osborn JC. Operationalizing Operational Logics. [Thesis]. University of California – Santa Cruz; 2018. Available from: http://www.escholarship.org/uc/item/67g658wb

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


Loughborough University

24. Brittle, John P. Passive system integration for office buildings in hot climates.

Degree: PhD, 2017, Loughborough University

 Passive ventilation and cooling systems can offer energy savings when combined into a mechanical ventilation and cooling strategy for office buildings. At early design stages,… (more)

Subjects/Keywords: 697; Passive systems; Passive cooling; Annual energy consumption; Design guidance; Integration strategies; Tools; Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Brittle, J. P. (2017). Passive system integration for office buildings in hot climates. (Doctoral Dissertation). Loughborough University. Retrieved from https://dspace.lboro.ac.uk/2134/23912 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.713678

Chicago Manual of Style (16th Edition):

Brittle, John P. “Passive system integration for office buildings in hot climates.” 2017. Doctoral Dissertation, Loughborough University. Accessed December 16, 2019. https://dspace.lboro.ac.uk/2134/23912 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.713678.

MLA Handbook (7th Edition):

Brittle, John P. “Passive system integration for office buildings in hot climates.” 2017. Web. 16 Dec 2019.

Vancouver:

Brittle JP. Passive system integration for office buildings in hot climates. [Internet] [Doctoral dissertation]. Loughborough University; 2017. [cited 2019 Dec 16]. Available from: https://dspace.lboro.ac.uk/2134/23912 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.713678.

Council of Science Editors:

Brittle JP. Passive system integration for office buildings in hot climates. [Doctoral Dissertation]. Loughborough University; 2017. Available from: https://dspace.lboro.ac.uk/2134/23912 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.713678

25. Dodan'Li, Nihal. Digital product labels and the mapping of consumer values.

Degree: PhD, 2013, Abertay University

 Current labels of consumer products provide some level of information to consumers but at the moment, this expanding labelling logic, and the multitude of requirements… (more)

Subjects/Keywords: 381.33; Information quality; Consumer labelling; Values; Verification; Context; Participation; Ethics; Product design

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dodan'Li, N. (2013). Digital product labels and the mapping of consumer values. (Doctoral Dissertation). Abertay University. Retrieved from https://rke.abertay.ac.uk/en/studentTheses/c697b0fe-d3e3-4f9a-b625-241cd3239b2b ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.650285

Chicago Manual of Style (16th Edition):

Dodan'Li, Nihal. “Digital product labels and the mapping of consumer values.” 2013. Doctoral Dissertation, Abertay University. Accessed December 16, 2019. https://rke.abertay.ac.uk/en/studentTheses/c697b0fe-d3e3-4f9a-b625-241cd3239b2b ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.650285.

MLA Handbook (7th Edition):

Dodan'Li, Nihal. “Digital product labels and the mapping of consumer values.” 2013. Web. 16 Dec 2019.

Vancouver:

Dodan'Li N. Digital product labels and the mapping of consumer values. [Internet] [Doctoral dissertation]. Abertay University; 2013. [cited 2019 Dec 16]. Available from: https://rke.abertay.ac.uk/en/studentTheses/c697b0fe-d3e3-4f9a-b625-241cd3239b2b ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.650285.

Council of Science Editors:

Dodan'Li N. Digital product labels and the mapping of consumer values. [Doctoral Dissertation]. Abertay University; 2013. Available from: https://rke.abertay.ac.uk/en/studentTheses/c697b0fe-d3e3-4f9a-b625-241cd3239b2b ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.650285


University of Illinois – Urbana-Champaign

26. Rahmaniheris, Maryam. Executable clinical models for acute care.

Degree: PhD, Computer Science, 2017, University of Illinois – Urbana-Champaign

 Medical errors are the third leading cause of death in the U.S., after heart disease and cancer, causing at least 250,000 deaths every year. These… (more)

Subjects/Keywords: Clinical models; Computational pathophysiology; Clinical validation; Model-based system design; Formal verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Rahmaniheris, M. (2017). Executable clinical models for acute care. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/97571

Chicago Manual of Style (16th Edition):

Rahmaniheris, Maryam. “Executable clinical models for acute care.” 2017. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed December 16, 2019. http://hdl.handle.net/2142/97571.

MLA Handbook (7th Edition):

Rahmaniheris, Maryam. “Executable clinical models for acute care.” 2017. Web. 16 Dec 2019.

Vancouver:

Rahmaniheris M. Executable clinical models for acute care. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2017. [cited 2019 Dec 16]. Available from: http://hdl.handle.net/2142/97571.

Council of Science Editors:

Rahmaniheris M. Executable clinical models for acute care. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2017. Available from: http://hdl.handle.net/2142/97571


Loughborough University

27. Brittle, John P. Passive system integration for office buildings in hot climates.

Degree: PhD, 2017, Loughborough University

 Passive ventilation and cooling systems can offer energy savings when combined into a mechanical ventilation and cooling strategy for office buildings. At early design stages,… (more)

Subjects/Keywords: 697; Passive systems; Passive cooling; Annual energy consumption; Design guidance; Integration strategies; Tools; Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Brittle, J. P. (2017). Passive system integration for office buildings in hot climates. (Doctoral Dissertation). Loughborough University. Retrieved from http://hdl.handle.net/2134/23912

Chicago Manual of Style (16th Edition):

Brittle, John P. “Passive system integration for office buildings in hot climates.” 2017. Doctoral Dissertation, Loughborough University. Accessed December 16, 2019. http://hdl.handle.net/2134/23912.

MLA Handbook (7th Edition):

Brittle, John P. “Passive system integration for office buildings in hot climates.” 2017. Web. 16 Dec 2019.

Vancouver:

Brittle JP. Passive system integration for office buildings in hot climates. [Internet] [Doctoral dissertation]. Loughborough University; 2017. [cited 2019 Dec 16]. Available from: http://hdl.handle.net/2134/23912.

Council of Science Editors:

Brittle JP. Passive system integration for office buildings in hot climates. [Doctoral Dissertation]. Loughborough University; 2017. Available from: http://hdl.handle.net/2134/23912


Indian Institute of Science

28. Lata, Kusum. Formal Verification Of Analog And Mixed Signal Designs Using Simulation Traces.

Degree: 2010, Indian Institute of Science

 The conventional approach to validate the analog and mixed signal designs utilizes extensive SPICE-level simulations. The main challenge in this approach is to know when… (more)

Subjects/Keywords: Signal Processing - Simulation; Hybrid System Verification; Analog and Mixed Signal Design Verification; Formal Verification; Checkmate Formal Verification; Integrated Circuits - Simulation; Digital Simulation; Automata; Hybrid Automata; Hybrid Systems; AMS Designs; Analog and Mixed Signal Designs; Communication Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lata, K. (2010). Formal Verification Of Analog And Mixed Signal Designs Using Simulation Traces. (Thesis). Indian Institute of Science. Retrieved from http://hdl.handle.net/2005/1271

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

Lata, Kusum. “Formal Verification Of Analog And Mixed Signal Designs Using Simulation Traces.” 2010. Thesis, Indian Institute of Science. Accessed December 16, 2019. http://hdl.handle.net/2005/1271.

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

MLA Handbook (7th Edition):

Lata, Kusum. “Formal Verification Of Analog And Mixed Signal Designs Using Simulation Traces.” 2010. Web. 16 Dec 2019.

Vancouver:

Lata K. Formal Verification Of Analog And Mixed Signal Designs Using Simulation Traces. [Internet] [Thesis]. Indian Institute of Science; 2010. [cited 2019 Dec 16]. Available from: http://hdl.handle.net/2005/1271.

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

Council of Science Editors:

Lata K. Formal Verification Of Analog And Mixed Signal Designs Using Simulation Traces. [Thesis]. Indian Institute of Science; 2010. Available from: http://hdl.handle.net/2005/1271

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


Indian Institute of Science

29. Lata, Kusum. Formal Verification Of Analog And Mixed Signal Designs Using Simulation Traces.

Degree: 2010, Indian Institute of Science

 The conventional approach to validate the analog and mixed signal designs utilizes extensive SPICE-level simulations. The main challenge in this approach is to know when… (more)

Subjects/Keywords: Signal Processing - Simulation; Hybrid System Verification; Analog and Mixed Signal Design Verification; Formal Verification; Checkmate Formal Verification; Integrated Circuits - Simulation; Digital Simulation; Automata; Hybrid Automata; Hybrid Systems; AMS Designs; Analog and Mixed Signal Designs; Communication Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lata, K. (2010). Formal Verification Of Analog And Mixed Signal Designs Using Simulation Traces. (Thesis). Indian Institute of Science. Retrieved from http://etd.iisc.ernet.in/handle/2005/1271 ; http://etd.ncsi.iisc.ernet.in/abstracts/1652/G23821-Abs.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):

Lata, Kusum. “Formal Verification Of Analog And Mixed Signal Designs Using Simulation Traces.” 2010. Thesis, Indian Institute of Science. Accessed December 16, 2019. http://etd.iisc.ernet.in/handle/2005/1271 ; http://etd.ncsi.iisc.ernet.in/abstracts/1652/G23821-Abs.pdf.

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

MLA Handbook (7th Edition):

Lata, Kusum. “Formal Verification Of Analog And Mixed Signal Designs Using Simulation Traces.” 2010. Web. 16 Dec 2019.

Vancouver:

Lata K. Formal Verification Of Analog And Mixed Signal Designs Using Simulation Traces. [Internet] [Thesis]. Indian Institute of Science; 2010. [cited 2019 Dec 16]. Available from: http://etd.iisc.ernet.in/handle/2005/1271 ; http://etd.ncsi.iisc.ernet.in/abstracts/1652/G23821-Abs.pdf.

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

Council of Science Editors:

Lata K. Formal Verification Of Analog And Mixed Signal Designs Using Simulation Traces. [Thesis]. Indian Institute of Science; 2010. Available from: http://etd.iisc.ernet.in/handle/2005/1271 ; http://etd.ncsi.iisc.ernet.in/abstracts/1652/G23821-Abs.pdf

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


University of Waterloo

30. Chan, Ca Bol. Bluenose II: Towards Faster Design and Verification of Pipelined Circuits.

Degree: 2008, University of Waterloo

 The huge demand for electronic devices has driven semiconductor companies to create better products in terms of area, speed, power etc. and to deliver them… (more)

Subjects/Keywords: pipelined circuits; design automation; formal design verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chan, C. B. (2008). Bluenose II: Towards Faster Design and Verification of Pipelined Circuits. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/3939

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

Chan, Ca Bol. “Bluenose II: Towards Faster Design and Verification of Pipelined Circuits.” 2008. Thesis, University of Waterloo. Accessed December 16, 2019. http://hdl.handle.net/10012/3939.

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

MLA Handbook (7th Edition):

Chan, Ca Bol. “Bluenose II: Towards Faster Design and Verification of Pipelined Circuits.” 2008. Web. 16 Dec 2019.

Vancouver:

Chan CB. Bluenose II: Towards Faster Design and Verification of Pipelined Circuits. [Internet] [Thesis]. University of Waterloo; 2008. [cited 2019 Dec 16]. Available from: http://hdl.handle.net/10012/3939.

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

Council of Science Editors:

Chan CB. Bluenose II: Towards Faster Design and Verification of Pipelined Circuits. [Thesis]. University of Waterloo; 2008. Available from: http://hdl.handle.net/10012/3939

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

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

.