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

[1] [2] [3]

Search Limiters

Last 2 Years | English Only

Levels

▼ Search Limiters


University of Illinois – Urbana-Champaign

1. 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 November 27, 2020. http://hdl.handle.net/2142/45603.

MLA Handbook (7th Edition):

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

Vancouver:

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

2. 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 November 27, 2020. http://handle.unsw.edu.au/1959.4/52125 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:10795/SOURCE01?view=true.

MLA Handbook (7th Edition):

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

Vancouver:

Xie X. Accurate and efficient on-the-fly data race detection for multithreaded programs. [Internet] [Doctoral dissertation]. University of New South Wales; 2012. [cited 2020 Nov 27]. 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 Melbourne

3. Clarke, David Anthony Winscom. Analyses of Java programs over weak memory.

Degree: 2018, University of Melbourne

 Between 1980 and 2000, the clock speeds of CPU chips showed an exponential increase from about 1MHz to 1-2GHz. Since then the clock speed of… (more)

Subjects/Keywords: Java; data race; weak memory; static analysis; avoiding data races

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Clarke, D. A. W. (2018). Analyses of Java programs over weak memory. (Doctoral Dissertation). University of Melbourne. Retrieved from http://hdl.handle.net/11343/213892

Chicago Manual of Style (16th Edition):

Clarke, David Anthony Winscom. “Analyses of Java programs over weak memory.” 2018. Doctoral Dissertation, University of Melbourne. Accessed November 27, 2020. http://hdl.handle.net/11343/213892.

MLA Handbook (7th Edition):

Clarke, David Anthony Winscom. “Analyses of Java programs over weak memory.” 2018. Web. 27 Nov 2020.

Vancouver:

Clarke DAW. Analyses of Java programs over weak memory. [Internet] [Doctoral dissertation]. University of Melbourne; 2018. [cited 2020 Nov 27]. Available from: http://hdl.handle.net/11343/213892.

Council of Science Editors:

Clarke DAW. Analyses of Java programs over weak memory. [Doctoral Dissertation]. University of Melbourne; 2018. Available from: http://hdl.handle.net/11343/213892


Universidade de Lisboa

4. Silva, Kátya Thaís Martins da. Static verification of data races in openMP.

Degree: 2014, Universidade de Lisboa

Tese de mestrado em Engenharia Informática (Engenharia de Software), Universidade de Lisboa, Faculdade de Ciências, 2014

Com o uso de linguagens paralelas nascem alguns problemas… (more)

Subjects/Keywords: Boogie; Data race; OpenMP; Paralelismo; Verificação; Teses de mestrado - 2014

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Silva, K. T. M. d. (2014). Static verification of data races in openMP. (Thesis). Universidade de Lisboa. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:repositorio.ul.pt:10451/12406

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

Silva, Kátya Thaís Martins da. “Static verification of data races in openMP.” 2014. Thesis, Universidade de Lisboa. Accessed November 27, 2020. http://www.rcaap.pt/detail.jsp?id=oai:repositorio.ul.pt:10451/12406.

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

MLA Handbook (7th Edition):

Silva, Kátya Thaís Martins da. “Static verification of data races in openMP.” 2014. Web. 27 Nov 2020.

Vancouver:

Silva KTMd. Static verification of data races in openMP. [Internet] [Thesis]. Universidade de Lisboa; 2014. [cited 2020 Nov 27]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:repositorio.ul.pt:10451/12406.

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

Council of Science Editors:

Silva KTMd. Static verification of data races in openMP. [Thesis]. Universidade de Lisboa; 2014. Available from: http://www.rcaap.pt/detail.jsp?id=oai:repositorio.ul.pt:10451/12406

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


University of California – Riverside

5. Johnston, Katherine Danielle. Characterizing Profiles: Data Surveillance and Literature in the Twenty-First Century.

Degree: English, 2016, University of California – Riverside

Data profiles have come to proliferate across the private and public sectors as digitization has engendered new technologies and techniques for gathering, aggregating, and sharing… (more)

Subjects/Keywords: Literature; American literature; Contemporary Literature; Data; Gender; Profiles; Race; Surveillance

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Johnston, K. D. (2016). Characterizing Profiles: Data Surveillance and Literature in the Twenty-First Century. (Thesis). University of California – Riverside. Retrieved from http://www.escholarship.org/uc/item/3z9605mh

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

Johnston, Katherine Danielle. “Characterizing Profiles: Data Surveillance and Literature in the Twenty-First Century.” 2016. Thesis, University of California – Riverside. Accessed November 27, 2020. http://www.escholarship.org/uc/item/3z9605mh.

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

MLA Handbook (7th Edition):

Johnston, Katherine Danielle. “Characterizing Profiles: Data Surveillance and Literature in the Twenty-First Century.” 2016. Web. 27 Nov 2020.

Vancouver:

Johnston KD. Characterizing Profiles: Data Surveillance and Literature in the Twenty-First Century. [Internet] [Thesis]. University of California – Riverside; 2016. [cited 2020 Nov 27]. Available from: http://www.escholarship.org/uc/item/3z9605mh.

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

Council of Science Editors:

Johnston KD. Characterizing Profiles: Data Surveillance and Literature in the Twenty-First Century. [Thesis]. University of California – Riverside; 2016. Available from: http://www.escholarship.org/uc/item/3z9605mh

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


Brigham Young University

6. Nakade, Radha Vi. Verification of Task Parallel Programs Using Predictive Analysis.

Degree: MS, 2016, Brigham Young University

 Task parallel programming languages provide a way for creating asynchronous tasks that can run concurrently. The advantage of using task parallelism is that the programmer… (more)

Subjects/Keywords: Verification; data race detection; model checking; parallel programs; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nakade, R. V. (2016). Verification of Task Parallel Programs Using Predictive Analysis. (Masters Thesis). Brigham Young University. Retrieved from https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=7176&context=etd

Chicago Manual of Style (16th Edition):

Nakade, Radha Vi. “Verification of Task Parallel Programs Using Predictive Analysis.” 2016. Masters Thesis, Brigham Young University. Accessed November 27, 2020. https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=7176&context=etd.

MLA Handbook (7th Edition):

Nakade, Radha Vi. “Verification of Task Parallel Programs Using Predictive Analysis.” 2016. Web. 27 Nov 2020.

Vancouver:

Nakade RV. Verification of Task Parallel Programs Using Predictive Analysis. [Internet] [Masters thesis]. Brigham Young University; 2016. [cited 2020 Nov 27]. Available from: https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=7176&context=etd.

Council of Science Editors:

Nakade RV. Verification of Task Parallel Programs Using Predictive Analysis. [Masters Thesis]. Brigham Young University; 2016. Available from: https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=7176&context=etd


University of Illinois – Chicago

7. 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 November 27, 2020. 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. 27 Nov 2020.

Vancouver:

Gondi K. Program Transformation Techniques for Erasing Sensitive Data in Sequential and Concurrent Applications. [Internet] [Thesis]. University of Illinois – Chicago; 2014. [cited 2020 Nov 27]. 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


University of Washington

8. Cesare, Nina. United We Tweet?: A Quantitative Analysis of Racial Differences in Twitter Use.

Degree: PhD, 2018, University of Washington

 This study is grounded in the perspective that individuals who use Twitter exist within a racialized social structure, and that if handed a flexible platform… (more)

Subjects/Keywords: Computational social science; Digital data; Online research; Race; Twitter; Sociology; Sociology

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cesare, N. (2018). United We Tweet?: A Quantitative Analysis of Racial Differences in Twitter Use. (Doctoral Dissertation). University of Washington. Retrieved from http://hdl.handle.net/1773/40971

Chicago Manual of Style (16th Edition):

Cesare, Nina. “United We Tweet?: A Quantitative Analysis of Racial Differences in Twitter Use.” 2018. Doctoral Dissertation, University of Washington. Accessed November 27, 2020. http://hdl.handle.net/1773/40971.

MLA Handbook (7th Edition):

Cesare, Nina. “United We Tweet?: A Quantitative Analysis of Racial Differences in Twitter Use.” 2018. Web. 27 Nov 2020.

Vancouver:

Cesare N. United We Tweet?: A Quantitative Analysis of Racial Differences in Twitter Use. [Internet] [Doctoral dissertation]. University of Washington; 2018. [cited 2020 Nov 27]. Available from: http://hdl.handle.net/1773/40971.

Council of Science Editors:

Cesare N. United We Tweet?: A Quantitative Analysis of Racial Differences in Twitter Use. [Doctoral Dissertation]. University of Washington; 2018. Available from: http://hdl.handle.net/1773/40971


University of Illinois – Urbana-Champaign

9. Sorrentino, Francesco. Algorithmic techniques for predictive testing of concurrent programs and distributed systems.

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

 The rise of multicore hardware platforms has lead to a new era of computing. In order to take full advantage of the power of multicore… (more)

Subjects/Keywords: Testing; Concurrency; Cloud; Diagnosis; Bugs; Data-Race; Deadlock; Null-Pointer; Atomicity

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sorrentino, F. (2014). Algorithmic techniques for predictive testing of concurrent programs and distributed systems. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/49713

Chicago Manual of Style (16th Edition):

Sorrentino, Francesco. “Algorithmic techniques for predictive testing of concurrent programs and distributed systems.” 2014. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed November 27, 2020. http://hdl.handle.net/2142/49713.

MLA Handbook (7th Edition):

Sorrentino, Francesco. “Algorithmic techniques for predictive testing of concurrent programs and distributed systems.” 2014. Web. 27 Nov 2020.

Vancouver:

Sorrentino F. Algorithmic techniques for predictive testing of concurrent programs and distributed systems. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2014. [cited 2020 Nov 27]. Available from: http://hdl.handle.net/2142/49713.

Council of Science Editors:

Sorrentino F. Algorithmic techniques for predictive testing of concurrent programs and distributed systems. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2014. Available from: http://hdl.handle.net/2142/49713


University of Minnesota

10. Mekkat, Vineeth. Performance-correctness challenges in emerging heterogeneous multicore processors.

Degree: PhD, Computer science, 2013, University of Minnesota

 We are witnessing a tremendous amount of change in the design of the modern microprocessor. With dozens of CPU cores on-chip recent multicore processors, the… (more)

Subjects/Keywords: Cache Management; Computer Architecture; Data race dtection; Heterogeneous multicore processor

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mekkat, V. (2013). Performance-correctness challenges in emerging heterogeneous multicore processors. (Doctoral Dissertation). University of Minnesota. Retrieved from http://hdl.handle.net/11299/162503

Chicago Manual of Style (16th Edition):

Mekkat, Vineeth. “Performance-correctness challenges in emerging heterogeneous multicore processors.” 2013. Doctoral Dissertation, University of Minnesota. Accessed November 27, 2020. http://hdl.handle.net/11299/162503.

MLA Handbook (7th Edition):

Mekkat, Vineeth. “Performance-correctness challenges in emerging heterogeneous multicore processors.” 2013. Web. 27 Nov 2020.

Vancouver:

Mekkat V. Performance-correctness challenges in emerging heterogeneous multicore processors. [Internet] [Doctoral dissertation]. University of Minnesota; 2013. [cited 2020 Nov 27]. Available from: http://hdl.handle.net/11299/162503.

Council of Science Editors:

Mekkat V. Performance-correctness challenges in emerging heterogeneous multicore processors. [Doctoral Dissertation]. University of Minnesota; 2013. Available from: http://hdl.handle.net/11299/162503


University of Ontario Institute of Technology

11. Kelk, David. CORE: a framework for the automatic repair of concurrency bugs.

Degree: 2015, University of Ontario Institute of Technology

 Desktop computers now contain 2, 4 or even 8 processors. To benefit from them programs must be written to work in parallel. If writing good… (more)

Subjects/Keywords: Genetic algorithm; Concurrency; Automatic repair; Deadlock; Data race

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kelk, D. (2015). CORE: a framework for the automatic repair of concurrency bugs. (Thesis). University of Ontario Institute of Technology. Retrieved from http://hdl.handle.net/10155/505

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

Kelk, David. “CORE: a framework for the automatic repair of concurrency bugs.” 2015. Thesis, University of Ontario Institute of Technology. Accessed November 27, 2020. http://hdl.handle.net/10155/505.

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

MLA Handbook (7th Edition):

Kelk, David. “CORE: a framework for the automatic repair of concurrency bugs.” 2015. Web. 27 Nov 2020.

Vancouver:

Kelk D. CORE: a framework for the automatic repair of concurrency bugs. [Internet] [Thesis]. University of Ontario Institute of Technology; 2015. [cited 2020 Nov 27]. Available from: http://hdl.handle.net/10155/505.

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

Council of Science Editors:

Kelk D. CORE: a framework for the automatic repair of concurrency bugs. [Thesis]. University of Ontario Institute of Technology; 2015. Available from: http://hdl.handle.net/10155/505

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


University of Georgia

12. Smith, Carrie Virginia. A critical quantitative exploration of collegiate student-athlete academic involvement.

Degree: 2018, University of Georgia

 The purpose of this study was to utilize critical quantitative methodology to analyze previously collected data by a nationally distributed survey instrument, with the goal… (more)

Subjects/Keywords: Student-athletes; critical quantitative research; race and ethnicity; academic involvement; Your First College Year survey; Critical Race Theory; data disaggregation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Smith, C. V. (2018). A critical quantitative exploration of collegiate student-athlete academic involvement. (Thesis). University of Georgia. Retrieved from http://hdl.handle.net/10724/38579

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

Smith, Carrie Virginia. “A critical quantitative exploration of collegiate student-athlete academic involvement.” 2018. Thesis, University of Georgia. Accessed November 27, 2020. http://hdl.handle.net/10724/38579.

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

MLA Handbook (7th Edition):

Smith, Carrie Virginia. “A critical quantitative exploration of collegiate student-athlete academic involvement.” 2018. Web. 27 Nov 2020.

Vancouver:

Smith CV. A critical quantitative exploration of collegiate student-athlete academic involvement. [Internet] [Thesis]. University of Georgia; 2018. [cited 2020 Nov 27]. Available from: http://hdl.handle.net/10724/38579.

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

Council of Science Editors:

Smith CV. A critical quantitative exploration of collegiate student-athlete academic involvement. [Thesis]. University of Georgia; 2018. Available from: http://hdl.handle.net/10724/38579

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


Brno University of Technology

13. Horňák, Michal. Rozšíření nástroje ANaConDa pro dynamickou analýzu paralelních programů: An Extension of the ANaConDa Tool for Dynamic Analysis of Concurrent Programs.

Degree: 2020, Brno University of Technology

 The main goal of this thesis is to implement algorithm FastTrack for dynamic analysis of multi-threaded programs in C/C++. FastTrack is algorithm which detects data(more)

Subjects/Keywords: dynamická analýza; FastTrack; ANaConDA; C; C++; data race; viac-vláknové programovanie; paralelné programy; vektor-klok; Djit+; dnamic analysis; FastTrack; ANaConDA; C; C++; data race; multithreading; parallel programs; vector-clock; Djit+

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Horňák, M. (2020). Rozšíření nástroje ANaConDa pro dynamickou analýzu paralelních programů: An Extension of the ANaConDa Tool for Dynamic Analysis of Concurrent Programs. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/187210

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

Horňák, Michal. “Rozšíření nástroje ANaConDa pro dynamickou analýzu paralelních programů: An Extension of the ANaConDa Tool for Dynamic Analysis of Concurrent Programs.” 2020. Thesis, Brno University of Technology. Accessed November 27, 2020. http://hdl.handle.net/11012/187210.

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

MLA Handbook (7th Edition):

Horňák, Michal. “Rozšíření nástroje ANaConDa pro dynamickou analýzu paralelních programů: An Extension of the ANaConDa Tool for Dynamic Analysis of Concurrent Programs.” 2020. Web. 27 Nov 2020.

Vancouver:

Horňák M. Rozšíření nástroje ANaConDa pro dynamickou analýzu paralelních programů: An Extension of the ANaConDa Tool for Dynamic Analysis of Concurrent Programs. [Internet] [Thesis]. Brno University of Technology; 2020. [cited 2020 Nov 27]. Available from: http://hdl.handle.net/11012/187210.

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

Council of Science Editors:

Horňák M. Rozšíření nástroje ANaConDa pro dynamickou analýzu paralelních programů: An Extension of the ANaConDa Tool for Dynamic Analysis of Concurrent Programs. [Thesis]. Brno University of Technology; 2020. Available from: http://hdl.handle.net/11012/187210

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


Brno University of Technology

14. Horňák, Michal. Rozšíření nástroje ANaConDa pro dynamickou analýzu paralelních programů: An Extension of the ANaConDa Tool for Dynamic Analysis of Concurrent Programs.

Degree: 2019, Brno University of Technology

 The main goal of this thesis is to implement algorithm FastTrack for dynamic analysis of multi-threaded programs in C/C++. FastTrack is algorithm which detects data(more)

Subjects/Keywords: dynamická analýza; FastTrack; ANaConDA; C; C++; data race; viac-vláknové programovanie; paralelné programy; vektor-klok; Djit+; dynamic analysis; FastTrack; ANaConDA; C; C++; data race; multithreading; parallel programs; vector-clock; Djit+

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Horňák, M. (2019). Rozšíření nástroje ANaConDa pro dynamickou analýzu paralelních programů: An Extension of the ANaConDa Tool for Dynamic Analysis of Concurrent Programs. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/84859

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

Horňák, Michal. “Rozšíření nástroje ANaConDa pro dynamickou analýzu paralelních programů: An Extension of the ANaConDa Tool for Dynamic Analysis of Concurrent Programs.” 2019. Thesis, Brno University of Technology. Accessed November 27, 2020. http://hdl.handle.net/11012/84859.

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

MLA Handbook (7th Edition):

Horňák, Michal. “Rozšíření nástroje ANaConDa pro dynamickou analýzu paralelních programů: An Extension of the ANaConDa Tool for Dynamic Analysis of Concurrent Programs.” 2019. Web. 27 Nov 2020.

Vancouver:

Horňák M. Rozšíření nástroje ANaConDa pro dynamickou analýzu paralelních programů: An Extension of the ANaConDa Tool for Dynamic Analysis of Concurrent Programs. [Internet] [Thesis]. Brno University of Technology; 2019. [cited 2020 Nov 27]. Available from: http://hdl.handle.net/11012/84859.

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

Council of Science Editors:

Horňák M. Rozšíření nástroje ANaConDa pro dynamickou analýzu paralelních programů: An Extension of the ANaConDa Tool for Dynamic Analysis of Concurrent Programs. [Thesis]. Brno University of Technology; 2019. Available from: http://hdl.handle.net/11012/84859

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


Carnegie Mellon University

15. 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 November 27, 2020. 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. 27 Nov 2020.

Vancouver:

Hartman GS. Attentiveness: Reactivity at Scale. [Internet] [Thesis]. Carnegie Mellon University; 2010. [cited 2020 Nov 27]. 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


UCLA

16. Eslamimehr, Mohammad Mahdi. Directed Testing of Event-Driven and Parallel Programs.

Degree: Computer Science, 2014, UCLA

 Detecting computational states of a program, where safety requirements have been violated, is the main task of a software tester. We focus on three critical… (more)

Subjects/Keywords: Computer science; Concurrent Programs; Data Race; Deadlock; Directed Testing; Event-Driven Software; Stack Size

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Eslamimehr, M. M. (2014). Directed Testing of Event-Driven and Parallel Programs. (Thesis). UCLA. Retrieved from http://www.escholarship.org/uc/item/7bb4k79b

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

Eslamimehr, Mohammad Mahdi. “Directed Testing of Event-Driven and Parallel Programs.” 2014. Thesis, UCLA. Accessed November 27, 2020. http://www.escholarship.org/uc/item/7bb4k79b.

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

MLA Handbook (7th Edition):

Eslamimehr, Mohammad Mahdi. “Directed Testing of Event-Driven and Parallel Programs.” 2014. Web. 27 Nov 2020.

Vancouver:

Eslamimehr MM. Directed Testing of Event-Driven and Parallel Programs. [Internet] [Thesis]. UCLA; 2014. [cited 2020 Nov 27]. Available from: http://www.escholarship.org/uc/item/7bb4k79b.

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

Council of Science Editors:

Eslamimehr MM. Directed Testing of Event-Driven and Parallel Programs. [Thesis]. UCLA; 2014. Available from: http://www.escholarship.org/uc/item/7bb4k79b

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


Boston University

17. Charlot, Marjory. The impact of race and language concordance between patients and navigators on time to diagnostic resolution of breast and cervical cancer screening abnormalities.

Degree: MS, Epidemiology, 2013, Boston University

 BACKGROUND: Patient navigators have been shown to reduce cancer disparities among racial/ethnic minorities by improving timely diagnosis and treatment of cancer. We sought to determine… (more)

Subjects/Keywords: Demographic data; Kaplan-Meier; Minority women; Impact of race; Language concordance; Breast cancer; Cervical cancer

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Charlot, M. (2013). The impact of race and language concordance between patients and navigators on time to diagnostic resolution of breast and cervical cancer screening abnormalities. (Masters Thesis). Boston University. Retrieved from http://hdl.handle.net/2144/17149

Chicago Manual of Style (16th Edition):

Charlot, Marjory. “The impact of race and language concordance between patients and navigators on time to diagnostic resolution of breast and cervical cancer screening abnormalities.” 2013. Masters Thesis, Boston University. Accessed November 27, 2020. http://hdl.handle.net/2144/17149.

MLA Handbook (7th Edition):

Charlot, Marjory. “The impact of race and language concordance between patients and navigators on time to diagnostic resolution of breast and cervical cancer screening abnormalities.” 2013. Web. 27 Nov 2020.

Vancouver:

Charlot M. The impact of race and language concordance between patients and navigators on time to diagnostic resolution of breast and cervical cancer screening abnormalities. [Internet] [Masters thesis]. Boston University; 2013. [cited 2020 Nov 27]. Available from: http://hdl.handle.net/2144/17149.

Council of Science Editors:

Charlot M. The impact of race and language concordance between patients and navigators on time to diagnostic resolution of breast and cervical cancer screening abnormalities. [Masters Thesis]. Boston University; 2013. Available from: http://hdl.handle.net/2144/17149


Arizona State University

18. Song, Young Wn. Dynamic Analysis of Embedded Software.

Degree: Computer Science, 2015, Arizona State University

 Most embedded applications are constructed with multiple threads to handle concurrent events. For optimization and debugging of the programs, dynamic program analysis is widely used… (more)

Subjects/Keywords: Computer science; Data Race; Debugging; Dynamic Analysis; Embedded Software; Multi-threaded; Profiling

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Song, Y. W. (2015). Dynamic Analysis of Embedded Software. (Doctoral Dissertation). Arizona State University. Retrieved from http://repository.asu.edu/items/35414

Chicago Manual of Style (16th Edition):

Song, Young Wn. “Dynamic Analysis of Embedded Software.” 2015. Doctoral Dissertation, Arizona State University. Accessed November 27, 2020. http://repository.asu.edu/items/35414.

MLA Handbook (7th Edition):

Song, Young Wn. “Dynamic Analysis of Embedded Software.” 2015. Web. 27 Nov 2020.

Vancouver:

Song YW. Dynamic Analysis of Embedded Software. [Internet] [Doctoral dissertation]. Arizona State University; 2015. [cited 2020 Nov 27]. Available from: http://repository.asu.edu/items/35414.

Council of Science Editors:

Song YW. Dynamic Analysis of Embedded Software. [Doctoral Dissertation]. Arizona State University; 2015. Available from: http://repository.asu.edu/items/35414


University of Kentucky

19. Harris, Charlene. UNDERSTANDING THE PATHWAYS TO YOUTH INVOLVEMENT IN THE JUVENILE JUSTICE SYSTEM: A LONGITUDINAL INVESTIGATION OF POOR, INNER-CITY AFRICAN AMERICAN ADOLESCENTS.

Degree: 2015, University of Kentucky

 It is widely recognized that African American youth are disproportionately represented in the juvenile justice system in comparison to other ethnic/racial groups, and this has… (more)

Subjects/Keywords: adolescents; African American; juvenile justice; official data; self-reports; Criminology; Race and Ethnicity

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Harris, C. (2015). UNDERSTANDING THE PATHWAYS TO YOUTH INVOLVEMENT IN THE JUVENILE JUSTICE SYSTEM: A LONGITUDINAL INVESTIGATION OF POOR, INNER-CITY AFRICAN AMERICAN ADOLESCENTS. (Doctoral Dissertation). University of Kentucky. Retrieved from https://uknowledge.uky.edu/hes_etds/34

Chicago Manual of Style (16th Edition):

Harris, Charlene. “UNDERSTANDING THE PATHWAYS TO YOUTH INVOLVEMENT IN THE JUVENILE JUSTICE SYSTEM: A LONGITUDINAL INVESTIGATION OF POOR, INNER-CITY AFRICAN AMERICAN ADOLESCENTS.” 2015. Doctoral Dissertation, University of Kentucky. Accessed November 27, 2020. https://uknowledge.uky.edu/hes_etds/34.

MLA Handbook (7th Edition):

Harris, Charlene. “UNDERSTANDING THE PATHWAYS TO YOUTH INVOLVEMENT IN THE JUVENILE JUSTICE SYSTEM: A LONGITUDINAL INVESTIGATION OF POOR, INNER-CITY AFRICAN AMERICAN ADOLESCENTS.” 2015. Web. 27 Nov 2020.

Vancouver:

Harris C. UNDERSTANDING THE PATHWAYS TO YOUTH INVOLVEMENT IN THE JUVENILE JUSTICE SYSTEM: A LONGITUDINAL INVESTIGATION OF POOR, INNER-CITY AFRICAN AMERICAN ADOLESCENTS. [Internet] [Doctoral dissertation]. University of Kentucky; 2015. [cited 2020 Nov 27]. Available from: https://uknowledge.uky.edu/hes_etds/34.

Council of Science Editors:

Harris C. UNDERSTANDING THE PATHWAYS TO YOUTH INVOLVEMENT IN THE JUVENILE JUSTICE SYSTEM: A LONGITUDINAL INVESTIGATION OF POOR, INNER-CITY AFRICAN AMERICAN ADOLESCENTS. [Doctoral Dissertation]. University of Kentucky; 2015. Available from: https://uknowledge.uky.edu/hes_etds/34


Virginia Tech

20. Andalib, Maryam Alsadat. Model-based Analysis of Diversity in Higher Education.

Degree: PhD, Industrial and Systems Engineering, 2018, Virginia Tech

 U.S. higher education is an example of a large multi-organizational system within the service sector. Its performance regarding workforce development can be analyzed through the… (more)

Subjects/Keywords: Diversity; Gender; Race; Higher Education; System Dynamics; Statistical Analysis; Data Envelopment Analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Andalib, M. A. (2018). Model-based Analysis of Diversity in Higher Education. (Doctoral Dissertation). Virginia Tech. Retrieved from http://hdl.handle.net/10919/96221

Chicago Manual of Style (16th Edition):

Andalib, Maryam Alsadat. “Model-based Analysis of Diversity in Higher Education.” 2018. Doctoral Dissertation, Virginia Tech. Accessed November 27, 2020. http://hdl.handle.net/10919/96221.

MLA Handbook (7th Edition):

Andalib, Maryam Alsadat. “Model-based Analysis of Diversity in Higher Education.” 2018. Web. 27 Nov 2020.

Vancouver:

Andalib MA. Model-based Analysis of Diversity in Higher Education. [Internet] [Doctoral dissertation]. Virginia Tech; 2018. [cited 2020 Nov 27]. Available from: http://hdl.handle.net/10919/96221.

Council of Science Editors:

Andalib MA. Model-based Analysis of Diversity in Higher Education. [Doctoral Dissertation]. Virginia Tech; 2018. Available from: http://hdl.handle.net/10919/96221


Virginia Tech

21. 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 November 27, 2020. 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. 27 Nov 2020.

Vancouver:

Zhang T. Designing Practical Software Bug Detectors Using Commodity Hardware and Common Programming Patterns. [Internet] [Doctoral dissertation]. Virginia Tech; 2020. [cited 2020 Nov 27]. 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


Delft University of Technology

22. Van Es, M. (author). Measuring performance and improvement of amateur runners.

Degree: 2016, Delft University of Technology

The main idea behind the project was to construct some sort of tool that could help runners, with a TomTom sports watch, in their training,… (more)

Subjects/Keywords: sports training; running; data science; big data; heart rate; maximum heart rate; marathon; race detection; event detection; running ability; training

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Van Es, M. (. (2016). Measuring performance and improvement of amateur runners. (Masters Thesis). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:bd5f8bf5-c03a-4791-8739-4912e965b76d

Chicago Manual of Style (16th Edition):

Van Es, M (author). “Measuring performance and improvement of amateur runners.” 2016. Masters Thesis, Delft University of Technology. Accessed November 27, 2020. http://resolver.tudelft.nl/uuid:bd5f8bf5-c03a-4791-8739-4912e965b76d.

MLA Handbook (7th Edition):

Van Es, M (author). “Measuring performance and improvement of amateur runners.” 2016. Web. 27 Nov 2020.

Vancouver:

Van Es M(. Measuring performance and improvement of amateur runners. [Internet] [Masters thesis]. Delft University of Technology; 2016. [cited 2020 Nov 27]. Available from: http://resolver.tudelft.nl/uuid:bd5f8bf5-c03a-4791-8739-4912e965b76d.

Council of Science Editors:

Van Es M(. Measuring performance and improvement of amateur runners. [Masters Thesis]. Delft University of Technology; 2016. Available from: http://resolver.tudelft.nl/uuid:bd5f8bf5-c03a-4791-8739-4912e965b76d


Indian Institute of Science

23. Mukherjee, Suvam. Efficient Static Analyses for Concurrent Programs.

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

 Concurrent programs are pervasive owing to the increasing adoption of multi-core systems across the entire computing spectrum. However, the large set of possible program behaviors… (more)

Subjects/Keywords: Concurrent Programs; Race Free Programs; Thread-Local Semantics; RTOS Kernel; L-DRF; High-Level Data Races; Race-free Programs; Real-time Operating System; Computer Science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mukherjee, S. (2018). Efficient Static Analyses for Concurrent Programs. (Doctoral Dissertation). Indian Institute of Science. Retrieved from http://etd.iisc.ac.in/handle/2005/3777

Chicago Manual of Style (16th Edition):

Mukherjee, Suvam. “Efficient Static Analyses for Concurrent Programs.” 2018. Doctoral Dissertation, Indian Institute of Science. Accessed November 27, 2020. http://etd.iisc.ac.in/handle/2005/3777.

MLA Handbook (7th Edition):

Mukherjee, Suvam. “Efficient Static Analyses for Concurrent Programs.” 2018. Web. 27 Nov 2020.

Vancouver:

Mukherjee S. Efficient Static Analyses for Concurrent Programs. [Internet] [Doctoral dissertation]. Indian Institute of Science; 2018. [cited 2020 Nov 27]. Available from: http://etd.iisc.ac.in/handle/2005/3777.

Council of Science Editors:

Mukherjee S. Efficient Static Analyses for Concurrent Programs. [Doctoral Dissertation]. Indian Institute of Science; 2018. Available from: http://etd.iisc.ac.in/handle/2005/3777

24. Wood, Benjamin Paul. Software and Hardware Support for Data-Race Exceptions.

Degree: PhD, 2014, University of Washington

 Some researchers have proposed data-race exceptions to mitigate the ill effects of data races in shared-memory multithreaded programs. Data-race exceptions make every data race an… (more)

Subjects/Keywords: data race; data-race detection; data-race exceptions; fib; lard; radish; Computer science; computer science and engineering

…2 1.2 Problem: Accurate language-level data-race detection is slow. . . . . . . . . . 3… …1.2.1 Fast hardware-supported data-race detection is inaccurate. . . . . . . 4 1.2.2 Low… …level data-race detection is inaccurate on high-level languages. . . 4 1.2.3 Software data… …7 1.3.3 FIB: Fast Instrumentation Bias for Pure-Software Data-Race Detection (… …Higher-Level Properties of Program Executions . . . 12 Accurate Dynamic Data-Race Detection… 

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

Wood, B. P. (2014). Software and Hardware Support for Data-Race Exceptions. (Doctoral Dissertation). University of Washington. Retrieved from http://hdl.handle.net/1773/26022

Chicago Manual of Style (16th Edition):

Wood, Benjamin Paul. “Software and Hardware Support for Data-Race Exceptions.” 2014. Doctoral Dissertation, University of Washington. Accessed November 27, 2020. http://hdl.handle.net/1773/26022.

MLA Handbook (7th Edition):

Wood, Benjamin Paul. “Software and Hardware Support for Data-Race Exceptions.” 2014. Web. 27 Nov 2020.

Vancouver:

Wood BP. Software and Hardware Support for Data-Race Exceptions. [Internet] [Doctoral dissertation]. University of Washington; 2014. [cited 2020 Nov 27]. Available from: http://hdl.handle.net/1773/26022.

Council of Science Editors:

Wood BP. Software and Hardware Support for Data-Race Exceptions. [Doctoral Dissertation]. University of Washington; 2014. Available from: http://hdl.handle.net/1773/26022


University of California – Santa Cruz

25. Das, Madan Mohan. Section Based Program Analysis to Reduce Overhead of Detecting Unsynchronized Thread Communication.

Degree: Computer Engineering, 2015, University of California – Santa Cruz

 Most systems that test and verify parallel programming, such as data race detectors and software transactional memory systems, require instrumenting loads and stores in an… (more)

Subjects/Keywords: Computer engineering; Data Race Detection; Multi threaded programming; Phase detection in program; Program analysis; Section based program analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Das, M. M. (2015). Section Based Program Analysis to Reduce Overhead of Detecting Unsynchronized Thread Communication. (Thesis). University of California – Santa Cruz. Retrieved from http://www.escholarship.org/uc/item/8vx8d8wv

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

Das, Madan Mohan. “Section Based Program Analysis to Reduce Overhead of Detecting Unsynchronized Thread Communication.” 2015. Thesis, University of California – Santa Cruz. Accessed November 27, 2020. http://www.escholarship.org/uc/item/8vx8d8wv.

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

MLA Handbook (7th Edition):

Das, Madan Mohan. “Section Based Program Analysis to Reduce Overhead of Detecting Unsynchronized Thread Communication.” 2015. Web. 27 Nov 2020.

Vancouver:

Das MM. Section Based Program Analysis to Reduce Overhead of Detecting Unsynchronized Thread Communication. [Internet] [Thesis]. University of California – Santa Cruz; 2015. [cited 2020 Nov 27]. Available from: http://www.escholarship.org/uc/item/8vx8d8wv.

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

Council of Science Editors:

Das MM. Section Based Program Analysis to Reduce Overhead of Detecting Unsynchronized Thread Communication. [Thesis]. University of California – Santa Cruz; 2015. Available from: http://www.escholarship.org/uc/item/8vx8d8wv

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


University of Otago

26. Leung, Kai-Cheung. View-Oriented Parallel Programming and its Performance Evaluation on Multicore Architectures .

Degree: 2013, University of Otago

 Shared-memory multicore architectures have become pervasive, and there is a pressing need for parallel programming models to facilitate both performance and convenience. However, most existing… (more)

Subjects/Keywords: View-Oriented Parallel Programming; View-Oriented Transactional Memory; RAC; Restricted Admission Control; multicore; data race freedom; parallel programming; concurrency control

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Leung, K. (2013). View-Oriented Parallel Programming and its Performance Evaluation on Multicore Architectures . (Doctoral Dissertation). University of Otago. Retrieved from http://hdl.handle.net/10523/4065

Chicago Manual of Style (16th Edition):

Leung, Kai-Cheung. “View-Oriented Parallel Programming and its Performance Evaluation on Multicore Architectures .” 2013. Doctoral Dissertation, University of Otago. Accessed November 27, 2020. http://hdl.handle.net/10523/4065.

MLA Handbook (7th Edition):

Leung, Kai-Cheung. “View-Oriented Parallel Programming and its Performance Evaluation on Multicore Architectures .” 2013. Web. 27 Nov 2020.

Vancouver:

Leung K. View-Oriented Parallel Programming and its Performance Evaluation on Multicore Architectures . [Internet] [Doctoral dissertation]. University of Otago; 2013. [cited 2020 Nov 27]. Available from: http://hdl.handle.net/10523/4065.

Council of Science Editors:

Leung K. View-Oriented Parallel Programming and its Performance Evaluation on Multicore Architectures . [Doctoral Dissertation]. University of Otago; 2013. Available from: http://hdl.handle.net/10523/4065


Universidade do Rio Grande do Sul

27. Leandro, Carolina Gonçalves. Aplicação da análise do sinal do GPR na definição de ambientes costeiros.

Degree: 2018, Universidade do Rio Grande do Sul

Na barreira regressiva da Pinheira, são reconhecidos quatro ambientes deposicionais costeiros, caracterizados por parâmetros geológicos como a análise de litofácies, estruturas sedimentares, grau de compactação… (more)

Subjects/Keywords: GPR data processing; Ambientes deposicionais; Barreiras costeiras; Regressive barrier; Ondas eletromagnéticas; Signal attenuation; Pinheira, Praia da (SC); Race analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Leandro, C. G. (2018). Aplicação da análise do sinal do GPR na definição de ambientes costeiros. (Thesis). Universidade do Rio Grande do Sul. Retrieved from http://hdl.handle.net/10183/173817

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

Leandro, Carolina Gonçalves. “Aplicação da análise do sinal do GPR na definição de ambientes costeiros.” 2018. Thesis, Universidade do Rio Grande do Sul. Accessed November 27, 2020. http://hdl.handle.net/10183/173817.

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

MLA Handbook (7th Edition):

Leandro, Carolina Gonçalves. “Aplicação da análise do sinal do GPR na definição de ambientes costeiros.” 2018. Web. 27 Nov 2020.

Vancouver:

Leandro CG. Aplicação da análise do sinal do GPR na definição de ambientes costeiros. [Internet] [Thesis]. Universidade do Rio Grande do Sul; 2018. [cited 2020 Nov 27]. Available from: http://hdl.handle.net/10183/173817.

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

Council of Science Editors:

Leandro CG. Aplicação da análise do sinal do GPR na definição de ambientes costeiros. [Thesis]. Universidade do Rio Grande do Sul; 2018. Available from: http://hdl.handle.net/10183/173817

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

28. Conroy, Amy. E-racing the Genetic Family Tree: A Critical Race Analysis of the Impact of Familial DNA Searching on Canada's Aboriginal Peoples .

Degree: 2016, University of Ottawa

 Canada established its National DNA Data Bank (NDDB) in 2000. Since that time, the NDDB has assisted in the solving of numerous criminal investigations. The… (more)

Subjects/Keywords: Aboriginal Peoples; Canada's National DNA Data Bank; equality; critical race theory; DNA; genetic information; investigative technologies

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Conroy, A. (2016). E-racing the Genetic Family Tree: A Critical Race Analysis of the Impact of Familial DNA Searching on Canada's Aboriginal Peoples . (Thesis). University of Ottawa. Retrieved from http://hdl.handle.net/10393/34285

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

Conroy, Amy. “E-racing the Genetic Family Tree: A Critical Race Analysis of the Impact of Familial DNA Searching on Canada's Aboriginal Peoples .” 2016. Thesis, University of Ottawa. Accessed November 27, 2020. http://hdl.handle.net/10393/34285.

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

MLA Handbook (7th Edition):

Conroy, Amy. “E-racing the Genetic Family Tree: A Critical Race Analysis of the Impact of Familial DNA Searching on Canada's Aboriginal Peoples .” 2016. Web. 27 Nov 2020.

Vancouver:

Conroy A. E-racing the Genetic Family Tree: A Critical Race Analysis of the Impact of Familial DNA Searching on Canada's Aboriginal Peoples . [Internet] [Thesis]. University of Ottawa; 2016. [cited 2020 Nov 27]. Available from: http://hdl.handle.net/10393/34285.

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

Council of Science Editors:

Conroy A. E-racing the Genetic Family Tree: A Critical Race Analysis of the Impact of Familial DNA Searching on Canada's Aboriginal Peoples . [Thesis]. University of Ottawa; 2016. Available from: http://hdl.handle.net/10393/34285

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


University of Manitoba

29. Krepski, Heather. Data-driven decision making in the school divisions of Manitoba: a critical race theory perspective.

Degree: Educational Administration, Foundations and Psychology, 2016, University of Manitoba

 The use of data to drive or inform the decision making process is gaining traction in education. In response to the data driven decision making… (more)

Subjects/Keywords: data-driven decision making; educational administration; critical race theory; anticolonialism; evidenced based decision making; K-12 education

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Krepski, H. (2016). Data-driven decision making in the school divisions of Manitoba: a critical race theory perspective. (Masters Thesis). University of Manitoba. Retrieved from http://hdl.handle.net/1993/32001

Chicago Manual of Style (16th Edition):

Krepski, Heather. “Data-driven decision making in the school divisions of Manitoba: a critical race theory perspective.” 2016. Masters Thesis, University of Manitoba. Accessed November 27, 2020. http://hdl.handle.net/1993/32001.

MLA Handbook (7th Edition):

Krepski, Heather. “Data-driven decision making in the school divisions of Manitoba: a critical race theory perspective.” 2016. Web. 27 Nov 2020.

Vancouver:

Krepski H. Data-driven decision making in the school divisions of Manitoba: a critical race theory perspective. [Internet] [Masters thesis]. University of Manitoba; 2016. [cited 2020 Nov 27]. Available from: http://hdl.handle.net/1993/32001.

Council of Science Editors:

Krepski H. Data-driven decision making in the school divisions of Manitoba: a critical race theory perspective. [Masters Thesis]. University of Manitoba; 2016. Available from: http://hdl.handle.net/1993/32001

30. Yu, Lechen. Data Race Detection for Event-Driven Parallel Runtime Systems.

Degree: MS, Engineering, 2017, Rice University

 Event-Driven Parallel (EDP) runtime systems (or more simply, EDP runtimes) are growing in popularity in the high-performance computing area because they provide a promising foundation… (more)

Subjects/Keywords: Data Race Detection; Parallel Programming; Graph Traversal

…applications are still prone to data races, a notorious error in parallel programs. A data race… …interleaving. Since a data race may only occur on some particular interleavings, detecting and… …data race in certain cases [3]. There has been a lot of past work on detecting data… …instance, SP-bag [5] can only detect data race for spawn-sync parallel runtimes and… …fully strict computation graphs, and ESP-bag [6] can only detect data race for async… 

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

Yu, L. (2017). Data Race Detection for Event-Driven Parallel Runtime Systems. (Masters Thesis). Rice University. Retrieved from http://hdl.handle.net/1911/105521

Chicago Manual of Style (16th Edition):

Yu, Lechen. “Data Race Detection for Event-Driven Parallel Runtime Systems.” 2017. Masters Thesis, Rice University. Accessed November 27, 2020. http://hdl.handle.net/1911/105521.

MLA Handbook (7th Edition):

Yu, Lechen. “Data Race Detection for Event-Driven Parallel Runtime Systems.” 2017. Web. 27 Nov 2020.

Vancouver:

Yu L. Data Race Detection for Event-Driven Parallel Runtime Systems. [Internet] [Masters thesis]. Rice University; 2017. [cited 2020 Nov 27]. Available from: http://hdl.handle.net/1911/105521.

Council of Science Editors:

Yu L. Data Race Detection for Event-Driven Parallel Runtime Systems. [Masters Thesis]. Rice University; 2017. Available from: http://hdl.handle.net/1911/105521

[1] [2] [3]

.