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 runtime parallelism correctness bug detection performance data race dynamic analysis). Showing records 1 – 30 of 191186 total matches.

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

Search Limiters

Last 2 Years | English Only

Degrees

Languages

Country

▼ Search Limiters

1. Cao, Man. Efficient, Practical Dynamic Program Analyses for Concurrency Correctness.

Degree: PhD, Computer Science and Engineering, 2017, The Ohio State University

 Shared-memory parallel programs are notoriously difficult to be both scalable and correct. One of the most problematic concurrency bugs is data race. Data races are… (more)

Subjects/Keywords: Computer Science; Computer Engineering; concurrency, runtime, parallelism, correctness, bug detection, performance, data race, dynamic analysis

…Lightweight Data Race Detection for Production Runs. In International Conference on Compiler… …concurrency issues, such as deadlock, data race, atomicity violation, and nondeterminism. General… …data races. Notable examples of runtime support include data race detectors (e.g., [… …practical dynamic program analyses and runtime support must handle executions containing data… …races. Runtime support that ignores data races is unsound and unreliable. For an analysis that… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cao, M. (2017). Efficient, Practical Dynamic Program Analyses for Concurrency Correctness. (Doctoral Dissertation). The Ohio State University. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=osu1492703503634986

Chicago Manual of Style (16th Edition):

Cao, Man. “Efficient, Practical Dynamic Program Analyses for Concurrency Correctness.” 2017. Doctoral Dissertation, The Ohio State University. Accessed March 03, 2021. http://rave.ohiolink.edu/etdc/view?acc_num=osu1492703503634986.

MLA Handbook (7th Edition):

Cao, Man. “Efficient, Practical Dynamic Program Analyses for Concurrency Correctness.” 2017. Web. 03 Mar 2021.

Vancouver:

Cao M. Efficient, Practical Dynamic Program Analyses for Concurrency Correctness. [Internet] [Doctoral dissertation]. The Ohio State University; 2017. [cited 2021 Mar 03]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu1492703503634986.

Council of Science Editors:

Cao M. Efficient, Practical Dynamic Program Analyses for Concurrency Correctness. [Doctoral Dissertation]. The Ohio State University; 2017. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu1492703503634986


Texas A&M University

2. Rajagopalan, Arun Krishnakumar. Fast and Precise On-The-Fly Data Race Detection.

Degree: MS, Computer Science, 2016, Texas A&M University

 While concurrent programming is quickly gaining popularity lately, developing bug-free programs is still challenging. Although developers have a wide choice of race detection tools available,… (more)

Subjects/Keywords: bug detection; concurrency; debugging; dynamic analysis; parallelism; performance analysis; runtime monitoring; software engineering; redundancy; data race; missing events; precise detection; happens-before; maximal thread causality

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Rajagopalan, A. K. (2016). Fast and Precise On-The-Fly Data Race Detection. (Masters Thesis). Texas A&M University. Retrieved from http://hdl.handle.net/1969.1/157131

Chicago Manual of Style (16th Edition):

Rajagopalan, Arun Krishnakumar. “Fast and Precise On-The-Fly Data Race Detection.” 2016. Masters Thesis, Texas A&M University. Accessed March 03, 2021. http://hdl.handle.net/1969.1/157131.

MLA Handbook (7th Edition):

Rajagopalan, Arun Krishnakumar. “Fast and Precise On-The-Fly Data Race Detection.” 2016. Web. 03 Mar 2021.

Vancouver:

Rajagopalan AK. Fast and Precise On-The-Fly Data Race Detection. [Internet] [Masters thesis]. Texas A&M University; 2016. [cited 2021 Mar 03]. Available from: http://hdl.handle.net/1969.1/157131.

Council of Science Editors:

Rajagopalan AK. Fast and Precise On-The-Fly Data Race Detection. [Masters Thesis]. Texas A&M University; 2016. Available from: http://hdl.handle.net/1969.1/157131


University of Illinois – Urbana-Champaign

3. 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 03, 2021. http://hdl.handle.net/2142/45603.

MLA Handbook (7th Edition):

Qi, Shanxiang. “Techniques to detect and avert advanced software concurrency bugs.” 2013. Web. 03 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 03]. 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 New South Wales

4. 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 03, 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. 03 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 03]. 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


University of Illinois – Urbana-Champaign

5. Dang, Hoang-Vu. Fast and generic concurrent message-passing.

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

 Communication hardware and software have a significant impact on the performance of clusters and supercomputers. Message passing model and the Message-Passing Interface (MPI) is a… (more)

Subjects/Keywords: MPI; message-passing; communication; runtime; concurrency; parallelism; performance

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dang, H. (2018). Fast and generic concurrent message-passing. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/102842

Chicago Manual of Style (16th Edition):

Dang, Hoang-Vu. “Fast and generic concurrent message-passing.” 2018. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed March 03, 2021. http://hdl.handle.net/2142/102842.

MLA Handbook (7th Edition):

Dang, Hoang-Vu. “Fast and generic concurrent message-passing.” 2018. Web. 03 Mar 2021.

Vancouver:

Dang H. Fast and generic concurrent message-passing. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2018. [cited 2021 Mar 03]. Available from: http://hdl.handle.net/2142/102842.

Council of Science Editors:

Dang H. Fast and generic concurrent message-passing. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2018. Available from: http://hdl.handle.net/2142/102842


University of Illinois – Chicago

6. Gondi, Kalpana. Program Transformation Techniques for Erasing Sensitive Data in Sequential and Concurrent Applications.

Degree: 2014, University of Illinois – Chicago

 The memory footprints of sensitive data in security critical systems programs and end user applications is generally not ensured to be kept small. This results… (more)

Subjects/Keywords: Security; Data lifetime; Static analysis; Program transformation; concurrency; race-detection; Confidentiality

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gondi, K. (2014). Program Transformation Techniques for Erasing Sensitive Data in Sequential and Concurrent Applications. (Thesis). University of Illinois – Chicago. Retrieved from http://hdl.handle.net/10027/11204

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

Gondi, Kalpana. “Program Transformation Techniques for Erasing Sensitive Data in Sequential and Concurrent Applications.” 2014. Thesis, University of Illinois – Chicago. Accessed March 03, 2021. http://hdl.handle.net/10027/11204.

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

MLA Handbook (7th Edition):

Gondi, Kalpana. “Program Transformation Techniques for Erasing Sensitive Data in Sequential and Concurrent Applications.” 2014. Web. 03 Mar 2021.

Vancouver:

Gondi K. Program Transformation Techniques for Erasing Sensitive Data in Sequential and Concurrent Applications. [Internet] [Thesis]. University of Illinois – Chicago; 2014. [cited 2021 Mar 03]. Available from: http://hdl.handle.net/10027/11204.

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

Council of Science Editors:

Gondi K. Program Transformation Techniques for Erasing Sensitive Data in Sequential and Concurrent Applications. [Thesis]. University of Illinois – Chicago; 2014. Available from: http://hdl.handle.net/10027/11204

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


Virginia Tech

7. Zhang, Tong. Designing Practical Software Bug Detectors Using Commodity Hardware and Common Programming Patterns.

Degree: PhD, Computer Science and Applications, 2020, Virginia Tech

 Software bugs have caused many real-world problems, e.g., the 2003 Northeast blackout and the Facebook stock price mismatch. Finding bugs is critical to solving those… (more)

Subjects/Keywords: Software Bug Detection; Compilers; Commodity Hardware; Data Race Detection; Memory Safety; Permission Check Placement Analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zhang, T. (2020). Designing Practical Software Bug Detectors Using Commodity Hardware and Common Programming Patterns. (Doctoral Dissertation). Virginia Tech. Retrieved from http://hdl.handle.net/10919/96422

Chicago Manual of Style (16th Edition):

Zhang, Tong. “Designing Practical Software Bug Detectors Using Commodity Hardware and Common Programming Patterns.” 2020. Doctoral Dissertation, Virginia Tech. Accessed March 03, 2021. http://hdl.handle.net/10919/96422.

MLA Handbook (7th Edition):

Zhang, Tong. “Designing Practical Software Bug Detectors Using Commodity Hardware and Common Programming Patterns.” 2020. Web. 03 Mar 2021.

Vancouver:

Zhang T. Designing Practical Software Bug Detectors Using Commodity Hardware and Common Programming Patterns. [Internet] [Doctoral dissertation]. Virginia Tech; 2020. [cited 2021 Mar 03]. Available from: http://hdl.handle.net/10919/96422.

Council of Science Editors:

Zhang T. Designing Practical Software Bug Detectors Using Commodity Hardware and Common Programming Patterns. [Doctoral Dissertation]. Virginia Tech; 2020. Available from: http://hdl.handle.net/10919/96422


Indian Institute of Science

8. Samak, Malavika. Targeted Client Synthesis for Detecting Concurrency Bugs.

Degree: PhD, Faculty of Engineering, 2018, Indian Institute of Science

 Detecting concurrency bugs can be challenging due to the intricacies associated with their manifestation. These intricacies correspond to identifying the methods that need to be… (more)

Subjects/Keywords: Concurrency Bugs; Dynamic Analysis; Program Synthesis; Deadlock Detection; Bytecode Instrumentation; Targeted Client Synthesis; Dynamic Deadlock Detection; Multithreaded Client Synthesis; Atomicity Violations; Shared Memory; Dynamic Concurrency Bug Detectors; Racy Tests; Bug Detection; Computer Science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Samak, M. (2018). Targeted Client Synthesis for Detecting Concurrency Bugs. (Doctoral Dissertation). Indian Institute of Science. Retrieved from http://etd.iisc.ac.in/handle/2005/2943

Chicago Manual of Style (16th Edition):

Samak, Malavika. “Targeted Client Synthesis for Detecting Concurrency Bugs.” 2018. Doctoral Dissertation, Indian Institute of Science. Accessed March 03, 2021. http://etd.iisc.ac.in/handle/2005/2943.

MLA Handbook (7th Edition):

Samak, Malavika. “Targeted Client Synthesis for Detecting Concurrency Bugs.” 2018. Web. 03 Mar 2021.

Vancouver:

Samak M. Targeted Client Synthesis for Detecting Concurrency Bugs. [Internet] [Doctoral dissertation]. Indian Institute of Science; 2018. [cited 2021 Mar 03]. Available from: http://etd.iisc.ac.in/handle/2005/2943.

Council of Science Editors:

Samak M. Targeted Client Synthesis for Detecting Concurrency Bugs. [Doctoral Dissertation]. Indian Institute of Science; 2018. Available from: http://etd.iisc.ac.in/handle/2005/2943


Virginia Tech

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

Degree: PhD, Computer Science and Applications, 2013, Virginia Tech

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

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

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

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

Chicago Manual of Style (16th Edition):

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

MLA Handbook (7th Edition):

Pyla, Hari Krishna. “Safe Concurrent Programming and Execution.” 2013. Web. 03 Mar 2021.

Vancouver:

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

Council of Science Editors:

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


Universidade Nova

10. Delgado, Nuno Miguel de Brito. A system’s approach to cache hierarchy-aware decomposition of data-parallel computations.

Degree: 2014, Universidade Nova

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

The architecture of nowadays’ processors is very complex, comprising several computational cores and an intricate… (more)

Subjects/Keywords: Data-parallelism; Hierarchical parallelism; Domain decomposition; Runtime systems

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Delgado, N. M. d. B. (2014). A system’s approach to cache hierarchy-aware decomposition of data-parallel computations. (Thesis). Universidade Nova. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/13014

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

Delgado, Nuno Miguel de Brito. “A system’s approach to cache hierarchy-aware decomposition of data-parallel computations.” 2014. Thesis, Universidade Nova. Accessed March 03, 2021. http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/13014.

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

MLA Handbook (7th Edition):

Delgado, Nuno Miguel de Brito. “A system’s approach to cache hierarchy-aware decomposition of data-parallel computations.” 2014. Web. 03 Mar 2021.

Vancouver:

Delgado NMdB. A system’s approach to cache hierarchy-aware decomposition of data-parallel computations. [Internet] [Thesis]. Universidade Nova; 2014. [cited 2021 Mar 03]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/13014.

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

Council of Science Editors:

Delgado NMdB. A system’s approach to cache hierarchy-aware decomposition of data-parallel computations. [Thesis]. Universidade Nova; 2014. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/13014

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

11. Roemer, Jake. Practical High-Coverage Sound Predictive Race Detection.

Degree: PhD, Computer Science and Engineering, 2019, The Ohio State University

Data races pose a fundamental issue plaguing the reliability of parallel software. A shared-memory program has a data race if two conflicting memory accesses (accesses… (more)

Subjects/Keywords: Computer Science; Computer Engineering; Data race detection; dynamic predictive analysis; dynamic analysis; software testing and debugging; software and its engineering

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

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Roemer, J. (2019). Practical High-Coverage Sound Predictive Race Detection. (Doctoral Dissertation). The Ohio State University. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=osu1563505463237874

Chicago Manual of Style (16th Edition):

Roemer, Jake. “Practical High-Coverage Sound Predictive Race Detection.” 2019. Doctoral Dissertation, The Ohio State University. Accessed March 03, 2021. http://rave.ohiolink.edu/etdc/view?acc_num=osu1563505463237874.

MLA Handbook (7th Edition):

Roemer, Jake. “Practical High-Coverage Sound Predictive Race Detection.” 2019. Web. 03 Mar 2021.

Vancouver:

Roemer J. Practical High-Coverage Sound Predictive Race Detection. [Internet] [Doctoral dissertation]. The Ohio State University; 2019. [cited 2021 Mar 03]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu1563505463237874.

Council of Science Editors:

Roemer J. Practical High-Coverage Sound Predictive Race Detection. [Doctoral Dissertation]. The Ohio State University; 2019. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu1563505463237874

12. Iqbal, Muhammad Shahid. Runtime Analysis of Malware.

Degree: 2011, , School of Computing

Context: Every day increasing number of malwares are spreading around the world and infecting not only end users but also large organizations. This results… (more)

Subjects/Keywords: Malware; Automated analysis; Runtime analysis; Dynamic analysis; Malicious; behaviour; Characteristics; Detection; Computer Sciences; Datavetenskap (datalogi)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Iqbal, M. S. (2011). Runtime Analysis of Malware. (Thesis). , School of Computing. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:bth-2930

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

Iqbal, Muhammad Shahid. “Runtime Analysis of Malware.” 2011. Thesis, , School of Computing. Accessed March 03, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-2930.

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

MLA Handbook (7th Edition):

Iqbal, Muhammad Shahid. “Runtime Analysis of Malware.” 2011. Web. 03 Mar 2021.

Vancouver:

Iqbal MS. Runtime Analysis of Malware. [Internet] [Thesis]. , School of Computing; 2011. [cited 2021 Mar 03]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:bth-2930.

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

Council of Science Editors:

Iqbal MS. Runtime Analysis of Malware. [Thesis]. , School of Computing; 2011. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:bth-2930

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


The Ohio State University

13. Zhang, Minjia. Efficient Runtime Support for Reliable and Scalable Parallelism.

Degree: PhD, Computer Science and Engineering, 2016, The Ohio State University

 Commodity hardware is becoming more parallel. To benefit from parallel hardware, software needs to become more parallel as well. Parallel execution of a concurrent program… (more)

Subjects/Keywords: Computer Engineering; Concurrency, Parallelism, Runtime Support, Dependence Tracking, Transactional Memory, Memory Model

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zhang, M. (2016). Efficient Runtime Support for Reliable and Scalable Parallelism. (Doctoral Dissertation). The Ohio State University. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=osu1469557197

Chicago Manual of Style (16th Edition):

Zhang, Minjia. “Efficient Runtime Support for Reliable and Scalable Parallelism.” 2016. Doctoral Dissertation, The Ohio State University. Accessed March 03, 2021. http://rave.ohiolink.edu/etdc/view?acc_num=osu1469557197.

MLA Handbook (7th Edition):

Zhang, Minjia. “Efficient Runtime Support for Reliable and Scalable Parallelism.” 2016. Web. 03 Mar 2021.

Vancouver:

Zhang M. Efficient Runtime Support for Reliable and Scalable Parallelism. [Internet] [Doctoral dissertation]. The Ohio State University; 2016. [cited 2021 Mar 03]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu1469557197.

Council of Science Editors:

Zhang M. Efficient Runtime Support for Reliable and Scalable Parallelism. [Doctoral Dissertation]. The Ohio State University; 2016. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu1469557197


Carnegie Mellon University

14. Hartman, Gregory S. Attentiveness: Reactivity at Scale.

Degree: 2010, Carnegie Mellon University

 Clients of reactive systems often change their priorities. For example, a human user of an email viewer may attempt to display a message while a… (more)

Subjects/Keywords: Reactive systems; responsiveness; state consistency; concurrency; distributed systems; data race detection; cancel; rollback

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hartman, G. S. (2010). Attentiveness: Reactivity at Scale. (Thesis). Carnegie Mellon University. Retrieved from http://repository.cmu.edu/dissertations/15

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

Hartman, Gregory S. “Attentiveness: Reactivity at Scale.” 2010. Thesis, Carnegie Mellon University. Accessed March 03, 2021. http://repository.cmu.edu/dissertations/15.

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

MLA Handbook (7th Edition):

Hartman, Gregory S. “Attentiveness: Reactivity at Scale.” 2010. Web. 03 Mar 2021.

Vancouver:

Hartman GS. Attentiveness: Reactivity at Scale. [Internet] [Thesis]. Carnegie Mellon University; 2010. [cited 2021 Mar 03]. Available from: http://repository.cmu.edu/dissertations/15.

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

Council of Science Editors:

Hartman GS. Attentiveness: Reactivity at Scale. [Thesis]. Carnegie Mellon University; 2010. Available from: http://repository.cmu.edu/dissertations/15

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


University of Illinois – Urbana-Champaign

15. Kumar, Rajesh. Efficient execution of fine-grained actors on multicore processors.

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

 The Actor model is a promising model for programming new computing platforms such as the multicores and cloud computers, primarily due to features such as… (more)

Subjects/Keywords: multicore; efficiency; performance; actor model; concurrency; parallelism; programming; ActorFoundry; games

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kumar, R. (2013). Efficient execution of fine-grained actors on multicore processors. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/44758

Chicago Manual of Style (16th Edition):

Kumar, Rajesh. “Efficient execution of fine-grained actors on multicore processors.” 2013. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed March 03, 2021. http://hdl.handle.net/2142/44758.

MLA Handbook (7th Edition):

Kumar, Rajesh. “Efficient execution of fine-grained actors on multicore processors.” 2013. Web. 03 Mar 2021.

Vancouver:

Kumar R. Efficient execution of fine-grained actors on multicore processors. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2013. [cited 2021 Mar 03]. Available from: http://hdl.handle.net/2142/44758.

Council of Science Editors:

Kumar R. Efficient execution of fine-grained actors on multicore processors. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2013. Available from: http://hdl.handle.net/2142/44758


Rice University

16. Chatarasi, Prasanth. Extending the Polyhedral Compilation Model for Debugging and Optimization of SPMD-style Explicitly-Parallel Programs.

Degree: MS, Engineering, 2017, Rice University

 The SPMD (Single Program Multiple Data) parallelism continues to be one of the most popular parallel execution models in use today, as exemplified by OpenMP… (more)

Subjects/Keywords: SPMD parallelism; Data race detection; Redundant barriers; Polyhedral model; Phase mapping; Space mapping; May-Happen-in-Parallel relations

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chatarasi, P. (2017). Extending the Polyhedral Compilation Model for Debugging and Optimization of SPMD-style Explicitly-Parallel Programs. (Masters Thesis). Rice University. Retrieved from http://hdl.handle.net/1911/105463

Chicago Manual of Style (16th Edition):

Chatarasi, Prasanth. “Extending the Polyhedral Compilation Model for Debugging and Optimization of SPMD-style Explicitly-Parallel Programs.” 2017. Masters Thesis, Rice University. Accessed March 03, 2021. http://hdl.handle.net/1911/105463.

MLA Handbook (7th Edition):

Chatarasi, Prasanth. “Extending the Polyhedral Compilation Model for Debugging and Optimization of SPMD-style Explicitly-Parallel Programs.” 2017. Web. 03 Mar 2021.

Vancouver:

Chatarasi P. Extending the Polyhedral Compilation Model for Debugging and Optimization of SPMD-style Explicitly-Parallel Programs. [Internet] [Masters thesis]. Rice University; 2017. [cited 2021 Mar 03]. Available from: http://hdl.handle.net/1911/105463.

Council of Science Editors:

Chatarasi P. Extending the Polyhedral Compilation Model for Debugging and Optimization of SPMD-style Explicitly-Parallel Programs. [Masters Thesis]. Rice University; 2017. Available from: http://hdl.handle.net/1911/105463


University of New South Wales

17. Yan, Hua. Program analysis of temporal memory mismanagement.

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

 In the use of C/C++ programs, the performance benefits obtained from flexible low-level memory access and management sacrifice language-level support for memory safety and garbage… (more)

Subjects/Keywords: Bug detection; Program analysis; Memory error

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Yan, H. (2018). Program analysis of temporal memory mismanagement. (Doctoral Dissertation). University of New South Wales. Retrieved from http://handle.unsw.edu.au/1959.4/59503 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:48807/SOURCE02?view=true

Chicago Manual of Style (16th Edition):

Yan, Hua. “Program analysis of temporal memory mismanagement.” 2018. Doctoral Dissertation, University of New South Wales. Accessed March 03, 2021. http://handle.unsw.edu.au/1959.4/59503 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:48807/SOURCE02?view=true.

MLA Handbook (7th Edition):

Yan, Hua. “Program analysis of temporal memory mismanagement.” 2018. Web. 03 Mar 2021.

Vancouver:

Yan H. Program analysis of temporal memory mismanagement. [Internet] [Doctoral dissertation]. University of New South Wales; 2018. [cited 2021 Mar 03]. Available from: http://handle.unsw.edu.au/1959.4/59503 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:48807/SOURCE02?view=true.

Council of Science Editors:

Yan H. Program analysis of temporal memory mismanagement. [Doctoral Dissertation]. University of New South Wales; 2018. Available from: http://handle.unsw.edu.au/1959.4/59503 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:48807/SOURCE02?view=true


Brno University of Technology

18. Mužikovská, Monika. Podpora pro monitorování procesů za běhu v prostředí ANaConDA: Support of Run-time Monitoring of Processes in ANaConDA Framework.

Degree: 2020, Brno University of Technology

 This work extends ANaConDA framework for dynamic analysis of multi-threaded programs with support for multi-process monitoring. This thesis summarizes ANaConDA's approach to analysis and differences… (more)

Subjects/Keywords: analýza procesů; dynamická analýza; ANaConDA; synchronizace; happens-before relace; vektorové hodiny; obecné semafory; sdílená paměť; logické adresy; paralelní chyby; souběh; AtomRace; FastTrack; multi-process analysis; dynamic analysis; ANaConDA; synchronisation; happens-before relation; vector clocks; general semaphores; shared memory; virtual address; concurrency-related errors; data race; AtomRace; FastTrack

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mužikovská, M. (2020). Podpora pro monitorování procesů za běhu v prostředí ANaConDA: Support of Run-time Monitoring of Processes in ANaConDA Framework. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/192462

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

Mužikovská, Monika. “Podpora pro monitorování procesů za běhu v prostředí ANaConDA: Support of Run-time Monitoring of Processes in ANaConDA Framework.” 2020. Thesis, Brno University of Technology. Accessed March 03, 2021. http://hdl.handle.net/11012/192462.

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

MLA Handbook (7th Edition):

Mužikovská, Monika. “Podpora pro monitorování procesů za běhu v prostředí ANaConDA: Support of Run-time Monitoring of Processes in ANaConDA Framework.” 2020. Web. 03 Mar 2021.

Vancouver:

Mužikovská M. Podpora pro monitorování procesů za běhu v prostředí ANaConDA: Support of Run-time Monitoring of Processes in ANaConDA Framework. [Internet] [Thesis]. Brno University of Technology; 2020. [cited 2021 Mar 03]. Available from: http://hdl.handle.net/11012/192462.

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

Council of Science Editors:

Mužikovská M. Podpora pro monitorování procesů za běhu v prostředí ANaConDA: Support of Run-time Monitoring of Processes in ANaConDA Framework. [Thesis]. Brno University of Technology; 2020. Available from: http://hdl.handle.net/11012/192462

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


Texas A&M University

19. Papadopoulos, Ioannis. STAPL-RTS: A Runtime System for Massive Parallelism.

Degree: PhD, Computer Science, 2016, Texas A&M University

 Modern High Performance Computing (HPC) systems are complex, with deep memory hierarchies and increasing use of computational heterogeneity via accelerators. When developing applications for these… (more)

Subjects/Keywords: parallel; runtime system; high performance; nested parallelism; asynchronous; shared memory; distributed memory

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Papadopoulos, I. (2016). STAPL-RTS: A Runtime System for Massive Parallelism. (Doctoral Dissertation). Texas A&M University. Retrieved from http://hdl.handle.net/1969.1/156985

Chicago Manual of Style (16th Edition):

Papadopoulos, Ioannis. “STAPL-RTS: A Runtime System for Massive Parallelism.” 2016. Doctoral Dissertation, Texas A&M University. Accessed March 03, 2021. http://hdl.handle.net/1969.1/156985.

MLA Handbook (7th Edition):

Papadopoulos, Ioannis. “STAPL-RTS: A Runtime System for Massive Parallelism.” 2016. Web. 03 Mar 2021.

Vancouver:

Papadopoulos I. STAPL-RTS: A Runtime System for Massive Parallelism. [Internet] [Doctoral dissertation]. Texas A&M University; 2016. [cited 2021 Mar 03]. Available from: http://hdl.handle.net/1969.1/156985.

Council of Science Editors:

Papadopoulos I. STAPL-RTS: A Runtime System for Massive Parallelism. [Doctoral Dissertation]. Texas A&M University; 2016. Available from: http://hdl.handle.net/1969.1/156985


University of Colorado

20. Price, Graham David. Dynamic Trace Analysis with Zero-Suppressed BDDs.

Degree: PhD, Electrical, Computer & Energy Engineering, 2011, University of Colorado

  Instruction level parallelism (ILP) limitations have forced processor manufacturers to develop multi-core platforms with the expectation that programs will be able to exploit thread… (more)

Subjects/Keywords: Dynamic Program Analysis; Parallelism; Computer Sciences; Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Price, G. D. (2011). Dynamic Trace Analysis with Zero-Suppressed BDDs. (Doctoral Dissertation). University of Colorado. Retrieved from https://scholar.colorado.edu/ecen_gradetds/27

Chicago Manual of Style (16th Edition):

Price, Graham David. “Dynamic Trace Analysis with Zero-Suppressed BDDs.” 2011. Doctoral Dissertation, University of Colorado. Accessed March 03, 2021. https://scholar.colorado.edu/ecen_gradetds/27.

MLA Handbook (7th Edition):

Price, Graham David. “Dynamic Trace Analysis with Zero-Suppressed BDDs.” 2011. Web. 03 Mar 2021.

Vancouver:

Price GD. Dynamic Trace Analysis with Zero-Suppressed BDDs. [Internet] [Doctoral dissertation]. University of Colorado; 2011. [cited 2021 Mar 03]. Available from: https://scholar.colorado.edu/ecen_gradetds/27.

Council of Science Editors:

Price GD. Dynamic Trace Analysis with Zero-Suppressed BDDs. [Doctoral Dissertation]. University of Colorado; 2011. Available from: https://scholar.colorado.edu/ecen_gradetds/27


Rice University

21. Chatterjee, Sanjay. Runtime Systems for Extreme Scale Platforms.

Degree: PhD, Engineering, 2013, Rice University

 Future extreme-scale systems are expected to contain homogeneous and heterogeneous many-core processors, with O(103) cores per node and O(106) nodes overall. Effective combination of inter… (more)

Subjects/Keywords: Task parallelism; Data-flow; Runtime; Extreme-scale; Exascale; Communications; Locality; Tuning; Phaser; Synchronization

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chatterjee, S. (2013). Runtime Systems for Extreme Scale Platforms. (Doctoral Dissertation). Rice University. Retrieved from http://hdl.handle.net/1911/76173

Chicago Manual of Style (16th Edition):

Chatterjee, Sanjay. “Runtime Systems for Extreme Scale Platforms.” 2013. Doctoral Dissertation, Rice University. Accessed March 03, 2021. http://hdl.handle.net/1911/76173.

MLA Handbook (7th Edition):

Chatterjee, Sanjay. “Runtime Systems for Extreme Scale Platforms.” 2013. Web. 03 Mar 2021.

Vancouver:

Chatterjee S. Runtime Systems for Extreme Scale Platforms. [Internet] [Doctoral dissertation]. Rice University; 2013. [cited 2021 Mar 03]. Available from: http://hdl.handle.net/1911/76173.

Council of Science Editors:

Chatterjee S. Runtime Systems for Extreme Scale Platforms. [Doctoral Dissertation]. Rice University; 2013. Available from: http://hdl.handle.net/1911/76173


Rice University

22. Chatterjee, Sanjay. Runtime Models for Extreme Scale Systems.

Degree: PhD, Engineering, 2013, Rice University

 Future extreme-scale systems are expected to contain homogeneous and heterogeneous many-core processors, with up to O(103) cores per node and O(106) nodes overall. Effective combination… (more)

Subjects/Keywords: Task parallelism; Data-flow; Runtime; Extreme-scale; Exascale; Communications; Locality; Tuning; Phaser; Synchronization

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chatterjee, S. (2013). Runtime Models for Extreme Scale Systems. (Doctoral Dissertation). Rice University. Retrieved from http://hdl.handle.net/1911/76416

Chicago Manual of Style (16th Edition):

Chatterjee, Sanjay. “Runtime Models for Extreme Scale Systems.” 2013. Doctoral Dissertation, Rice University. Accessed March 03, 2021. http://hdl.handle.net/1911/76416.

MLA Handbook (7th Edition):

Chatterjee, Sanjay. “Runtime Models for Extreme Scale Systems.” 2013. Web. 03 Mar 2021.

Vancouver:

Chatterjee S. Runtime Models for Extreme Scale Systems. [Internet] [Doctoral dissertation]. Rice University; 2013. [cited 2021 Mar 03]. Available from: http://hdl.handle.net/1911/76416.

Council of Science Editors:

Chatterjee S. Runtime Models for Extreme Scale Systems. [Doctoral Dissertation]. Rice University; 2013. Available from: http://hdl.handle.net/1911/76416


University of Illinois – Urbana-Champaign

23. 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 03, 2021. http://hdl.handle.net/2142/87955.

MLA Handbook (7th Edition):

Luo, Qingzhou. “Testing, runtime verification, and analysis of concurrent programs.” 2015. Web. 03 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 03]. 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 Waterloo

24. Radhakrishnan, Srihari. High Performance Web Servers: A Study In Concurrent Programming Models.

Degree: 2019, University of Waterloo

 With the advent of commodity large-scale multi-core computers, the performance of software running on these computers has become a challenge to researchers and enterprise developers.… (more)

Subjects/Keywords: concurrency; parallelism; web-servers; high-performance concurrent application; distributed system; user-level threading

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Radhakrishnan, S. (2019). High Performance Web Servers: A Study In Concurrent Programming Models. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/14706

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

Radhakrishnan, Srihari. “High Performance Web Servers: A Study In Concurrent Programming Models.” 2019. Thesis, University of Waterloo. Accessed March 03, 2021. http://hdl.handle.net/10012/14706.

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

MLA Handbook (7th Edition):

Radhakrishnan, Srihari. “High Performance Web Servers: A Study In Concurrent Programming Models.” 2019. Web. 03 Mar 2021.

Vancouver:

Radhakrishnan S. High Performance Web Servers: A Study In Concurrent Programming Models. [Internet] [Thesis]. University of Waterloo; 2019. [cited 2021 Mar 03]. Available from: http://hdl.handle.net/10012/14706.

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

Council of Science Editors:

Radhakrishnan S. High Performance Web Servers: A Study In Concurrent Programming Models. [Thesis]. University of Waterloo; 2019. Available from: http://hdl.handle.net/10012/14706

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

25. Kiemele, Liam. KFusion: obtaining modularity and performance with regards to general purpose GPU computing and co-processors.

Degree: Dept. of Computer Science, 2012, University of Victoria

Concurrency has recently come to the forefront of computing as multi-core processors become more and more common. General purpose graphics processing unit computing brings with… (more)

Subjects/Keywords: modularity; performance; OpenCL; concurrency; parallelism

…of concurrency and parallelism. Co-processors are also becoming more and more common and… …significant performance increase through parallelism, but also brings challenges associated with… …simulation. Image manipulation provides a very data intensive example and the best performance case… …in terms of performance and usability. I do a qualitative analysis of Kfusion’s usability… …performance using aspects. 2.2 Concurrency In 2005, Herb Stutter put forth a paper The Free Lunch… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kiemele, L. (2012). KFusion: obtaining modularity and performance with regards to general purpose GPU computing and co-processors. (Masters Thesis). University of Victoria. Retrieved from http://hdl.handle.net/1828/4357

Chicago Manual of Style (16th Edition):

Kiemele, Liam. “KFusion: obtaining modularity and performance with regards to general purpose GPU computing and co-processors.” 2012. Masters Thesis, University of Victoria. Accessed March 03, 2021. http://hdl.handle.net/1828/4357.

MLA Handbook (7th Edition):

Kiemele, Liam. “KFusion: obtaining modularity and performance with regards to general purpose GPU computing and co-processors.” 2012. Web. 03 Mar 2021.

Vancouver:

Kiemele L. KFusion: obtaining modularity and performance with regards to general purpose GPU computing and co-processors. [Internet] [Masters thesis]. University of Victoria; 2012. [cited 2021 Mar 03]. Available from: http://hdl.handle.net/1828/4357.

Council of Science Editors:

Kiemele L. KFusion: obtaining modularity and performance with regards to general purpose GPU computing and co-processors. [Masters Thesis]. University of Victoria; 2012. Available from: http://hdl.handle.net/1828/4357


Northeastern University

26. Turon, Aaron Joseph. Understanding and expressing scalable concurrency.

Degree: PhD, Department of Computer Science, 2013, Northeastern University

 The Holy Grail of parallel programming is to provide good speedup while hiding or avoiding the pitfalls of concurrency. But some level in the tower… (more)

Subjects/Keywords: concurrency; lock-free data structures; parallelism; programming languages; verification; Computer Sciences; Programming Languages and Compilers

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Turon, A. J. (2013). Understanding and expressing scalable concurrency. (Doctoral Dissertation). Northeastern University. Retrieved from http://hdl.handle.net/2047/d20003058

Chicago Manual of Style (16th Edition):

Turon, Aaron Joseph. “Understanding and expressing scalable concurrency.” 2013. Doctoral Dissertation, Northeastern University. Accessed March 03, 2021. http://hdl.handle.net/2047/d20003058.

MLA Handbook (7th Edition):

Turon, Aaron Joseph. “Understanding and expressing scalable concurrency.” 2013. Web. 03 Mar 2021.

Vancouver:

Turon AJ. Understanding and expressing scalable concurrency. [Internet] [Doctoral dissertation]. Northeastern University; 2013. [cited 2021 Mar 03]. Available from: http://hdl.handle.net/2047/d20003058.

Council of Science Editors:

Turon AJ. Understanding and expressing scalable concurrency. [Doctoral Dissertation]. Northeastern University; 2013. Available from: http://hdl.handle.net/2047/d20003058

27. Jimborean, Alexandra. Adapting the polytope model for dynamic and speculative parallelization : Adaptation du modèle polyhédrique à la parallélisation dynamique et spéculatice.

Degree: Docteur es, Informatique, 2012, Université de Strasbourg

Dans cette thèse, nous décrivons la conception et l'implémentation d'une plate-forme logicielle de spéculation de threads, ou fils d'exécution, appelée VMAD, pour "Virtual Machine for… (more)

Subjects/Keywords: Programmation parallèle; Speculative parallelization; Runtime system; Compiler; Polyhedral model; Dynamic optimizations; Loops; Partial parallelism; LLVM; Automatic parallelization; 005

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Jimborean, A. (2012). Adapting the polytope model for dynamic and speculative parallelization : Adaptation du modèle polyhédrique à la parallélisation dynamique et spéculatice. (Doctoral Dissertation). Université de Strasbourg. Retrieved from http://www.theses.fr/2012STRAD020

Chicago Manual of Style (16th Edition):

Jimborean, Alexandra. “Adapting the polytope model for dynamic and speculative parallelization : Adaptation du modèle polyhédrique à la parallélisation dynamique et spéculatice.” 2012. Doctoral Dissertation, Université de Strasbourg. Accessed March 03, 2021. http://www.theses.fr/2012STRAD020.

MLA Handbook (7th Edition):

Jimborean, Alexandra. “Adapting the polytope model for dynamic and speculative parallelization : Adaptation du modèle polyhédrique à la parallélisation dynamique et spéculatice.” 2012. Web. 03 Mar 2021.

Vancouver:

Jimborean A. Adapting the polytope model for dynamic and speculative parallelization : Adaptation du modèle polyhédrique à la parallélisation dynamique et spéculatice. [Internet] [Doctoral dissertation]. Université de Strasbourg; 2012. [cited 2021 Mar 03]. Available from: http://www.theses.fr/2012STRAD020.

Council of Science Editors:

Jimborean A. Adapting the polytope model for dynamic and speculative parallelization : Adaptation du modèle polyhédrique à la parallélisation dynamique et spéculatice. [Doctoral Dissertation]. Université de Strasbourg; 2012. Available from: http://www.theses.fr/2012STRAD020


University of Sydney

28. 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 March 03, 2021. 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. 03 Mar 2021.

Vancouver:

Alomari M. Ensuring Serializable Executions with Snapshot Isolation DBMS . [Internet] [Thesis]. University of Sydney; 2009. [cited 2021 Mar 03]. 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


The Ohio State University

29. Wei, Pihui. Dynamic Bug Detection in TinyOS Operating Environments.

Degree: MS, Computer Science and Engineering, 2009, The Ohio State University

  Wireless sensor network applications run on resource scarce sensor nodes. A sensor node usually has extremely limited resources in order to run long time… (more)

Subjects/Keywords: Computer Science; Sensor network; Bug detection; Dynamic analysis; TinyOS; NesC

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Wei, P. (2009). Dynamic Bug Detection in TinyOS Operating Environments. (Masters Thesis). The Ohio State University. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=osu1238166929

Chicago Manual of Style (16th Edition):

Wei, Pihui. “Dynamic Bug Detection in TinyOS Operating Environments.” 2009. Masters Thesis, The Ohio State University. Accessed March 03, 2021. http://rave.ohiolink.edu/etdc/view?acc_num=osu1238166929.

MLA Handbook (7th Edition):

Wei, Pihui. “Dynamic Bug Detection in TinyOS Operating Environments.” 2009. Web. 03 Mar 2021.

Vancouver:

Wei P. Dynamic Bug Detection in TinyOS Operating Environments. [Internet] [Masters thesis]. The Ohio State University; 2009. [cited 2021 Mar 03]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu1238166929.

Council of Science Editors:

Wei P. Dynamic Bug Detection in TinyOS Operating Environments. [Masters Thesis]. The Ohio State University; 2009. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu1238166929

30. Haverås, Daniel. Data Race Detection for Parallel Programs Using a Virtual Platform.

Degree: Electrical Engineering and Computer Science (EECS), 2018, KTH

Data races are highly destructive bugs found in concurrent programs. Because of unordered thread interleavings, data races can randomly appear and disappear during the… (more)

Subjects/Keywords: Concurrency; multiprocessing; data race detection; virtual platforms; dynamic analysis; Samtidighet i programvara; multiprocessing; detektion av datakapplöpning; virtuella platformar; dynamisk analys; Electrical Engineering, Electronic Engineering, Information Engineering; Elektroteknik och elektronik

…optimisations is almost unavoidable for dynamic data race detection, to improve performance and avoid… …Data Race Detection 2.1 2.1.1 Parallelism with processes and threads Processes A modern… …x5D; 2.4 Implementing dynamic data race detection Detecting data races requires rather… …software developers with data race detection tools that can be activated during run-time… …detection of data races. The instrumentation shall be used to perform analysis of program… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Haverås, D. (2018). Data Race Detection for Parallel Programs Using a Virtual Platform. (Thesis). KTH. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-230189

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

Haverås, Daniel. “Data Race Detection for Parallel Programs Using a Virtual Platform.” 2018. Thesis, KTH. Accessed March 03, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-230189.

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

MLA Handbook (7th Edition):

Haverås, Daniel. “Data Race Detection for Parallel Programs Using a Virtual Platform.” 2018. Web. 03 Mar 2021.

Vancouver:

Haverås D. Data Race Detection for Parallel Programs Using a Virtual Platform. [Internet] [Thesis]. KTH; 2018. [cited 2021 Mar 03]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-230189.

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

Council of Science Editors:

Haverås D. Data Race Detection for Parallel Programs Using a Virtual Platform. [Thesis]. KTH; 2018. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-230189

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

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

.