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:(Concurrent programs). Showing records 1 – 22 of 22 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters

1. Aksenov, Vitalii. Synchronization costs in parallel programs and concurrent data structures : Coûts de synchronization dans les programmes parallèlles et les structures de données simultanées.

Degree: Docteur es, Informatique. Programmation simultanée, 2018, Sorbonne Paris Cité; ITMO University

Pour utiliser la puissance de calcul des ordinateurs modernes, nous devons écrire des programmes concurrents. L’écriture de programme concurrent efficace est notoirement difficile, principalement en… (more)

Subjects/Keywords: Structures de données simultanées; Contrôle de la granularité; Programme concurrent; Concurrent data structures; Granularity control; Concurrent programs

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Aksenov, V. (2018). Synchronization costs in parallel programs and concurrent data structures : Coûts de synchronization dans les programmes parallèlles et les structures de données simultanées. (Doctoral Dissertation). Sorbonne Paris Cité; ITMO University. Retrieved from http://www.theses.fr/2018USPCC025

Chicago Manual of Style (16th Edition):

Aksenov, Vitalii. “Synchronization costs in parallel programs and concurrent data structures : Coûts de synchronization dans les programmes parallèlles et les structures de données simultanées.” 2018. Doctoral Dissertation, Sorbonne Paris Cité; ITMO University. Accessed January 22, 2020. http://www.theses.fr/2018USPCC025.

MLA Handbook (7th Edition):

Aksenov, Vitalii. “Synchronization costs in parallel programs and concurrent data structures : Coûts de synchronization dans les programmes parallèlles et les structures de données simultanées.” 2018. Web. 22 Jan 2020.

Vancouver:

Aksenov V. Synchronization costs in parallel programs and concurrent data structures : Coûts de synchronization dans les programmes parallèlles et les structures de données simultanées. [Internet] [Doctoral dissertation]. Sorbonne Paris Cité; ITMO University; 2018. [cited 2020 Jan 22]. Available from: http://www.theses.fr/2018USPCC025.

Council of Science Editors:

Aksenov V. Synchronization costs in parallel programs and concurrent data structures : Coûts de synchronization dans les programmes parallèlles et les structures de données simultanées. [Doctoral Dissertation]. Sorbonne Paris Cité; ITMO University; 2018. Available from: http://www.theses.fr/2018USPCC025

2. Machado, Mario Cesar da Cunha. Estudo e definição de mecanismos para redução do custo de aplicação do teste de programas concorrentes.

Degree: Mestrado, Ciências de Computação e Matemática Computacional, 2011, University of São Paulo

Programas concorrentes possuem características que os diferenciam de programas sequenciais, tornando a atividade de teste mais complexa. Questões como definição e uso de variáveis por… (more)

Subjects/Keywords: Concurrent programs; Programas concorrentes; Software testing; Teste de programas concorrentes; Teste de software; Testing of concurrent programs

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Machado, M. C. d. C. (2011). Estudo e definição de mecanismos para redução do custo de aplicação do teste de programas concorrentes. (Masters Thesis). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/55/55134/tde-01092011-084548/ ;

Chicago Manual of Style (16th Edition):

Machado, Mario Cesar da Cunha. “Estudo e definição de mecanismos para redução do custo de aplicação do teste de programas concorrentes.” 2011. Masters Thesis, University of São Paulo. Accessed January 22, 2020. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-01092011-084548/ ;.

MLA Handbook (7th Edition):

Machado, Mario Cesar da Cunha. “Estudo e definição de mecanismos para redução do custo de aplicação do teste de programas concorrentes.” 2011. Web. 22 Jan 2020.

Vancouver:

Machado MCdC. Estudo e definição de mecanismos para redução do custo de aplicação do teste de programas concorrentes. [Internet] [Masters thesis]. University of São Paulo; 2011. [cited 2020 Jan 22]. Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-01092011-084548/ ;.

Council of Science Editors:

Machado MCdC. Estudo e definição de mecanismos para redução do custo de aplicação do teste de programas concorrentes. [Masters Thesis]. University of São Paulo; 2011. Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-01092011-084548/ ;


University of Waterloo

3. Chen, Jun. Guided Testing of Concurrent Programs Using Value Schedules.

Degree: 2009, University of Waterloo

 Testing concurrent programs remains a difficult task due to the non-deterministic nature of concurrent execution. Many approaches have been proposed to tackle the complexity of… (more)

Subjects/Keywords: testing; concurrent; programs; Java

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chen, J. (2009). Guided Testing of Concurrent Programs Using Value Schedules. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/4735

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

Chen, Jun. “Guided Testing of Concurrent Programs Using Value Schedules.” 2009. Thesis, University of Waterloo. Accessed January 22, 2020. http://hdl.handle.net/10012/4735.

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

MLA Handbook (7th Edition):

Chen, Jun. “Guided Testing of Concurrent Programs Using Value Schedules.” 2009. Web. 22 Jan 2020.

Vancouver:

Chen J. Guided Testing of Concurrent Programs Using Value Schedules. [Internet] [Thesis]. University of Waterloo; 2009. [cited 2020 Jan 22]. Available from: http://hdl.handle.net/10012/4735.

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

Council of Science Editors:

Chen J. Guided Testing of Concurrent Programs Using Value Schedules. [Thesis]. University of Waterloo; 2009. Available from: http://hdl.handle.net/10012/4735

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


UCLA

4. 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 January 22, 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. 22 Jan 2020.

Vancouver:

Eslamimehr MM. Directed Testing of Event-Driven and Parallel Programs. [Internet] [Thesis]. UCLA; 2014. [cited 2020 Jan 22]. 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

5. Brito, Maria Adelina Silva. Avaliação da efetividade dos critérios de teste estruturais no contexto de programas concorrentes.

Degree: Mestrado, Ciências de Computação e Matemática Computacional, 2011, University of São Paulo

A Engenharia de Software tem desenvolvido t[écnicas e métodos para apoiar o desenvolvimento de software confiável, flexível, com baixo custo de desenvolvimento e fácil manutenção.… (more)

Subjects/Keywords: Concurrent programs; Engenharia de software experimental; Experimental software engineering; MPI programs; Programas concorrentes; Programas MPI; Software testing; Teste de software

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Brito, M. A. S. (2011). Avaliação da efetividade dos critérios de teste estruturais no contexto de programas concorrentes. (Masters Thesis). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/55/55134/tde-13012012-094510/ ;

Chicago Manual of Style (16th Edition):

Brito, Maria Adelina Silva. “Avaliação da efetividade dos critérios de teste estruturais no contexto de programas concorrentes.” 2011. Masters Thesis, University of São Paulo. Accessed January 22, 2020. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-13012012-094510/ ;.

MLA Handbook (7th Edition):

Brito, Maria Adelina Silva. “Avaliação da efetividade dos critérios de teste estruturais no contexto de programas concorrentes.” 2011. Web. 22 Jan 2020.

Vancouver:

Brito MAS. Avaliação da efetividade dos critérios de teste estruturais no contexto de programas concorrentes. [Internet] [Masters thesis]. University of São Paulo; 2011. [cited 2020 Jan 22]. Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-13012012-094510/ ;.

Council of Science Editors:

Brito MAS. Avaliação da efetividade dos critérios de teste estruturais no contexto de programas concorrentes. [Masters Thesis]. University of São Paulo; 2011. Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-13012012-094510/ ;


Indian Institute of Science

6. Arnab De, *. Access Path Based Dataflow Analysis For Sequential And Concurrent Programs.

Degree: 2012, Indian Institute of Science

 In this thesis, we have developed a flow-sensitive data flow analysis framework for value set analyses for Java-like languages. Our analysis frame work is based… (more)

Subjects/Keywords: Dataflow Analysis; Java (Computer Program Language); Concurrent Programs - Syntax and Semantics; Concurrent Programs - Dataflow Analysis; Flow-Sensitive Pointer Analysis; Null-Pointer Analysis; Sequential Programs - Syntax and Semantics; Flow-Sensitive Dataflow Analysis; Concurrent Java Programs; Sequential Programs - Dataflow Analysis; Acess Path Based Dataflow Analysis; Relaxed Memory Model; Java Memory Model; Computer Science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Arnab De, *. (2012). Access Path Based Dataflow Analysis For Sequential And Concurrent Programs. (Thesis). Indian Institute of Science. Retrieved from http://etd.iisc.ernet.in/handle/2005/2564 ; http://etd.ncsi.iisc.ernet.in/abstracts/3331/G25774-Abs.pdf

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

Arnab De, *. “Access Path Based Dataflow Analysis For Sequential And Concurrent Programs.” 2012. Thesis, Indian Institute of Science. Accessed January 22, 2020. http://etd.iisc.ernet.in/handle/2005/2564 ; http://etd.ncsi.iisc.ernet.in/abstracts/3331/G25774-Abs.pdf.

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

MLA Handbook (7th Edition):

Arnab De, *. “Access Path Based Dataflow Analysis For Sequential And Concurrent Programs.” 2012. Web. 22 Jan 2020.

Vancouver:

Arnab De *. Access Path Based Dataflow Analysis For Sequential And Concurrent Programs. [Internet] [Thesis]. Indian Institute of Science; 2012. [cited 2020 Jan 22]. Available from: http://etd.iisc.ernet.in/handle/2005/2564 ; http://etd.ncsi.iisc.ernet.in/abstracts/3331/G25774-Abs.pdf.

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

Council of Science Editors:

Arnab De *. Access Path Based Dataflow Analysis For Sequential And Concurrent Programs. [Thesis]. Indian Institute of Science; 2012. Available from: http://etd.iisc.ernet.in/handle/2005/2564 ; http://etd.ncsi.iisc.ernet.in/abstracts/3331/G25774-Abs.pdf

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


Indian Institute of Science

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

Degree: 2017, 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. (2017). Efficient Static Analyses for Concurrent Programs. (Thesis). Indian Institute of Science. Retrieved from http://etd.iisc.ernet.in/2005/3777 ; http://etd.iisc.ernet.in/abstracts/4648/G28517-Abs.pdf

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

Mukherjee, Suvam. “Efficient Static Analyses for Concurrent Programs.” 2017. Thesis, Indian Institute of Science. Accessed January 22, 2020. http://etd.iisc.ernet.in/2005/3777 ; http://etd.iisc.ernet.in/abstracts/4648/G28517-Abs.pdf.

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

MLA Handbook (7th Edition):

Mukherjee, Suvam. “Efficient Static Analyses for Concurrent Programs.” 2017. Web. 22 Jan 2020.

Vancouver:

Mukherjee S. Efficient Static Analyses for Concurrent Programs. [Internet] [Thesis]. Indian Institute of Science; 2017. [cited 2020 Jan 22]. Available from: http://etd.iisc.ernet.in/2005/3777 ; http://etd.iisc.ernet.in/abstracts/4648/G28517-Abs.pdf.

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

Council of Science Editors:

Mukherjee S. Efficient Static Analyses for Concurrent Programs. [Thesis]. Indian Institute of Science; 2017. Available from: http://etd.iisc.ernet.in/2005/3777 ; http://etd.iisc.ernet.in/abstracts/4648/G28517-Abs.pdf

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

8. Silva, José Dario Pintor da. Geração automática de dados de teste para programas concorrrentes com meta-heurística.

Degree: Mestrado, Ciências de Computação e Matemática Computacional, 2014, University of São Paulo

A programação concorrente é cada vez mais utilizada nos sistemas atuais com o objetivo de reduzir custos e obter maior eficiência no processamento. Com a… (more)

Subjects/Keywords: Concurrent programs; Data generation; Geração de dados de teste; Meta-heurística; Metaheuristic; Programação concorrente; Software testing; Teste de software

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Silva, J. D. P. d. (2014). Geração automática de dados de teste para programas concorrrentes com meta-heurística. (Masters Thesis). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/55/55134/tde-13022015-143049/ ;

Chicago Manual of Style (16th Edition):

Silva, José Dario Pintor da. “Geração automática de dados de teste para programas concorrrentes com meta-heurística.” 2014. Masters Thesis, University of São Paulo. Accessed January 22, 2020. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-13022015-143049/ ;.

MLA Handbook (7th Edition):

Silva, José Dario Pintor da. “Geração automática de dados de teste para programas concorrrentes com meta-heurística.” 2014. Web. 22 Jan 2020.

Vancouver:

Silva JDPd. Geração automática de dados de teste para programas concorrrentes com meta-heurística. [Internet] [Masters thesis]. University of São Paulo; 2014. [cited 2020 Jan 22]. Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-13022015-143049/ ;.

Council of Science Editors:

Silva JDPd. Geração automática de dados de teste para programas concorrrentes com meta-heurística. [Masters Thesis]. University of São Paulo; 2014. Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-13022015-143049/ ;

9. He, Jiansen. Type-parameterized actors and their supervision.

Degree: 2014, University of Edinburgh

 The robustness of actor-based concurrent applications can be improved upon by (i) employing failure recovery mechanisms such as the supervision principle, or (ii) using typed… (more)

Subjects/Keywords: actor-based applications; Akka; concurrent programs; TAkka

…principle”. In actor programming, concurrent programs are coded as actors, which independently… …application involve programs concurrently executed on one or more computers. Writing a reliable… …concurrent computer application is challenging to programmers due to its complexity. In practice… …Types specify how data should be used in programs. Type checking examines if data is used in… …use a library, a collection of programs written and tested by other programmers for common… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

He, J. (2014). Type-parameterized actors and their supervision. (Thesis). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/9933

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

He, Jiansen. “Type-parameterized actors and their supervision.” 2014. Thesis, University of Edinburgh. Accessed January 22, 2020. http://hdl.handle.net/1842/9933.

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

MLA Handbook (7th Edition):

He, Jiansen. “Type-parameterized actors and their supervision.” 2014. Web. 22 Jan 2020.

Vancouver:

He J. Type-parameterized actors and their supervision. [Internet] [Thesis]. University of Edinburgh; 2014. [cited 2020 Jan 22]. Available from: http://hdl.handle.net/1842/9933.

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

Council of Science Editors:

He J. Type-parameterized actors and their supervision. [Thesis]. University of Edinburgh; 2014. Available from: http://hdl.handle.net/1842/9933

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

10. Cho, Hyoun Kyu. Intelligent Management of Inter-Thread Synchronization Dependencies for Concurrent Programs.

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

 Power dissipation limits and design complexity have made the microprocessor industry less successful in improving the performance of monolithic processors, even though semiconductor technology continues… (more)

Subjects/Keywords: Synchronization; Concurrent Programs; Compilers; Computer Science; Engineering

…DEPENDENCIES FOR CONCURRENT PROGRAMS by Hyoun Kyu Cho Chair: Scott Mahlke Power dissipation limits… …programmability and efficiency of concurrent programs by intelligently managing the synchronization… …paths. These critical paths are major performance bottlenecks for concurrent programs, and… …concurrent programs. xiii CHAPTER 1 Introduction The semiconductor industry continues to scale… …collection of mechanisms that increase the programmability and efficiency of concurrent programs… 

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

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cho, H. K. (2014). Intelligent Management of Inter-Thread Synchronization Dependencies for Concurrent Programs. (Doctoral Dissertation). University of Michigan. Retrieved from http://hdl.handle.net/2027.42/108886

Chicago Manual of Style (16th Edition):

Cho, Hyoun Kyu. “Intelligent Management of Inter-Thread Synchronization Dependencies for Concurrent Programs.” 2014. Doctoral Dissertation, University of Michigan. Accessed January 22, 2020. http://hdl.handle.net/2027.42/108886.

MLA Handbook (7th Edition):

Cho, Hyoun Kyu. “Intelligent Management of Inter-Thread Synchronization Dependencies for Concurrent Programs.” 2014. Web. 22 Jan 2020.

Vancouver:

Cho HK. Intelligent Management of Inter-Thread Synchronization Dependencies for Concurrent Programs. [Internet] [Doctoral dissertation]. University of Michigan; 2014. [cited 2020 Jan 22]. Available from: http://hdl.handle.net/2027.42/108886.

Council of Science Editors:

Cho HK. Intelligent Management of Inter-Thread Synchronization Dependencies for Concurrent Programs. [Doctoral Dissertation]. University of Michigan; 2014. Available from: http://hdl.handle.net/2027.42/108886

11. Batista, Raphael Negrisoli. Otimizando o teste estrutural de programas concorrentes: uma abordagem determinística e paralela.

Degree: Mestrado, Ciências de Computação e Matemática Computacional, 2015, University of São Paulo

O teste de programas concorrentes é uma atividade custosa devido principalmente à quantidade de sequências de sincronização que devem ser testadas para validar tais programas.… (more)

Subjects/Keywords: Concurrent programs; Deterministic execution; Execução determinística; Execução paralela; Geração de variantes de disputa; Parallel execution; Programas concorrentes; Race variant generation; Structural testing; Teste estrutural

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Batista, R. N. (2015). Otimizando o teste estrutural de programas concorrentes: uma abordagem determinística e paralela. (Masters Thesis). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/55/55134/tde-03082015-110554/ ;

Chicago Manual of Style (16th Edition):

Batista, Raphael Negrisoli. “Otimizando o teste estrutural de programas concorrentes: uma abordagem determinística e paralela.” 2015. Masters Thesis, University of São Paulo. Accessed January 22, 2020. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-03082015-110554/ ;.

MLA Handbook (7th Edition):

Batista, Raphael Negrisoli. “Otimizando o teste estrutural de programas concorrentes: uma abordagem determinística e paralela.” 2015. Web. 22 Jan 2020.

Vancouver:

Batista RN. Otimizando o teste estrutural de programas concorrentes: uma abordagem determinística e paralela. [Internet] [Masters thesis]. University of São Paulo; 2015. [cited 2020 Jan 22]. Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-03082015-110554/ ;.

Council of Science Editors:

Batista RN. Otimizando o teste estrutural de programas concorrentes: uma abordagem determinística e paralela. [Masters Thesis]. University of São Paulo; 2015. Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-03082015-110554/ ;

12. Sarmanho, Felipe Santos. Teste de programas concorrentes com memória compartilhada.

Degree: Mestrado, Ciências de Computação e Matemática Computacional, 2009, University of São Paulo

Este trabalho propõe um modelo de teste para programas concorrentes que utilizam memória compartilhada. O modelo é inovador em três aspectos principais: (1) tratar a… (more)

Subjects/Keywords: Concurrent programs; Coverage criteria; Critério de cobertura; Ferramenta de teste; Memória compartilhada; Programas concorrentes; Shared memory; Structural testing; Teste estrutural; Testing tool

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sarmanho, F. S. (2009). Teste de programas concorrentes com memória compartilhada. (Masters Thesis). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/55/55134/tde-29042010-101946/ ;

Chicago Manual of Style (16th Edition):

Sarmanho, Felipe Santos. “Teste de programas concorrentes com memória compartilhada.” 2009. Masters Thesis, University of São Paulo. Accessed January 22, 2020. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-29042010-101946/ ;.

MLA Handbook (7th Edition):

Sarmanho, Felipe Santos. “Teste de programas concorrentes com memória compartilhada.” 2009. Web. 22 Jan 2020.

Vancouver:

Sarmanho FS. Teste de programas concorrentes com memória compartilhada. [Internet] [Masters thesis]. University of São Paulo; 2009. [cited 2020 Jan 22]. Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-29042010-101946/ ;.

Council of Science Editors:

Sarmanho FS. Teste de programas concorrentes com memória compartilhada. [Masters Thesis]. University of São Paulo; 2009. Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-29042010-101946/ ;


Indian Institute of Science

13. Bandishti, Vinayaka Prakasha. Tiling Stencil Computations To Maximize Parallelism.

Degree: 2013, Indian Institute of Science

 Stencil computations are iterative kernels often used to simulate the change in a discretized spatial domain overtime (e.g., computational fluid dynamics) or to solve for… (more)

Subjects/Keywords: Stencil Computations; Concurrent Start-Up; Tiling Hyperplanes; Periodic Stencils; Compilers (Computer Programs); Multiprocessors; Computer Architecture; Parallelism (Computer Architecture); Tiling Stencil Computations; Automatic Parallelizers; Pluto-Source Level Automatic Parallelizer; Computer Science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bandishti, V. P. (2013). Tiling Stencil Computations To Maximize Parallelism. (Thesis). Indian Institute of Science. Retrieved from http://etd.iisc.ernet.in/handle/2005/2619 ; http://etd.ncsi.iisc.ernet.in/abstracts/3407/G26301-Abs.pdf

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

Bandishti, Vinayaka Prakasha. “Tiling Stencil Computations To Maximize Parallelism.” 2013. Thesis, Indian Institute of Science. Accessed January 22, 2020. http://etd.iisc.ernet.in/handle/2005/2619 ; http://etd.ncsi.iisc.ernet.in/abstracts/3407/G26301-Abs.pdf.

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

MLA Handbook (7th Edition):

Bandishti, Vinayaka Prakasha. “Tiling Stencil Computations To Maximize Parallelism.” 2013. Web. 22 Jan 2020.

Vancouver:

Bandishti VP. Tiling Stencil Computations To Maximize Parallelism. [Internet] [Thesis]. Indian Institute of Science; 2013. [cited 2020 Jan 22]. Available from: http://etd.iisc.ernet.in/handle/2005/2619 ; http://etd.ncsi.iisc.ernet.in/abstracts/3407/G26301-Abs.pdf.

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

Council of Science Editors:

Bandishti VP. Tiling Stencil Computations To Maximize Parallelism. [Thesis]. Indian Institute of Science; 2013. Available from: http://etd.iisc.ernet.in/handle/2005/2619 ; http://etd.ncsi.iisc.ernet.in/abstracts/3407/G26301-Abs.pdf

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


Indian Institute of Science

14. Bandishti, Vinayaka Prakasha. Tiling Stencil Computations To Maximize Parallelism.

Degree: 2013, Indian Institute of Science

 Stencil computations are iterative kernels often used to simulate the change in a discretized spatial domain overtime (e.g., computational fluid dynamics) or to solve for… (more)

Subjects/Keywords: Stencil Computations; Concurrent Start-Up; Tiling Hyperplanes; Periodic Stencils; Compilers (Computer Programs); Multiprocessors; Computer Architecture; Parallelism (Computer Architecture); Tiling Stencil Computations; Automatic Parallelizers; Pluto-Source Level Automatic Parallelizer; Computer Science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bandishti, V. P. (2013). Tiling Stencil Computations To Maximize Parallelism. (Thesis). Indian Institute of Science. Retrieved from http://hdl.handle.net/2005/2619

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

Bandishti, Vinayaka Prakasha. “Tiling Stencil Computations To Maximize Parallelism.” 2013. Thesis, Indian Institute of Science. Accessed January 22, 2020. http://hdl.handle.net/2005/2619.

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

MLA Handbook (7th Edition):

Bandishti, Vinayaka Prakasha. “Tiling Stencil Computations To Maximize Parallelism.” 2013. Web. 22 Jan 2020.

Vancouver:

Bandishti VP. Tiling Stencil Computations To Maximize Parallelism. [Internet] [Thesis]. Indian Institute of Science; 2013. [cited 2020 Jan 22]. Available from: http://hdl.handle.net/2005/2619.

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

Council of Science Editors:

Bandishti VP. Tiling Stencil Computations To Maximize Parallelism. [Thesis]. Indian Institute of Science; 2013. Available from: http://hdl.handle.net/2005/2619

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

15. Turner, Michelle Renee. Embracing Resistance at the Margins: First-Generation Latino Students' Testimonios on Dual/Concurrent Enrollment High School Programs.

Degree: PhD, Higher Education, 2010, U of Denver

  Despite moderate gains in equal educational opportunities over the past 60 years, low-income students of color continue to lag behind their middle-class, White peers.… (more)

Subjects/Keywords: Access; Culturally relevant curricula; Culturally relevant pedagogy; Dual/concurrent enrollment high school programs; Higher education; Latina/o students; Bilingual, Multilingual, and Multicultural Education; Disability and Equity in Education; Education

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Turner, M. R. (2010). Embracing Resistance at the Margins: First-Generation Latino Students' Testimonios on Dual/Concurrent Enrollment High School Programs. (Doctoral Dissertation). U of Denver. Retrieved from https://digitalcommons.du.edu/etd/665

Chicago Manual of Style (16th Edition):

Turner, Michelle Renee. “Embracing Resistance at the Margins: First-Generation Latino Students' Testimonios on Dual/Concurrent Enrollment High School Programs.” 2010. Doctoral Dissertation, U of Denver. Accessed January 22, 2020. https://digitalcommons.du.edu/etd/665.

MLA Handbook (7th Edition):

Turner, Michelle Renee. “Embracing Resistance at the Margins: First-Generation Latino Students' Testimonios on Dual/Concurrent Enrollment High School Programs.” 2010. Web. 22 Jan 2020.

Vancouver:

Turner MR. Embracing Resistance at the Margins: First-Generation Latino Students' Testimonios on Dual/Concurrent Enrollment High School Programs. [Internet] [Doctoral dissertation]. U of Denver; 2010. [cited 2020 Jan 22]. Available from: https://digitalcommons.du.edu/etd/665.

Council of Science Editors:

Turner MR. Embracing Resistance at the Margins: First-Generation Latino Students' Testimonios on Dual/Concurrent Enrollment High School Programs. [Doctoral Dissertation]. U of Denver; 2010. Available from: https://digitalcommons.du.edu/etd/665


University of New South Wales

16. Chen, Herbert Hwai-Bor. A framework for concurrent collaboration amongst computer aided design tools.

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

Subjects/Keywords: Electronic circuit design; Computer programs; Concurrent engineering; Thesis Digitisation Program

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chen, H. H. (1993). A framework for concurrent collaboration amongst computer aided design tools. (Doctoral Dissertation). University of New South Wales. Retrieved from http://handle.unsw.edu.au/1959.4/55573 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:38073/SOURCE01?view=true

Chicago Manual of Style (16th Edition):

Chen, Herbert Hwai-Bor. “A framework for concurrent collaboration amongst computer aided design tools.” 1993. Doctoral Dissertation, University of New South Wales. Accessed January 22, 2020. http://handle.unsw.edu.au/1959.4/55573 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:38073/SOURCE01?view=true.

MLA Handbook (7th Edition):

Chen, Herbert Hwai-Bor. “A framework for concurrent collaboration amongst computer aided design tools.” 1993. Web. 22 Jan 2020.

Vancouver:

Chen HH. A framework for concurrent collaboration amongst computer aided design tools. [Internet] [Doctoral dissertation]. University of New South Wales; 1993. [cited 2020 Jan 22]. Available from: http://handle.unsw.edu.au/1959.4/55573 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:38073/SOURCE01?view=true.

Council of Science Editors:

Chen HH. A framework for concurrent collaboration amongst computer aided design tools. [Doctoral Dissertation]. University of New South Wales; 1993. Available from: http://handle.unsw.edu.au/1959.4/55573 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:38073/SOURCE01?view=true


Brno University of Technology

17. Harmim, Dominik. Statická analýza v nástroji Facebook Infer zaměřená na detekci porušení atomičnosti .

Degree: 2019, Brno University of Technology

 Cílem této práce je navrhnout statický analyzátor, který bude sloužit pro detekci porušení atomicity. Navržený analyzátor Atomer je implementován jako modul pro Facebook Infer, což… (more)

Subjects/Keywords: statická analýza; analýza programů; abstraktní interpretace; Facebook Infer; porušení atomicity; paralelní programy; kontrakty pro souběžnost; atomické sekvence; atomicita; inkrementální analýza; modulární analýza; kompoziční analýza; interprocedurální analýza; static analysis; programs analysis; abstract interpretation; Facebook Infer; atomicity violation; concurrent programs; contracts for concurrency; atomic sequences; atomicity; incremental analysis; modular analysis; compositional analysis; interprocedural analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Harmim, D. (2019). Statická analýza v nástroji Facebook Infer zaměřená na detekci porušení atomičnosti . (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/180173

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

Harmim, Dominik. “Statická analýza v nástroji Facebook Infer zaměřená na detekci porušení atomičnosti .” 2019. Thesis, Brno University of Technology. Accessed January 22, 2020. http://hdl.handle.net/11012/180173.

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

MLA Handbook (7th Edition):

Harmim, Dominik. “Statická analýza v nástroji Facebook Infer zaměřená na detekci porušení atomičnosti .” 2019. Web. 22 Jan 2020.

Vancouver:

Harmim D. Statická analýza v nástroji Facebook Infer zaměřená na detekci porušení atomičnosti . [Internet] [Thesis]. Brno University of Technology; 2019. [cited 2020 Jan 22]. Available from: http://hdl.handle.net/11012/180173.

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

Council of Science Editors:

Harmim D. Statická analýza v nástroji Facebook Infer zaměřená na detekci porušení atomičnosti . [Thesis]. Brno University of Technology; 2019. Available from: http://hdl.handle.net/11012/180173

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

18. Tasharofi, Samira. Efficient testing of actor programs with non-deterministic behaviors.

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

 The actor model is a model of concurrent programming that consists of concurrent entities called actors. Actors communicate using asynchronous messages, and depending on the… (more)

Subjects/Keywords: The Actor Model; Concurrent Programs; Testing Non-determinism; Model Checking; Testing Frameworks; Coverage-based Testing.

…Criteria for Concurrent Programs . . . . . 6.5 Coverage-guided and Active Testing… …65 66 68 82 82 84 Chapter 1 Introduction 1.1 Overview Concurrent programs are becoming… …schedules of execution and checking assertions in testing concurrent programs were previously… …x28;POR) techniques envision concurrent programs as state–transition systems. They… …for Actor Programs . . . . . . . 5.2.1 Coverage Requirements… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Tasharofi, S. (2014). Efficient testing of actor programs with non-deterministic behaviors. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/46695

Chicago Manual of Style (16th Edition):

Tasharofi, Samira. “Efficient testing of actor programs with non-deterministic behaviors.” 2014. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed January 22, 2020. http://hdl.handle.net/2142/46695.

MLA Handbook (7th Edition):

Tasharofi, Samira. “Efficient testing of actor programs with non-deterministic behaviors.” 2014. Web. 22 Jan 2020.

Vancouver:

Tasharofi S. Efficient testing of actor programs with non-deterministic behaviors. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2014. [cited 2020 Jan 22]. Available from: http://hdl.handle.net/2142/46695.

Council of Science Editors:

Tasharofi S. Efficient testing of actor programs with non-deterministic behaviors. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2014. Available from: http://hdl.handle.net/2142/46695

19. -7783-8862. College credit in high school : an examination of the impact of dual credit on college success and completion in Texas.

Degree: PhD, Educational Administration, 2015, University of Texas – Austin

 Dual credit, which allows students to simultaneously earn high school and college credit for the same course, is widely-implemented across the country. Dual credit is… (more)

Subjects/Keywords: Dual credit; Dual enrollment; College credit in high school; Concurrent enrollment; Accelerated programs; College completion

…these programs and notes that “concurrent enrollment programs may have some elements or… …programs evolved, this discussion provides a brief introduction to dual credit literature. The… …tutoring, mentoring, and summer bridge programs) to underrepresented students in order to… …state, but most programs are developed through local partnership agreements between high… …the practice. Dual credit, dual enrollment, concurrent enrollment, college in the high… 

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

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

-7783-8862. (2015). College credit in high school : an examination of the impact of dual credit on college success and completion in Texas. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/31003

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Chicago Manual of Style (16th Edition):

-7783-8862. “College credit in high school : an examination of the impact of dual credit on college success and completion in Texas.” 2015. Doctoral Dissertation, University of Texas – Austin. Accessed January 22, 2020. http://hdl.handle.net/2152/31003.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

MLA Handbook (7th Edition):

-7783-8862. “College credit in high school : an examination of the impact of dual credit on college success and completion in Texas.” 2015. Web. 22 Jan 2020.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Vancouver:

-7783-8862. College credit in high school : an examination of the impact of dual credit on college success and completion in Texas. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2015. [cited 2020 Jan 22]. Available from: http://hdl.handle.net/2152/31003.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Council of Science Editors:

-7783-8862. College credit in high school : an examination of the impact of dual credit on college success and completion in Texas. [Doctoral Dissertation]. University of Texas – Austin; 2015. Available from: http://hdl.handle.net/2152/31003

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

20. Sinclair, Armond E. Achieving Program Success with Productive Outcomes: Lessons from Concurrent Engineering for United States Department of Defense Major Defense Acquisition.

Degree: PhD, Manufacturing and Technology Management, 2017, University of Toledo

 The DoD budget request for fiscal year 2015 was 560.4B, of which 154B was set aside for Major Defense Acquisition Programs (MDAPs) in the areas… (more)

Subjects/Keywords: Management; Technology; Aerospace Engineering; Concurrent Engineering; Major Defense Acquisition Programs; MDAP; Defense Aqusition

programs possess inherent characteristics that manifest through various stages of the concurrent… …failures are in part a result of the delivery dimensions of 3 the programsconcurrent… …11 2.1 History of Concurrent Engineering & Manufacturing… …17 2.1.3 Concurrent Engineering Finally Appears… …51 3.2 Concurrent Engineering & Ambidexterity… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sinclair, A. E. (2017). Achieving Program Success with Productive Outcomes: Lessons from Concurrent Engineering for United States Department of Defense Major Defense Acquisition. (Doctoral Dissertation). University of Toledo. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=toledo1494593155068787

Chicago Manual of Style (16th Edition):

Sinclair, Armond E. “Achieving Program Success with Productive Outcomes: Lessons from Concurrent Engineering for United States Department of Defense Major Defense Acquisition.” 2017. Doctoral Dissertation, University of Toledo. Accessed January 22, 2020. http://rave.ohiolink.edu/etdc/view?acc_num=toledo1494593155068787.

MLA Handbook (7th Edition):

Sinclair, Armond E. “Achieving Program Success with Productive Outcomes: Lessons from Concurrent Engineering for United States Department of Defense Major Defense Acquisition.” 2017. Web. 22 Jan 2020.

Vancouver:

Sinclair AE. Achieving Program Success with Productive Outcomes: Lessons from Concurrent Engineering for United States Department of Defense Major Defense Acquisition. [Internet] [Doctoral dissertation]. University of Toledo; 2017. [cited 2020 Jan 22]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=toledo1494593155068787.

Council of Science Editors:

Sinclair AE. Achieving Program Success with Productive Outcomes: Lessons from Concurrent Engineering for United States Department of Defense Major Defense Acquisition. [Doctoral Dissertation]. University of Toledo; 2017. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=toledo1494593155068787


University of North Texas

21. Swanson, Kathrine Bridgett. An analysis of the effects of high school student concurrent enrollment at Collin County Community College District.

Degree: 2003, University of North Texas

 As efforts to provide seamless transitions from high school to college grow, so do the numbers of high school students who concurrently enroll in college… (more)

Subjects/Keywords: College-school cooperation  – Texas  – Collin County.; Collin County Community College District.; High school seniors  – Texas  – Collin County.; Advanced placement programs (Education); Concurrent enrollment; dual credit; student retention; high school; senior year; student transitions

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Swanson, K. B. (2003). An analysis of the effects of high school student concurrent enrollment at Collin County Community College District. (Thesis). University of North Texas. Retrieved from https://digital.library.unt.edu/ark:/67531/metadc4354/

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

Swanson, Kathrine Bridgett. “An analysis of the effects of high school student concurrent enrollment at Collin County Community College District.” 2003. Thesis, University of North Texas. Accessed January 22, 2020. https://digital.library.unt.edu/ark:/67531/metadc4354/.

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

MLA Handbook (7th Edition):

Swanson, Kathrine Bridgett. “An analysis of the effects of high school student concurrent enrollment at Collin County Community College District.” 2003. Web. 22 Jan 2020.

Vancouver:

Swanson KB. An analysis of the effects of high school student concurrent enrollment at Collin County Community College District. [Internet] [Thesis]. University of North Texas; 2003. [cited 2020 Jan 22]. Available from: https://digital.library.unt.edu/ark:/67531/metadc4354/.

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

Council of Science Editors:

Swanson KB. An analysis of the effects of high school student concurrent enrollment at Collin County Community College District. [Thesis]. University of North Texas; 2003. Available from: https://digital.library.unt.edu/ark:/67531/metadc4354/

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


Universitat Ramon Llull

22. Babot Pagès, Francesc Xavier. Contributions to Formal Communication Elimination for System Models with Explicit Parallelism.

Degree: 2009, Universitat Ramon Llull

 Formal verification methods are increasingly being used in industry to establish the correctness of, and to find the flaws in, system models; for instance, descriptions… (more)

Subjects/Keywords: formal sequentialization; communication elimination; static analysis of programs; formal verification; Concurrent and distributed systems; secuencialización formal; eliminación de comunicaciones; análisis estático de programas; verificación formal; Sistemas concurrentes y distribuidos; eliminació de comunicacions; seqüencialització formal; anàlisi estàtic de programes; verificació formal; Sistemes concurrents i distribuïts; Les TIC i la seva Gestió; 62

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Babot Pagès, F. X. (2009). Contributions to Formal Communication Elimination for System Models with Explicit Parallelism. (Thesis). Universitat Ramon Llull. Retrieved from http://hdl.handle.net/10803/9161

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

Babot Pagès, Francesc Xavier. “Contributions to Formal Communication Elimination for System Models with Explicit Parallelism.” 2009. Thesis, Universitat Ramon Llull. Accessed January 22, 2020. http://hdl.handle.net/10803/9161.

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

MLA Handbook (7th Edition):

Babot Pagès, Francesc Xavier. “Contributions to Formal Communication Elimination for System Models with Explicit Parallelism.” 2009. Web. 22 Jan 2020.

Vancouver:

Babot Pagès FX. Contributions to Formal Communication Elimination for System Models with Explicit Parallelism. [Internet] [Thesis]. Universitat Ramon Llull; 2009. [cited 2020 Jan 22]. Available from: http://hdl.handle.net/10803/9161.

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

Council of Science Editors:

Babot Pagès FX. Contributions to Formal Communication Elimination for System Models with Explicit Parallelism. [Thesis]. Universitat Ramon Llull; 2009. Available from: http://hdl.handle.net/10803/9161

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

.