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:( en CONCURRENCY MODELS). Showing records 1 – 30 of 65149 total matches.

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

Search Limiters

Last 2 Years | English Only

Degrees

Languages

Country

▼ Search Limiters


Pontifical Catholic University of Rio de Janeiro

1. BRENO RIBA DA COSTA CRUZ. [en] A PROGRAMMING INTERFACE FOR OVERLOAD CONTROL IN STAGED EVENT BASED ARCHITECTURES.

Degree: 2016, Pontifical Catholic University of Rio de Janeiro

[pt] Controle de sobrecarga pode ser feito com o uso de políticas de escalonamento adequadas, que procuram ajustar dinamicamente os recursos alocados a uma aplicação.… (more)

Subjects/Keywords: [pt] SISTEMAS DISTRIBUIDOS; [en] DISTRIBUTED SYSTEMS; [pt] EVENTO; [en] EVENT; [pt] MODELOS DE CONCORRENCIA; [en] CONCURRENCY MODELS; [pt] THREADS; [en] THREADS; [pt] ARQUITETURAS BASEADAS EM ESTAGIOS; [pt] SEDA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

CRUZ, B. R. D. C. (2016). [en] A PROGRAMMING INTERFACE FOR OVERLOAD CONTROL IN STAGED EVENT BASED ARCHITECTURES. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=25817

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

CRUZ, BRENO RIBA DA COSTA. “[en] A PROGRAMMING INTERFACE FOR OVERLOAD CONTROL IN STAGED EVENT BASED ARCHITECTURES.” 2016. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed September 27, 2020. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=25817.

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

MLA Handbook (7th Edition):

CRUZ, BRENO RIBA DA COSTA. “[en] A PROGRAMMING INTERFACE FOR OVERLOAD CONTROL IN STAGED EVENT BASED ARCHITECTURES.” 2016. Web. 27 Sep 2020.

Vancouver:

CRUZ BRDC. [en] A PROGRAMMING INTERFACE FOR OVERLOAD CONTROL IN STAGED EVENT BASED ARCHITECTURES. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2016. [cited 2020 Sep 27]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=25817.

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

Council of Science Editors:

CRUZ BRDC. [en] A PROGRAMMING INTERFACE FOR OVERLOAD CONTROL IN STAGED EVENT BASED ARCHITECTURES. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2016. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=25817

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


Pontifical Catholic University of Rio de Janeiro

2. JUAREZ DA SILVA BOCHI. [en] PARALLEL PROGRAMING IN THE REDIS KEY-VALUE DATASTORE.

Degree: 2016, Pontifical Catholic University of Rio de Janeiro

[pt] Redis é um banco de dados chave-valor de código livre que dá suporte à avaliação de scripts Lua, mas sua implementação utiliza apenas uma… (more)

Subjects/Keywords: [pt] MODELOS DE CONCORRENCIA; [en] CONCURRENCY MODELS; [pt] LUA; [en] LUA; [pt] BANCOS DE DADOS; [en] DATABASE DESIGN; [pt] REDIS; [en] REDIS; [pt] PROGRAMACAO PARALELA; [en] PARALLEL PROGRAMMING; [pt] MODELO M :N; [en] M :N THREADING MODEL

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

BOCHI, J. D. S. (2016). [en] PARALLEL PROGRAMING IN THE REDIS KEY-VALUE DATASTORE. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=26115

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

BOCHI, JUAREZ DA SILVA. “[en] PARALLEL PROGRAMING IN THE REDIS KEY-VALUE DATASTORE.” 2016. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed September 27, 2020. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=26115.

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

MLA Handbook (7th Edition):

BOCHI, JUAREZ DA SILVA. “[en] PARALLEL PROGRAMING IN THE REDIS KEY-VALUE DATASTORE.” 2016. Web. 27 Sep 2020.

Vancouver:

BOCHI JDS. [en] PARALLEL PROGRAMING IN THE REDIS KEY-VALUE DATASTORE. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2016. [cited 2020 Sep 27]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=26115.

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

Council of Science Editors:

BOCHI JDS. [en] PARALLEL PROGRAMING IN THE REDIS KEY-VALUE DATASTORE. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2016. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=26115

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

3. Pamnany, Kiran. Safe Parallelism for Servers.

Degree: PhD, Computer Science, 2011, Brown University

 Applications must embrace parallelism in order to increase performance on today's ubiquitous multicore processors. Unfortunately, writing correct parallel applications is notoriously hard, partly because the… (more)

Subjects/Keywords: concurrency

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Pamnany, K. (2011). Safe Parallelism for Servers. (Doctoral Dissertation). Brown University. Retrieved from https://repository.library.brown.edu/studio/item/bdr:11324/

Chicago Manual of Style (16th Edition):

Pamnany, Kiran. “Safe Parallelism for Servers.” 2011. Doctoral Dissertation, Brown University. Accessed September 27, 2020. https://repository.library.brown.edu/studio/item/bdr:11324/.

MLA Handbook (7th Edition):

Pamnany, Kiran. “Safe Parallelism for Servers.” 2011. Web. 27 Sep 2020.

Vancouver:

Pamnany K. Safe Parallelism for Servers. [Internet] [Doctoral dissertation]. Brown University; 2011. [cited 2020 Sep 27]. Available from: https://repository.library.brown.edu/studio/item/bdr:11324/.

Council of Science Editors:

Pamnany K. Safe Parallelism for Servers. [Doctoral Dissertation]. Brown University; 2011. Available from: https://repository.library.brown.edu/studio/item/bdr:11324/

4. TIAGO LIMA SALMITO. [en] A FLEXIBLE APPROACH TO STAGED EVENTS.

Degree: 2015, Pontifical Catholic University of Rio de Janeiro

[pt] O objetivo deste trabalho é explorar e estender a exibilidade provida pelo modelo híbrido de concorrência orientado a estágios, que visa integrar tanto loops… (more)

Subjects/Keywords: [pt] MODELOS DE CONCORRENCIA; [en] CONCURRENCY MODELS; [pt] ESTAGIOS; [en] APPRENTICESHIPS; [pt] THREADS; [en] THREADS; [pt] CONCORRENCIA HIBRIDA; [en] HYBRID CONCURRENCY; [pt] ORIENTACAO A EVENTOS; [en] EVENT DRIVEN

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

SALMITO, T. L. (2015). [en] A FLEXIBLE APPROACH TO STAGED EVENTS. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=25024

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

SALMITO, TIAGO LIMA. “[en] A FLEXIBLE APPROACH TO STAGED EVENTS.” 2015. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed September 27, 2020. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=25024.

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

MLA Handbook (7th Edition):

SALMITO, TIAGO LIMA. “[en] A FLEXIBLE APPROACH TO STAGED EVENTS.” 2015. Web. 27 Sep 2020.

Vancouver:

SALMITO TL. [en] A FLEXIBLE APPROACH TO STAGED EVENTS. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2015. [cited 2020 Sep 27]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=25024.

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

Council of Science Editors:

SALMITO TL. [en] A FLEXIBLE APPROACH TO STAGED EVENTS. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2015. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=25024

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


UCLA

5. Aralis, Hilary Jeanne. Modeling Multistate Models with Back Transitions: Statistical Challenges and Applications.

Degree: Biostatistics, 2016, UCLA

 Multistate models are widely used in health research to analyze life history processes in which each individual is assumed to occupy one of a finite… (more)

Subjects/Keywords: Biostatistics; Public health; Back Transitions; Concurrency; Dementia; Multistate Models; Stochastic EM

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Aralis, H. J. (2016). Modeling Multistate Models with Back Transitions: Statistical Challenges and Applications. (Thesis). UCLA. Retrieved from http://www.escholarship.org/uc/item/0g055686

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

Aralis, Hilary Jeanne. “Modeling Multistate Models with Back Transitions: Statistical Challenges and Applications.” 2016. Thesis, UCLA. Accessed September 27, 2020. http://www.escholarship.org/uc/item/0g055686.

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

MLA Handbook (7th Edition):

Aralis, Hilary Jeanne. “Modeling Multistate Models with Back Transitions: Statistical Challenges and Applications.” 2016. Web. 27 Sep 2020.

Vancouver:

Aralis HJ. Modeling Multistate Models with Back Transitions: Statistical Challenges and Applications. [Internet] [Thesis]. UCLA; 2016. [cited 2020 Sep 27]. Available from: http://www.escholarship.org/uc/item/0g055686.

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

Council of Science Editors:

Aralis HJ. Modeling Multistate Models with Back Transitions: Statistical Challenges and Applications. [Thesis]. UCLA; 2016. Available from: http://www.escholarship.org/uc/item/0g055686

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


Harvard University

6. Goyal, Ravi. Estimating Network Features and Associated Measures of Uncertainty and Their Incorporation in Network Generation and Analysis.

Degree: PhD, Biostatistics, 2012, Harvard University

 The efficacy of interventions to control HIV spread depends upon many features of the communities where they are implemented, including not only prevalence, incidence, and… (more)

Subjects/Keywords: concurrency; HIV; infectious disease; network models; sampling; biostatistics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Goyal, R. (2012). Estimating Network Features and Associated Measures of Uncertainty and Their Incorporation in Network Generation and Analysis. (Doctoral Dissertation). Harvard University. Retrieved from http://nrs.harvard.edu/urn-3:HUL.InstRepos:9920180

Chicago Manual of Style (16th Edition):

Goyal, Ravi. “Estimating Network Features and Associated Measures of Uncertainty and Their Incorporation in Network Generation and Analysis.” 2012. Doctoral Dissertation, Harvard University. Accessed September 27, 2020. http://nrs.harvard.edu/urn-3:HUL.InstRepos:9920180.

MLA Handbook (7th Edition):

Goyal, Ravi. “Estimating Network Features and Associated Measures of Uncertainty and Their Incorporation in Network Generation and Analysis.” 2012. Web. 27 Sep 2020.

Vancouver:

Goyal R. Estimating Network Features and Associated Measures of Uncertainty and Their Incorporation in Network Generation and Analysis. [Internet] [Doctoral dissertation]. Harvard University; 2012. [cited 2020 Sep 27]. Available from: http://nrs.harvard.edu/urn-3:HUL.InstRepos:9920180.

Council of Science Editors:

Goyal R. Estimating Network Features and Associated Measures of Uncertainty and Their Incorporation in Network Generation and Analysis. [Doctoral Dissertation]. Harvard University; 2012. Available from: http://nrs.harvard.edu/urn-3:HUL.InstRepos:9920180


Pontifical Catholic University of Rio de Janeiro

7. ANA LUCIA DE MOURA. [en] REVISITING COROUTINES.

Degree: 2004, Pontifical Catholic University of Rio de Janeiro

[pt] O objetivo deste trabalho é defender o resgate do conceito de co-rotinas como uma construção de controle poderosa e conveniente, que pode substituir tanto… (more)

Subjects/Keywords: [pt] CO-ROTINAS; [en] COROUTINES; [pt] CONSTRUCOES DE CONTROLE; [en] CONTROL CONSTRUCTION; [pt] CONTINUACAO; [en] CONTINUATION; [pt] MODELOS DE CONCORRENCIA; [en] CONCURRENCY MODELS

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

MOURA, A. L. D. (2004). [en] REVISITING COROUTINES. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=5667

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

MOURA, ANA LUCIA DE. “[en] REVISITING COROUTINES.” 2004. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed September 27, 2020. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=5667.

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

MLA Handbook (7th Edition):

MOURA, ANA LUCIA DE. “[en] REVISITING COROUTINES.” 2004. Web. 27 Sep 2020.

Vancouver:

MOURA ALD. [en] REVISITING COROUTINES. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2004. [cited 2020 Sep 27]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=5667.

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

Council of Science Editors:

MOURA ALD. [en] REVISITING COROUTINES. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2004. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=5667

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

8. Polyvyanyy, Artem. Structuring process models.

Degree: 2012, University of Potsdam

 One can fairly adopt the ideas of Donald E. Knuth to conclude that process modeling is both a science and an art. Process modeling does… (more)

Subjects/Keywords: 080500 DISTRIBUTED COMPUTING; 080600 INFORMATION SYSTEMS; well-structured process models; concurrency; structuring; behavior preserving transformation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Polyvyanyy, A. (2012). Structuring process models. (Thesis). University of Potsdam. Retrieved from http://eprints.qut.edu.au/103118/

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

Polyvyanyy, Artem. “Structuring process models.” 2012. Thesis, University of Potsdam. Accessed September 27, 2020. http://eprints.qut.edu.au/103118/.

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

MLA Handbook (7th Edition):

Polyvyanyy, Artem. “Structuring process models.” 2012. Web. 27 Sep 2020.

Vancouver:

Polyvyanyy A. Structuring process models. [Internet] [Thesis]. University of Potsdam; 2012. [cited 2020 Sep 27]. Available from: http://eprints.qut.edu.au/103118/.

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

Council of Science Editors:

Polyvyanyy A. Structuring process models. [Thesis]. University of Potsdam; 2012. Available from: http://eprints.qut.edu.au/103118/

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


University of California – Irvine

9. Ou, Peizhao. An Initial Study of Two Approaches to Eliminating Out-of-Thin-Air Results.

Degree: Electrical and Computer Engineering, 2018, University of California – Irvine

 Eliminating so-called "out-of-thin-air" (OOTA) results is an open problem in many existing programming language memory models including Java, C, and C++. OOTA behaviors are problematic… (more)

Subjects/Keywords: Computer engineering; Computer science; Compilers; Concurrency; Concurrent Programming Languages; Memory Models; Software Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ou, P. (2018). An Initial Study of Two Approaches to Eliminating Out-of-Thin-Air Results. (Thesis). University of California – Irvine. Retrieved from http://www.escholarship.org/uc/item/2vm546k1

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

Ou, Peizhao. “An Initial Study of Two Approaches to Eliminating Out-of-Thin-Air Results.” 2018. Thesis, University of California – Irvine. Accessed September 27, 2020. http://www.escholarship.org/uc/item/2vm546k1.

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

MLA Handbook (7th Edition):

Ou, Peizhao. “An Initial Study of Two Approaches to Eliminating Out-of-Thin-Air Results.” 2018. Web. 27 Sep 2020.

Vancouver:

Ou P. An Initial Study of Two Approaches to Eliminating Out-of-Thin-Air Results. [Internet] [Thesis]. University of California – Irvine; 2018. [cited 2020 Sep 27]. Available from: http://www.escholarship.org/uc/item/2vm546k1.

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

Council of Science Editors:

Ou P. An Initial Study of Two Approaches to Eliminating Out-of-Thin-Air Results. [Thesis]. University of California – Irvine; 2018. Available from: http://www.escholarship.org/uc/item/2vm546k1

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

10. Castellan, Simon. Structures concurrentes en sémantique des jeux : Concurrent structures in game semantics.

Degree: Docteur es, Informatique, 2017, Lyon

La sémantique des jeux permet l'étude et la modélisation abstraite des langages de programmation d'un point de vue mathématique, en gardant assez d'informations concrètes sur… (more)

Subjects/Keywords: Sémantique dénotationnelle; Sémantique des jeux; Concurrence; Structures d’évènements; Modèles mémoires faibles; Denotational semantics; Game semantics; Concurrency; Event structures; Weak memory models

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Castellan, S. (2017). Structures concurrentes en sémantique des jeux : Concurrent structures in game semantics. (Doctoral Dissertation). Lyon. Retrieved from http://www.theses.fr/2017LYSEN034

Chicago Manual of Style (16th Edition):

Castellan, Simon. “Structures concurrentes en sémantique des jeux : Concurrent structures in game semantics.” 2017. Doctoral Dissertation, Lyon. Accessed September 27, 2020. http://www.theses.fr/2017LYSEN034.

MLA Handbook (7th Edition):

Castellan, Simon. “Structures concurrentes en sémantique des jeux : Concurrent structures in game semantics.” 2017. Web. 27 Sep 2020.

Vancouver:

Castellan S. Structures concurrentes en sémantique des jeux : Concurrent structures in game semantics. [Internet] [Doctoral dissertation]. Lyon; 2017. [cited 2020 Sep 27]. Available from: http://www.theses.fr/2017LYSEN034.

Council of Science Editors:

Castellan S. Structures concurrentes en sémantique des jeux : Concurrent structures in game semantics. [Doctoral Dissertation]. Lyon; 2017. Available from: http://www.theses.fr/2017LYSEN034

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

Degree: PhD, 2018, University of Cambridge

 Many hardware and compiler optimisations introduced to speed up single-threaded programs also introduce additional, sometimes surprising, behaviours for concurrent programs with shared mutable state. How… (more)

Subjects/Keywords: 005.4; concurrency; relaxed memory models; C/C++

…the JMM . . . 2.4.2 Limitations of the JMM . . . 2.5 Hardware memory models . . . . . 2.5.1… …158MP), the field still does not have a credible proposal for the concurrency semantics… …concurrency primitives. This is a major open problem for programming language semantics. Neither of… …models for programming languages need to account for these optimisations. However, the Java… …memory models for programming languages, that are weak enough to be sound with respect to… 

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

Pichon-Pharabod, J. Y. A. (2018). A no-thin-air memory model for programming languages. (Doctoral Dissertation). University of Cambridge. Retrieved from https://www.repository.cam.ac.uk/handle/1810/274465 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.744652

Chicago Manual of Style (16th Edition):

Pichon-Pharabod, Jean Yves Alexis. “A no-thin-air memory model for programming languages.” 2018. Doctoral Dissertation, University of Cambridge. Accessed September 27, 2020. https://www.repository.cam.ac.uk/handle/1810/274465 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.744652.

MLA Handbook (7th Edition):

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

Vancouver:

Pichon-Pharabod JYA. A no-thin-air memory model for programming languages. [Internet] [Doctoral dissertation]. University of Cambridge; 2018. [cited 2020 Sep 27]. Available from: https://www.repository.cam.ac.uk/handle/1810/274465 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.744652.

Council of Science Editors:

Pichon-Pharabod JYA. A no-thin-air memory model for programming languages. [Doctoral Dissertation]. University of Cambridge; 2018. Available from: https://www.repository.cam.ac.uk/handle/1810/274465 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.744652

12. Tang, Qiyi. Computing Probabilistic Bisimilarity Distances.

Degree: PhD, Computer Science, 2018, York University

 Behavioural equivalences like probabilistic bisimilarity rely on the transition probabilities and, as a result, are sensitive to minuscule changes of those probabilities. Such behavioural equivalences… (more)

Subjects/Keywords: Computer science; Probabilistic bisimilarity distances; Bisimulation metric; Probabilistic models; Model checking; Concurrency; Labelled Markov chains; Algorithms; Probabilistic automata

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Tang, Q. (2018). Computing Probabilistic Bisimilarity Distances. (Doctoral Dissertation). York University. Retrieved from http://hdl.handle.net/10315/35586

Chicago Manual of Style (16th Edition):

Tang, Qiyi. “Computing Probabilistic Bisimilarity Distances.” 2018. Doctoral Dissertation, York University. Accessed September 27, 2020. http://hdl.handle.net/10315/35586.

MLA Handbook (7th Edition):

Tang, Qiyi. “Computing Probabilistic Bisimilarity Distances.” 2018. Web. 27 Sep 2020.

Vancouver:

Tang Q. Computing Probabilistic Bisimilarity Distances. [Internet] [Doctoral dissertation]. York University; 2018. [cited 2020 Sep 27]. Available from: http://hdl.handle.net/10315/35586.

Council of Science Editors:

Tang Q. Computing Probabilistic Bisimilarity Distances. [Doctoral Dissertation]. York University; 2018. Available from: http://hdl.handle.net/10315/35586

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

Degree: PhD, 2018, University of Cambridge

 Many hardware and compiler optimisations introduced to speed up single-threaded programs also introduce additional, sometimes surprising, behaviours for concurrent programs with shared mutable state. How… (more)

Subjects/Keywords: concurrency; relaxed memory models; C/C++

…the JMM . . . 2.4.2 Limitations of the JMM . . . 2.5 Hardware memory models . . . . . 2.5.1… …158MP), the field still does not have a credible proposal for the concurrency semantics… …concurrency primitives. This is a major open problem for programming language semantics. Neither of… …models for programming languages need to account for these optimisations. However, the Java… …memory models for programming languages, that are weak enough to be sound with respect to… 

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

Pichon-Pharabod, J. Y. A. (2018). A no-thin-air memory model for programming languages. (Doctoral Dissertation). University of Cambridge. Retrieved from https://www.repository.cam.ac.uk/handle/1810/274465

Chicago Manual of Style (16th Edition):

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

MLA Handbook (7th Edition):

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

Vancouver:

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

Council of Science Editors:

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


University of Ottawa

14. Xu, Xinghao. Methodology for Introducing Concurrency into Sequential Programs .

Degree: 2015, University of Ottawa

 Efficiency of software application is one of the important metrics that are used to measure the quality of software applications. Nowadays, more and more professionals… (more)

Subjects/Keywords: Methodology; Concurrency

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Xu, X. (2015). Methodology for Introducing Concurrency into Sequential Programs . (Thesis). University of Ottawa. Retrieved from http://hdl.handle.net/10393/31875

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

Chicago Manual of Style (16th Edition):

Xu, Xinghao. “Methodology for Introducing Concurrency into Sequential Programs .” 2015. Thesis, University of Ottawa. Accessed September 27, 2020. http://hdl.handle.net/10393/31875.

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

MLA Handbook (7th Edition):

Xu, Xinghao. “Methodology for Introducing Concurrency into Sequential Programs .” 2015. Web. 27 Sep 2020.

Vancouver:

Xu X. Methodology for Introducing Concurrency into Sequential Programs . [Internet] [Thesis]. University of Ottawa; 2015. [cited 2020 Sep 27]. Available from: http://hdl.handle.net/10393/31875.

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

Council of Science Editors:

Xu X. Methodology for Introducing Concurrency into Sequential Programs . [Thesis]. University of Ottawa; 2015. Available from: http://hdl.handle.net/10393/31875

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

15. Lê, Nhat Minh. Kahn process networks as concurrent data structures : lock freedom, parallelism, relaxation in shared memory : Les réseaux de processus de Kahn : progrès non bloquant, parallélisme, relâchement en mémoire partagée.

Degree: Docteur es, Informatique, 2016, Paris Sciences et Lettres (ComUE)

La thèse porte sur les réseaux de Kahn, un modèle de concurrence simple et expressif proposé par Gilles Kahn dans les années 70, et leur… (more)

Subjects/Keywords: Concurrence; Parallélisme; Programmation non bloquante; Modèles de mémoire relâchée; Réseaux de processus de Kahn; Concurrency; Parallelism; Relaxed memory models; Relaxed memory models; Kahn process networks; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lê, N. M. (2016). Kahn process networks as concurrent data structures : lock freedom, parallelism, relaxation in shared memory : Les réseaux de processus de Kahn : progrès non bloquant, parallélisme, relâchement en mémoire partagée. (Doctoral Dissertation). Paris Sciences et Lettres (ComUE). Retrieved from http://www.theses.fr/2016PSLEE051

Chicago Manual of Style (16th Edition):

Lê, Nhat Minh. “Kahn process networks as concurrent data structures : lock freedom, parallelism, relaxation in shared memory : Les réseaux de processus de Kahn : progrès non bloquant, parallélisme, relâchement en mémoire partagée.” 2016. Doctoral Dissertation, Paris Sciences et Lettres (ComUE). Accessed September 27, 2020. http://www.theses.fr/2016PSLEE051.

MLA Handbook (7th Edition):

Lê, Nhat Minh. “Kahn process networks as concurrent data structures : lock freedom, parallelism, relaxation in shared memory : Les réseaux de processus de Kahn : progrès non bloquant, parallélisme, relâchement en mémoire partagée.” 2016. Web. 27 Sep 2020.

Vancouver:

Lê NM. Kahn process networks as concurrent data structures : lock freedom, parallelism, relaxation in shared memory : Les réseaux de processus de Kahn : progrès non bloquant, parallélisme, relâchement en mémoire partagée. [Internet] [Doctoral dissertation]. Paris Sciences et Lettres (ComUE); 2016. [cited 2020 Sep 27]. Available from: http://www.theses.fr/2016PSLEE051.

Council of Science Editors:

Lê NM. Kahn process networks as concurrent data structures : lock freedom, parallelism, relaxation in shared memory : Les réseaux de processus de Kahn : progrès non bloquant, parallélisme, relâchement en mémoire partagée. [Doctoral Dissertation]. Paris Sciences et Lettres (ComUE); 2016. Available from: http://www.theses.fr/2016PSLEE051


Pontifical Catholic University of Rio de Janeiro

16. [No author]. [pt] REVISITANDO MONITORES.

Degree: 2020, Pontifical Catholic University of Rio de Janeiro

[pt] A maioria das linguagens de programação modernas fornece ferramentas para programação concorrente sem restringir seu uso. Assim, fica a cargo do programador evitar a… (more)

Subjects/Keywords: [pt] IMUTABILIDADE; [pt] LINGUAGENS DE PROGRAMACAO CONCORRENTES; [pt] PROBLEMAS DE CONCORRENCIA CLASSICOS; [pt] MONITORES; [pt] MEMORIA COMPARTILHADA; [pt] CONCORRENCIA; [en] IMMUTABILITY; [en] CONCURRENT PROGRAMMING LANGUAGES; [en] CLASSIC CONCURRENCY PROBLEMS; [en] MONITORS; [en] SHARED MEMORY; [en] CONCURRENCE

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

author], [. (2020). [pt] REVISITANDO MONITORES. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=49068

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

author], [No. “[pt] REVISITANDO MONITORES.” 2020. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed September 27, 2020. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=49068.

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

MLA Handbook (7th Edition):

author], [No. “[pt] REVISITANDO MONITORES.” 2020. Web. 27 Sep 2020.

Vancouver:

author] [. [pt] REVISITANDO MONITORES. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2020. [cited 2020 Sep 27]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=49068.

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

Council of Science Editors:

author] [. [pt] REVISITANDO MONITORES. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2020. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=49068

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


University of New South Wales

17. 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 September 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 Sep 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 Sep 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


Victoria University of Wellington

18. Atkins, Morgan. Modern Concurrency Techniques: An Exploration.

Degree: 2013, Victoria University of Wellington

 In this thesis, we investigate some of the options programmers have when writing a concurrent program. We explore the use of manually created threads, thread-pools,… (more)

Subjects/Keywords: Concurrency; Threads; Actors

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Atkins, M. (2013). Modern Concurrency Techniques: An Exploration. (Masters Thesis). Victoria University of Wellington. Retrieved from http://hdl.handle.net/10063/3068

Chicago Manual of Style (16th Edition):

Atkins, Morgan. “Modern Concurrency Techniques: An Exploration.” 2013. Masters Thesis, Victoria University of Wellington. Accessed September 27, 2020. http://hdl.handle.net/10063/3068.

MLA Handbook (7th Edition):

Atkins, Morgan. “Modern Concurrency Techniques: An Exploration.” 2013. Web. 27 Sep 2020.

Vancouver:

Atkins M. Modern Concurrency Techniques: An Exploration. [Internet] [Masters thesis]. Victoria University of Wellington; 2013. [cited 2020 Sep 27]. Available from: http://hdl.handle.net/10063/3068.

Council of Science Editors:

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

19. Blanchard, Allan. Aide à la vérification de programmes concurrents par transformation de code et de spécifications : Assisted concurrent program verification by code and specification transformation.

Degree: Docteur es, Informatique, 2016, Université d'Orléans

Vérifier formellement des programmes concurrents est une tâche difficile. S’il existe différentes techniques pour la réaliser, très peu sont effectivement mises en oeuvre pour des… (more)

Subjects/Keywords: Concurrence; Vérification formelle; Transformation de code; Modèles mémoire faible; FRAMA-C; Concurrency; Formal verification; Code transformation; Weak memory models; FRAMA-C; 005.13

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Blanchard, A. (2016). Aide à la vérification de programmes concurrents par transformation de code et de spécifications : Assisted concurrent program verification by code and specification transformation. (Doctoral Dissertation). Université d'Orléans. Retrieved from http://www.theses.fr/2016ORLE2073

Chicago Manual of Style (16th Edition):

Blanchard, Allan. “Aide à la vérification de programmes concurrents par transformation de code et de spécifications : Assisted concurrent program verification by code and specification transformation.” 2016. Doctoral Dissertation, Université d'Orléans. Accessed September 27, 2020. http://www.theses.fr/2016ORLE2073.

MLA Handbook (7th Edition):

Blanchard, Allan. “Aide à la vérification de programmes concurrents par transformation de code et de spécifications : Assisted concurrent program verification by code and specification transformation.” 2016. Web. 27 Sep 2020.

Vancouver:

Blanchard A. Aide à la vérification de programmes concurrents par transformation de code et de spécifications : Assisted concurrent program verification by code and specification transformation. [Internet] [Doctoral dissertation]. Université d'Orléans; 2016. [cited 2020 Sep 27]. Available from: http://www.theses.fr/2016ORLE2073.

Council of Science Editors:

Blanchard A. Aide à la vérification de programmes concurrents par transformation de code et de spécifications : Assisted concurrent program verification by code and specification transformation. [Doctoral Dissertation]. Université d'Orléans; 2016. Available from: http://www.theses.fr/2016ORLE2073


Indian Institute of Science

20. Santhiar, Anirudh. Concurrency Analysis and Mining Techniques for APIs.

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

 Software components expose Application Programming Interfaces (APIs) as a means to access their functionality, and facilitate reuse. Developers use APIs supplied by programming languages to… (more)

Subjects/Keywords: Asynchronous API; Asynchronous Programs; Concurrency Semantics; Math API Migration; Math API Mining; Asynchronous Programming Models; Application Programming Interfaces; Programmatic Event Loops; Math APIs; Asynchronous C# Programs; Computer Science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Santhiar, A. (2018). Concurrency Analysis and Mining Techniques for APIs. (Doctoral Dissertation). Indian Institute of Science. Retrieved from http://etd.iisc.ac.in/handle/2005/3692

Chicago Manual of Style (16th Edition):

Santhiar, Anirudh. “Concurrency Analysis and Mining Techniques for APIs.” 2018. Doctoral Dissertation, Indian Institute of Science. Accessed September 27, 2020. http://etd.iisc.ac.in/handle/2005/3692.

MLA Handbook (7th Edition):

Santhiar, Anirudh. “Concurrency Analysis and Mining Techniques for APIs.” 2018. Web. 27 Sep 2020.

Vancouver:

Santhiar A. Concurrency Analysis and Mining Techniques for APIs. [Internet] [Doctoral dissertation]. Indian Institute of Science; 2018. [cited 2020 Sep 27]. Available from: http://etd.iisc.ac.in/handle/2005/3692.

Council of Science Editors:

Santhiar A. Concurrency Analysis and Mining Techniques for APIs. [Doctoral Dissertation]. Indian Institute of Science; 2018. Available from: http://etd.iisc.ac.in/handle/2005/3692


INP Toulouse

21. Latombe, Florent. Systematic use of models of concurrency in executable domain-specific modelling languages : Utilisation systématique des modèles de concurrence dans les langages de modélisation dédiés exécutables.

Degree: Docteur es, Sureté de Logiciel et Calcul à Haute Performance, 2016, INP Toulouse

La programmation orientée langage (Language-Oriented Programming – LOP) préconise l’utilisation de langages de modélisation dédiés exécutables (eXecutable Domain-Specific Modeling Languages – xDSMLs) pour la conception,… (more)

Subjects/Keywords: Langages de modélisation dédiés; Métamodélisation exécutable; Modèles de concurrence; Sémantique opérationnelle; Domain; Specific Modeling Languages; Executable Metamodeling; Models of Concurrency; Operational Semantics; 000

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Latombe, F. (2016). Systematic use of models of concurrency in executable domain-specific modelling languages : Utilisation systématique des modèles de concurrence dans les langages de modélisation dédiés exécutables. (Doctoral Dissertation). INP Toulouse. Retrieved from http://www.theses.fr/2016INPT0057

Chicago Manual of Style (16th Edition):

Latombe, Florent. “Systematic use of models of concurrency in executable domain-specific modelling languages : Utilisation systématique des modèles de concurrence dans les langages de modélisation dédiés exécutables.” 2016. Doctoral Dissertation, INP Toulouse. Accessed September 27, 2020. http://www.theses.fr/2016INPT0057.

MLA Handbook (7th Edition):

Latombe, Florent. “Systematic use of models of concurrency in executable domain-specific modelling languages : Utilisation systématique des modèles de concurrence dans les langages de modélisation dédiés exécutables.” 2016. Web. 27 Sep 2020.

Vancouver:

Latombe F. Systematic use of models of concurrency in executable domain-specific modelling languages : Utilisation systématique des modèles de concurrence dans les langages de modélisation dédiés exécutables. [Internet] [Doctoral dissertation]. INP Toulouse; 2016. [cited 2020 Sep 27]. Available from: http://www.theses.fr/2016INPT0057.

Council of Science Editors:

Latombe F. Systematic use of models of concurrency in executable domain-specific modelling languages : Utilisation systématique des modèles de concurrence dans les langages de modélisation dédiés exécutables. [Doctoral Dissertation]. INP Toulouse; 2016. Available from: http://www.theses.fr/2016INPT0057


Kennesaw State University

22. Peruri, Ramya. Definition of a Method for the Formulation of Problems to be Solved with High Performance Computing.

Degree: MSCS, Computer Science, 2016, Kennesaw State University

  Computational power made available by current technology has been continuously increasing, however today’s problems are larger and more complex and demand even more computational… (more)

Subjects/Keywords: Parallel Computing; Concurrency Models; Shared Memory; Message Passing; Family of Problems; High Performance Computing; Computer Sciences; Other Mathematics; Science and Mathematics Education

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Peruri, R. (2016). Definition of a Method for the Formulation of Problems to be Solved with High Performance Computing. (Thesis). Kennesaw State University. Retrieved from https://digitalcommons.kennesaw.edu/cs_etd/6

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

Peruri, Ramya. “Definition of a Method for the Formulation of Problems to be Solved with High Performance Computing.” 2016. Thesis, Kennesaw State University. Accessed September 27, 2020. https://digitalcommons.kennesaw.edu/cs_etd/6.

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

MLA Handbook (7th Edition):

Peruri, Ramya. “Definition of a Method for the Formulation of Problems to be Solved with High Performance Computing.” 2016. Web. 27 Sep 2020.

Vancouver:

Peruri R. Definition of a Method for the Formulation of Problems to be Solved with High Performance Computing. [Internet] [Thesis]. Kennesaw State University; 2016. [cited 2020 Sep 27]. Available from: https://digitalcommons.kennesaw.edu/cs_etd/6.

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

Council of Science Editors:

Peruri R. Definition of a Method for the Formulation of Problems to be Solved with High Performance Computing. [Thesis]. Kennesaw State University; 2016. Available from: https://digitalcommons.kennesaw.edu/cs_etd/6

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


University of Exeter

23. Maxwell, D. J. Developments in dataflow programming.

Degree: PhD, 2019, University of Exeter

 Dataflow has historically been motivated either by parallelism or programmability or some combination of the two. This work, rather than being directed primarily at parallelism… (more)

Subjects/Keywords: 004; Dataflow Programming; Dataflow Languages; Parallelism and Concurrency; Concurrent Programming; Visual Programming; Distributed Programming; Interactive and Reactive Computation; Functional Programming; Interactive Environments; Multiparadigm Languages; Reuse Models; Software Engineering; Software Architecture

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Maxwell, D. J. (2019). Developments in dataflow programming. (Doctoral Dissertation). University of Exeter. Retrieved from http://hdl.handle.net/10871/37028

Chicago Manual of Style (16th Edition):

Maxwell, D J. “Developments in dataflow programming.” 2019. Doctoral Dissertation, University of Exeter. Accessed September 27, 2020. http://hdl.handle.net/10871/37028.

MLA Handbook (7th Edition):

Maxwell, D J. “Developments in dataflow programming.” 2019. Web. 27 Sep 2020.

Vancouver:

Maxwell DJ. Developments in dataflow programming. [Internet] [Doctoral dissertation]. University of Exeter; 2019. [cited 2020 Sep 27]. Available from: http://hdl.handle.net/10871/37028.

Council of Science Editors:

Maxwell DJ. Developments in dataflow programming. [Doctoral Dissertation]. University of Exeter; 2019. Available from: http://hdl.handle.net/10871/37028


Pontifical Catholic University of Rio de Janeiro

24. BERNARDO HALLAK AMARAL. [en] PREDICTION OF FUTURE VOLATILITY MODELS: BRAZILIAN MARKET ANALYSIS.

Degree: 2012, Pontifical Catholic University of Rio de Janeiro

[pt] Realizar a previsão de volatilidade futura é algo que intriga muitos estudiosos, pesquisadores e pessoas do mercado financeiro. O modelo e a metodologia utilizados… (more)

Subjects/Keywords: [pt] MODELO; [en] MODEL; [pt] VOLATILIDADE; [en] VOLATILITY MODELS; [pt] PREVISAO; [en] FORECASTING

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

AMARAL, B. H. (2012). [en] PREDICTION OF FUTURE VOLATILITY MODELS: BRAZILIAN MARKET ANALYSIS. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=20458

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

AMARAL, BERNARDO HALLAK. “[en] PREDICTION OF FUTURE VOLATILITY MODELS: BRAZILIAN MARKET ANALYSIS.” 2012. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed September 27, 2020. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=20458.

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

MLA Handbook (7th Edition):

AMARAL, BERNARDO HALLAK. “[en] PREDICTION OF FUTURE VOLATILITY MODELS: BRAZILIAN MARKET ANALYSIS.” 2012. Web. 27 Sep 2020.

Vancouver:

AMARAL BH. [en] PREDICTION OF FUTURE VOLATILITY MODELS: BRAZILIAN MARKET ANALYSIS. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2012. [cited 2020 Sep 27]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=20458.

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

Council of Science Editors:

AMARAL BH. [en] PREDICTION OF FUTURE VOLATILITY MODELS: BRAZILIAN MARKET ANALYSIS. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2012. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=20458

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


Pontifical Catholic University of Rio de Janeiro

25. FRANCIANE LOVATI DALCOL. [en] ASYMMETRIC FLUX OF INFORMATION IN THE BRAZILIAN MARKET.

Degree: 2013, Pontifical Catholic University of Rio de Janeiro

[pt] Medida da magnitude de flutuação dos preços, a volatilidade é uma métrica importante para definir as estratégias de negociação e de controle de risco… (more)

Subjects/Keywords: [pt] VOLATILIDADE; [en] VOLATILITY MODELS; [pt] PROCESSO ESTOCASTICO; [en] STOCHASTIC PROCESS; [pt] ECONOFISICA; [en] ECONOPHYSICS

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

DALCOL, F. L. (2013). [en] ASYMMETRIC FLUX OF INFORMATION IN THE BRAZILIAN MARKET. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=22032

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

DALCOL, FRANCIANE LOVATI. “[en] ASYMMETRIC FLUX OF INFORMATION IN THE BRAZILIAN MARKET.” 2013. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed September 27, 2020. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=22032.

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

MLA Handbook (7th Edition):

DALCOL, FRANCIANE LOVATI. “[en] ASYMMETRIC FLUX OF INFORMATION IN THE BRAZILIAN MARKET.” 2013. Web. 27 Sep 2020.

Vancouver:

DALCOL FL. [en] ASYMMETRIC FLUX OF INFORMATION IN THE BRAZILIAN MARKET. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2013. [cited 2020 Sep 27]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=22032.

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

Council of Science Editors:

DALCOL FL. [en] ASYMMETRIC FLUX OF INFORMATION IN THE BRAZILIAN MARKET. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2013. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=22032

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


Cornell University

26. Tseng, Wei-lung. Zero-Knowledge On The Internet.

Degree: PhD, Computer Science, 2011, Cornell University

 Zero-knowledge protocols allow one party to prove the validity of a mathematical statement to another party, without revealing any additional information. The use of zero-knowledge… (more)

Subjects/Keywords: Zero-Knowledge; Concurrency; Cryptography

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Tseng, W. (2011). Zero-Knowledge On The Internet. (Doctoral Dissertation). Cornell University. Retrieved from http://hdl.handle.net/1813/30779

Chicago Manual of Style (16th Edition):

Tseng, Wei-lung. “Zero-Knowledge On The Internet.” 2011. Doctoral Dissertation, Cornell University. Accessed September 27, 2020. http://hdl.handle.net/1813/30779.

MLA Handbook (7th Edition):

Tseng, Wei-lung. “Zero-Knowledge On The Internet.” 2011. Web. 27 Sep 2020.

Vancouver:

Tseng W. Zero-Knowledge On The Internet. [Internet] [Doctoral dissertation]. Cornell University; 2011. [cited 2020 Sep 27]. Available from: http://hdl.handle.net/1813/30779.

Council of Science Editors:

Tseng W. Zero-Knowledge On The Internet. [Doctoral Dissertation]. Cornell University; 2011. Available from: http://hdl.handle.net/1813/30779


University of Rochester

27. Izraelevitz, Joseph. Concurrency implications of nonvolatile byte-addressable memory.

Degree: PhD, 2018, University of Rochester

 In the near future, storage technology advances are expected to provide nonvolatile byte addressable memory (NVM) for general purpose computing. These new technologies provide high… (more)

Subjects/Keywords: Nonvolatile memory; Concurrency; Shared memory

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Izraelevitz, J. (2018). Concurrency implications of nonvolatile byte-addressable memory. (Doctoral Dissertation). University of Rochester. Retrieved from http://hdl.handle.net/1802/33501

Chicago Manual of Style (16th Edition):

Izraelevitz, Joseph. “Concurrency implications of nonvolatile byte-addressable memory.” 2018. Doctoral Dissertation, University of Rochester. Accessed September 27, 2020. http://hdl.handle.net/1802/33501.

MLA Handbook (7th Edition):

Izraelevitz, Joseph. “Concurrency implications of nonvolatile byte-addressable memory.” 2018. Web. 27 Sep 2020.

Vancouver:

Izraelevitz J. Concurrency implications of nonvolatile byte-addressable memory. [Internet] [Doctoral dissertation]. University of Rochester; 2018. [cited 2020 Sep 27]. Available from: http://hdl.handle.net/1802/33501.

Council of Science Editors:

Izraelevitz J. Concurrency implications of nonvolatile byte-addressable memory. [Doctoral Dissertation]. University of Rochester; 2018. Available from: http://hdl.handle.net/1802/33501


University of Illinois – Urbana-Champaign

28. Heidarshenas, Azin. Architectural support for work-efficient relaxed priority queueing.

Degree: MS, Electrical & Computer Engr, 2017, University of Illinois – Urbana-Champaign

 Many parallel algorithms in domains such as graph analytics and simulations execute more efficiently if some parallel tasks are executed before others. To implement such… (more)

Subjects/Keywords: Priority queues; Concurrency; Scheduling

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Heidarshenas, A. (2017). Architectural support for work-efficient relaxed priority queueing. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/97627

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

Heidarshenas, Azin. “Architectural support for work-efficient relaxed priority queueing.” 2017. Thesis, University of Illinois – Urbana-Champaign. Accessed September 27, 2020. http://hdl.handle.net/2142/97627.

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

MLA Handbook (7th Edition):

Heidarshenas, Azin. “Architectural support for work-efficient relaxed priority queueing.” 2017. Web. 27 Sep 2020.

Vancouver:

Heidarshenas A. Architectural support for work-efficient relaxed priority queueing. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2017. [cited 2020 Sep 27]. Available from: http://hdl.handle.net/2142/97627.

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

Council of Science Editors:

Heidarshenas A. Architectural support for work-efficient relaxed priority queueing. [Thesis]. University of Illinois – Urbana-Champaign; 2017. Available from: http://hdl.handle.net/2142/97627

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


University of Oxford

29. D'Osualdo, Emanuele. Verification of message passing concurrent systems.

Degree: PhD, 2015, University of Oxford

 This dissertation is concerned with the development of fully-automatic methods of verification, for message-passing based concurrent systems. In the first part of the thesis we… (more)

Subjects/Keywords: 005.2; Computer Science; Concurrency

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

D'Osualdo, E. (2015). Verification of message passing concurrent systems. (Doctoral Dissertation). University of Oxford. Retrieved from https://ora.ox.ac.uk/objects/uuid:f669b95b-f760-4de9-a62a-374d41172879 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.711956

Chicago Manual of Style (16th Edition):

D'Osualdo, Emanuele. “Verification of message passing concurrent systems.” 2015. Doctoral Dissertation, University of Oxford. Accessed September 27, 2020. https://ora.ox.ac.uk/objects/uuid:f669b95b-f760-4de9-a62a-374d41172879 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.711956.

MLA Handbook (7th Edition):

D'Osualdo, Emanuele. “Verification of message passing concurrent systems.” 2015. Web. 27 Sep 2020.

Vancouver:

D'Osualdo E. Verification of message passing concurrent systems. [Internet] [Doctoral dissertation]. University of Oxford; 2015. [cited 2020 Sep 27]. Available from: https://ora.ox.ac.uk/objects/uuid:f669b95b-f760-4de9-a62a-374d41172879 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.711956.

Council of Science Editors:

D'Osualdo E. Verification of message passing concurrent systems. [Doctoral Dissertation]. University of Oxford; 2015. Available from: https://ora.ox.ac.uk/objects/uuid:f669b95b-f760-4de9-a62a-374d41172879 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.711956

30. Nagathota, Hadassah Pearlyn. Design and Implementation of CMT in Real-time : Evaluation based on scheduling mechanisms.

Degree: 2015, , Department of Communication Systems

  Context: Standard transport layer protocols like UDP, TCP, andSCTP use only one access technology at a time. Concurrent MultipathTransmission (CMT), has been developed for… (more)

Subjects/Keywords: Concurrency; Multi-homing; Performance; Scheduling

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nagathota, H. P. (2015). Design and Implementation of CMT in Real-time : Evaluation based on scheduling mechanisms. (Thesis). , Department of Communication Systems. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:bth-10815

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

Chicago Manual of Style (16th Edition):

Nagathota, Hadassah Pearlyn. “Design and Implementation of CMT in Real-time : Evaluation based on scheduling mechanisms.” 2015. Thesis, , Department of Communication Systems. Accessed September 27, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-10815.

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

MLA Handbook (7th Edition):

Nagathota, Hadassah Pearlyn. “Design and Implementation of CMT in Real-time : Evaluation based on scheduling mechanisms.” 2015. Web. 27 Sep 2020.

Vancouver:

Nagathota HP. Design and Implementation of CMT in Real-time : Evaluation based on scheduling mechanisms. [Internet] [Thesis]. , Department of Communication Systems; 2015. [cited 2020 Sep 27]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:bth-10815.

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

Council of Science Editors:

Nagathota HP. Design and Implementation of CMT in Real-time : Evaluation based on scheduling mechanisms. [Thesis]. , Department of Communication Systems; 2015. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:bth-10815

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

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

.