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

[1] [2] [3] [4] [5] … [12]

Search Limiters

Last 2 Years | English Only

Degrees

Levels

Languages

Country

▼ Search Limiters

1. Pamnany, Kiran. Safe Parallelism for Servers.

Degree: PhD, Computer Science, 2011, Brown University

 Applications must embrace parallelism in order to increase performance on today's ubiquitous multicore processors. Unfortunately, writing correct parallel applications is notoriously hard, partly because the… (more)

Subjects/Keywords: concurrency

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Pamnany, K. (2011). Safe Parallelism for Servers. (Doctoral Dissertation). Brown University. Retrieved from https://repository.library.brown.edu/studio/item/bdr:11324/

Chicago Manual of Style (16th Edition):

Pamnany, Kiran. “Safe Parallelism for Servers.” 2011. Doctoral Dissertation, Brown University. Accessed January 20, 2020. https://repository.library.brown.edu/studio/item/bdr:11324/.

MLA Handbook (7th Edition):

Pamnany, Kiran. “Safe Parallelism for Servers.” 2011. Web. 20 Jan 2020.

Vancouver:

Pamnany K. Safe Parallelism for Servers. [Internet] [Doctoral dissertation]. Brown University; 2011. [cited 2020 Jan 20]. Available from: https://repository.library.brown.edu/studio/item/bdr:11324/.

Council of Science Editors:

Pamnany K. Safe Parallelism for Servers. [Doctoral Dissertation]. Brown University; 2011. Available from: https://repository.library.brown.edu/studio/item/bdr:11324/


University of Ottawa

2. Xu, Xinghao. Methodology for Introducing Concurrency into Sequential Programs .

Degree: 2015, University of Ottawa

 Efficiency of software application is one of the important metrics that are used to measure the quality of software applications. Nowadays, more and more professionals… (more)

Subjects/Keywords: Methodology; Concurrency

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Xu, X. (2015). Methodology for Introducing Concurrency into Sequential Programs . (Thesis). University of Ottawa. Retrieved from http://hdl.handle.net/10393/31875

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

Xu, Xinghao. “Methodology for Introducing Concurrency into Sequential Programs .” 2015. Thesis, University of Ottawa. Accessed January 20, 2020. http://hdl.handle.net/10393/31875.

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

MLA Handbook (7th Edition):

Xu, Xinghao. “Methodology for Introducing Concurrency into Sequential Programs .” 2015. Web. 20 Jan 2020.

Vancouver:

Xu X. Methodology for Introducing Concurrency into Sequential Programs . [Internet] [Thesis]. University of Ottawa; 2015. [cited 2020 Jan 20]. Available from: http://hdl.handle.net/10393/31875.

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

Council of Science Editors:

Xu X. Methodology for Introducing Concurrency into Sequential Programs . [Thesis]. University of Ottawa; 2015. Available from: http://hdl.handle.net/10393/31875

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


University of New South Wales

3. Xie, Xinwei. Accurate and efficient on-the-fly data race detection for multithreaded programs.

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

 Benefiting from the recent hardware improvement, multithreaded programs may still introduce concurrency defects which are notoriously difficult to detect, due to the non-deterministic program behavior.… (more)

Subjects/Keywords: concurrency; Concurrency; Data race; Dynamic analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Xie, X. (2012). Accurate and efficient on-the-fly data race detection for multithreaded programs. (Doctoral Dissertation). University of New South Wales. Retrieved from http://handle.unsw.edu.au/1959.4/52125 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:10795/SOURCE01?view=true

Chicago Manual of Style (16th Edition):

Xie, Xinwei. “Accurate and efficient on-the-fly data race detection for multithreaded programs.” 2012. Doctoral Dissertation, University of New South Wales. Accessed January 20, 2020. http://handle.unsw.edu.au/1959.4/52125 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:10795/SOURCE01?view=true.

MLA Handbook (7th Edition):

Xie, Xinwei. “Accurate and efficient on-the-fly data race detection for multithreaded programs.” 2012. Web. 20 Jan 2020.

Vancouver:

Xie X. Accurate and efficient on-the-fly data race detection for multithreaded programs. [Internet] [Doctoral dissertation]. University of New South Wales; 2012. [cited 2020 Jan 20]. Available from: http://handle.unsw.edu.au/1959.4/52125 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:10795/SOURCE01?view=true.

Council of Science Editors:

Xie X. Accurate and efficient on-the-fly data race detection for multithreaded programs. [Doctoral Dissertation]. University of New South Wales; 2012. Available from: http://handle.unsw.edu.au/1959.4/52125 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:10795/SOURCE01?view=true


Victoria University of Wellington

4. Atkins, Morgan. Modern Concurrency Techniques: An Exploration.

Degree: 2013, Victoria University of Wellington

 In this thesis, we investigate some of the options programmers have when writing a concurrent program. We explore the use of manually created threads, thread-pools,… (more)

Subjects/Keywords: Concurrency; Threads; Actors

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Atkins, M. (2013). Modern Concurrency Techniques: An Exploration. (Masters Thesis). Victoria University of Wellington. Retrieved from http://hdl.handle.net/10063/3068

Chicago Manual of Style (16th Edition):

Atkins, Morgan. “Modern Concurrency Techniques: An Exploration.” 2013. Masters Thesis, Victoria University of Wellington. Accessed January 20, 2020. http://hdl.handle.net/10063/3068.

MLA Handbook (7th Edition):

Atkins, Morgan. “Modern Concurrency Techniques: An Exploration.” 2013. Web. 20 Jan 2020.

Vancouver:

Atkins M. Modern Concurrency Techniques: An Exploration. [Internet] [Masters thesis]. Victoria University of Wellington; 2013. [cited 2020 Jan 20]. Available from: http://hdl.handle.net/10063/3068.

Council of Science Editors:

Atkins M. Modern Concurrency Techniques: An Exploration. [Masters Thesis]. Victoria University of Wellington; 2013. Available from: http://hdl.handle.net/10063/3068


Victoria University of Wellington

5. Tabilog, Allan. Program Verification with Separation Logic and Rely Guarantee.

Degree: 2017, Victoria University of Wellington

 This thesis explores two kinds of program logics that have become important for modern program verification - separation logic, for reasoning about programs that use… (more)

Subjects/Keywords: Logic; Program verification; Concurrency

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Tabilog, A. (2017). Program Verification with Separation Logic and Rely Guarantee. (Masters Thesis). Victoria University of Wellington. Retrieved from http://hdl.handle.net/10063/6271

Chicago Manual of Style (16th Edition):

Tabilog, Allan. “Program Verification with Separation Logic and Rely Guarantee.” 2017. Masters Thesis, Victoria University of Wellington. Accessed January 20, 2020. http://hdl.handle.net/10063/6271.

MLA Handbook (7th Edition):

Tabilog, Allan. “Program Verification with Separation Logic and Rely Guarantee.” 2017. Web. 20 Jan 2020.

Vancouver:

Tabilog A. Program Verification with Separation Logic and Rely Guarantee. [Internet] [Masters thesis]. Victoria University of Wellington; 2017. [cited 2020 Jan 20]. Available from: http://hdl.handle.net/10063/6271.

Council of Science Editors:

Tabilog A. Program Verification with Separation Logic and Rely Guarantee. [Masters Thesis]. Victoria University of Wellington; 2017. Available from: http://hdl.handle.net/10063/6271


University of Illinois – Urbana-Champaign

6. Luo, Qingzhou. Testing, runtime verification, and analysis of concurrent programs.

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

 With the development of multi-core processors, concurrent programs are becoming more and more popular. Among several models, the multithreaded shared-memory model is the predominant programming… (more)

Subjects/Keywords: Runtime verification; concurrency; testing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Luo, Q. (2015). Testing, runtime verification, and analysis of concurrent programs. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/87955

Chicago Manual of Style (16th Edition):

Luo, Qingzhou. “Testing, runtime verification, and analysis of concurrent programs.” 2015. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed January 20, 2020. http://hdl.handle.net/2142/87955.

MLA Handbook (7th Edition):

Luo, Qingzhou. “Testing, runtime verification, and analysis of concurrent programs.” 2015. Web. 20 Jan 2020.

Vancouver:

Luo Q. Testing, runtime verification, and analysis of concurrent programs. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2015. [cited 2020 Jan 20]. Available from: http://hdl.handle.net/2142/87955.

Council of Science Editors:

Luo Q. Testing, runtime verification, and analysis of concurrent programs. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2015. Available from: http://hdl.handle.net/2142/87955


University of Oxford

7. D'Osualdo, Emanuele. Verification of message passing concurrent systems.

Degree: PhD, 2015, University of Oxford

 This dissertation is concerned with the development of fully-automatic methods of verification, for message-passing based concurrent systems. In the first part of the thesis we… (more)

Subjects/Keywords: 005.2; Computer Science; Concurrency

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

D'Osualdo, E. (2015). Verification of message passing concurrent systems. (Doctoral Dissertation). University of Oxford. Retrieved from https://ora.ox.ac.uk/objects/uuid:f669b95b-f760-4de9-a62a-374d41172879 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.711956

Chicago Manual of Style (16th Edition):

D'Osualdo, Emanuele. “Verification of message passing concurrent systems.” 2015. Doctoral Dissertation, University of Oxford. Accessed January 20, 2020. https://ora.ox.ac.uk/objects/uuid:f669b95b-f760-4de9-a62a-374d41172879 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.711956.

MLA Handbook (7th Edition):

D'Osualdo, Emanuele. “Verification of message passing concurrent systems.” 2015. Web. 20 Jan 2020.

Vancouver:

D'Osualdo E. Verification of message passing concurrent systems. [Internet] [Doctoral dissertation]. University of Oxford; 2015. [cited 2020 Jan 20]. Available from: https://ora.ox.ac.uk/objects/uuid:f669b95b-f760-4de9-a62a-374d41172879 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.711956.

Council of Science Editors:

D'Osualdo E. Verification of message passing concurrent systems. [Doctoral Dissertation]. University of Oxford; 2015. Available from: https://ora.ox.ac.uk/objects/uuid:f669b95b-f760-4de9-a62a-374d41172879 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.711956


University of Rochester

8. Izraelevitz, Joseph. Concurrency implications of nonvolatile byte-addressable memory.

Degree: PhD, 2018, University of Rochester

 In the near future, storage technology advances are expected to provide nonvolatile byte addressable memory (NVM) for general purpose computing. These new technologies provide high… (more)

Subjects/Keywords: Nonvolatile memory; Concurrency; Shared memory

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Izraelevitz, J. (2018). Concurrency implications of nonvolatile byte-addressable memory. (Doctoral Dissertation). University of Rochester. Retrieved from http://hdl.handle.net/1802/33501

Chicago Manual of Style (16th Edition):

Izraelevitz, Joseph. “Concurrency implications of nonvolatile byte-addressable memory.” 2018. Doctoral Dissertation, University of Rochester. Accessed January 20, 2020. http://hdl.handle.net/1802/33501.

MLA Handbook (7th Edition):

Izraelevitz, Joseph. “Concurrency implications of nonvolatile byte-addressable memory.” 2018. Web. 20 Jan 2020.

Vancouver:

Izraelevitz J. Concurrency implications of nonvolatile byte-addressable memory. [Internet] [Doctoral dissertation]. University of Rochester; 2018. [cited 2020 Jan 20]. Available from: http://hdl.handle.net/1802/33501.

Council of Science Editors:

Izraelevitz J. Concurrency implications of nonvolatile byte-addressable memory. [Doctoral Dissertation]. University of Rochester; 2018. Available from: http://hdl.handle.net/1802/33501


Cornell University

9. Tseng, Wei-lung. Zero-Knowledge On The Internet .

Degree: 2011, Cornell University

 Zero-knowledge protocols allow one party to prove the validity of a mathematical statement to another party, without revealing any additional information. The use of zero-knowledge… (more)

Subjects/Keywords: Zero-Knowledge; Concurrency; Cryptography

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Tseng, W. (2011). Zero-Knowledge On The Internet . (Thesis). Cornell University. Retrieved from http://hdl.handle.net/1813/30779

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

Tseng, Wei-lung. “Zero-Knowledge On The Internet .” 2011. Thesis, Cornell University. Accessed January 20, 2020. http://hdl.handle.net/1813/30779.

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

MLA Handbook (7th Edition):

Tseng, Wei-lung. “Zero-Knowledge On The Internet .” 2011. Web. 20 Jan 2020.

Vancouver:

Tseng W. Zero-Knowledge On The Internet . [Internet] [Thesis]. Cornell University; 2011. [cited 2020 Jan 20]. Available from: http://hdl.handle.net/1813/30779.

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

Council of Science Editors:

Tseng W. Zero-Knowledge On The Internet . [Thesis]. Cornell University; 2011. Available from: http://hdl.handle.net/1813/30779

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


University of Illinois – Urbana-Champaign

10. Charalambides, Minas. Actor programming with static guarantees.

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

 This thesis discusses two methodologies for applying type discipline to concurrent programming with actors: process types, and session types. A system based on each of… (more)

Subjects/Keywords: actors; type; static; session; concurrency

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Charalambides, M. (2018). Actor programming with static guarantees. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/101036

Chicago Manual of Style (16th Edition):

Charalambides, Minas. “Actor programming with static guarantees.” 2018. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed January 20, 2020. http://hdl.handle.net/2142/101036.

MLA Handbook (7th Edition):

Charalambides, Minas. “Actor programming with static guarantees.” 2018. Web. 20 Jan 2020.

Vancouver:

Charalambides M. Actor programming with static guarantees. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2018. [cited 2020 Jan 20]. Available from: http://hdl.handle.net/2142/101036.

Council of Science Editors:

Charalambides M. Actor programming with static guarantees. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2018. Available from: http://hdl.handle.net/2142/101036

11. Nagathota, Hadassah Pearlyn. Design and Implementation of CMT in Real-time : Evaluation based on scheduling mechanisms.

Degree: 2015, , Department of Communication Systems

  Context: Standard transport layer protocols like UDP, TCP, andSCTP use only one access technology at a time. Concurrent MultipathTransmission (CMT), has been developed for… (more)

Subjects/Keywords: Concurrency; Multi-homing; Performance; Scheduling

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nagathota, H. P. (2015). Design and Implementation of CMT in Real-time : Evaluation based on scheduling mechanisms. (Thesis). , Department of Communication Systems. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:bth-10815

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

Nagathota, Hadassah Pearlyn. “Design and Implementation of CMT in Real-time : Evaluation based on scheduling mechanisms.” 2015. Thesis, , Department of Communication Systems. Accessed January 20, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-10815.

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

MLA Handbook (7th Edition):

Nagathota, Hadassah Pearlyn. “Design and Implementation of CMT in Real-time : Evaluation based on scheduling mechanisms.” 2015. Web. 20 Jan 2020.

Vancouver:

Nagathota HP. Design and Implementation of CMT in Real-time : Evaluation based on scheduling mechanisms. [Internet] [Thesis]. , Department of Communication Systems; 2015. [cited 2020 Jan 20]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:bth-10815.

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

Council of Science Editors:

Nagathota HP. Design and Implementation of CMT in Real-time : Evaluation based on scheduling mechanisms. [Thesis]. , Department of Communication Systems; 2015. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:bth-10815

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


University of Texas – Austin

12. -6770-7949. Bringing modular concurrency control to the next level.

Degree: PhD, Computer Science, 2019, University of Texas – Austin

 Database users face a tension between ease-of-programming and high performance: ACID transactions can greatly simplify the programming effort of database applications by providing four useful… (more)

Subjects/Keywords: Distributed database; Transaction; Concurrency control; Modular concurrency control

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

-6770-7949. (2019). Bringing modular concurrency control to the next level. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://dx.doi.org/10.26153/tsw/1500

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

Chicago Manual of Style (16th Edition):

-6770-7949. “Bringing modular concurrency control to the next level.” 2019. Doctoral Dissertation, University of Texas – Austin. Accessed January 20, 2020. http://dx.doi.org/10.26153/tsw/1500.

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

MLA Handbook (7th Edition):

-6770-7949. “Bringing modular concurrency control to the next level.” 2019. Web. 20 Jan 2020.

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

Vancouver:

-6770-7949. Bringing modular concurrency control to the next level. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2019. [cited 2020 Jan 20]. Available from: http://dx.doi.org/10.26153/tsw/1500.

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

Council of Science Editors:

-6770-7949. Bringing modular concurrency control to the next level. [Doctoral Dissertation]. University of Texas – Austin; 2019. Available from: http://dx.doi.org/10.26153/tsw/1500

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

13. Lilleston, Pamela Sherman. Attitudes Towards Relationship Power and Concurrent Sexual Partnerships among African American Adolescents in Baltimore, MD.

Degree: 2013, Johns Hopkins University

 Background: African American adolescents are disproportionately affected by sexually transmitted infections (STIs) including HIV. A growing body of literature suggests that high rates of sexual… (more)

Subjects/Keywords: Gender Roles; Concurrency; Adolescents; African Americans

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lilleston, P. S. (2013). Attitudes Towards Relationship Power and Concurrent Sexual Partnerships among African American Adolescents in Baltimore, MD. (Thesis). Johns Hopkins University. Retrieved from http://jhir.library.jhu.edu/handle/1774.2/36996

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

Lilleston, Pamela Sherman. “Attitudes Towards Relationship Power and Concurrent Sexual Partnerships among African American Adolescents in Baltimore, MD.” 2013. Thesis, Johns Hopkins University. Accessed January 20, 2020. http://jhir.library.jhu.edu/handle/1774.2/36996.

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

MLA Handbook (7th Edition):

Lilleston, Pamela Sherman. “Attitudes Towards Relationship Power and Concurrent Sexual Partnerships among African American Adolescents in Baltimore, MD.” 2013. Web. 20 Jan 2020.

Vancouver:

Lilleston PS. Attitudes Towards Relationship Power and Concurrent Sexual Partnerships among African American Adolescents in Baltimore, MD. [Internet] [Thesis]. Johns Hopkins University; 2013. [cited 2020 Jan 20]. Available from: http://jhir.library.jhu.edu/handle/1774.2/36996.

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

Council of Science Editors:

Lilleston PS. Attitudes Towards Relationship Power and Concurrent Sexual Partnerships among African American Adolescents in Baltimore, MD. [Thesis]. Johns Hopkins University; 2013. Available from: http://jhir.library.jhu.edu/handle/1774.2/36996

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


University of Illinois – Urbana-Champaign

14. Seo, Eun Soo. Failure diagnosis in distributed systems.

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

 Failures in computing systems are unavoidable. Therefore, it is important to detect and diagnose failures early to improve the reliability of systems. In this dissertation,… (more)

Subjects/Keywords: Debugging; Bug Diagnosis; Concurrency Bugs; Error Propagation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Seo, E. S. (2012). Failure diagnosis in distributed systems. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/34467

Chicago Manual of Style (16th Edition):

Seo, Eun Soo. “Failure diagnosis in distributed systems.” 2012. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed January 20, 2020. http://hdl.handle.net/2142/34467.

MLA Handbook (7th Edition):

Seo, Eun Soo. “Failure diagnosis in distributed systems.” 2012. Web. 20 Jan 2020.

Vancouver:

Seo ES. Failure diagnosis in distributed systems. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2012. [cited 2020 Jan 20]. Available from: http://hdl.handle.net/2142/34467.

Council of Science Editors:

Seo ES. Failure diagnosis in distributed systems. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2012. Available from: http://hdl.handle.net/2142/34467


University of Illinois – Urbana-Champaign

15. Lifflander, Jonathan Josiah. Optimizing work stealing algorithms with scheduling constraints.

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

 The fork-join paradigm of concurrent expression has gained popularity in conjunction with work-stealing schedulers. Random work-stealing schedulers have been shown to effectively perform dynamic load… (more)

Subjects/Keywords: concurrency; work-stealing; fork-join; scheduling; locality

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lifflander, J. J. (2016). Optimizing work stealing algorithms with scheduling constraints. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/90511

Chicago Manual of Style (16th Edition):

Lifflander, Jonathan Josiah. “Optimizing work stealing algorithms with scheduling constraints.” 2016. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed January 20, 2020. http://hdl.handle.net/2142/90511.

MLA Handbook (7th Edition):

Lifflander, Jonathan Josiah. “Optimizing work stealing algorithms with scheduling constraints.” 2016. Web. 20 Jan 2020.

Vancouver:

Lifflander JJ. Optimizing work stealing algorithms with scheduling constraints. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2016. [cited 2020 Jan 20]. Available from: http://hdl.handle.net/2142/90511.

Council of Science Editors:

Lifflander JJ. Optimizing work stealing algorithms with scheduling constraints. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2016. Available from: http://hdl.handle.net/2142/90511


University of Illinois – Urbana-Champaign

16. Qi, Shanxiang. Techniques to detect and avert advanced software concurrency bugs.

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

 Multicore machines have become pervasive and, as a result, parallel programming has received renewed interest. Unfortunately, writing correct parallel programs is notoriously hard. One challenging… (more)

Subjects/Keywords: concurrency bugs; data race detection; dynamic analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Qi, S. (2013). Techniques to detect and avert advanced software concurrency bugs. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/45603

Chicago Manual of Style (16th Edition):

Qi, Shanxiang. “Techniques to detect and avert advanced software concurrency bugs.” 2013. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed January 20, 2020. http://hdl.handle.net/2142/45603.

MLA Handbook (7th Edition):

Qi, Shanxiang. “Techniques to detect and avert advanced software concurrency bugs.” 2013. Web. 20 Jan 2020.

Vancouver:

Qi S. Techniques to detect and avert advanced software concurrency bugs. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2013. [cited 2020 Jan 20]. Available from: http://hdl.handle.net/2142/45603.

Council of Science Editors:

Qi S. Techniques to detect and avert advanced software concurrency bugs. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2013. Available from: http://hdl.handle.net/2142/45603


University of Illinois – Urbana-Champaign

17. Qi, Shanxiang. Tolerating asymmetric data races with minimal hardware support.

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

 Data races are a common type of concurrency bug in parallel programs. An important type of race that has not received much attention is Asymmetric… (more)

Subjects/Keywords: computer architecture; software reliability; concurrency bugs

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Qi, S. (2010). Tolerating asymmetric data races with minimal hardware support. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/15995

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

Qi, Shanxiang. “Tolerating asymmetric data races with minimal hardware support.” 2010. Thesis, University of Illinois – Urbana-Champaign. Accessed January 20, 2020. http://hdl.handle.net/2142/15995.

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

MLA Handbook (7th Edition):

Qi, Shanxiang. “Tolerating asymmetric data races with minimal hardware support.” 2010. Web. 20 Jan 2020.

Vancouver:

Qi S. Tolerating asymmetric data races with minimal hardware support. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2010. [cited 2020 Jan 20]. Available from: http://hdl.handle.net/2142/15995.

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

Council of Science Editors:

Qi S. Tolerating asymmetric data races with minimal hardware support. [Thesis]. University of Illinois – Urbana-Champaign; 2010. Available from: http://hdl.handle.net/2142/15995

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


University of Illinois – Urbana-Champaign

18. Muzahid, Abdullah. Effective architectural support for detecting concurrency bugs.

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

 Multicore machines have become pervasive and, as a result, parallel programming has received renewed interest. Unfortunately, writing correct parallel programs is notoriously hard. Therefore, it… (more)

Subjects/Keywords: Debugging; Concurrency Bugs; Multithreaded Programs; Multicore

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Muzahid, A. (2012). Effective architectural support for detecting concurrency bugs. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/34513

Chicago Manual of Style (16th Edition):

Muzahid, Abdullah. “Effective architectural support for detecting concurrency bugs.” 2012. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed January 20, 2020. http://hdl.handle.net/2142/34513.

MLA Handbook (7th Edition):

Muzahid, Abdullah. “Effective architectural support for detecting concurrency bugs.” 2012. Web. 20 Jan 2020.

Vancouver:

Muzahid A. Effective architectural support for detecting concurrency bugs. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2012. [cited 2020 Jan 20]. Available from: http://hdl.handle.net/2142/34513.

Council of Science Editors:

Muzahid A. Effective architectural support for detecting concurrency bugs. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2012. Available from: http://hdl.handle.net/2142/34513


University of Johannesburg

19. Kruger, Hanlie. 'n Studie van 'n aantal gelyktydigheidsbeheerprotokolle vir databasisse.

Degree: 2014, University of Johannesburg

M.Sc. (Computer Science)

Concurrency control is the problem that exists in a database management system when more than one transaction or application is executed simultaneously.… (more)

Subjects/Keywords: Concurrency control (Computer science); Database management

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kruger, H. (2014). 'n Studie van 'n aantal gelyktydigheidsbeheerprotokolle vir databasisse. (Thesis). University of Johannesburg. Retrieved from http://hdl.handle.net/10210/9723

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

Kruger, Hanlie. “'n Studie van 'n aantal gelyktydigheidsbeheerprotokolle vir databasisse.” 2014. Thesis, University of Johannesburg. Accessed January 20, 2020. http://hdl.handle.net/10210/9723.

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

MLA Handbook (7th Edition):

Kruger, Hanlie. “'n Studie van 'n aantal gelyktydigheidsbeheerprotokolle vir databasisse.” 2014. Web. 20 Jan 2020.

Vancouver:

Kruger H. 'n Studie van 'n aantal gelyktydigheidsbeheerprotokolle vir databasisse. [Internet] [Thesis]. University of Johannesburg; 2014. [cited 2020 Jan 20]. Available from: http://hdl.handle.net/10210/9723.

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

Council of Science Editors:

Kruger H. 'n Studie van 'n aantal gelyktydigheidsbeheerprotokolle vir databasisse. [Thesis]. University of Johannesburg; 2014. Available from: http://hdl.handle.net/10210/9723

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


Rochester Institute of Technology

20. Le, Matthew. Partial Aborts for Transactions via First Class Continuations.

Degree: MS, Computer Science (GCCIS), 2016, Rochester Institute of Technology

  Software transactional memory (STM) has proven to be a useful abstraction for developing concurrent applications where programmers denote transactions with an atomic construct that… (more)

Subjects/Keywords: Concurrency; Functional programming; Software transactional memory

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Le, M. (2016). Partial Aborts for Transactions via First Class Continuations. (Masters Thesis). Rochester Institute of Technology. Retrieved from https://scholarworks.rit.edu/theses/9170

Chicago Manual of Style (16th Edition):

Le, Matthew. “Partial Aborts for Transactions via First Class Continuations.” 2016. Masters Thesis, Rochester Institute of Technology. Accessed January 20, 2020. https://scholarworks.rit.edu/theses/9170.

MLA Handbook (7th Edition):

Le, Matthew. “Partial Aborts for Transactions via First Class Continuations.” 2016. Web. 20 Jan 2020.

Vancouver:

Le M. Partial Aborts for Transactions via First Class Continuations. [Internet] [Masters thesis]. Rochester Institute of Technology; 2016. [cited 2020 Jan 20]. Available from: https://scholarworks.rit.edu/theses/9170.

Council of Science Editors:

Le M. Partial Aborts for Transactions via First Class Continuations. [Masters Thesis]. Rochester Institute of Technology; 2016. Available from: https://scholarworks.rit.edu/theses/9170


University of Kansas

21. Phagan, Tyrian. A Practical Framework for Configuration of Scheduling and Concurrency Control in Linux.

Degree: MS, Electrical Engineering & Computer Science, 2011, University of Kansas

 There is a growing need for developers to be able to specify programming models for an application, in order to: increase efficiency, system reliability, system… (more)

Subjects/Keywords: Computer science; Concurrency control; Configurable; Linux; Scheduling

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Phagan, T. (2011). A Practical Framework for Configuration of Scheduling and Concurrency Control in Linux. (Masters Thesis). University of Kansas. Retrieved from http://hdl.handle.net/1808/8173

Chicago Manual of Style (16th Edition):

Phagan, Tyrian. “A Practical Framework for Configuration of Scheduling and Concurrency Control in Linux.” 2011. Masters Thesis, University of Kansas. Accessed January 20, 2020. http://hdl.handle.net/1808/8173.

MLA Handbook (7th Edition):

Phagan, Tyrian. “A Practical Framework for Configuration of Scheduling and Concurrency Control in Linux.” 2011. Web. 20 Jan 2020.

Vancouver:

Phagan T. A Practical Framework for Configuration of Scheduling and Concurrency Control in Linux. [Internet] [Masters thesis]. University of Kansas; 2011. [cited 2020 Jan 20]. Available from: http://hdl.handle.net/1808/8173.

Council of Science Editors:

Phagan T. A Practical Framework for Configuration of Scheduling and Concurrency Control in Linux. [Masters Thesis]. University of Kansas; 2011. Available from: http://hdl.handle.net/1808/8173


University of Cambridge

22. Pichon-Pharabod, Jean Yves Alexis. A no-thin-air memory model for programming languages.

Degree: PhD, 2018, University of Cambridge

 Many hardware and compiler optimisations introduced to speed up single-threaded programs also introduce additional, sometimes surprising, behaviours for concurrent programs with shared mutable state. How… (more)

Subjects/Keywords: concurrency; relaxed memory models; C/C++

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Pichon-Pharabod, J. Y. A. (2018). A no-thin-air memory model for programming languages. (Doctoral Dissertation). University of Cambridge. Retrieved from https://www.repository.cam.ac.uk/handle/1810/274465 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.744652

Chicago Manual of Style (16th Edition):

Pichon-Pharabod, Jean Yves Alexis. “A no-thin-air memory model for programming languages.” 2018. Doctoral Dissertation, University of Cambridge. Accessed January 20, 2020. https://www.repository.cam.ac.uk/handle/1810/274465 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.744652.

MLA Handbook (7th Edition):

Pichon-Pharabod, Jean Yves Alexis. “A no-thin-air memory model for programming languages.” 2018. Web. 20 Jan 2020.

Vancouver:

Pichon-Pharabod JYA. A no-thin-air memory model for programming languages. [Internet] [Doctoral dissertation]. University of Cambridge; 2018. [cited 2020 Jan 20]. Available from: https://www.repository.cam.ac.uk/handle/1810/274465 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.744652.

Council of Science Editors:

Pichon-Pharabod JYA. A no-thin-air memory model for programming languages. [Doctoral Dissertation]. University of Cambridge; 2018. Available from: https://www.repository.cam.ac.uk/handle/1810/274465 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.744652


Queensland University of Technology

23. Zimmerman, John Dean. Model driven coordination framework for concurrency programming.

Degree: 2008, Queensland University of Technology

 Ensembles of distributed, autonomous and heterogenous entities that are situated in an environment, interacting over both space and time, and striving to uphold some global… (more)

Subjects/Keywords: concurrency programming; model driven coordination framework

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zimmerman, J. D. (2008). Model driven coordination framework for concurrency programming. (Thesis). Queensland University of Technology. Retrieved from https://eprints.qut.edu.au/16613/

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

Zimmerman, John Dean. “Model driven coordination framework for concurrency programming.” 2008. Thesis, Queensland University of Technology. Accessed January 20, 2020. https://eprints.qut.edu.au/16613/.

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

MLA Handbook (7th Edition):

Zimmerman, John Dean. “Model driven coordination framework for concurrency programming.” 2008. Web. 20 Jan 2020.

Vancouver:

Zimmerman JD. Model driven coordination framework for concurrency programming. [Internet] [Thesis]. Queensland University of Technology; 2008. [cited 2020 Jan 20]. Available from: https://eprints.qut.edu.au/16613/.

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

Council of Science Editors:

Zimmerman JD. Model driven coordination framework for concurrency programming. [Thesis]. Queensland University of Technology; 2008. Available from: https://eprints.qut.edu.au/16613/

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


Universidade Nova

24. Vale, Tiago Marques do. A modular distributed transactional memory framework.

Degree: 2012, Universidade Nova

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

The traditional lock-based concurrency control is complex and error-prone due to its low-level nature and… (more)

Subjects/Keywords: Transactional memory; Distributed systems; Concurrency control; Replication

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Vale, T. M. d. (2012). A modular distributed transactional memory framework. (Thesis). Universidade Nova. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/8738

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

Vale, Tiago Marques do. “A modular distributed transactional memory framework.” 2012. Thesis, Universidade Nova. Accessed January 20, 2020. http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/8738.

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

MLA Handbook (7th Edition):

Vale, Tiago Marques do. “A modular distributed transactional memory framework.” 2012. Web. 20 Jan 2020.

Vancouver:

Vale TMd. A modular distributed transactional memory framework. [Internet] [Thesis]. Universidade Nova; 2012. [cited 2020 Jan 20]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/8738.

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

Council of Science Editors:

Vale TMd. A modular distributed transactional memory framework. [Thesis]. Universidade Nova; 2012. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/8738

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


Universidade Nova

25. Martins, Helder Ricardo Laximi. Distributed replicated macro-components.

Degree: 2013, Universidade Nova

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

In recent years, several approaches have been proposed for improving application performance on multi-core machines.… (more)

Subjects/Keywords: Distributed systems; Macro-components; Concurrency; Replication

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Martins, H. R. L. (2013). Distributed replicated macro-components. (Thesis). Universidade Nova. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/10766

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

Martins, Helder Ricardo Laximi. “Distributed replicated macro-components.” 2013. Thesis, Universidade Nova. Accessed January 20, 2020. http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/10766.

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

MLA Handbook (7th Edition):

Martins, Helder Ricardo Laximi. “Distributed replicated macro-components.” 2013. Web. 20 Jan 2020.

Vancouver:

Martins HRL. Distributed replicated macro-components. [Internet] [Thesis]. Universidade Nova; 2013. [cited 2020 Jan 20]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/10766.

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

Council of Science Editors:

Martins HRL. Distributed replicated macro-components. [Thesis]. Universidade Nova; 2013. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/10766

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


Universidade Nova

26. Parreira, Daniel Luis Landeiroto. Data-centric concurrency control on the java programming language.

Degree: 2013, Universidade Nova

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

The multi-core paradigm has propelled shared-memory concurrent programming to an important role in software development.… (more)

Subjects/Keywords: Data-centric; Concurrency control; Deadlock-freedom; Atomicity

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Parreira, D. L. L. (2013). Data-centric concurrency control on the java programming language. (Thesis). Universidade Nova. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/10814

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

Parreira, Daniel Luis Landeiroto. “Data-centric concurrency control on the java programming language.” 2013. Thesis, Universidade Nova. Accessed January 20, 2020. http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/10814.

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

MLA Handbook (7th Edition):

Parreira, Daniel Luis Landeiroto. “Data-centric concurrency control on the java programming language.” 2013. Web. 20 Jan 2020.

Vancouver:

Parreira DLL. Data-centric concurrency control on the java programming language. [Internet] [Thesis]. Universidade Nova; 2013. [cited 2020 Jan 20]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/10814.

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

Council of Science Editors:

Parreira DLL. Data-centric concurrency control on the java programming language. [Thesis]. Universidade Nova; 2013. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/10814

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


Virginia Tech

27. Kusano, Markus Jan Urban. Constraint-Based Thread-Modular Abstract Interpretation.

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

 In this dissertation, I present a set of novel constraint-based thread-modular abstract-interpretation techniques for static analysis of concurrent programs. Specifically, I integrate a lightweight constraint… (more)

Subjects/Keywords: abstract interpretation; concurrency; verification; static analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kusano, M. J. U. (2018). Constraint-Based Thread-Modular Abstract Interpretation. (Doctoral Dissertation). Virginia Tech. Retrieved from http://hdl.handle.net/10919/84399

Chicago Manual of Style (16th Edition):

Kusano, Markus Jan Urban. “Constraint-Based Thread-Modular Abstract Interpretation.” 2018. Doctoral Dissertation, Virginia Tech. Accessed January 20, 2020. http://hdl.handle.net/10919/84399.

MLA Handbook (7th Edition):

Kusano, Markus Jan Urban. “Constraint-Based Thread-Modular Abstract Interpretation.” 2018. Web. 20 Jan 2020.

Vancouver:

Kusano MJU. Constraint-Based Thread-Modular Abstract Interpretation. [Internet] [Doctoral dissertation]. Virginia Tech; 2018. [cited 2020 Jan 20]. Available from: http://hdl.handle.net/10919/84399.

Council of Science Editors:

Kusano MJU. Constraint-Based Thread-Modular Abstract Interpretation. [Doctoral Dissertation]. Virginia Tech; 2018. Available from: http://hdl.handle.net/10919/84399


University of Cambridge

28. Pichon-Pharabod, Jean Yves Alexis. A no-thin-air memory model for programming languages.

Degree: PhD, 2018, University of Cambridge

 Many hardware and compiler optimisations introduced to speed up single-threaded programs also introduce additional, sometimes surprising, behaviours for concurrent programs with shared mutable state. How… (more)

Subjects/Keywords: concurrency; relaxed memory models; C/C++

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Pichon-Pharabod, J. Y. A. (2018). A no-thin-air memory model for programming languages. (Doctoral Dissertation). University of Cambridge. Retrieved from https://www.repository.cam.ac.uk/handle/1810/274465

Chicago Manual of Style (16th Edition):

Pichon-Pharabod, Jean Yves Alexis. “A no-thin-air memory model for programming languages.” 2018. Doctoral Dissertation, University of Cambridge. Accessed January 20, 2020. https://www.repository.cam.ac.uk/handle/1810/274465.

MLA Handbook (7th Edition):

Pichon-Pharabod, Jean Yves Alexis. “A no-thin-air memory model for programming languages.” 2018. Web. 20 Jan 2020.

Vancouver:

Pichon-Pharabod JYA. A no-thin-air memory model for programming languages. [Internet] [Doctoral dissertation]. University of Cambridge; 2018. [cited 2020 Jan 20]. Available from: https://www.repository.cam.ac.uk/handle/1810/274465.

Council of Science Editors:

Pichon-Pharabod JYA. A no-thin-air memory model for programming languages. [Doctoral Dissertation]. University of Cambridge; 2018. Available from: https://www.repository.cam.ac.uk/handle/1810/274465


University of Waterloo

29. Delisle, Thierry. Concurrency in C∀.

Degree: 2018, University of Waterloo

 C∀ is a modern, non-object-oriented extension of the C programming language. This thesis serves as a definition and an implementation for the concurrency and parallelism… (more)

Subjects/Keywords: programming language; concurrency and parallelism; threading; C∀

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Delisle, T. (2018). Concurrency in C∀. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/12888

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

Delisle, Thierry. “Concurrency in C∀.” 2018. Thesis, University of Waterloo. Accessed January 20, 2020. http://hdl.handle.net/10012/12888.

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

MLA Handbook (7th Edition):

Delisle, Thierry. “Concurrency in C∀.” 2018. Web. 20 Jan 2020.

Vancouver:

Delisle T. Concurrency in C∀. [Internet] [Thesis]. University of Waterloo; 2018. [cited 2020 Jan 20]. Available from: http://hdl.handle.net/10012/12888.

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

Council of Science Editors:

Delisle T. Concurrency in C∀. [Thesis]. University of Waterloo; 2018. Available from: http://hdl.handle.net/10012/12888

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


University of Waterloo

30. Krischer, Roy. Advanced Concepts in Asynchronous Exception Handling.

Degree: 2011, University of Waterloo

 Asynchronous exception handling is a useful and sometimes necessary alternative form of communication among threads. This thesis examines and classifies general concepts related to asynchrony,… (more)

Subjects/Keywords: programming languages; control flow; concurrency; exception handling

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Krischer, R. (2011). Advanced Concepts in Asynchronous Exception Handling. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/5751

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

Krischer, Roy. “Advanced Concepts in Asynchronous Exception Handling.” 2011. Thesis, University of Waterloo. Accessed January 20, 2020. http://hdl.handle.net/10012/5751.

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

MLA Handbook (7th Edition):

Krischer, Roy. “Advanced Concepts in Asynchronous Exception Handling.” 2011. Web. 20 Jan 2020.

Vancouver:

Krischer R. Advanced Concepts in Asynchronous Exception Handling. [Internet] [Thesis]. University of Waterloo; 2011. [cited 2020 Jan 20]. Available from: http://hdl.handle.net/10012/5751.

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

Council of Science Editors:

Krischer R. Advanced Concepts in Asynchronous Exception Handling. [Thesis]. University of Waterloo; 2011. Available from: http://hdl.handle.net/10012/5751

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

[1] [2] [3] [4] [5] … [12]

.