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 337 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 December 14, 2018. https://repository.library.brown.edu/studio/item/bdr:11324/.

MLA Handbook (7th Edition):

Pamnany, Kiran. “Safe Parallelism for Servers.” 2011. Web. 14 Dec 2018.

Vancouver:

Pamnany K. Safe Parallelism for Servers. [Internet] [Doctoral dissertation]. Brown University; 2011. [cited 2018 Dec 14]. 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 December 14, 2018. 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. 14 Dec 2018.

Vancouver:

Xu X. Methodology for Introducing Concurrency into Sequential Programs . [Internet] [Thesis]. University of Ottawa; 2015. [cited 2018 Dec 14]. 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 December 14, 2018. 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. 14 Dec 2018.

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 2018 Dec 14]. 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, Daniel. 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, D. (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, Daniel. “Modern Concurrency Techniques: an Exploration.” 2013. Masters Thesis, Victoria University of Wellington. Accessed December 14, 2018. http://hdl.handle.net/10063/3068.

MLA Handbook (7th Edition):

Atkins, Daniel. “Modern Concurrency Techniques: an Exploration.” 2013. Web. 14 Dec 2018.

Vancouver:

Atkins D. Modern Concurrency Techniques: an Exploration. [Internet] [Masters thesis]. Victoria University of Wellington; 2013. [cited 2018 Dec 14]. Available from: http://hdl.handle.net/10063/3068.

Council of Science Editors:

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


University of Texas – Austin

5. Heidt, David Patrick. Framework for testing Java concurrency.

Degree: Electrical and Computer Engineering, 2010, University of Texas – Austin

 Concurrent programming has become ubiquitous in the arena of application development, requiring most production quality systems to deal with at least some degree of multi-threaded… (more)

Subjects/Keywords: Java; Concurrency; Testing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Heidt, D. P. (2010). Framework for testing Java concurrency. (Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/ETD-UT-2010-12-2468

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

Heidt, David Patrick. “Framework for testing Java concurrency.” 2010. Thesis, University of Texas – Austin. Accessed December 14, 2018. http://hdl.handle.net/2152/ETD-UT-2010-12-2468.

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

MLA Handbook (7th Edition):

Heidt, David Patrick. “Framework for testing Java concurrency.” 2010. Web. 14 Dec 2018.

Vancouver:

Heidt DP. Framework for testing Java concurrency. [Internet] [Thesis]. University of Texas – Austin; 2010. [cited 2018 Dec 14]. Available from: http://hdl.handle.net/2152/ETD-UT-2010-12-2468.

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

Council of Science Editors:

Heidt DP. Framework for testing Java concurrency. [Thesis]. University of Texas – Austin; 2010. Available from: http://hdl.handle.net/2152/ETD-UT-2010-12-2468

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


Victoria University of Wellington

6. 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 December 14, 2018. http://hdl.handle.net/10063/6271.

MLA Handbook (7th Edition):

Tabilog, Allan. “Program Verification with Separation Logic and Rely Guarantee.” 2017. Web. 14 Dec 2018.

Vancouver:

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


Cornell University

7. 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 December 14, 2018. 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. 14 Dec 2018.

Vancouver:

Tseng W. Zero-Knowledge On The Internet . [Internet] [Thesis]. Cornell University; 2011. [cited 2018 Dec 14]. 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

8. 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 December 14, 2018. 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. 14 Dec 2018.

Vancouver:

Nagathota HP. Design and Implementation of CMT in Real-time : Evaluation based on scheduling mechanisms. [Internet] [Thesis]. , Department of Communication Systems; 2015. [cited 2018 Dec 14]. 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 Illinois – Urbana-Champaign

9. 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 December 14, 2018. http://hdl.handle.net/2142/87955.

MLA Handbook (7th Edition):

Luo, Qingzhou. “Testing, runtime verification, and analysis of concurrent programs.” 2015. Web. 14 Dec 2018.

Vancouver:

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

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 December 14, 2018. http://hdl.handle.net/2142/101036.

MLA Handbook (7th Edition):

Charalambides, Minas. “Actor programming with static guarantees.” 2018. Web. 14 Dec 2018.

Vancouver:

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

11. 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 December 14, 2018. 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. 14 Dec 2018.

Vancouver:

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

12. 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 December 14, 2018. http://hdl.handle.net/1802/33501.

MLA Handbook (7th Edition):

Izraelevitz, Joseph. “Concurrency implications of nonvolatile byte-addressable memory.” 2018. Web. 14 Dec 2018.

Vancouver:

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

13. Alomari, Mohammad. Ensuring Serializable Executions with Snapshot Isolation DBMS .

Degree: 2009, University of Sydney

 Snapshot Isolation (SI) is a multiversion concurrency control that has been implemented by open source and commercial database systems such as PostgreSQL and Oracle. The… (more)

Subjects/Keywords: Concurrency Control; Serializability; Correctness; Snapshot Isolation; Multiversion concurrency control; performance

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Alomari, M. (2009). Ensuring Serializable Executions with Snapshot Isolation DBMS . (Thesis). University of Sydney. Retrieved from http://hdl.handle.net/2123/4211

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

Alomari, Mohammad. “Ensuring Serializable Executions with Snapshot Isolation DBMS .” 2009. Thesis, University of Sydney. Accessed December 14, 2018. http://hdl.handle.net/2123/4211.

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

MLA Handbook (7th Edition):

Alomari, Mohammad. “Ensuring Serializable Executions with Snapshot Isolation DBMS .” 2009. Web. 14 Dec 2018.

Vancouver:

Alomari M. Ensuring Serializable Executions with Snapshot Isolation DBMS . [Internet] [Thesis]. University of Sydney; 2009. [cited 2018 Dec 14]. Available from: http://hdl.handle.net/2123/4211.

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

Council of Science Editors:

Alomari M. Ensuring Serializable Executions with Snapshot Isolation DBMS . [Thesis]. University of Sydney; 2009. Available from: http://hdl.handle.net/2123/4211

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


University of Cambridge

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

Degree: 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 . (Thesis). University of Cambridge. Retrieved from https://www.repository.cam.ac.uk/handle/1810/274465

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

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

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

MLA Handbook (7th Edition):

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

Vancouver:

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

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

Council of Science Editors:

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

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


University of Sydney

15. Cahill, Michael James. Serializable Isolation for Snapshot Databases .

Degree: 2009, University of Sydney

 Many popular database management systems implement a multiversion concurrency control algorithm called snapshot isolation rather than providing full serializability based on locking. There are well-known… (more)

Subjects/Keywords: databases; transactions; concurrency control; snapshot isolation; serialiazability

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cahill, M. J. (2009). Serializable Isolation for Snapshot Databases . (Thesis). University of Sydney. Retrieved from http://hdl.handle.net/2123/5353

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

Cahill, Michael James. “Serializable Isolation for Snapshot Databases .” 2009. Thesis, University of Sydney. Accessed December 14, 2018. http://hdl.handle.net/2123/5353.

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

MLA Handbook (7th Edition):

Cahill, Michael James. “Serializable Isolation for Snapshot Databases .” 2009. Web. 14 Dec 2018.

Vancouver:

Cahill MJ. Serializable Isolation for Snapshot Databases . [Internet] [Thesis]. University of Sydney; 2009. [cited 2018 Dec 14]. Available from: http://hdl.handle.net/2123/5353.

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

Council of Science Editors:

Cahill MJ. Serializable Isolation for Snapshot Databases . [Thesis]. University of Sydney; 2009. Available from: http://hdl.handle.net/2123/5353

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


University of Kansas

16. 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 December 14, 2018. 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. 14 Dec 2018.

Vancouver:

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

17. 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 December 14, 2018. 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. 14 Dec 2018.

Vancouver:

Johnell C. Parallel programming in Go and Scala : A performance comparison. [Internet] [Thesis]. , Department of Software Engineering; 2015. [cited 2018 Dec 14]. 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


Queens University

18. Auer, Anthony. Using Discrete-Event Systems for the Automatic Generation of Concurrency Control for Dynamic Threads .

Degree: Computing, 2010, Queens University

 The application of Discrete-Event Systems (DES) theory to the problem of guar- anteeably enforcing concurrency constraints in multi-threaded applications has been studied under certain assumptions,… (more)

Subjects/Keywords: software; discrete event systems; concurrency; modelling

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Auer, A. (2010). Using Discrete-Event Systems for the Automatic Generation of Concurrency Control for Dynamic Threads . (Thesis). Queens University. Retrieved from http://hdl.handle.net/1974/5690

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

Auer, Anthony. “Using Discrete-Event Systems for the Automatic Generation of Concurrency Control for Dynamic Threads .” 2010. Thesis, Queens University. Accessed December 14, 2018. http://hdl.handle.net/1974/5690.

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

MLA Handbook (7th Edition):

Auer, Anthony. “Using Discrete-Event Systems for the Automatic Generation of Concurrency Control for Dynamic Threads .” 2010. Web. 14 Dec 2018.

Vancouver:

Auer A. Using Discrete-Event Systems for the Automatic Generation of Concurrency Control for Dynamic Threads . [Internet] [Thesis]. Queens University; 2010. [cited 2018 Dec 14]. Available from: http://hdl.handle.net/1974/5690.

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

Council of Science Editors:

Auer A. Using Discrete-Event Systems for the Automatic Generation of Concurrency Control for Dynamic Threads . [Thesis]. Queens University; 2010. Available from: http://hdl.handle.net/1974/5690

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

19. 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 December 14, 2018. 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. 14 Dec 2018.

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 2018 Dec 14]. 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 Toronto

20. Lupei, Daniel. A Study of Conflict Detection in Software Transactional Memory.

Degree: 2009, University of Toronto

Transactional Memory (TM) has been proposed as a simpler parallel programming model compared to the traditional locking model. However, uptake from the programming community has… (more)

Subjects/Keywords: software transactional memory; concurrency control; 0984

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lupei, D. (2009). A Study of Conflict Detection in Software Transactional Memory. (Masters Thesis). University of Toronto. Retrieved from http://hdl.handle.net/1807/18804

Chicago Manual of Style (16th Edition):

Lupei, Daniel. “A Study of Conflict Detection in Software Transactional Memory.” 2009. Masters Thesis, University of Toronto. Accessed December 14, 2018. http://hdl.handle.net/1807/18804.

MLA Handbook (7th Edition):

Lupei, Daniel. “A Study of Conflict Detection in Software Transactional Memory.” 2009. Web. 14 Dec 2018.

Vancouver:

Lupei D. A Study of Conflict Detection in Software Transactional Memory. [Internet] [Masters thesis]. University of Toronto; 2009. [cited 2018 Dec 14]. Available from: http://hdl.handle.net/1807/18804.

Council of Science Editors:

Lupei D. A Study of Conflict Detection in Software Transactional Memory. [Masters Thesis]. University of Toronto; 2009. Available from: http://hdl.handle.net/1807/18804


University of Toronto

21. Chew, Lee. A System for Detecting, Preventing and Exposing Atomicity Violations in Multithreaded Programs.

Degree: 2009, University of Toronto

Multi-core machines have become common and have led to an increase in multithreaded software. In turn, the number of concurrency bugs has also increased. Such… (more)

Subjects/Keywords: Concurrency; Systems Design; Atomicity violation; 0984

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chew, L. (2009). A System for Detecting, Preventing and Exposing Atomicity Violations in Multithreaded Programs. (Masters Thesis). University of Toronto. Retrieved from http://hdl.handle.net/1807/18254

Chicago Manual of Style (16th Edition):

Chew, Lee. “A System for Detecting, Preventing and Exposing Atomicity Violations in Multithreaded Programs.” 2009. Masters Thesis, University of Toronto. Accessed December 14, 2018. http://hdl.handle.net/1807/18254.

MLA Handbook (7th Edition):

Chew, Lee. “A System for Detecting, Preventing and Exposing Atomicity Violations in Multithreaded Programs.” 2009. Web. 14 Dec 2018.

Vancouver:

Chew L. A System for Detecting, Preventing and Exposing Atomicity Violations in Multithreaded Programs. [Internet] [Masters thesis]. University of Toronto; 2009. [cited 2018 Dec 14]. Available from: http://hdl.handle.net/1807/18254.

Council of Science Editors:

Chew L. A System for Detecting, Preventing and Exposing Atomicity Violations in Multithreaded Programs. [Masters Thesis]. University of Toronto; 2009. Available from: http://hdl.handle.net/1807/18254


Virginia Tech

22. Barnes II, Robert Otto. Concurrency Optimization for Integrative Network Analysis.

Degree: MS, Electrical and Computer Engineering, 2013, Virginia Tech

 Virginia Tech\'s Computational Bioinformatics and Bio-imaging Laboratory (CBIL) is exploring integrative network analysis techniques to identify subnetworks or genetic pathways that contribute to various cancers.… (more)

Subjects/Keywords: BMRF; simulated annealing; subnetwork identification; concurrency; parallelism

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Barnes II, R. O. (2013). Concurrency Optimization for Integrative Network Analysis. (Masters Thesis). Virginia Tech. Retrieved from http://hdl.handle.net/10919/23220

Chicago Manual of Style (16th Edition):

Barnes II, Robert Otto. “Concurrency Optimization for Integrative Network Analysis.” 2013. Masters Thesis, Virginia Tech. Accessed December 14, 2018. http://hdl.handle.net/10919/23220.

MLA Handbook (7th Edition):

Barnes II, Robert Otto. “Concurrency Optimization for Integrative Network Analysis.” 2013. Web. 14 Dec 2018.

Vancouver:

Barnes II RO. Concurrency Optimization for Integrative Network Analysis. [Internet] [Masters thesis]. Virginia Tech; 2013. [cited 2018 Dec 14]. Available from: http://hdl.handle.net/10919/23220.

Council of Science Editors:

Barnes II RO. Concurrency Optimization for Integrative Network Analysis. [Masters Thesis]. Virginia Tech; 2013. Available from: http://hdl.handle.net/10919/23220


Virginia Tech

23. Dai, Jing. Efficient Concurrent Operations in Spatial Databases.

Degree: Computer Science, 2009, Virginia Tech

 As demanded by applications such as GIS, CAD, ecology analysis, and space research, efficient spatial data access methods have attracted much research. Especially, moving object… (more)

Subjects/Keywords: Indexing; Query Processing; Concurrency Control; Spatial Database

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dai, J. (2009). Efficient Concurrent Operations in Spatial Databases. (Thesis). Virginia Tech. Retrieved from http://hdl.handle.net/10919/28987

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

Dai, Jing. “Efficient Concurrent Operations in Spatial Databases.” 2009. Thesis, Virginia Tech. Accessed December 14, 2018. http://hdl.handle.net/10919/28987.

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

MLA Handbook (7th Edition):

Dai, Jing. “Efficient Concurrent Operations in Spatial Databases.” 2009. Web. 14 Dec 2018.

Vancouver:

Dai J. Efficient Concurrent Operations in Spatial Databases. [Internet] [Thesis]. Virginia Tech; 2009. [cited 2018 Dec 14]. Available from: http://hdl.handle.net/10919/28987.

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

Council of Science Editors:

Dai J. Efficient Concurrent Operations in Spatial Databases. [Thesis]. Virginia Tech; 2009. Available from: http://hdl.handle.net/10919/28987

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


Queensland University of Technology

24. 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 December 14, 2018. 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. 14 Dec 2018.

Vancouver:

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

25. 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 December 14, 2018. 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. 14 Dec 2018.

Vancouver:

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

26. 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 December 14, 2018. 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. 14 Dec 2018.

Vancouver:

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

27. 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 December 14, 2018. 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. 14 Dec 2018.

Vancouver:

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


University of Nevada – Las Vegas

28. Daleiden, Patrick M. Empirical Study of Concurrent Programming Paradigms.

Degree: MSin Computer Science, Computer Science, 2016, University of Nevada – Las Vegas

  Various concurrent programming paradigms have been proposed by language designers in an effort to simplify some of the unique constructs required to handle concurrent… (more)

Subjects/Keywords: Concurrency; Empirical; Languages; Parallel; Programming; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Daleiden, P. M. (2016). Empirical Study of Concurrent Programming Paradigms. (Masters Thesis). University of Nevada – Las Vegas. Retrieved from https://digitalscholarship.unlv.edu/thesesdissertations/2660

Chicago Manual of Style (16th Edition):

Daleiden, Patrick M. “Empirical Study of Concurrent Programming Paradigms.” 2016. Masters Thesis, University of Nevada – Las Vegas. Accessed December 14, 2018. https://digitalscholarship.unlv.edu/thesesdissertations/2660.

MLA Handbook (7th Edition):

Daleiden, Patrick M. “Empirical Study of Concurrent Programming Paradigms.” 2016. Web. 14 Dec 2018.

Vancouver:

Daleiden PM. Empirical Study of Concurrent Programming Paradigms. [Internet] [Masters thesis]. University of Nevada – Las Vegas; 2016. [cited 2018 Dec 14]. Available from: https://digitalscholarship.unlv.edu/thesesdissertations/2660.

Council of Science Editors:

Daleiden PM. Empirical Study of Concurrent Programming Paradigms. [Masters Thesis]. University of Nevada – Las Vegas; 2016. Available from: https://digitalscholarship.unlv.edu/thesesdissertations/2660


Iowa State University

29. Long, Yuheng. Implicit Invocation Meets Safe, Implicit Concurrency.

Degree: 2010, Iowa State University

 Writing correct and efficient concurrent programs still remains a challenge. Explicit concurrency is difficult, error prone, and creates code which is hard to maintain and… (more)

Subjects/Keywords: Modularity; Safe Implicit Concurrency; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Long, Y. (2010). Implicit Invocation Meets Safe, Implicit Concurrency. (Thesis). Iowa State University. Retrieved from https://lib.dr.iastate.edu/etd/11853

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

Long, Yuheng. “Implicit Invocation Meets Safe, Implicit Concurrency.” 2010. Thesis, Iowa State University. Accessed December 14, 2018. https://lib.dr.iastate.edu/etd/11853.

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

MLA Handbook (7th Edition):

Long, Yuheng. “Implicit Invocation Meets Safe, Implicit Concurrency.” 2010. Web. 14 Dec 2018.

Vancouver:

Long Y. Implicit Invocation Meets Safe, Implicit Concurrency. [Internet] [Thesis]. Iowa State University; 2010. [cited 2018 Dec 14]. Available from: https://lib.dr.iastate.edu/etd/11853.

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

Council of Science Editors:

Long Y. Implicit Invocation Meets Safe, Implicit Concurrency. [Thesis]. Iowa State University; 2010. Available from: https://lib.dr.iastate.edu/etd/11853

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


Virginia Tech

30. 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 December 14, 2018. http://hdl.handle.net/10919/84399.

MLA Handbook (7th Edition):

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

Vancouver:

Kusano MJU. Constraint-Based Thread-Modular Abstract Interpretation. [Internet] [Doctoral dissertation]. Virginia Tech; 2018. [cited 2018 Dec 14]. 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

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

.