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:(happens before). Showing records 1 – 4 of 4 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


Indian Institute of Science

1. Pallavi Maiya, H P. Data Structures and Algorithms to Analyze Concurrency in Android Applications.

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

 Android is a popular mobile operating system, providing a rich ecosystem for the development of applications which run on the Android platform. Entities such as… (more)

Subjects/Keywords: Android Applications; Happens-Before Relation; Event-driven Programs; Android Concurrency Semantics; DroidRACER; Computer Science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Pallavi Maiya, H. P. (2018). Data Structures and Algorithms to Analyze Concurrency in Android Applications. (Doctoral Dissertation). Indian Institute of Science. Retrieved from http://etd.iisc.ac.in/handle/2005/4038

Chicago Manual of Style (16th Edition):

Pallavi Maiya, H P. “Data Structures and Algorithms to Analyze Concurrency in Android Applications.” 2018. Doctoral Dissertation, Indian Institute of Science. Accessed December 02, 2020. http://etd.iisc.ac.in/handle/2005/4038.

MLA Handbook (7th Edition):

Pallavi Maiya, H P. “Data Structures and Algorithms to Analyze Concurrency in Android Applications.” 2018. Web. 02 Dec 2020.

Vancouver:

Pallavi Maiya HP. Data Structures and Algorithms to Analyze Concurrency in Android Applications. [Internet] [Doctoral dissertation]. Indian Institute of Science; 2018. [cited 2020 Dec 02]. Available from: http://etd.iisc.ac.in/handle/2005/4038.

Council of Science Editors:

Pallavi Maiya HP. Data Structures and Algorithms to Analyze Concurrency in Android Applications. [Doctoral Dissertation]. Indian Institute of Science; 2018. Available from: http://etd.iisc.ac.in/handle/2005/4038


Brno University of Technology

2. 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 December 02, 2020. 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. 02 Dec 2020.

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 2020 Dec 02]. 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

3. 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 December 02, 2020. 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. 02 Dec 2020.

Vancouver:

Rajagopalan AK. Fast and Precise On-The-Fly Data Race Detection. [Internet] [Masters thesis]. Texas A&M University; 2016. [cited 2020 Dec 02]. 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

4. Hsiao, Chun-Hung. Improving Software Reliability for Event-Driven Mobile Systems.

Degree: PhD, Computer Science & Engineering, 2017, University of Michigan

 Mobile platforms commonly support an event-driven model of concurrent programming. In an event-driven system, the flow of a program is controlled by asynchronous events. Events… (more)

Subjects/Keywords: event-driven; asynchronous; data race; happens-before; commutativity; Computer Science; Engineering

…commutative events in Google’s MyTracks app. The arrows show the happens-before relation between… …Rules Priority and AtFront. The happens-before orders that can or cannot be derived are noted… …thus no happens-before order can be derived between A and B. (c) Since send(B… …send(B) ≺ begin(A) is not true, and thus no happens-before order can be… …commutative events. The solid arrows show the happens-before relation between the events. (a… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hsiao, C. (2017). Improving Software Reliability for Event-Driven Mobile Systems. (Doctoral Dissertation). University of Michigan. Retrieved from http://hdl.handle.net/2027.42/138565

Chicago Manual of Style (16th Edition):

Hsiao, Chun-Hung. “Improving Software Reliability for Event-Driven Mobile Systems.” 2017. Doctoral Dissertation, University of Michigan. Accessed December 02, 2020. http://hdl.handle.net/2027.42/138565.

MLA Handbook (7th Edition):

Hsiao, Chun-Hung. “Improving Software Reliability for Event-Driven Mobile Systems.” 2017. Web. 02 Dec 2020.

Vancouver:

Hsiao C. Improving Software Reliability for Event-Driven Mobile Systems. [Internet] [Doctoral dissertation]. University of Michigan; 2017. [cited 2020 Dec 02]. Available from: http://hdl.handle.net/2027.42/138565.

Council of Science Editors:

Hsiao C. Improving Software Reliability for Event-Driven Mobile Systems. [Doctoral Dissertation]. University of Michigan; 2017. Available from: http://hdl.handle.net/2027.42/138565

.