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

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


University of Melbourne

1. Engel, Chermelle Bronwyn. Operational consensus forecasts and spatial verification methods.

Degree: 2015, University of Melbourne

 This thesis relates to multi-model consensus forecasts over Australia, at sites and on a high resolution spatial grid. In 2005, the Australian Bureau of Meteorology… (more)

Subjects/Keywords: consensus forecasting; verification techniques

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Engel, C. B. (2015). Operational consensus forecasts and spatial verification methods. (Doctoral Dissertation). University of Melbourne. Retrieved from http://hdl.handle.net/11343/57010

Chicago Manual of Style (16th Edition):

Engel, Chermelle Bronwyn. “Operational consensus forecasts and spatial verification methods.” 2015. Doctoral Dissertation, University of Melbourne. Accessed September 16, 2019. http://hdl.handle.net/11343/57010.

MLA Handbook (7th Edition):

Engel, Chermelle Bronwyn. “Operational consensus forecasts and spatial verification methods.” 2015. Web. 16 Sep 2019.

Vancouver:

Engel CB. Operational consensus forecasts and spatial verification methods. [Internet] [Doctoral dissertation]. University of Melbourne; 2015. [cited 2019 Sep 16]. Available from: http://hdl.handle.net/11343/57010.

Council of Science Editors:

Engel CB. Operational consensus forecasts and spatial verification methods. [Doctoral Dissertation]. University of Melbourne; 2015. Available from: http://hdl.handle.net/11343/57010


University of Bradford

2. Atoum, Ibrahim Ali Ahmad. The development of automatic and solar imaging techniques for the accurate detection, merging, verification and tracking of solar filaments.

Degree: PhD, 2012, University of Bradford

 Based on a study of existing solar filament and tracking methods, a fully automated solar filament detection and tracking method is presented. An adaptive thresholding… (more)

Subjects/Keywords: 523.7; Solar imaging techniques; Solar filaments; Tracking; Detection; Automation; Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Atoum, I. A. A. (2012). The development of automatic and solar imaging techniques for the accurate detection, merging, verification and tracking of solar filaments. (Doctoral Dissertation). University of Bradford. Retrieved from http://hdl.handle.net/10454/5774

Chicago Manual of Style (16th Edition):

Atoum, Ibrahim Ali Ahmad. “The development of automatic and solar imaging techniques for the accurate detection, merging, verification and tracking of solar filaments.” 2012. Doctoral Dissertation, University of Bradford. Accessed September 16, 2019. http://hdl.handle.net/10454/5774.

MLA Handbook (7th Edition):

Atoum, Ibrahim Ali Ahmad. “The development of automatic and solar imaging techniques for the accurate detection, merging, verification and tracking of solar filaments.” 2012. Web. 16 Sep 2019.

Vancouver:

Atoum IAA. The development of automatic and solar imaging techniques for the accurate detection, merging, verification and tracking of solar filaments. [Internet] [Doctoral dissertation]. University of Bradford; 2012. [cited 2019 Sep 16]. Available from: http://hdl.handle.net/10454/5774.

Council of Science Editors:

Atoum IAA. The development of automatic and solar imaging techniques for the accurate detection, merging, verification and tracking of solar filaments. [Doctoral Dissertation]. University of Bradford; 2012. Available from: http://hdl.handle.net/10454/5774

3. Adauto Luis Tadeo Bernardes da Fonseca. Metodologia de Verificação Funcional para Circuitos Analógicos.

Degree: 2009, Universidade Federal do Rio Grande do Norte

O presente trabalho tem como objetivo desenvolver uma ferramenta de verificação para circuitos analógicos. O principal objetivo desta é aumentar a automação dos processos de… (more)

Subjects/Keywords: Verificação; Circuitos analógicos; Técnicas de verificação; VHDL-AMS; ENGENHARIA ELETRICA; Verification; Ambiente de Verificação; Analog circuits; Integrated circuits; Verification techniques; Verification environment; VHDL-AMS

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Fonseca, A. L. T. B. d. (2009). Metodologia de Verificação Funcional para Circuitos Analógicos. (Thesis). Universidade Federal do Rio Grande do Norte. Retrieved from http://bdtd.bczm.ufrn.br/tedesimplificado//tde_busca/arquivo.php?codArquivo=3171

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

Fonseca, Adauto Luis Tadeo Bernardes da. “Metodologia de Verificação Funcional para Circuitos Analógicos.” 2009. Thesis, Universidade Federal do Rio Grande do Norte. Accessed September 16, 2019. http://bdtd.bczm.ufrn.br/tedesimplificado//tde_busca/arquivo.php?codArquivo=3171.

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

MLA Handbook (7th Edition):

Fonseca, Adauto Luis Tadeo Bernardes da. “Metodologia de Verificação Funcional para Circuitos Analógicos.” 2009. Web. 16 Sep 2019.

Vancouver:

Fonseca ALTBd. Metodologia de Verificação Funcional para Circuitos Analógicos. [Internet] [Thesis]. Universidade Federal do Rio Grande do Norte; 2009. [cited 2019 Sep 16]. Available from: http://bdtd.bczm.ufrn.br/tedesimplificado//tde_busca/arquivo.php?codArquivo=3171.

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

Council of Science Editors:

Fonseca ALTBd. Metodologia de Verificação Funcional para Circuitos Analógicos. [Thesis]. Universidade Federal do Rio Grande do Norte; 2009. Available from: http://bdtd.bczm.ufrn.br/tedesimplificado//tde_busca/arquivo.php?codArquivo=3171

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


Universidade do Rio Grande do Norte

4. Fonseca, Adauto Luis Tadeo Bernardes da. Metodologia de Verificação Funcional para Circuitos Analógicos .

Degree: 2009, Universidade do Rio Grande do Norte

 This work proposes a new methodology to verify those analog circuits, providing an automated tools to help the verifiers to have a more truthful result.… (more)

Subjects/Keywords: Verificação; Circuitos analógicos; Técnicas de verificação; Ambiente de Verificação; VHDL-AMS; Verification; Analog circuits; Integrated circuits; Verification techniques; Verification environment; VHDL-AMS

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Fonseca, A. L. T. B. d. (2009). Metodologia de Verificação Funcional para Circuitos Analógicos . (Masters Thesis). Universidade do Rio Grande do Norte. Retrieved from http://repositorio.ufrn.br/handle/123456789/15298

Chicago Manual of Style (16th Edition):

Fonseca, Adauto Luis Tadeo Bernardes da. “Metodologia de Verificação Funcional para Circuitos Analógicos .” 2009. Masters Thesis, Universidade do Rio Grande do Norte. Accessed September 16, 2019. http://repositorio.ufrn.br/handle/123456789/15298.

MLA Handbook (7th Edition):

Fonseca, Adauto Luis Tadeo Bernardes da. “Metodologia de Verificação Funcional para Circuitos Analógicos .” 2009. Web. 16 Sep 2019.

Vancouver:

Fonseca ALTBd. Metodologia de Verificação Funcional para Circuitos Analógicos . [Internet] [Masters thesis]. Universidade do Rio Grande do Norte; 2009. [cited 2019 Sep 16]. Available from: http://repositorio.ufrn.br/handle/123456789/15298.

Council of Science Editors:

Fonseca ALTBd. Metodologia de Verificação Funcional para Circuitos Analógicos . [Masters Thesis]. Universidade do Rio Grande do Norte; 2009. Available from: http://repositorio.ufrn.br/handle/123456789/15298


Universidade do Rio Grande do Norte

5. Fonseca, Adauto Luis Tadeo Bernardes da. Metodologia de Verificação Funcional para Circuitos Analógicos .

Degree: 2009, Universidade do Rio Grande do Norte

 This work proposes a new methodology to verify those analog circuits, providing an automated tools to help the verifiers to have a more truthful result.… (more)

Subjects/Keywords: Verificação; Circuitos analógicos; Técnicas de verificação; Ambiente de Verificação; VHDL-AMS; Verification; Analog circuits; Integrated circuits; Verification techniques; Verification environment; VHDL-AMS

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Fonseca, A. L. T. B. d. (2009). Metodologia de Verificação Funcional para Circuitos Analógicos . (Thesis). Universidade do Rio Grande do Norte. Retrieved from http://repositorio.ufrn.br/handle/123456789/15298

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

Fonseca, Adauto Luis Tadeo Bernardes da. “Metodologia de Verificação Funcional para Circuitos Analógicos .” 2009. Thesis, Universidade do Rio Grande do Norte. Accessed September 16, 2019. http://repositorio.ufrn.br/handle/123456789/15298.

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

MLA Handbook (7th Edition):

Fonseca, Adauto Luis Tadeo Bernardes da. “Metodologia de Verificação Funcional para Circuitos Analógicos .” 2009. Web. 16 Sep 2019.

Vancouver:

Fonseca ALTBd. Metodologia de Verificação Funcional para Circuitos Analógicos . [Internet] [Thesis]. Universidade do Rio Grande do Norte; 2009. [cited 2019 Sep 16]. Available from: http://repositorio.ufrn.br/handle/123456789/15298.

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

Council of Science Editors:

Fonseca ALTBd. Metodologia de Verificação Funcional para Circuitos Analógicos . [Thesis]. Universidade do Rio Grande do Norte; 2009. Available from: http://repositorio.ufrn.br/handle/123456789/15298

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

6. Jebali, Fatma. Formal framework for modelling and verifying globally asynchronous locally synchronous systems : Un environnement formel pour modéliser et vérifier les systèmes globalement asynchrones et localement synchrones.

Degree: Docteur es, Informatique, 2016, Grenoble Alpes

Un système GALS (Globalement Asynchrone, Localement Synchrone) est un ensemble de composants synchrones qui évoluent en même temps, chacun à propre rythme, et qui communiquent… (more)

Subjects/Keywords: Verification basée sur les modèles; Méthodes formelles; Techniques de descriptions formelles; Sémantique opérationnelle; Concurrence; Systèmes GALS; Model-based verification; Formal methods; Formal description techniques; Operational semantics; Concurrency; GALS systems; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Jebali, F. (2016). Formal framework for modelling and verifying globally asynchronous locally synchronous systems : Un environnement formel pour modéliser et vérifier les systèmes globalement asynchrones et localement synchrones. (Doctoral Dissertation). Grenoble Alpes. Retrieved from http://www.theses.fr/2016GREAM036

Chicago Manual of Style (16th Edition):

Jebali, Fatma. “Formal framework for modelling and verifying globally asynchronous locally synchronous systems : Un environnement formel pour modéliser et vérifier les systèmes globalement asynchrones et localement synchrones.” 2016. Doctoral Dissertation, Grenoble Alpes. Accessed September 16, 2019. http://www.theses.fr/2016GREAM036.

MLA Handbook (7th Edition):

Jebali, Fatma. “Formal framework for modelling and verifying globally asynchronous locally synchronous systems : Un environnement formel pour modéliser et vérifier les systèmes globalement asynchrones et localement synchrones.” 2016. Web. 16 Sep 2019.

Vancouver:

Jebali F. Formal framework for modelling and verifying globally asynchronous locally synchronous systems : Un environnement formel pour modéliser et vérifier les systèmes globalement asynchrones et localement synchrones. [Internet] [Doctoral dissertation]. Grenoble Alpes; 2016. [cited 2019 Sep 16]. Available from: http://www.theses.fr/2016GREAM036.

Council of Science Editors:

Jebali F. Formal framework for modelling and verifying globally asynchronous locally synchronous systems : Un environnement formel pour modéliser et vérifier les systèmes globalement asynchrones et localement synchrones. [Doctoral Dissertation]. Grenoble Alpes; 2016. Available from: http://www.theses.fr/2016GREAM036

7. Golubjatnikov, Kalev. Failure Mode Effects Analysis of Auto-verification in the Clinical Laboratory.

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

  Today’s hospital-based clinical laboratories are under increasing pressure to simultaneously contain costs, improve quality and reduce turnaround times. Fortunately, advances in analytic and information… (more)

Subjects/Keywords: Auto-verification; Prothrombin Time; Failure Modes Effect Analysis; Analytical, Diagnostic and Therapeutic Techniques and Equipment

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Golubjatnikov, K. (2018). Failure Mode Effects Analysis of Auto-verification in the Clinical Laboratory. (Masters Thesis). Dominican University of California. Retrieved from https://scholar.dominican.edu/masters-theses/341

Chicago Manual of Style (16th Edition):

Golubjatnikov, Kalev. “Failure Mode Effects Analysis of Auto-verification in the Clinical Laboratory.” 2018. Masters Thesis, Dominican University of California. Accessed September 16, 2019. https://scholar.dominican.edu/masters-theses/341.

MLA Handbook (7th Edition):

Golubjatnikov, Kalev. “Failure Mode Effects Analysis of Auto-verification in the Clinical Laboratory.” 2018. Web. 16 Sep 2019.

Vancouver:

Golubjatnikov K. Failure Mode Effects Analysis of Auto-verification in the Clinical Laboratory. [Internet] [Masters thesis]. Dominican University of California; 2018. [cited 2019 Sep 16]. Available from: https://scholar.dominican.edu/masters-theses/341.

Council of Science Editors:

Golubjatnikov K. Failure Mode Effects Analysis of Auto-verification in the Clinical Laboratory. [Masters Thesis]. Dominican University of California; 2018. Available from: https://scholar.dominican.edu/masters-theses/341


Mississippi State University

8. Townsend, Whitney Jeanne. Discrete Function Representations Utilizing Decision Diagrams and Spectral Techniques.

Degree: MS, Electrical and Computer Engineering, 2002, Mississippi State University

 All discrete function representations become exponential in size in the worst case. Binary decision diagrams have become a common method of representing discrete functions in… (more)

Subjects/Keywords: verification; testing; synthesis; spectral techniques; decision diagrams

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Townsend, W. J. (2002). Discrete Function Representations Utilizing Decision Diagrams and Spectral Techniques. (Masters Thesis). Mississippi State University. Retrieved from http://sun.library.msstate.edu/ETD-db/theses/available/etd-07012002-160303/ ;

Chicago Manual of Style (16th Edition):

Townsend, Whitney Jeanne. “Discrete Function Representations Utilizing Decision Diagrams and Spectral Techniques.” 2002. Masters Thesis, Mississippi State University. Accessed September 16, 2019. http://sun.library.msstate.edu/ETD-db/theses/available/etd-07012002-160303/ ;.

MLA Handbook (7th Edition):

Townsend, Whitney Jeanne. “Discrete Function Representations Utilizing Decision Diagrams and Spectral Techniques.” 2002. Web. 16 Sep 2019.

Vancouver:

Townsend WJ. Discrete Function Representations Utilizing Decision Diagrams and Spectral Techniques. [Internet] [Masters thesis]. Mississippi State University; 2002. [cited 2019 Sep 16]. Available from: http://sun.library.msstate.edu/ETD-db/theses/available/etd-07012002-160303/ ;.

Council of Science Editors:

Townsend WJ. Discrete Function Representations Utilizing Decision Diagrams and Spectral Techniques. [Masters Thesis]. Mississippi State University; 2002. Available from: http://sun.library.msstate.edu/ETD-db/theses/available/etd-07012002-160303/ ;


University of Adelaide

9. Cheng, Adriel. Verification of systems-on-chips using genetic evolutionary test techniques from a software applications perspective.

Degree: 2010, University of Adelaide

 This thesis examines verification of system-on-a-chip (SoC) designs using a software applications test methodology that is enhanced by genetic evolutionary test generations and functional coverage.… (more)

Subjects/Keywords: verification and testing; system-on-chips; microprocessor; test-generation; genetic algorithms; evolutionary techniques; test coverage; multi-objective optimisation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cheng, A. (2010). Verification of systems-on-chips using genetic evolutionary test techniques from a software applications perspective. (Thesis). University of Adelaide. Retrieved from http://hdl.handle.net/2440/62335

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

Cheng, Adriel. “Verification of systems-on-chips using genetic evolutionary test techniques from a software applications perspective.” 2010. Thesis, University of Adelaide. Accessed September 16, 2019. http://hdl.handle.net/2440/62335.

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

MLA Handbook (7th Edition):

Cheng, Adriel. “Verification of systems-on-chips using genetic evolutionary test techniques from a software applications perspective.” 2010. Web. 16 Sep 2019.

Vancouver:

Cheng A. Verification of systems-on-chips using genetic evolutionary test techniques from a software applications perspective. [Internet] [Thesis]. University of Adelaide; 2010. [cited 2019 Sep 16]. Available from: http://hdl.handle.net/2440/62335.

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

Council of Science Editors:

Cheng A. Verification of systems-on-chips using genetic evolutionary test techniques from a software applications perspective. [Thesis]. University of Adelaide; 2010. Available from: http://hdl.handle.net/2440/62335

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

10. Abid, Rim. Coordination and reconfiguration of distributed cloud applications : Coordination et reconfiguration des applications reparties dans le nuage.

Degree: Docteur es, Informatique, 2015, Grenoble Alpes

Les applications reparties dans le nuage sont constituées d'un ensemble de composants logiciels interconnectés et répartis sur plusieurs machines virtuelles. Cet environnement nécessite des protocoles… (more)

Subjects/Keywords: Applications cloud; Méthode formelle; Vérification; Gestionnaire autonome; Coordination; Techniques de synthèse asynchrones; Cloud applications; Formal methods; Verification tools; Autonomic manager; Coordination; Asynchronous synthesis techniques; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Abid, R. (2015). Coordination and reconfiguration of distributed cloud applications : Coordination et reconfiguration des applications reparties dans le nuage. (Doctoral Dissertation). Grenoble Alpes. Retrieved from http://www.theses.fr/2015GREAM055

Chicago Manual of Style (16th Edition):

Abid, Rim. “Coordination and reconfiguration of distributed cloud applications : Coordination et reconfiguration des applications reparties dans le nuage.” 2015. Doctoral Dissertation, Grenoble Alpes. Accessed September 16, 2019. http://www.theses.fr/2015GREAM055.

MLA Handbook (7th Edition):

Abid, Rim. “Coordination and reconfiguration of distributed cloud applications : Coordination et reconfiguration des applications reparties dans le nuage.” 2015. Web. 16 Sep 2019.

Vancouver:

Abid R. Coordination and reconfiguration of distributed cloud applications : Coordination et reconfiguration des applications reparties dans le nuage. [Internet] [Doctoral dissertation]. Grenoble Alpes; 2015. [cited 2019 Sep 16]. Available from: http://www.theses.fr/2015GREAM055.

Council of Science Editors:

Abid R. Coordination and reconfiguration of distributed cloud applications : Coordination et reconfiguration des applications reparties dans le nuage. [Doctoral Dissertation]. Grenoble Alpes; 2015. Available from: http://www.theses.fr/2015GREAM055

11. Meel, Kuldeep. Sampling Techniques for Boolean Satisfiability.

Degree: MS, Engineering, 2014, Rice University

 Boolean satisfiability (SAT) has played a key role in diverse areas spanning testing, formal verification, planning, optimization, inferencing and the like. Apart from the classical… (more)

Subjects/Keywords: SAT; Uniform generation; Model counting; Sampling techniques; Computer aided verification

…verification tools [15]. Simulation-based verification techniques therefore dominate the… …since known techniques for generating satisfying assignments with guarantees of strict… …20]. The techniques proposed for #SAT have been successfully used in small- to medium… …Binary Decision Diagrams(ROBDD)-based techniques [11] , which do not scale… …category, the focus is on heuristic sampling techniques that scale to large systems of… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Meel, K. (2014). Sampling Techniques for Boolean Satisfiability. (Masters Thesis). Rice University. Retrieved from http://hdl.handle.net/1911/77222

Chicago Manual of Style (16th Edition):

Meel, Kuldeep. “Sampling Techniques for Boolean Satisfiability.” 2014. Masters Thesis, Rice University. Accessed September 16, 2019. http://hdl.handle.net/1911/77222.

MLA Handbook (7th Edition):

Meel, Kuldeep. “Sampling Techniques for Boolean Satisfiability.” 2014. Web. 16 Sep 2019.

Vancouver:

Meel K. Sampling Techniques for Boolean Satisfiability. [Internet] [Masters thesis]. Rice University; 2014. [cited 2019 Sep 16]. Available from: http://hdl.handle.net/1911/77222.

Council of Science Editors:

Meel K. Sampling Techniques for Boolean Satisfiability. [Masters Thesis]. Rice University; 2014. Available from: http://hdl.handle.net/1911/77222


University of Oxford

12. Palikareva, Hristina. Techniques and tools for the verification of concurrent systems.

Degree: PhD, 2012, University of Oxford

 Model checking is an automatic formal verification technique for establishing correctness of systems. It has been widely used in industry for analysing and verifying complex… (more)

Subjects/Keywords: 004.35; Theory and automated verification; Communicating Sequential Processing (CSP); Program development and tools; Mathematical logic and foundations; automated verification; model checking; concurrency; process algebra; symbolic techniques; static analysis; livelock; abstraction; tools

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Palikareva, H. (2012). Techniques and tools for the verification of concurrent systems. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:fc2028e1-2a45-459a-afdd-70001893f3d8 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581031

Chicago Manual of Style (16th Edition):

Palikareva, Hristina. “Techniques and tools for the verification of concurrent systems.” 2012. Doctoral Dissertation, University of Oxford. Accessed September 16, 2019. http://ora.ox.ac.uk/objects/uuid:fc2028e1-2a45-459a-afdd-70001893f3d8 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581031.

MLA Handbook (7th Edition):

Palikareva, Hristina. “Techniques and tools for the verification of concurrent systems.” 2012. Web. 16 Sep 2019.

Vancouver:

Palikareva H. Techniques and tools for the verification of concurrent systems. [Internet] [Doctoral dissertation]. University of Oxford; 2012. [cited 2019 Sep 16]. Available from: http://ora.ox.ac.uk/objects/uuid:fc2028e1-2a45-459a-afdd-70001893f3d8 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581031.

Council of Science Editors:

Palikareva H. Techniques and tools for the verification of concurrent systems. [Doctoral Dissertation]. University of Oxford; 2012. Available from: http://ora.ox.ac.uk/objects/uuid:fc2028e1-2a45-459a-afdd-70001893f3d8 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581031

13. Ouni, Bassem. Caractérisation, modélisation et estimation de la consommation d'énergie à haut-niveau des OS embarqués : High-level energy characterization, modeling and estimation for OS-based platforms.

Degree: Docteur es, Informatique, 2013, Nice

La consommation énergétique est devenue un problème majeur dans la conception des systèmes aussi bien d'un point de vue de la fiabilité des circuits que… (more)

Subjects/Keywords: Systèmes embarqués; Consommation d'énergie; Systèmes d'exploitation embarqués; Algorithmes et techniques de réduction de la consommation énergétique; Modélisation AADL; Vérification des contraintes; Embedded systems; Energy consumption; Embedded operating systems; Power management techniques and algorithms; AADL modeling; Constraints verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ouni, B. (2013). Caractérisation, modélisation et estimation de la consommation d'énergie à haut-niveau des OS embarqués : High-level energy characterization, modeling and estimation for OS-based platforms. (Doctoral Dissertation). Nice. Retrieved from http://www.theses.fr/2013NICE4043

Chicago Manual of Style (16th Edition):

Ouni, Bassem. “Caractérisation, modélisation et estimation de la consommation d'énergie à haut-niveau des OS embarqués : High-level energy characterization, modeling and estimation for OS-based platforms.” 2013. Doctoral Dissertation, Nice. Accessed September 16, 2019. http://www.theses.fr/2013NICE4043.

MLA Handbook (7th Edition):

Ouni, Bassem. “Caractérisation, modélisation et estimation de la consommation d'énergie à haut-niveau des OS embarqués : High-level energy characterization, modeling and estimation for OS-based platforms.” 2013. Web. 16 Sep 2019.

Vancouver:

Ouni B. Caractérisation, modélisation et estimation de la consommation d'énergie à haut-niveau des OS embarqués : High-level energy characterization, modeling and estimation for OS-based platforms. [Internet] [Doctoral dissertation]. Nice; 2013. [cited 2019 Sep 16]. Available from: http://www.theses.fr/2013NICE4043.

Council of Science Editors:

Ouni B. Caractérisation, modélisation et estimation de la consommation d'énergie à haut-niveau des OS embarqués : High-level energy characterization, modeling and estimation for OS-based platforms. [Doctoral Dissertation]. Nice; 2013. Available from: http://www.theses.fr/2013NICE4043

14. Pled, Florent. Vers une stratégie robuste et efficace pour le contrôle des calculs par éléments finis en ingénierie mécanique : Towards a robust and effective strategy for the control of finite element computations in mechanical engineering.

Degree: Docteur es, Mécanique, génie mécanique, génie civil, 2012, Cachan, Ecole normale supérieure

Ce travail de recherche vise à contribuer au développement de nouveaux outils d'estimation d'erreur globale et locale en ingénierie mécanique. Les estimateurs d'erreur globale étudiés… (more)

Subjects/Keywords: Vérification; Estimation d’erreur a posteriori; Méthode des éléments finis; Erreur en relation de comportement; Champs admissibles; Estimation d’erreur en quantité d’intérêt; Bornes d’erreur garanties; Techniques non-intrusives; Principe de Saint-Venant; Verification; A posteriori error estimation; Finite element method; Constitutive relation error; Admissible fields; Goal-oriented error estimation; Guaranteed error bounds; Non-intrusive techniques; Saint-Venant’s principle

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Pled, F. (2012). Vers une stratégie robuste et efficace pour le contrôle des calculs par éléments finis en ingénierie mécanique : Towards a robust and effective strategy for the control of finite element computations in mechanical engineering. (Doctoral Dissertation). Cachan, Ecole normale supérieure. Retrieved from http://www.theses.fr/2012DENS0083

Chicago Manual of Style (16th Edition):

Pled, Florent. “Vers une stratégie robuste et efficace pour le contrôle des calculs par éléments finis en ingénierie mécanique : Towards a robust and effective strategy for the control of finite element computations in mechanical engineering.” 2012. Doctoral Dissertation, Cachan, Ecole normale supérieure. Accessed September 16, 2019. http://www.theses.fr/2012DENS0083.

MLA Handbook (7th Edition):

Pled, Florent. “Vers une stratégie robuste et efficace pour le contrôle des calculs par éléments finis en ingénierie mécanique : Towards a robust and effective strategy for the control of finite element computations in mechanical engineering.” 2012. Web. 16 Sep 2019.

Vancouver:

Pled F. Vers une stratégie robuste et efficace pour le contrôle des calculs par éléments finis en ingénierie mécanique : Towards a robust and effective strategy for the control of finite element computations in mechanical engineering. [Internet] [Doctoral dissertation]. Cachan, Ecole normale supérieure; 2012. [cited 2019 Sep 16]. Available from: http://www.theses.fr/2012DENS0083.

Council of Science Editors:

Pled F. Vers une stratégie robuste et efficace pour le contrôle des calculs par éléments finis en ingénierie mécanique : Towards a robust and effective strategy for the control of finite element computations in mechanical engineering. [Doctoral Dissertation]. Cachan, Ecole normale supérieure; 2012. Available from: http://www.theses.fr/2012DENS0083

15. Grompanopoulos, Christos. Specification and verification of an attribute-based usage control approach for open and dynamic computing environments.

Degree: 2014, Πανεπιστήμιο Μακεδονίας

 Computing systems are always evolving in order to keep pace with the requirements posed by their users. For example, widespread of networking technologies has resulted… (more)

Subjects/Keywords: Ασφάλεια πληροφοριών; Έλεγχος πρόσβασης; Έλεγχος χρήσης; Μοντελοποίηση; Τεχνικές επαλήθευσης; Ανοιχτά και δυναμικά υπολογιστικά περιβάλλοντα; Έλεγχος πρόσβασης βασιζόμενος σε χαρακτηριστικά; Computer security; Access control; Usage control; Modeling; Verification techniques; Open and dynamic computing environments; Attribute based access control

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Grompanopoulos, C. (2014). Specification and verification of an attribute-based usage control approach for open and dynamic computing environments. (Thesis). Πανεπιστήμιο Μακεδονίας. Retrieved from http://hdl.handle.net/10442/hedi/34804

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

Grompanopoulos, Christos. “Specification and verification of an attribute-based usage control approach for open and dynamic computing environments.” 2014. Thesis, Πανεπιστήμιο Μακεδονίας. Accessed September 16, 2019. http://hdl.handle.net/10442/hedi/34804.

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

MLA Handbook (7th Edition):

Grompanopoulos, Christos. “Specification and verification of an attribute-based usage control approach for open and dynamic computing environments.” 2014. Web. 16 Sep 2019.

Vancouver:

Grompanopoulos C. Specification and verification of an attribute-based usage control approach for open and dynamic computing environments. [Internet] [Thesis]. Πανεπιστήμιο Μακεδονίας; 2014. [cited 2019 Sep 16]. Available from: http://hdl.handle.net/10442/hedi/34804.

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

Council of Science Editors:

Grompanopoulos C. Specification and verification of an attribute-based usage control approach for open and dynamic computing environments. [Thesis]. Πανεπιστήμιο Μακεδονίας; 2014. Available from: http://hdl.handle.net/10442/hedi/34804

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

16. Natraj, Shailendra. An Empirical Evaluation & Comparison of Effectiveness & Efficiency of Fault Detection Testing Techniques.

Degree: 2013, , School of Computing

Context: The thesis is the analysis work of the replication of software experiment conducted by Natalia and Sira at Technical University of Madrid, SPAIN.… (more)

Subjects/Keywords: Empirical Software Engineering; Software Engineering; Software Experimentation; Verification and validation; Empirical software analysis; Testing techniques; Software experiment analysis; Software evaluation technique; Effectiveness; Efficiency; Information Systems; Systemvetenskap, informationssystem och informatik; Software Engineering; Programvaruteknik

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Natraj, S. (2013). An Empirical Evaluation & Comparison of Effectiveness & Efficiency of Fault Detection Testing Techniques. (Thesis). , School of Computing. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:bth-4047

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

Natraj, Shailendra. “An Empirical Evaluation & Comparison of Effectiveness & Efficiency of Fault Detection Testing Techniques.” 2013. Thesis, , School of Computing. Accessed September 16, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-4047.

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

MLA Handbook (7th Edition):

Natraj, Shailendra. “An Empirical Evaluation & Comparison of Effectiveness & Efficiency of Fault Detection Testing Techniques.” 2013. Web. 16 Sep 2019.

Vancouver:

Natraj S. An Empirical Evaluation & Comparison of Effectiveness & Efficiency of Fault Detection Testing Techniques. [Internet] [Thesis]. , School of Computing; 2013. [cited 2019 Sep 16]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:bth-4047.

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

Council of Science Editors:

Natraj S. An Empirical Evaluation & Comparison of Effectiveness & Efficiency of Fault Detection Testing Techniques. [Thesis]. , School of Computing; 2013. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:bth-4047

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


Vrije Universiteit Amsterdam

17. Wijs, A.J. What to do Next? : Analysing and Optimising System Behaviour in Time .

Degree: 2007, Vrije Universiteit Amsterdam

Subjects/Keywords: Formal verification techniques for scheduling; Model Checking; state space searching; timed process algebra; timed branching bisimilarity; scheduling

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Wijs, A. J. (2007). What to do Next? : Analysing and Optimising System Behaviour in Time . (Doctoral Dissertation). Vrije Universiteit Amsterdam. Retrieved from http://hdl.handle.net/1871/10964

Chicago Manual of Style (16th Edition):

Wijs, A J. “What to do Next? : Analysing and Optimising System Behaviour in Time .” 2007. Doctoral Dissertation, Vrije Universiteit Amsterdam. Accessed September 16, 2019. http://hdl.handle.net/1871/10964.

MLA Handbook (7th Edition):

Wijs, A J. “What to do Next? : Analysing and Optimising System Behaviour in Time .” 2007. Web. 16 Sep 2019.

Vancouver:

Wijs AJ. What to do Next? : Analysing and Optimising System Behaviour in Time . [Internet] [Doctoral dissertation]. Vrije Universiteit Amsterdam; 2007. [cited 2019 Sep 16]. Available from: http://hdl.handle.net/1871/10964.

Council of Science Editors:

Wijs AJ. What to do Next? : Analysing and Optimising System Behaviour in Time . [Doctoral Dissertation]. Vrije Universiteit Amsterdam; 2007. Available from: http://hdl.handle.net/1871/10964

18. PINHEIRO, Hector Natan Batista. Verificação de locutores independente de texto: uma análise de robustez a ruído .

Degree: 2015, Universidade Federal de Pernambuco

 O processo de identificação de um determinado indivíduo é realizado milhões de vezes, todos os dias, por organizações dos mais diversos setores. Perguntas como "Quem… (more)

Subjects/Keywords: Identificação biométrica. Reconhecimento de locutores. Sistemas de verificação de locutores independente de texto. Robustez de sistemas de reconhecimento de locutores. Técnicas de compensação.; Speaker recognition. Text-independent speaker verification systems. Robust speaker recognition systems. Compensation techniques

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

PINHEIRO, H. N. B. (2015). Verificação de locutores independente de texto: uma análise de robustez a ruído . (Masters Thesis). Universidade Federal de Pernambuco. Retrieved from https://repositorio.ufpe.br/handle/123456789/18045

Chicago Manual of Style (16th Edition):

PINHEIRO, Hector Natan Batista. “Verificação de locutores independente de texto: uma análise de robustez a ruído .” 2015. Masters Thesis, Universidade Federal de Pernambuco. Accessed September 16, 2019. https://repositorio.ufpe.br/handle/123456789/18045.

MLA Handbook (7th Edition):

PINHEIRO, Hector Natan Batista. “Verificação de locutores independente de texto: uma análise de robustez a ruído .” 2015. Web. 16 Sep 2019.

Vancouver:

PINHEIRO HNB. Verificação de locutores independente de texto: uma análise de robustez a ruído . [Internet] [Masters thesis]. Universidade Federal de Pernambuco; 2015. [cited 2019 Sep 16]. Available from: https://repositorio.ufpe.br/handle/123456789/18045.

Council of Science Editors:

PINHEIRO HNB. Verificação de locutores independente de texto: uma análise de robustez a ruído . [Masters Thesis]. Universidade Federal de Pernambuco; 2015. Available from: https://repositorio.ufpe.br/handle/123456789/18045


Universitat Politècnica de València

19. Santiago Pinazo, Sonia. Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maude-NPA .

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

 The area of formal analysis of cryptographic protocols has been an active one since the mid 80’s. The idea is to verify communication protocols that… (more)

Subjects/Keywords: Maude-NPA; Formal verification of cryptographic protocols; Cryptographic protocol analysis; Narrowing-based reachability analysis; Reasoning modulo an equational theory; Variant-based equational unification; Standard rewritring-based model checking; Sequential protocol composition; Indistinguishability; Asymmetric unification; Equational unification; Efficient crytographic protocol analysis; State space reduction techniques

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Santiago Pinazo, S. (2015). Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maude-NPA . (Doctoral Dissertation). Universitat Politècnica de València. Retrieved from http://hdl.handle.net/10251/48527

Chicago Manual of Style (16th Edition):

Santiago Pinazo, Sonia. “Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maude-NPA .” 2015. Doctoral Dissertation, Universitat Politècnica de València. Accessed September 16, 2019. http://hdl.handle.net/10251/48527.

MLA Handbook (7th Edition):

Santiago Pinazo, Sonia. “Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maude-NPA .” 2015. Web. 16 Sep 2019.

Vancouver:

Santiago Pinazo S. Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maude-NPA . [Internet] [Doctoral dissertation]. Universitat Politècnica de València; 2015. [cited 2019 Sep 16]. Available from: http://hdl.handle.net/10251/48527.

Council of Science Editors:

Santiago Pinazo S. Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maude-NPA . [Doctoral Dissertation]. Universitat Politècnica de València; 2015. Available from: http://hdl.handle.net/10251/48527

20. Kyas, Marcel. Verifying OCL specifications of UML models: tool support and compositionality.

Degree: 2006, Lehmanns MediaFaculty of Mathematics and Natural Sciences, Leiden University

 The Unified Modelling Language (UML) and the Object Constraint Language (OCL) serve as specification languages for embedded and real-time systems used in a safety-critical environment.… (more)

Subjects/Keywords: D.2.4 [Software Engineering]: Software/Program Verification - formal methods;

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kyas, M. (2006). Verifying OCL specifications of UML models: tool support and compositionality. (Doctoral Dissertation). Lehmanns MediaFaculty of Mathematics and Natural Sciences, Leiden University. Retrieved from http://hdl.handle.net/1887/4362

Chicago Manual of Style (16th Edition):

Kyas, Marcel. “Verifying OCL specifications of UML models: tool support and compositionality.” 2006. Doctoral Dissertation, Lehmanns MediaFaculty of Mathematics and Natural Sciences, Leiden University. Accessed September 16, 2019. http://hdl.handle.net/1887/4362.

MLA Handbook (7th Edition):

Kyas, Marcel. “Verifying OCL specifications of UML models: tool support and compositionality.” 2006. Web. 16 Sep 2019.

Vancouver:

Kyas M. Verifying OCL specifications of UML models: tool support and compositionality. [Internet] [Doctoral dissertation]. Lehmanns MediaFaculty of Mathematics and Natural Sciences, Leiden University; 2006. [cited 2019 Sep 16]. Available from: http://hdl.handle.net/1887/4362.

Council of Science Editors:

Kyas M. Verifying OCL specifications of UML models: tool support and compositionality. [Doctoral Dissertation]. Lehmanns MediaFaculty of Mathematics and Natural Sciences, Leiden University; 2006. Available from: http://hdl.handle.net/1887/4362


Queensland University of Technology

21. Lucey, Simon. Audio-visual speech processing.

Degree: 2002, Queensland University of Technology

Subjects/Keywords: Speech processing systems; Signal processing Digital techniques; audio-visual speech processing; speaker identification; speaker verification; speech recognition; classifier combination; facial feature detection; pattern recognition; thesis; doctoral

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lucey, S. (2002). Audio-visual speech processing. (Thesis). Queensland University of Technology. Retrieved from http://eprints.qut.edu.au/36172/

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

Lucey, Simon. “Audio-visual speech processing.” 2002. Thesis, Queensland University of Technology. Accessed September 16, 2019. http://eprints.qut.edu.au/36172/.

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

MLA Handbook (7th Edition):

Lucey, Simon. “Audio-visual speech processing.” 2002. Web. 16 Sep 2019.

Vancouver:

Lucey S. Audio-visual speech processing. [Internet] [Thesis]. Queensland University of Technology; 2002. [cited 2019 Sep 16]. Available from: http://eprints.qut.edu.au/36172/.

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

Council of Science Editors:

Lucey S. Audio-visual speech processing. [Thesis]. Queensland University of Technology; 2002. Available from: http://eprints.qut.edu.au/36172/

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

22. Sawant, Amit. Portal Imaging Using a CSI (TL) Scintillator Coupled to a Cooled CCD Camera.

Degree: MS, Biomedical Engineering, 1999, University of Tennessee Health Science Center

  The purpose of this research was to design a high performance digital portal imaging system, using a transparent x-ray scintillator coupled to a cooled… (more)

Subjects/Keywords: digital portal imaging; treatment verification; megavoltage x-ray imaging; transparent scintillator; CCD camera; Analytical, Diagnostic and Therapeutic Techniques and Equipment; Equipment and Supplies; Medicine and Health Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sawant, A. (1999). Portal Imaging Using a CSI (TL) Scintillator Coupled to a Cooled CCD Camera. (Thesis). University of Tennessee Health Science Center. Retrieved from https://dc.uthsc.edu/dissertations/234

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

Sawant, Amit. “Portal Imaging Using a CSI (TL) Scintillator Coupled to a Cooled CCD Camera.” 1999. Thesis, University of Tennessee Health Science Center. Accessed September 16, 2019. https://dc.uthsc.edu/dissertations/234.

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

MLA Handbook (7th Edition):

Sawant, Amit. “Portal Imaging Using a CSI (TL) Scintillator Coupled to a Cooled CCD Camera.” 1999. Web. 16 Sep 2019.

Vancouver:

Sawant A. Portal Imaging Using a CSI (TL) Scintillator Coupled to a Cooled CCD Camera. [Internet] [Thesis]. University of Tennessee Health Science Center; 1999. [cited 2019 Sep 16]. Available from: https://dc.uthsc.edu/dissertations/234.

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

Council of Science Editors:

Sawant A. Portal Imaging Using a CSI (TL) Scintillator Coupled to a Cooled CCD Camera. [Thesis]. University of Tennessee Health Science Center; 1999. Available from: https://dc.uthsc.edu/dissertations/234

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


Queensland University of Technology

23. Leis, John W. Spectral coding methods for speech compression and speaker identification.

Degree: 1998, Queensland University of Technology

 This thesis investigates aspects of encoding the speech spectrum at low bit rates, with extensions to the effect of such coding on automatic speaker identification.… (more)

Subjects/Keywords: Speech processing systems; Voiceprints; Signal processing Digital techniques; signal processing; speech processing; audio processing; speech coding; bandwidth compression; speaker identification; speaker verification; vector quantization; source coding; thesis; doctoral

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Leis, J. W. (1998). Spectral coding methods for speech compression and speaker identification. (Thesis). Queensland University of Technology. Retrieved from https://eprints.qut.edu.au/36062/

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

Leis, John W. “Spectral coding methods for speech compression and speaker identification.” 1998. Thesis, Queensland University of Technology. Accessed September 16, 2019. https://eprints.qut.edu.au/36062/.

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

MLA Handbook (7th Edition):

Leis, John W. “Spectral coding methods for speech compression and speaker identification.” 1998. Web. 16 Sep 2019.

Vancouver:

Leis JW. Spectral coding methods for speech compression and speaker identification. [Internet] [Thesis]. Queensland University of Technology; 1998. [cited 2019 Sep 16]. Available from: https://eprints.qut.edu.au/36062/.

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

Council of Science Editors:

Leis JW. Spectral coding methods for speech compression and speaker identification. [Thesis]. Queensland University of Technology; 1998. Available from: https://eprints.qut.edu.au/36062/

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

24. Chatzivasilis, Georgios. SPD-Safe: security, privacy and dependability management on embedded systems in safety-critical applications.

Degree: 2017, Technical University of Crete (TUC); Πολυτεχνείο Κρήτης

 Specifying and measuring the properties that a system provides, plays an important role for risk analysis during the development and management processes. Large organizations, like… (more)

Subjects/Keywords: Τεχνικές Μέτρησης Λογισμικού; Δυναμική Σύνθεση Συστήματος; Πιστοποίηση Ασφάλειας; Προστασία ιδιωτικότητας; Επιβεβαίωση Αξιοπιστίας; Περιβάλλων Νοημοσύνη; Διάχυτη υπολογιστική; Διαδίκτυο των πραγμάτων; Ελάσσων Κρυπτογραφία; Ευφυή περιβάλλοντα; Κυβερνο-Φυσικά Συστήματα; Ενσωματωμένα συστήματα; Δίκτυα αισθητήρων; Λογισμός Γεγονότων; Software Measurement Techniques; Dynamic System Composition; Security Validation; Privacy protection; Dependability Verification; Ambient intelligence; Pervasive computing; Internet of things (IoT); Lightweight Cryptography; Smart environments; Cyber-Physical Systems (CPS); Embedded systems; Sensor networks; Event calculus; JESS; JADE; OSGi

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chatzivasilis, G. (2017). SPD-Safe: security, privacy and dependability management on embedded systems in safety-critical applications. (Thesis). Technical University of Crete (TUC); Πολυτεχνείο Κρήτης. Retrieved from http://hdl.handle.net/10442/hedi/42140

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

Chatzivasilis, Georgios. “SPD-Safe: security, privacy and dependability management on embedded systems in safety-critical applications.” 2017. Thesis, Technical University of Crete (TUC); Πολυτεχνείο Κρήτης. Accessed September 16, 2019. http://hdl.handle.net/10442/hedi/42140.

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

MLA Handbook (7th Edition):

Chatzivasilis, Georgios. “SPD-Safe: security, privacy and dependability management on embedded systems in safety-critical applications.” 2017. Web. 16 Sep 2019.

Vancouver:

Chatzivasilis G. SPD-Safe: security, privacy and dependability management on embedded systems in safety-critical applications. [Internet] [Thesis]. Technical University of Crete (TUC); Πολυτεχνείο Κρήτης; 2017. [cited 2019 Sep 16]. Available from: http://hdl.handle.net/10442/hedi/42140.

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

Council of Science Editors:

Chatzivasilis G. SPD-Safe: security, privacy and dependability management on embedded systems in safety-critical applications. [Thesis]. Technical University of Crete (TUC); Πολυτεχνείο Κρήτης; 2017. Available from: http://hdl.handle.net/10442/hedi/42140

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

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

Degree: Faculty of Electrical Engineering, Mathematics & 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 September 16, 2019. 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. 16 Sep 2019.

Vancouver:

Timmer M. Efficient Modelling, Generation and Analysis of Markov Automata. [Internet] [Doctoral dissertation]. Centre for Telematics and Information Technology (CTIT); 2013. [cited 2019 Sep 16]. 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

.