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:(Programme concurrent). Showing records 1 – 21 of 21 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


University of Limerick

1. Xiao-Hui, Jin. Use of tabular expressions in the inspection of concurrent programs.

Degree: 2005, University of Limerick

 This thesis presents a systematic, rigorous inspection approach for concurrent programs. The approach has been successfully applied to a classic concurrent program of the Readers/Writers… (more)

Subjects/Keywords: concurrent program

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Xiao-Hui, J. (2005). Use of tabular expressions in the inspection of concurrent programs. (Thesis). University of Limerick. Retrieved from http://hdl.handle.net/10344/150

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

Xiao-Hui, Jin. “Use of tabular expressions in the inspection of concurrent programs.” 2005. Thesis, University of Limerick. Accessed January 17, 2020. http://hdl.handle.net/10344/150.

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

MLA Handbook (7th Edition):

Xiao-Hui, Jin. “Use of tabular expressions in the inspection of concurrent programs.” 2005. Web. 17 Jan 2020.

Vancouver:

Xiao-Hui J. Use of tabular expressions in the inspection of concurrent programs. [Internet] [Thesis]. University of Limerick; 2005. [cited 2020 Jan 17]. Available from: http://hdl.handle.net/10344/150.

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

Council of Science Editors:

Xiao-Hui J. Use of tabular expressions in the inspection of concurrent programs. [Thesis]. University of Limerick; 2005. Available from: http://hdl.handle.net/10344/150

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

2. Aksenov, Vitalii. Synchronization costs in parallel programs and concurrent data structures : Coûts de synchronization dans les programmes parallèlles et les structures de données simultanées.

Degree: Docteur es, Informatique. Programmation simultanée, 2018, Sorbonne Paris Cité; ITMO University

Pour utiliser la puissance de calcul des ordinateurs modernes, nous devons écrire des programmes concurrents. L’écriture de programme concurrent efficace est notoirement difficile, principalement en… (more)

Subjects/Keywords: Structures de données simultanées; Contrôle de la granularité; Programme concurrent; Concurrent data structures; Granularity control; Concurrent programs

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Aksenov, V. (2018). Synchronization costs in parallel programs and concurrent data structures : Coûts de synchronization dans les programmes parallèlles et les structures de données simultanées. (Doctoral Dissertation). Sorbonne Paris Cité; ITMO University. Retrieved from http://www.theses.fr/2018USPCC025

Chicago Manual of Style (16th Edition):

Aksenov, Vitalii. “Synchronization costs in parallel programs and concurrent data structures : Coûts de synchronization dans les programmes parallèlles et les structures de données simultanées.” 2018. Doctoral Dissertation, Sorbonne Paris Cité; ITMO University. Accessed January 17, 2020. http://www.theses.fr/2018USPCC025.

MLA Handbook (7th Edition):

Aksenov, Vitalii. “Synchronization costs in parallel programs and concurrent data structures : Coûts de synchronization dans les programmes parallèlles et les structures de données simultanées.” 2018. Web. 17 Jan 2020.

Vancouver:

Aksenov V. Synchronization costs in parallel programs and concurrent data structures : Coûts de synchronization dans les programmes parallèlles et les structures de données simultanées. [Internet] [Doctoral dissertation]. Sorbonne Paris Cité; ITMO University; 2018. [cited 2020 Jan 17]. Available from: http://www.theses.fr/2018USPCC025.

Council of Science Editors:

Aksenov V. Synchronization costs in parallel programs and concurrent data structures : Coûts de synchronization dans les programmes parallèlles et les structures de données simultanées. [Doctoral Dissertation]. Sorbonne Paris Cité; ITMO University; 2018. Available from: http://www.theses.fr/2018USPCC025


Universidade Nova

3. Teixeira, Bruno Cavaca. Static detection of anomalies in transactional memory programs.

Degree: 2010, Universidade Nova

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática

Transactional Memory… (more)

Subjects/Keywords: Transactional memory; Concurrent programming; Concurrency anomalies; Program testing; Program validation; Static analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Teixeira, B. C. (2010). Static detection of anomalies in transactional memory programs. (Thesis). Universidade Nova. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/5128

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

Teixeira, Bruno Cavaca. “Static detection of anomalies in transactional memory programs.” 2010. Thesis, Universidade Nova. Accessed January 17, 2020. http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/5128.

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

MLA Handbook (7th Edition):

Teixeira, Bruno Cavaca. “Static detection of anomalies in transactional memory programs.” 2010. Web. 17 Jan 2020.

Vancouver:

Teixeira BC. Static detection of anomalies in transactional memory programs. [Internet] [Thesis]. Universidade Nova; 2010. [cited 2020 Jan 17]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/5128.

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

Council of Science Editors:

Teixeira BC. Static detection of anomalies in transactional memory programs. [Thesis]. Universidade Nova; 2010. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/5128

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


University of Newcastle

4. Unicomb, Rachael. Evidence for the treatment of co-occurring stuttering and speech sound disorder.

Degree: PhD, 2015, University of Newcastle

Research Doctorate - Doctor of Philosophy (PhD)

This thesis presents two studies detailing evidence relating to the treatment of co-occurring stuttering and speech sound disorders… (more)

Subjects/Keywords: early stuttering; speech sound disorder; service delivery; treatment; concurrent; co-occurring; Lidcombe Program

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Unicomb, R. (2015). Evidence for the treatment of co-occurring stuttering and speech sound disorder. (Doctoral Dissertation). University of Newcastle. Retrieved from http://hdl.handle.net/1959.13/1296498

Chicago Manual of Style (16th Edition):

Unicomb, Rachael. “Evidence for the treatment of co-occurring stuttering and speech sound disorder.” 2015. Doctoral Dissertation, University of Newcastle. Accessed January 17, 2020. http://hdl.handle.net/1959.13/1296498.

MLA Handbook (7th Edition):

Unicomb, Rachael. “Evidence for the treatment of co-occurring stuttering and speech sound disorder.” 2015. Web. 17 Jan 2020.

Vancouver:

Unicomb R. Evidence for the treatment of co-occurring stuttering and speech sound disorder. [Internet] [Doctoral dissertation]. University of Newcastle; 2015. [cited 2020 Jan 17]. Available from: http://hdl.handle.net/1959.13/1296498.

Council of Science Editors:

Unicomb R. Evidence for the treatment of co-occurring stuttering and speech sound disorder. [Doctoral Dissertation]. University of Newcastle; 2015. Available from: http://hdl.handle.net/1959.13/1296498


University of Kentucky

5. Chu, Justin. CONTEXT-AWARE DEBUGGING FOR CONCURRENT PROGRAMS.

Degree: 2017, University of Kentucky

 Concurrency faults are difficult to reproduce and localize because they usually occur under specific inputs and thread interleavings. Most existing fault localization techniques focus on… (more)

Subjects/Keywords: Concurrent Program; Fault Localization; Debugging; Machine Learning; Data Mining; Empirical Study; Software Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chu, J. (2017). CONTEXT-AWARE DEBUGGING FOR CONCURRENT PROGRAMS. (Masters Thesis). University of Kentucky. Retrieved from https://uknowledge.uky.edu/cs_etds/61

Chicago Manual of Style (16th Edition):

Chu, Justin. “CONTEXT-AWARE DEBUGGING FOR CONCURRENT PROGRAMS.” 2017. Masters Thesis, University of Kentucky. Accessed January 17, 2020. https://uknowledge.uky.edu/cs_etds/61.

MLA Handbook (7th Edition):

Chu, Justin. “CONTEXT-AWARE DEBUGGING FOR CONCURRENT PROGRAMS.” 2017. Web. 17 Jan 2020.

Vancouver:

Chu J. CONTEXT-AWARE DEBUGGING FOR CONCURRENT PROGRAMS. [Internet] [Masters thesis]. University of Kentucky; 2017. [cited 2020 Jan 17]. Available from: https://uknowledge.uky.edu/cs_etds/61.

Council of Science Editors:

Chu J. CONTEXT-AWARE DEBUGGING FOR CONCURRENT PROGRAMS. [Masters Thesis]. University of Kentucky; 2017. Available from: https://uknowledge.uky.edu/cs_etds/61


Virginia Tech

6. Zhang, Lu. Runtime Verification and Debugging of Concurrent Software.

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

 Our reliance on software has been growing fast over the past decades as the pervasive use of computer and software penetrated not only our daily… (more)

Subjects/Keywords: Concurrency; Verification; Debugging; Program Repair; Quasi Linearizability; Concurrent Data Structure; Web Application; JavaScript

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zhang, L. (2016). Runtime Verification and Debugging of Concurrent Software. (Doctoral Dissertation). Virginia Tech. Retrieved from http://hdl.handle.net/10919/71882

Chicago Manual of Style (16th Edition):

Zhang, Lu. “Runtime Verification and Debugging of Concurrent Software.” 2016. Doctoral Dissertation, Virginia Tech. Accessed January 17, 2020. http://hdl.handle.net/10919/71882.

MLA Handbook (7th Edition):

Zhang, Lu. “Runtime Verification and Debugging of Concurrent Software.” 2016. Web. 17 Jan 2020.

Vancouver:

Zhang L. Runtime Verification and Debugging of Concurrent Software. [Internet] [Doctoral dissertation]. Virginia Tech; 2016. [cited 2020 Jan 17]. Available from: http://hdl.handle.net/10919/71882.

Council of Science Editors:

Zhang L. Runtime Verification and Debugging of Concurrent Software. [Doctoral Dissertation]. Virginia Tech; 2016. Available from: http://hdl.handle.net/10919/71882


Virginia Tech

7. Pyla, Hari Krishna. Safe Concurrent Programming and Execution.

Degree: PhD, Computer Science, 2013, Virginia Tech

 The increasing prevalence of multi and many core processors has brought the issues of concurrency and parallelism to the forefront of everyday computing. Even for… (more)

Subjects/Keywords: Concurrent Programming; Concurrency Bugs; Program Analysis; Runtime Systems; Deadlock Detection and Recovery; Speculative Parall

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Pyla, H. K. (2013). Safe Concurrent Programming and Execution. (Doctoral Dissertation). Virginia Tech. Retrieved from http://hdl.handle.net/10919/19276

Chicago Manual of Style (16th Edition):

Pyla, Hari Krishna. “Safe Concurrent Programming and Execution.” 2013. Doctoral Dissertation, Virginia Tech. Accessed January 17, 2020. http://hdl.handle.net/10919/19276.

MLA Handbook (7th Edition):

Pyla, Hari Krishna. “Safe Concurrent Programming and Execution.” 2013. Web. 17 Jan 2020.

Vancouver:

Pyla HK. Safe Concurrent Programming and Execution. [Internet] [Doctoral dissertation]. Virginia Tech; 2013. [cited 2020 Jan 17]. Available from: http://hdl.handle.net/10919/19276.

Council of Science Editors:

Pyla HK. Safe Concurrent Programming and Execution. [Doctoral Dissertation]. Virginia Tech; 2013. Available from: http://hdl.handle.net/10919/19276


Massey University

8. Hender, Martin L. Concurrent Pascal : implementation and usage.

Degree: MS, Computer Science, 1984, Massey University

 In the forty years that the modern electronic computer has existed it has gone through several phases. The third generation computer of today is far… (more)

Subjects/Keywords: Pascal (Computer program language); Concurrent Pascal (Computer program language)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hender, M. L. (1984). Concurrent Pascal : implementation and usage. (Masters Thesis). Massey University. Retrieved from http://hdl.handle.net/10179/14203

Chicago Manual of Style (16th Edition):

Hender, Martin L. “Concurrent Pascal : implementation and usage.” 1984. Masters Thesis, Massey University. Accessed January 17, 2020. http://hdl.handle.net/10179/14203.

MLA Handbook (7th Edition):

Hender, Martin L. “Concurrent Pascal : implementation and usage.” 1984. Web. 17 Jan 2020.

Vancouver:

Hender ML. Concurrent Pascal : implementation and usage. [Internet] [Masters thesis]. Massey University; 1984. [cited 2020 Jan 17]. Available from: http://hdl.handle.net/10179/14203.

Council of Science Editors:

Hender ML. Concurrent Pascal : implementation and usage. [Masters Thesis]. Massey University; 1984. Available from: http://hdl.handle.net/10179/14203


University of New Orleans

9. Taylor, Leslie Katherine. The Feasibility and Idiographic Evaluation of School-Based Trauma-Focused Intervention Services in the Wake of Disaster.

Degree: PhD, Psychology, 2010, University of New Orleans

 Youth traumatized by natural disasters report high levels of posttraumatic stress as well as other types of impairing emotional distress symptoms (e.g., anxiety and depression)… (more)

Subjects/Keywords: youth survivors of Hurricane Katrina; pediatric PTSD; partially non-concurrent multiple baseline designs; treatment efficacy of the StArT program.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Taylor, L. K. (2010). The Feasibility and Idiographic Evaluation of School-Based Trauma-Focused Intervention Services in the Wake of Disaster. (Doctoral Dissertation). University of New Orleans. Retrieved from https://scholarworks.uno.edu/td/1151

Chicago Manual of Style (16th Edition):

Taylor, Leslie Katherine. “The Feasibility and Idiographic Evaluation of School-Based Trauma-Focused Intervention Services in the Wake of Disaster.” 2010. Doctoral Dissertation, University of New Orleans. Accessed January 17, 2020. https://scholarworks.uno.edu/td/1151.

MLA Handbook (7th Edition):

Taylor, Leslie Katherine. “The Feasibility and Idiographic Evaluation of School-Based Trauma-Focused Intervention Services in the Wake of Disaster.” 2010. Web. 17 Jan 2020.

Vancouver:

Taylor LK. The Feasibility and Idiographic Evaluation of School-Based Trauma-Focused Intervention Services in the Wake of Disaster. [Internet] [Doctoral dissertation]. University of New Orleans; 2010. [cited 2020 Jan 17]. Available from: https://scholarworks.uno.edu/td/1151.

Council of Science Editors:

Taylor LK. The Feasibility and Idiographic Evaluation of School-Based Trauma-Focused Intervention Services in the Wake of Disaster. [Doctoral Dissertation]. University of New Orleans; 2010. Available from: https://scholarworks.uno.edu/td/1151


Indian Institute of Science

10. Arnab De, *. Access Path Based Dataflow Analysis For Sequential And Concurrent Programs.

Degree: 2012, Indian Institute of Science

 In this thesis, we have developed a flow-sensitive data flow analysis framework for value set analyses for Java-like languages. Our analysis frame work is based… (more)

Subjects/Keywords: Dataflow Analysis; Java (Computer Program Language); Concurrent Programs - Syntax and Semantics; Concurrent Programs - Dataflow Analysis; Flow-Sensitive Pointer Analysis; Null-Pointer Analysis; Sequential Programs - Syntax and Semantics; Flow-Sensitive Dataflow Analysis; Concurrent Java Programs; Sequential Programs - Dataflow Analysis; Acess Path Based Dataflow Analysis; Relaxed Memory Model; Java Memory Model; Computer Science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Arnab De, *. (2012). Access Path Based Dataflow Analysis For Sequential And Concurrent Programs. (Thesis). Indian Institute of Science. Retrieved from http://etd.iisc.ernet.in/handle/2005/2564 ; http://etd.ncsi.iisc.ernet.in/abstracts/3331/G25774-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):

Arnab De, *. “Access Path Based Dataflow Analysis For Sequential And Concurrent Programs.” 2012. Thesis, Indian Institute of Science. Accessed January 17, 2020. http://etd.iisc.ernet.in/handle/2005/2564 ; http://etd.ncsi.iisc.ernet.in/abstracts/3331/G25774-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):

Arnab De, *. “Access Path Based Dataflow Analysis For Sequential And Concurrent Programs.” 2012. Web. 17 Jan 2020.

Vancouver:

Arnab De *. Access Path Based Dataflow Analysis For Sequential And Concurrent Programs. [Internet] [Thesis]. Indian Institute of Science; 2012. [cited 2020 Jan 17]. Available from: http://etd.iisc.ernet.in/handle/2005/2564 ; http://etd.ncsi.iisc.ernet.in/abstracts/3331/G25774-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:

Arnab De *. Access Path Based Dataflow Analysis For Sequential And Concurrent Programs. [Thesis]. Indian Institute of Science; 2012. Available from: http://etd.iisc.ernet.in/handle/2005/2564 ; http://etd.ncsi.iisc.ernet.in/abstracts/3331/G25774-Abs.pdf

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


Kansas State University

11. Wilde, Martin. Solo32, a Concurrent Pascal operating system with UNIX interfaces.

Degree: 1984, Kansas State University

Subjects/Keywords: Concurrent Pascal (Computer program language); Operating systems (Computers); UNIX (Computer file)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Wilde, M. (1984). Solo32, a Concurrent Pascal operating system with UNIX interfaces. (Thesis). Kansas State University. Retrieved from http://hdl.handle.net/2097/9809

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

Wilde, Martin. “Solo32, a Concurrent Pascal operating system with UNIX interfaces.” 1984. Thesis, Kansas State University. Accessed January 17, 2020. http://hdl.handle.net/2097/9809.

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

MLA Handbook (7th Edition):

Wilde, Martin. “Solo32, a Concurrent Pascal operating system with UNIX interfaces.” 1984. Web. 17 Jan 2020.

Vancouver:

Wilde M. Solo32, a Concurrent Pascal operating system with UNIX interfaces. [Internet] [Thesis]. Kansas State University; 1984. [cited 2020 Jan 17]. Available from: http://hdl.handle.net/2097/9809.

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

Council of Science Editors:

Wilde M. Solo32, a Concurrent Pascal operating system with UNIX interfaces. [Thesis]. Kansas State University; 1984. Available from: http://hdl.handle.net/2097/9809

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

12. CHU DUC HIEP. Interpolation Methods for Symbolic Execution.

Degree: 2012, National University of Singapore

Subjects/Keywords: Symbolic Execution; Interpolation; Abstraction Learning; Program Path Analysis; Concurrent Verification; WCET

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

HIEP, C. D. (2012). Interpolation Methods for Symbolic Execution. (Thesis). National University of Singapore. Retrieved from http://scholarbank.nus.edu.sg/handle/10635/37900

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

HIEP, CHU DUC. “Interpolation Methods for Symbolic Execution.” 2012. Thesis, National University of Singapore. Accessed January 17, 2020. http://scholarbank.nus.edu.sg/handle/10635/37900.

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

MLA Handbook (7th Edition):

HIEP, CHU DUC. “Interpolation Methods for Symbolic Execution.” 2012. Web. 17 Jan 2020.

Vancouver:

HIEP CD. Interpolation Methods for Symbolic Execution. [Internet] [Thesis]. National University of Singapore; 2012. [cited 2020 Jan 17]. Available from: http://scholarbank.nus.edu.sg/handle/10635/37900.

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

Council of Science Editors:

HIEP CD. Interpolation Methods for Symbolic Execution. [Thesis]. National University of Singapore; 2012. Available from: http://scholarbank.nus.edu.sg/handle/10635/37900

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


Kansas State University

13. Litteken, Mark A. On the adaptability of multipass Pascal compilers to variants of (Pascal) P-code machine architectures.

Degree: 1981, Kansas State University

Subjects/Keywords: Compiling (Electronic computers); Concurrent Pascal (Computer program language); Assembling (Electronic computers)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Litteken, M. A. (1981). On the adaptability of multipass Pascal compilers to variants of (Pascal) P-code machine architectures. (Thesis). Kansas State University. Retrieved from http://hdl.handle.net/2097/12098

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

Litteken, Mark A. “On the adaptability of multipass Pascal compilers to variants of (Pascal) P-code machine architectures.” 1981. Thesis, Kansas State University. Accessed January 17, 2020. http://hdl.handle.net/2097/12098.

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

MLA Handbook (7th Edition):

Litteken, Mark A. “On the adaptability of multipass Pascal compilers to variants of (Pascal) P-code machine architectures.” 1981. Web. 17 Jan 2020.

Vancouver:

Litteken MA. On the adaptability of multipass Pascal compilers to variants of (Pascal) P-code machine architectures. [Internet] [Thesis]. Kansas State University; 1981. [cited 2020 Jan 17]. Available from: http://hdl.handle.net/2097/12098.

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

Council of Science Editors:

Litteken MA. On the adaptability of multipass Pascal compilers to variants of (Pascal) P-code machine architectures. [Thesis]. Kansas State University; 1981. Available from: http://hdl.handle.net/2097/12098

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


University of New South Wales

14. Chen, Herbert Hwai-Bor. A framework for concurrent collaboration amongst computer aided design tools.

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

Subjects/Keywords: Electronic circuit design; Computer programs; Concurrent engineering; Thesis Digitisation Program

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chen, H. H. (1993). A framework for concurrent collaboration amongst computer aided design tools. (Doctoral Dissertation). University of New South Wales. Retrieved from http://handle.unsw.edu.au/1959.4/55573 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:38073/SOURCE01?view=true

Chicago Manual of Style (16th Edition):

Chen, Herbert Hwai-Bor. “A framework for concurrent collaboration amongst computer aided design tools.” 1993. Doctoral Dissertation, University of New South Wales. Accessed January 17, 2020. http://handle.unsw.edu.au/1959.4/55573 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:38073/SOURCE01?view=true.

MLA Handbook (7th Edition):

Chen, Herbert Hwai-Bor. “A framework for concurrent collaboration amongst computer aided design tools.” 1993. Web. 17 Jan 2020.

Vancouver:

Chen HH. A framework for concurrent collaboration amongst computer aided design tools. [Internet] [Doctoral dissertation]. University of New South Wales; 1993. [cited 2020 Jan 17]. Available from: http://handle.unsw.edu.au/1959.4/55573 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:38073/SOURCE01?view=true.

Council of Science Editors:

Chen HH. A framework for concurrent collaboration amongst computer aided design tools. [Doctoral Dissertation]. University of New South Wales; 1993. Available from: http://handle.unsw.edu.au/1959.4/55573 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:38073/SOURCE01?view=true


University of Alberta

15. Law, Chung Sea. An execution model for some parallel logic programming languages.

Degree: MS, Department of Computing Science, 1987, University of Alberta

Subjects/Keywords: PARLOG (Computer program language); GHC (Computer program language); Concurrent Prolog (Computer program language); Parallel programming (Computer science); Logic programming.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Law, C. S. (1987). An execution model for some parallel logic programming languages. (Masters Thesis). University of Alberta. Retrieved from https://era.library.ualberta.ca/files/b5644t642

Chicago Manual of Style (16th Edition):

Law, Chung Sea. “An execution model for some parallel logic programming languages.” 1987. Masters Thesis, University of Alberta. Accessed January 17, 2020. https://era.library.ualberta.ca/files/b5644t642.

MLA Handbook (7th Edition):

Law, Chung Sea. “An execution model for some parallel logic programming languages.” 1987. Web. 17 Jan 2020.

Vancouver:

Law CS. An execution model for some parallel logic programming languages. [Internet] [Masters thesis]. University of Alberta; 1987. [cited 2020 Jan 17]. Available from: https://era.library.ualberta.ca/files/b5644t642.

Council of Science Editors:

Law CS. An execution model for some parallel logic programming languages. [Masters Thesis]. University of Alberta; 1987. Available from: https://era.library.ualberta.ca/files/b5644t642

16. Xiong, Weiwei. Taming implicit synchronizations in concurrent programs.

Degree: PhD, 0112, 2013, University of Illinois – Urbana-Champaign

 Synchronization takes an important role in multi-threaded programs. Due to the non-deterministic nature of concurrency, it is always difficult for developers to make synchronizations correct.… (more)

Subjects/Keywords: Synchronizations; Concurrent program reliability; Data race; Deadlock; Ad hoc synchronization; Address transfer; Program analysis

…5.1.3 Semaphore . . . . . . . . . . . . . . . . . . . . . 5.2 Concurrent Program Analysis… …Spin and Hang Detection . . . . . . . . . . . . . . 5.2.3 Concurrent Program Testing and… …Overall results of SyncFinder: every concurrent program uses ad hoc sync loops except LU… …annotate implicit ad hoc synchronizations to help developers or automatic concurrent program… …studied concurrent program uses ad hoc synchronization. More specifically, there are 6–83 ad hoc… 

Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Xiong, W. (2013). Taming implicit synchronizations in concurrent programs. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/45345

Chicago Manual of Style (16th Edition):

Xiong, Weiwei. “Taming implicit synchronizations in concurrent programs.” 2013. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed January 17, 2020. http://hdl.handle.net/2142/45345.

MLA Handbook (7th Edition):

Xiong, Weiwei. “Taming implicit synchronizations in concurrent programs.” 2013. Web. 17 Jan 2020.

Vancouver:

Xiong W. Taming implicit synchronizations in concurrent programs. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2013. [cited 2020 Jan 17]. Available from: http://hdl.handle.net/2142/45345.

Council of Science Editors:

Xiong W. Taming implicit synchronizations in concurrent programs. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2013. Available from: http://hdl.handle.net/2142/45345

17. Okur, Semih. Enabling modern concurrency through program transformations.

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

 Concurrency is becoming the norm in modern software because multicores are now everywhere. Developers use concurrency constructs (i) to make their software responsive and scalable… (more)

Subjects/Keywords: concurrency; concurrent programming; empirical study; refactoring; program transformation; static analysis; asynchrony; parallelism; async/await; c#

…1 1 2 3 5 7 9 CHAPTER 2 Background on Concurrent Programming 2.1 Concurrency, Parallelism… …and Asynchrony . . . 2.2 Concurrent Programming in C# . . . . . . . . . 2.3 Definitions… …Concurrent Code 8.3 Runtime Implications of async/await . . . . . . . . . . 8.4 Context Decider… …simplify concurrent programming by providing concurrency libraries (APIs). Microsoft… …provide similar features such as scalable concurrent collections, high-level parallel constructs… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Okur, S. (2016). Enabling modern concurrency through program transformations. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/95354

Chicago Manual of Style (16th Edition):

Okur, Semih. “Enabling modern concurrency through program transformations.” 2016. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed January 17, 2020. http://hdl.handle.net/2142/95354.

MLA Handbook (7th Edition):

Okur, Semih. “Enabling modern concurrency through program transformations.” 2016. Web. 17 Jan 2020.

Vancouver:

Okur S. Enabling modern concurrency through program transformations. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2016. [cited 2020 Jan 17]. Available from: http://hdl.handle.net/2142/95354.

Council of Science Editors:

Okur S. Enabling modern concurrency through program transformations. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2016. Available from: http://hdl.handle.net/2142/95354

18. Berglund, Lasse. Executive Summaries in Software Model Checking.

Degree: TCS, 2018, KTH

Model checking is a technique used to verify whether a model meets a given specification by exhaustively and automatically checking each reachable state in… (more)

Subjects/Keywords: program verification; software engineering; concurrent programming; model checking; software model checking; Computer Sciences; Datavetenskap (datalogi)

…checking a concurrent program JPF has to ensure that the system is correct under all possible… …notoriously hard to find [3]. One proposed method for verifying concurrent systems is… …interleavings of the threads that make up the program. This is achieved through backtracking, where… …the program is executing, hence the pun in the title, by recording the dependencies of a… …evaluating many different program analysis techniques are shared between researchers ensuring a… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Berglund, L. (2018). Executive Summaries in Software Model Checking. (Thesis). KTH. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-231433

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

Berglund, Lasse. “Executive Summaries in Software Model Checking.” 2018. Thesis, KTH. Accessed January 17, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-231433.

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

MLA Handbook (7th Edition):

Berglund, Lasse. “Executive Summaries in Software Model Checking.” 2018. Web. 17 Jan 2020.

Vancouver:

Berglund L. Executive Summaries in Software Model Checking. [Internet] [Thesis]. KTH; 2018. [cited 2020 Jan 17]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-231433.

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

Council of Science Editors:

Berglund L. Executive Summaries in Software Model Checking. [Thesis]. KTH; 2018. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-231433

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

19. Ragusila, Andra. The Sustainability and Long-term Outcomes of Knowledge Translation Projects: A 3-year Follow-up of the GAIN Collaborative Network Project.

Degree: 2014, University of Toronto

Objective: This thesis aimed to advance the study of sustainability through the exploratory use of a conceptual framework for the investigation of a collaborative project.… (more)

Subjects/Keywords: Health care program sustainability; Sustainability; Program Development - methods; Program Evaluation - methods; Community Health Services; Mental Health screening; Concurrent disorder screening; 0566

…efficiency became the focus of study to evaluate program sustainability and the long-term effects… …program sustainability is still emerging, there remains a lack of consensus on the best methods… …focus on different program outcomes, the use of different definitions yields different results… …few studies are able to use rigorous quantitative methods to study program sustainability… …rationale for this case study selection, situates the GAIN-CN project in the context of concurrent… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ragusila, A. (2014). The Sustainability and Long-term Outcomes of Knowledge Translation Projects: A 3-year Follow-up of the GAIN Collaborative Network Project. (Masters Thesis). University of Toronto. Retrieved from http://hdl.handle.net/1807/44057

Chicago Manual of Style (16th Edition):

Ragusila, Andra. “The Sustainability and Long-term Outcomes of Knowledge Translation Projects: A 3-year Follow-up of the GAIN Collaborative Network Project.” 2014. Masters Thesis, University of Toronto. Accessed January 17, 2020. http://hdl.handle.net/1807/44057.

MLA Handbook (7th Edition):

Ragusila, Andra. “The Sustainability and Long-term Outcomes of Knowledge Translation Projects: A 3-year Follow-up of the GAIN Collaborative Network Project.” 2014. Web. 17 Jan 2020.

Vancouver:

Ragusila A. The Sustainability and Long-term Outcomes of Knowledge Translation Projects: A 3-year Follow-up of the GAIN Collaborative Network Project. [Internet] [Masters thesis]. University of Toronto; 2014. [cited 2020 Jan 17]. Available from: http://hdl.handle.net/1807/44057.

Council of Science Editors:

Ragusila A. The Sustainability and Long-term Outcomes of Knowledge Translation Projects: A 3-year Follow-up of the GAIN Collaborative Network Project. [Masters Thesis]. University of Toronto; 2014. Available from: http://hdl.handle.net/1807/44057

20. 渡邉, 裕. シナリオからの並行プログラムの合成についての研究.

Degree: Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学

Supervisor:平石 邦彦

情報科学研究科

修士

Subjects/Keywords: シナリオ,並行プログラム,超逐次プログラミング,依存関係,同期命令; scenario, concurrent program, hyper sequential pro

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

渡邉, . (n.d.). シナリオからの並行プログラムの合成についての研究. (Thesis). Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Retrieved from http://hdl.handle.net/10119/1286

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

渡邉, 裕. “シナリオからの並行プログラムの合成についての研究.” Thesis, Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Accessed January 17, 2020. http://hdl.handle.net/10119/1286.

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

渡邉, 裕. “シナリオからの並行プログラムの合成についての研究.” Web. 17 Jan 2020.

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

Vancouver:

渡邉 . シナリオからの並行プログラムの合成についての研究. [Internet] [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; [cited 2020 Jan 17]. Available from: http://hdl.handle.net/10119/1286.

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:

渡邉 . シナリオからの並行プログラムの合成についての研究. [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; Available from: http://hdl.handle.net/10119/1286

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

21. Khalili, Hossein. Interprofessional Socialization and Dual Identity Development Amongst Cross-Disciplinary Students.

Degree: 2013, University of Western Ontario

 The purpose of this study was to develop and test an interprofessional socialization (IPS) framework through assessing the impact of an IPS-based interprofessional education program… (more)

Subjects/Keywords: Interprofessional Socialization (IPS); IPS-Based Interprofessional Education Program; Social Identity Theory & Intergroup Contact Theory; Uniprofessional Identity; Dual Professional and Interprofessional Identity; Dual Identity Scale (DIS); Concurrent Embedded Mixed-Method; Quasi-Experimental Design; Latent Growth Curve Modeling; Thematic Content Analysis; Curriculum and Instruction; Education; Educational Assessment, Evaluation, and Research; Educational Methods; Educational Psychology; Educational Sociology; Higher Education; Medical Education; Medicine and Health Sciences; Nursing; Social and Behavioral Sciences; Social Psychology and Interaction; Sociology; Theory, Knowledge and Science

…77 IPS-Based IPE Program as an Eye-Opener… …x28;IECPCP) program (2006). Its overall goal was to foster a change to… …descriptions of IPE program development and changes in learners’ attitudes, knowledge and skills… …program (faculty, and students) and in their professional practice (Arndt, et al… …or negative effect of the program on students’ stereotypical attitudes (McFadyen… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Khalili, H. (2013). Interprofessional Socialization and Dual Identity Development Amongst Cross-Disciplinary Students. (Thesis). University of Western Ontario. Retrieved from https://ir.lib.uwo.ca/etd/1742

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

Khalili, Hossein. “Interprofessional Socialization and Dual Identity Development Amongst Cross-Disciplinary Students.” 2013. Thesis, University of Western Ontario. Accessed January 17, 2020. https://ir.lib.uwo.ca/etd/1742.

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

MLA Handbook (7th Edition):

Khalili, Hossein. “Interprofessional Socialization and Dual Identity Development Amongst Cross-Disciplinary Students.” 2013. Web. 17 Jan 2020.

Vancouver:

Khalili H. Interprofessional Socialization and Dual Identity Development Amongst Cross-Disciplinary Students. [Internet] [Thesis]. University of Western Ontario; 2013. [cited 2020 Jan 17]. Available from: https://ir.lib.uwo.ca/etd/1742.

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

Council of Science Editors:

Khalili H. Interprofessional Socialization and Dual Identity Development Amongst Cross-Disciplinary Students. [Thesis]. University of Western Ontario; 2013. Available from: https://ir.lib.uwo.ca/etd/1742

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

.