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 386 total matches.

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

Search Limiters

Last 2 Years | English Only

Department

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 March 08, 2021. https://repository.library.brown.edu/studio/item/bdr:11324/.

MLA Handbook (7th Edition):

Pamnany, Kiran. “Safe Parallelism for Servers.” 2011. Web. 08 Mar 2021.

Vancouver:

Pamnany K. Safe Parallelism for Servers. [Internet] [Doctoral dissertation]. Brown University; 2011. [cited 2021 Mar 08]. 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 March 08, 2021. 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. 08 Mar 2021.

Vancouver:

Xu X. Methodology for Introducing Concurrency into Sequential Programs . [Internet] [Thesis]. University of Ottawa; 2015. [cited 2021 Mar 08]. 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 March 08, 2021. 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. 08 Mar 2021.

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 2021 Mar 08]. 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 March 08, 2021. http://hdl.handle.net/10063/3068.

MLA Handbook (7th Edition):

Atkins, Morgan. “Modern Concurrency Techniques: An Exploration.” 2013. Web. 08 Mar 2021.

Vancouver:

Atkins M. Modern Concurrency Techniques: An Exploration. [Internet] [Masters thesis]. Victoria University of Wellington; 2013. [cited 2021 Mar 08]. 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


University of Rochester

5. 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 March 08, 2021. http://hdl.handle.net/1802/33501.

MLA Handbook (7th Edition):

Izraelevitz, Joseph. “Concurrency implications of nonvolatile byte-addressable memory.” 2018. Web. 08 Mar 2021.

Vancouver:

Izraelevitz J. Concurrency implications of nonvolatile byte-addressable memory. [Internet] [Doctoral dissertation]. University of Rochester; 2018. [cited 2021 Mar 08]. 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


University of Rochester

6. Yates, Ryan. Improving Haskell transactional memory.

Degree: PhD, 2019, University of Rochester

 The Haskell programming language is an active laboratory for cutting edge ideas. Early in the evolution of transactional memory (TM), Haskell included language support and… (more)

Subjects/Keywords: Transactional memory; Haskell; Concurrency

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Yates, R. (2019). Improving Haskell transactional memory. (Doctoral Dissertation). University of Rochester. Retrieved from http://hdl.handle.net/1802/35367

Chicago Manual of Style (16th Edition):

Yates, Ryan. “Improving Haskell transactional memory.” 2019. Doctoral Dissertation, University of Rochester. Accessed March 08, 2021. http://hdl.handle.net/1802/35367.

MLA Handbook (7th Edition):

Yates, Ryan. “Improving Haskell transactional memory.” 2019. Web. 08 Mar 2021.

Vancouver:

Yates R. Improving Haskell transactional memory. [Internet] [Doctoral dissertation]. University of Rochester; 2019. [cited 2021 Mar 08]. Available from: http://hdl.handle.net/1802/35367.

Council of Science Editors:

Yates R. Improving Haskell transactional memory. [Doctoral Dissertation]. University of Rochester; 2019. Available from: http://hdl.handle.net/1802/35367


Cornell University

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

Degree: PhD, Computer Science, 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. (Doctoral Dissertation). Cornell University. Retrieved from http://hdl.handle.net/1813/30779

Chicago Manual of Style (16th Edition):

Tseng, Wei-lung. “Zero-Knowledge On The Internet.” 2011. Doctoral Dissertation, Cornell University. Accessed March 08, 2021. http://hdl.handle.net/1813/30779.

MLA Handbook (7th Edition):

Tseng, Wei-lung. “Zero-Knowledge On The Internet.” 2011. Web. 08 Mar 2021.

Vancouver:

Tseng W. Zero-Knowledge On The Internet. [Internet] [Doctoral dissertation]. Cornell University; 2011. [cited 2021 Mar 08]. Available from: http://hdl.handle.net/1813/30779.

Council of Science Editors:

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


University of Illinois – Urbana-Champaign

8. Heidarshenas, Azin. Architectural support for work-efficient relaxed priority queueing.

Degree: MS, Electrical & Computer Engr, 2017, University of Illinois – Urbana-Champaign

 Many parallel algorithms in domains such as graph analytics and simulations execute more efficiently if some parallel tasks are executed before others. To implement such… (more)

Subjects/Keywords: Priority queues; Concurrency; Scheduling

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Heidarshenas, A. (2017). Architectural support for work-efficient relaxed priority queueing. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/97627

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

Heidarshenas, Azin. “Architectural support for work-efficient relaxed priority queueing.” 2017. Thesis, University of Illinois – Urbana-Champaign. Accessed March 08, 2021. http://hdl.handle.net/2142/97627.

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

MLA Handbook (7th Edition):

Heidarshenas, Azin. “Architectural support for work-efficient relaxed priority queueing.” 2017. Web. 08 Mar 2021.

Vancouver:

Heidarshenas A. Architectural support for work-efficient relaxed priority queueing. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2017. [cited 2021 Mar 08]. Available from: http://hdl.handle.net/2142/97627.

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

Council of Science Editors:

Heidarshenas A. Architectural support for work-efficient relaxed priority queueing. [Thesis]. University of Illinois – Urbana-Champaign; 2017. Available from: http://hdl.handle.net/2142/97627

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


University of Oxford

9. 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 March 08, 2021. 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. 08 Mar 2021.

Vancouver:

D'Osualdo E. Verification of message passing concurrent systems. [Internet] [Doctoral dissertation]. University of Oxford; 2015. [cited 2021 Mar 08]. 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

10. 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 March 08, 2021. 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. 08 Mar 2021.

Vancouver:

Nagathota HP. Design and Implementation of CMT in Real-time : Evaluation based on scheduling mechanisms. [Internet] [Thesis]. , Department of Communication Systems; 2015. [cited 2021 Mar 08]. 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


Victoria University of Wellington

11. 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 March 08, 2021. http://hdl.handle.net/10063/6271.

MLA Handbook (7th Edition):

Tabilog, Allan. “Program Verification with Separation Logic and Rely Guarantee.” 2017. Web. 08 Mar 2021.

Vancouver:

Tabilog A. Program Verification with Separation Logic and Rely Guarantee. [Internet] [Masters thesis]. Victoria University of Wellington; 2017. [cited 2021 Mar 08]. 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

12. 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 March 08, 2021. http://hdl.handle.net/2142/87955.

MLA Handbook (7th Edition):

Luo, Qingzhou. “Testing, runtime verification, and analysis of concurrent programs.” 2015. Web. 08 Mar 2021.

Vancouver:

Luo Q. Testing, runtime verification, and analysis of concurrent programs. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2015. [cited 2021 Mar 08]. 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 Illinois – Urbana-Champaign

13. 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 March 08, 2021. http://hdl.handle.net/2142/101036.

MLA Handbook (7th Edition):

Charalambides, Minas. “Actor programming with static guarantees.” 2018. Web. 08 Mar 2021.

Vancouver:

Charalambides M. Actor programming with static guarantees. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2018. [cited 2021 Mar 08]. 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


University of Texas – Austin

14. -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 March 08, 2021. 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. 08 Mar 2021.

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 2021 Mar 08]. 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


Rochester Institute of Technology

15. 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 March 08, 2021. https://scholarworks.rit.edu/theses/9170.

MLA Handbook (7th Edition):

Le, Matthew. “Partial Aborts for Transactions via First Class Continuations.” 2016. Web. 08 Mar 2021.

Vancouver:

Le M. Partial Aborts for Transactions via First Class Continuations. [Internet] [Masters thesis]. Rochester Institute of Technology; 2016. [cited 2021 Mar 08]. 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

16. 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 March 08, 2021. 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. 08 Mar 2021.

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 2021 Mar 08]. 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 Waterloo

17. 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 March 08, 2021. 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. 08 Mar 2021.

Vancouver:

Delisle T. Concurrency in C∀. [Internet] [Thesis]. University of Waterloo; 2018. [cited 2021 Mar 08]. 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 Johannesburg

18. 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 March 08, 2021. 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. 08 Mar 2021.

Vancouver:

Kruger H. 'n Studie van 'n aantal gelyktydigheidsbeheerprotokolle vir databasisse. [Internet] [Thesis]. University of Johannesburg; 2014. [cited 2021 Mar 08]. 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


University of Wisconsin – Milwaukee

19. Cochrane, Joshua. Concurrency Analysis in Javascript Programs Using Arrows.

Degree: MS, Computer Science, 2018, University of Wisconsin – Milwaukee

Concurrency errors are difficult to detect and correct in asynchronous programs such as those implemented in JavaScript. One reason is that it is often… (more)

Subjects/Keywords: Arrows; Concurrency Analysis; JavaScript; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cochrane, J. (2018). Concurrency Analysis in Javascript Programs Using Arrows. (Thesis). University of Wisconsin – Milwaukee. Retrieved from https://dc.uwm.edu/etd/1980

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

Cochrane, Joshua. “Concurrency Analysis in Javascript Programs Using Arrows.” 2018. Thesis, University of Wisconsin – Milwaukee. Accessed March 08, 2021. https://dc.uwm.edu/etd/1980.

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

MLA Handbook (7th Edition):

Cochrane, Joshua. “Concurrency Analysis in Javascript Programs Using Arrows.” 2018. Web. 08 Mar 2021.

Vancouver:

Cochrane J. Concurrency Analysis in Javascript Programs Using Arrows. [Internet] [Thesis]. University of Wisconsin – Milwaukee; 2018. [cited 2021 Mar 08]. Available from: https://dc.uwm.edu/etd/1980.

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

Council of Science Editors:

Cochrane J. Concurrency Analysis in Javascript Programs Using Arrows. [Thesis]. University of Wisconsin – Milwaukee; 2018. Available from: https://dc.uwm.edu/etd/1980

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


Queensland University of Technology

20. 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 March 08, 2021. 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. 08 Mar 2021.

Vancouver:

Zimmerman JD. Model driven coordination framework for concurrency programming. [Internet] [Thesis]. Queensland University of Technology; 2008. [cited 2021 Mar 08]. 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

21. 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 March 08, 2021. 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. 08 Mar 2021.

Vancouver:

Vale TMd. A modular distributed transactional memory framework. [Internet] [Thesis]. Universidade Nova; 2012. [cited 2021 Mar 08]. 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

22. 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 March 08, 2021. 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. 08 Mar 2021.

Vancouver:

Martins HRL. Distributed replicated macro-components. [Internet] [Thesis]. Universidade Nova; 2013. [cited 2021 Mar 08]. 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

23. 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 March 08, 2021. 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. 08 Mar 2021.

Vancouver:

Parreira DLL. Data-centric concurrency control on the java programming language. [Internet] [Thesis]. Universidade Nova; 2013. [cited 2021 Mar 08]. 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

24. Johnell, Carl. Parallel programming in Go and Scala : A performance comparison.

Degree: 2015, , Department of Software Engineering

      This thesis provides a performance comparison of parallel programming in Go and Scala. Go supports concurrency through goroutines and channels. Scala have… (more)

Subjects/Keywords: Go; Scala; parallelism; concurrency; Software Engineering; Programvaruteknik

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Johnell, C. (2015). Parallel programming in Go and Scala : A performance comparison. (Thesis). , Department of Software Engineering. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:bth-996

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

Johnell, Carl. “Parallel programming in Go and Scala : A performance comparison.” 2015. Thesis, , Department of Software Engineering. Accessed March 08, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-996.

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

MLA Handbook (7th Edition):

Johnell, Carl. “Parallel programming in Go and Scala : A performance comparison.” 2015. Web. 08 Mar 2021.

Vancouver:

Johnell C. Parallel programming in Go and Scala : A performance comparison. [Internet] [Thesis]. , Department of Software Engineering; 2015. [cited 2021 Mar 08]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:bth-996.

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

Council of Science Editors:

Johnell C. Parallel programming in Go and Scala : A performance comparison. [Thesis]. , Department of Software Engineering; 2015. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:bth-996

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


University of Illinois – Urbana-Champaign

25. 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 March 08, 2021. http://hdl.handle.net/2142/34513.

MLA Handbook (7th Edition):

Muzahid, Abdullah. “Effective architectural support for detecting concurrency bugs.” 2012. Web. 08 Mar 2021.

Vancouver:

Muzahid A. Effective architectural support for detecting concurrency bugs. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2012. [cited 2021 Mar 08]. 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 Illinois – Urbana-Champaign

26. 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 March 08, 2021. http://hdl.handle.net/2142/45603.

MLA Handbook (7th Edition):

Qi, Shanxiang. “Techniques to detect and avert advanced software concurrency bugs.” 2013. Web. 08 Mar 2021.

Vancouver:

Qi S. Techniques to detect and avert advanced software concurrency bugs. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2013. [cited 2021 Mar 08]. 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

27. 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 March 08, 2021. http://hdl.handle.net/2142/34467.

MLA Handbook (7th Edition):

Seo, Eun Soo. “Failure diagnosis in distributed systems.” 2012. Web. 08 Mar 2021.

Vancouver:

Seo ES. Failure diagnosis in distributed systems. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2012. [cited 2021 Mar 08]. 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

28. 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 March 08, 2021. http://hdl.handle.net/2142/90511.

MLA Handbook (7th Edition):

Lifflander, Jonathan Josiah. “Optimizing work stealing algorithms with scheduling constraints.” 2016. Web. 08 Mar 2021.

Vancouver:

Lifflander JJ. Optimizing work stealing algorithms with scheduling constraints. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2016. [cited 2021 Mar 08]. 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 Waterloo

29. 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 March 08, 2021. 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. 08 Mar 2021.

Vancouver:

Krischer R. Advanced Concepts in Asynchronous Exception Handling. [Internet] [Thesis]. University of Waterloo; 2011. [cited 2021 Mar 08]. 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


University of Kansas

30. 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 March 08, 2021. 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. 08 Mar 2021.

Vancouver:

Phagan T. A Practical Framework for Configuration of Scheduling and Concurrency Control in Linux. [Internet] [Masters thesis]. University of Kansas; 2011. [cited 2021 Mar 08]. 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

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

.