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

Dept: Department of Computer Science

You searched for subject:( en GPU PROGRAMMING). Showing records 1 – 30 of 83 total matches.

[1] [2] [3]

Search Limiters

Last 2 Years | English Only

Country

▼ Search Limiters


Brock University

1. Bakurov, Illya. Non-photorealistic Rendering with Cartesian Genetic Programming using Graphic Processing Units .

Degree: Department of Computer Science, Brock University

 Non-photorealistic rendering (NPR) is concerned with the algorithm generation of images having unrealistic characteristics, for example, oil paintings or watercolour. Using genetic programming to evolve… (more)

Subjects/Keywords: NPR; CGP; GPU; Cartesian; Genetic; Programming; Genetic Programming; Cartesian Genetic Programming; Graphic Processing Unit; Non-photorealistic Rendering; Evolutionary Art; Art; Evolutionary Computation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bakurov, I. (n.d.). Non-photorealistic Rendering with Cartesian Genetic Programming using Graphic Processing Units . (Thesis). Brock University. Retrieved from http://hdl.handle.net/10464/13067

Note: this citation may be lacking information needed for this citation format:
No year of publication.
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Bakurov, Illya. “Non-photorealistic Rendering with Cartesian Genetic Programming using Graphic Processing Units .” Thesis, Brock University. Accessed October 22, 2019. http://hdl.handle.net/10464/13067.

Note: this citation may be lacking information needed for this citation format:
No year of publication.
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Bakurov, Illya. “Non-photorealistic Rendering with Cartesian Genetic Programming using Graphic Processing Units .” Web. 22 Oct 2019.

Note: this citation may be lacking information needed for this citation format:
No year of publication.

Vancouver:

Bakurov I. Non-photorealistic Rendering with Cartesian Genetic Programming using Graphic Processing Units . [Internet] [Thesis]. Brock University; [cited 2019 Oct 22]. Available from: http://hdl.handle.net/10464/13067.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
No year of publication.

Council of Science Editors:

Bakurov I. Non-photorealistic Rendering with Cartesian Genetic Programming using Graphic Processing Units . [Thesis]. Brock University; Available from: http://hdl.handle.net/10464/13067

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
No year of publication.


University of New Mexico

2. Bowles, Jeffrey. Front Rendering on the GPU.

Degree: Department of Computer Science, 2013, University of New Mexico

  The glyphs described in a font are usually rendered using software that runs on the CPU. This can be done very quickly and is… (more)

Subjects/Keywords: GPU; graphics; typography

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bowles, J. (2013). Front Rendering on the GPU. (Masters Thesis). University of New Mexico. Retrieved from http://hdl.handle.net/1928/23168

Chicago Manual of Style (16th Edition):

Bowles, Jeffrey. “Front Rendering on the GPU.” 2013. Masters Thesis, University of New Mexico. Accessed October 22, 2019. http://hdl.handle.net/1928/23168.

MLA Handbook (7th Edition):

Bowles, Jeffrey. “Front Rendering on the GPU.” 2013. Web. 22 Oct 2019.

Vancouver:

Bowles J. Front Rendering on the GPU. [Internet] [Masters thesis]. University of New Mexico; 2013. [cited 2019 Oct 22]. Available from: http://hdl.handle.net/1928/23168.

Council of Science Editors:

Bowles J. Front Rendering on the GPU. [Masters Thesis]. University of New Mexico; 2013. Available from: http://hdl.handle.net/1928/23168


University of New Mexico

3. Gordon, Benjamin M. Improving Spoken Programming Through Language Design and the Incorporation of Dynamic Context.

Degree: Department of Computer Science, 2013, University of New Mexico

Programming is not just about the syntax of the language; the programming environment is also an important part of the process. In English prose speech… (more)

Subjects/Keywords: spoken programming; programming-by-voice

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gordon, B. M. (2013). Improving Spoken Programming Through Language Design and the Incorporation of Dynamic Context. (Doctoral Dissertation). University of New Mexico. Retrieved from http://hdl.handle.net/1928/23325

Chicago Manual of Style (16th Edition):

Gordon, Benjamin M. “Improving Spoken Programming Through Language Design and the Incorporation of Dynamic Context.” 2013. Doctoral Dissertation, University of New Mexico. Accessed October 22, 2019. http://hdl.handle.net/1928/23325.

MLA Handbook (7th Edition):

Gordon, Benjamin M. “Improving Spoken Programming Through Language Design and the Incorporation of Dynamic Context.” 2013. Web. 22 Oct 2019.

Vancouver:

Gordon BM. Improving Spoken Programming Through Language Design and the Incorporation of Dynamic Context. [Internet] [Doctoral dissertation]. University of New Mexico; 2013. [cited 2019 Oct 22]. Available from: http://hdl.handle.net/1928/23325.

Council of Science Editors:

Gordon BM. Improving Spoken Programming Through Language Design and the Incorporation of Dynamic Context. [Doctoral Dissertation]. University of New Mexico; 2013. Available from: http://hdl.handle.net/1928/23325


University of Victoria

4. Strooper, Paul Anthony. From specification to implementation in logic.

Degree: Department of Computer Science, 2018, University of Victoria

 The use of modules to decompose large software systems into smaller, more manageable, programming tasks is now widely accepted. To benefit from such a decomposition,… (more)

Subjects/Keywords: Logic programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Strooper, P. A. (2018). From specification to implementation in logic. (Thesis). University of Victoria. Retrieved from https://dspace.library.uvic.ca//handle/1828/9493

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

Strooper, Paul Anthony. “From specification to implementation in logic.” 2018. Thesis, University of Victoria. Accessed October 22, 2019. https://dspace.library.uvic.ca//handle/1828/9493.

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

MLA Handbook (7th Edition):

Strooper, Paul Anthony. “From specification to implementation in logic.” 2018. Web. 22 Oct 2019.

Vancouver:

Strooper PA. From specification to implementation in logic. [Internet] [Thesis]. University of Victoria; 2018. [cited 2019 Oct 22]. Available from: https://dspace.library.uvic.ca//handle/1828/9493.

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

Council of Science Editors:

Strooper PA. From specification to implementation in logic. [Thesis]. University of Victoria; 2018. Available from: https://dspace.library.uvic.ca//handle/1828/9493

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


University of Victoria

5. Orgun, Mehmet Ali. Intensional logic programming.

Degree: Department of Computer Science, 2018, University of Victoria

 This dissertation presents an investigation of logic programming based on intensional logic. Through intensional logic, the notion of dynamic change and the ability to reason… (more)

Subjects/Keywords: Logic programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Orgun, M. A. (2018). Intensional logic programming. (Thesis). University of Victoria. Retrieved from https://dspace.library.uvic.ca//handle/1828/9541

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

Orgun, Mehmet Ali. “Intensional logic programming.” 2018. Thesis, University of Victoria. Accessed October 22, 2019. https://dspace.library.uvic.ca//handle/1828/9541.

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

MLA Handbook (7th Edition):

Orgun, Mehmet Ali. “Intensional logic programming.” 2018. Web. 22 Oct 2019.

Vancouver:

Orgun MA. Intensional logic programming. [Internet] [Thesis]. University of Victoria; 2018. [cited 2019 Oct 22]. Available from: https://dspace.library.uvic.ca//handle/1828/9541.

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

Council of Science Editors:

Orgun MA. Intensional logic programming. [Thesis]. University of Victoria; 2018. Available from: https://dspace.library.uvic.ca//handle/1828/9541

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


University of Victoria

6. Bagai, Rajiv. Ordinal-theoretic properties of logic programs.

Degree: Department of Computer Science, 2018, University of Victoria

 The work described in this dissertation is mainly a study of some ordinal-theoretic properties of logic programs that are related to the downward powers of… (more)

Subjects/Keywords: Logic programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bagai, R. (2018). Ordinal-theoretic properties of logic programs. (Thesis). University of Victoria. Retrieved from https://dspace.library.uvic.ca//handle/1828/9476

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

Bagai, Rajiv. “Ordinal-theoretic properties of logic programs.” 2018. Thesis, University of Victoria. Accessed October 22, 2019. https://dspace.library.uvic.ca//handle/1828/9476.

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

MLA Handbook (7th Edition):

Bagai, Rajiv. “Ordinal-theoretic properties of logic programs.” 2018. Web. 22 Oct 2019.

Vancouver:

Bagai R. Ordinal-theoretic properties of logic programs. [Internet] [Thesis]. University of Victoria; 2018. [cited 2019 Oct 22]. Available from: https://dspace.library.uvic.ca//handle/1828/9476.

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

Council of Science Editors:

Bagai R. Ordinal-theoretic properties of logic programs. [Thesis]. University of Victoria; 2018. Available from: https://dspace.library.uvic.ca//handle/1828/9476

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


University of Victoria

7. Sawada, Joseph James. Fast algorithms to generate restricted classes of strings under rotation.

Degree: Department of Computer Science, 2018, University of Victoria

 A necklace is a representative of an equivalence class of k-ary strings under rotation. Efficient algorithms for generating (i.e., listing) necklaces have been known for… (more)

Subjects/Keywords: Algorithms; Computer programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sawada, J. J. (2018). Fast algorithms to generate restricted classes of strings under rotation. (Thesis). University of Victoria. Retrieved from https://dspace.library.uvic.ca//handle/1828/9017

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

Sawada, Joseph James. “Fast algorithms to generate restricted classes of strings under rotation.” 2018. Thesis, University of Victoria. Accessed October 22, 2019. https://dspace.library.uvic.ca//handle/1828/9017.

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

MLA Handbook (7th Edition):

Sawada, Joseph James. “Fast algorithms to generate restricted classes of strings under rotation.” 2018. Web. 22 Oct 2019.

Vancouver:

Sawada JJ. Fast algorithms to generate restricted classes of strings under rotation. [Internet] [Thesis]. University of Victoria; 2018. [cited 2019 Oct 22]. Available from: https://dspace.library.uvic.ca//handle/1828/9017.

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

Council of Science Editors:

Sawada JJ. Fast algorithms to generate restricted classes of strings under rotation. [Thesis]. University of Victoria; 2018. Available from: https://dspace.library.uvic.ca//handle/1828/9017

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


University of Victoria

8. Hung, Kuo Kai. Extracting Surface Structural Information from Vibrational Spectra with Linear Programming.

Degree: Department of Computer Science, 2015, University of Victoria

 Vibrational spectra techniques such as IR, Raman and SFG all carry molecular orientation information. Extracting the orientation information from the vibrational spectra often involves creating… (more)

Subjects/Keywords: Vibrational Spectroscopy; Linear Programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hung, K. K. (2015). Extracting Surface Structural Information from Vibrational Spectra with Linear Programming. (Masters Thesis). University of Victoria. Retrieved from http://hdl.handle.net/1828/6485

Chicago Manual of Style (16th Edition):

Hung, Kuo Kai. “Extracting Surface Structural Information from Vibrational Spectra with Linear Programming.” 2015. Masters Thesis, University of Victoria. Accessed October 22, 2019. http://hdl.handle.net/1828/6485.

MLA Handbook (7th Edition):

Hung, Kuo Kai. “Extracting Surface Structural Information from Vibrational Spectra with Linear Programming.” 2015. Web. 22 Oct 2019.

Vancouver:

Hung KK. Extracting Surface Structural Information from Vibrational Spectra with Linear Programming. [Internet] [Masters thesis]. University of Victoria; 2015. [cited 2019 Oct 22]. Available from: http://hdl.handle.net/1828/6485.

Council of Science Editors:

Hung KK. Extracting Surface Structural Information from Vibrational Spectra with Linear Programming. [Masters Thesis]. University of Victoria; 2015. Available from: http://hdl.handle.net/1828/6485


University of Victoria

9. Du, Weichang. Indexical parallel programming.

Degree: Department of Computer Science, 2018, University of Victoria

 Indexical programming means programming languages and/or computational models based on indexical logic and possible world semantics. Indexical languages can be considered as the result of… (more)

Subjects/Keywords: Parallel programming (Computer science)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Du, W. (2018). Indexical parallel programming. (Thesis). University of Victoria. Retrieved from https://dspace.library.uvic.ca//handle/1828/9516

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

Du, Weichang. “Indexical parallel programming.” 2018. Thesis, University of Victoria. Accessed October 22, 2019. https://dspace.library.uvic.ca//handle/1828/9516.

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

MLA Handbook (7th Edition):

Du, Weichang. “Indexical parallel programming.” 2018. Web. 22 Oct 2019.

Vancouver:

Du W. Indexical parallel programming. [Internet] [Thesis]. University of Victoria; 2018. [cited 2019 Oct 22]. Available from: https://dspace.library.uvic.ca//handle/1828/9516.

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

Council of Science Editors:

Du W. Indexical parallel programming. [Thesis]. University of Victoria; 2018. Available from: https://dspace.library.uvic.ca//handle/1828/9516

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

10. Pombrio, Justin. Resugaring: Lifting Languages through Syntactic Sugar.

Degree: Department of Computer Science, 2018, Brown University

 Syntactic sugar is pervasive in language technology. Programmers use it to shrink the size of a core language; to define domain-specific languages; and even to… (more)

Subjects/Keywords: Programming languages (Electronic computers)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Pombrio, J. (2018). Resugaring: Lifting Languages through Syntactic Sugar. (Thesis). Brown University. Retrieved from https://repository.library.brown.edu/studio/item/bdr:792916/

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

Pombrio, Justin. “Resugaring: Lifting Languages through Syntactic Sugar.” 2018. Thesis, Brown University. Accessed October 22, 2019. https://repository.library.brown.edu/studio/item/bdr:792916/.

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

MLA Handbook (7th Edition):

Pombrio, Justin. “Resugaring: Lifting Languages through Syntactic Sugar.” 2018. Web. 22 Oct 2019.

Vancouver:

Pombrio J. Resugaring: Lifting Languages through Syntactic Sugar. [Internet] [Thesis]. Brown University; 2018. [cited 2019 Oct 22]. Available from: https://repository.library.brown.edu/studio/item/bdr:792916/.

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

Council of Science Editors:

Pombrio J. Resugaring: Lifting Languages through Syntactic Sugar. [Thesis]. Brown University; 2018. Available from: https://repository.library.brown.edu/studio/item/bdr:792916/

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

11. Liu, Zhiyu. Theory and Applications of Parallelism with Futures.

Degree: Department of Computer Science, 2017, Brown University

 Futures are an attractive way to structure parallel computations. When a thread creates an expression with a keyword future, a new thread is spawned to… (more)

Subjects/Keywords: Parallel programming (Computer science)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Liu, Z. (2017). Theory and Applications of Parallelism with Futures. (Thesis). Brown University. Retrieved from https://repository.library.brown.edu/studio/item/bdr:733422/

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

Liu, Zhiyu. “Theory and Applications of Parallelism with Futures.” 2017. Thesis, Brown University. Accessed October 22, 2019. https://repository.library.brown.edu/studio/item/bdr:733422/.

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

MLA Handbook (7th Edition):

Liu, Zhiyu. “Theory and Applications of Parallelism with Futures.” 2017. Web. 22 Oct 2019.

Vancouver:

Liu Z. Theory and Applications of Parallelism with Futures. [Internet] [Thesis]. Brown University; 2017. [cited 2019 Oct 22]. Available from: https://repository.library.brown.edu/studio/item/bdr:733422/.

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

Council of Science Editors:

Liu Z. Theory and Applications of Parallelism with Futures. [Thesis]. Brown University; 2017. Available from: https://repository.library.brown.edu/studio/item/bdr:733422/

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


University of Victoria

12. Rondogiannis, Panagiotis. Higher-order functional languages and intensional logic.

Degree: Department of Computer Science, 2015, University of Victoria

Subjects/Keywords: functional programming; logic programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Rondogiannis, P. (2015). Higher-order functional languages and intensional logic. (Thesis). University of Victoria. Retrieved from http://hdl.handle.net/1828/5960

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

Rondogiannis, Panagiotis. “Higher-order functional languages and intensional logic.” 2015. Thesis, University of Victoria. Accessed October 22, 2019. http://hdl.handle.net/1828/5960.

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

MLA Handbook (7th Edition):

Rondogiannis, Panagiotis. “Higher-order functional languages and intensional logic.” 2015. Web. 22 Oct 2019.

Vancouver:

Rondogiannis P. Higher-order functional languages and intensional logic. [Internet] [Thesis]. University of Victoria; 2015. [cited 2019 Oct 22]. Available from: http://hdl.handle.net/1828/5960.

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

Council of Science Editors:

Rondogiannis P. Higher-order functional languages and intensional logic. [Thesis]. University of Victoria; 2015. Available from: http://hdl.handle.net/1828/5960

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


University of New Mexico

13. Reedy, Geoffrey. Design and Implementation of a Scala Compiler Backend Targeting the Low Level Virtual Machine.

Degree: Department of Computer Science, 2014, University of New Mexico

 The Scala programming language successfully blends object-oriented and functional programming. The current implementation of Scala is tied to the Java Virtual Machine (JVM) which constrains… (more)

Subjects/Keywords: programming languages; compilers; programming language implementation; llvm; scala

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Reedy, G. (2014). Design and Implementation of a Scala Compiler Backend Targeting the Low Level Virtual Machine. (Masters Thesis). University of New Mexico. Retrieved from http://hdl.handle.net/1928/24275

Chicago Manual of Style (16th Edition):

Reedy, Geoffrey. “Design and Implementation of a Scala Compiler Backend Targeting the Low Level Virtual Machine.” 2014. Masters Thesis, University of New Mexico. Accessed October 22, 2019. http://hdl.handle.net/1928/24275.

MLA Handbook (7th Edition):

Reedy, Geoffrey. “Design and Implementation of a Scala Compiler Backend Targeting the Low Level Virtual Machine.” 2014. Web. 22 Oct 2019.

Vancouver:

Reedy G. Design and Implementation of a Scala Compiler Backend Targeting the Low Level Virtual Machine. [Internet] [Masters thesis]. University of New Mexico; 2014. [cited 2019 Oct 22]. Available from: http://hdl.handle.net/1928/24275.

Council of Science Editors:

Reedy G. Design and Implementation of a Scala Compiler Backend Targeting the Low Level Virtual Machine. [Masters Thesis]. University of New Mexico; 2014. Available from: http://hdl.handle.net/1928/24275


Northeastern University

14. Strickland, Tharpe Stephen. Scaling contracts to realistic languages.

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

 Contracts allow programmers to specify the expected behavior and use of program components separately from the code of the components themselves. Since Bertrand Meyer introduced… (more)

Subjects/Keywords: contract systems; computer programming; Computer Sciences; Programming Languages and Compilers

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Strickland, T. S. (2012). Scaling contracts to realistic languages. (Doctoral Dissertation). Northeastern University. Retrieved from http://hdl.handle.net/2047/d20002780

Chicago Manual of Style (16th Edition):

Strickland, Tharpe Stephen. “Scaling contracts to realistic languages.” 2012. Doctoral Dissertation, Northeastern University. Accessed October 22, 2019. http://hdl.handle.net/2047/d20002780.

MLA Handbook (7th Edition):

Strickland, Tharpe Stephen. “Scaling contracts to realistic languages.” 2012. Web. 22 Oct 2019.

Vancouver:

Strickland TS. Scaling contracts to realistic languages. [Internet] [Doctoral dissertation]. Northeastern University; 2012. [cited 2019 Oct 22]. Available from: http://hdl.handle.net/2047/d20002780.

Council of Science Editors:

Strickland TS. Scaling contracts to realistic languages. [Doctoral Dissertation]. Northeastern University; 2012. Available from: http://hdl.handle.net/2047/d20002780


Central Connecticut State University

15. Alefghani, Emtethal Mohammed, 1985-; Daley, Antony E. Jr., 1986-; Gregory, Kevin John, 1989-. Teaching Programming Concepts to Elementary Students : How to Train Your Robot.

Degree: Department of Computer Science, 2014, Central Connecticut State University

Introducing technology to young students has become a critical objective for education programs in today's world. Although students are introduced to computers from a young… (more)

Subjects/Keywords: Computer programming – Study and teaching (Elementary)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Alefghani, Emtethal Mohammed, 1985-; Daley, Antony E. Jr., 1986-; Gregory, Kevin John, 1. (2014). Teaching Programming Concepts to Elementary Students : How to Train Your Robot. (Thesis). Central Connecticut State University. Retrieved from http://content.library.ccsu.edu/u?/ccsutheses,2071

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

Alefghani, Emtethal Mohammed, 1985-; Daley, Antony E. Jr., 1986-; Gregory, Kevin John, 1989-. “Teaching Programming Concepts to Elementary Students : How to Train Your Robot.” 2014. Thesis, Central Connecticut State University. Accessed October 22, 2019. http://content.library.ccsu.edu/u?/ccsutheses,2071.

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

MLA Handbook (7th Edition):

Alefghani, Emtethal Mohammed, 1985-; Daley, Antony E. Jr., 1986-; Gregory, Kevin John, 1989-. “Teaching Programming Concepts to Elementary Students : How to Train Your Robot.” 2014. Web. 22 Oct 2019.

Vancouver:

Alefghani, Emtethal Mohammed, 1985-; Daley, Antony E. Jr., 1986-; Gregory, Kevin John 1. Teaching Programming Concepts to Elementary Students : How to Train Your Robot. [Internet] [Thesis]. Central Connecticut State University; 2014. [cited 2019 Oct 22]. Available from: http://content.library.ccsu.edu/u?/ccsutheses,2071.

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

Council of Science Editors:

Alefghani, Emtethal Mohammed, 1985-; Daley, Antony E. Jr., 1986-; Gregory, Kevin John 1. Teaching Programming Concepts to Elementary Students : How to Train Your Robot. [Thesis]. Central Connecticut State University; 2014. Available from: http://content.library.ccsu.edu/u?/ccsutheses,2071

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


University of Victoria

16. Gardner, William Bennett. CSP++ : an object-oriented application framework for software synthesis from CSP specifications.

Degree: Department of Computer Science, 2018, University of Victoria

 One of the useful formalisms for designing concurrent systems is the process algebra called CSP, or Communicating Sequential Processes. CSP statements can be used to… (more)

Subjects/Keywords: Computer programming; Parallel processing (Electronic computers)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gardner, W. B. (2018). CSP++ : an object-oriented application framework for software synthesis from CSP specifications. (Thesis). University of Victoria. Retrieved from https://dspace.library.uvic.ca//handle/1828/9350

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

Gardner, William Bennett. “CSP++ : an object-oriented application framework for software synthesis from CSP specifications.” 2018. Thesis, University of Victoria. Accessed October 22, 2019. https://dspace.library.uvic.ca//handle/1828/9350.

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

MLA Handbook (7th Edition):

Gardner, William Bennett. “CSP++ : an object-oriented application framework for software synthesis from CSP specifications.” 2018. Web. 22 Oct 2019.

Vancouver:

Gardner WB. CSP++ : an object-oriented application framework for software synthesis from CSP specifications. [Internet] [Thesis]. University of Victoria; 2018. [cited 2019 Oct 22]. Available from: https://dspace.library.uvic.ca//handle/1828/9350.

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

Council of Science Editors:

Gardner WB. CSP++ : an object-oriented application framework for software synthesis from CSP specifications. [Thesis]. University of Victoria; 2018. Available from: https://dspace.library.uvic.ca//handle/1828/9350

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


University of Victoria

17. Lee, Jimmy Ho Man. Numerical computation as deduction in constraint logic programming.

Degree: Department of Computer Science, 2018, University of Victoria

 Logic programming realizes the ideal of "computation as deduction," except when floating-point arithmetic is involved. In that respect, logic programming languages suffer the same deficiency… (more)

Subjects/Keywords: Logic programming; Numerical calculations; Computer programs

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lee, J. H. M. (2018). Numerical computation as deduction in constraint logic programming. (Thesis). University of Victoria. Retrieved from https://dspace.library.uvic.ca//handle/1828/9581

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

Lee, Jimmy Ho Man. “Numerical computation as deduction in constraint logic programming.” 2018. Thesis, University of Victoria. Accessed October 22, 2019. https://dspace.library.uvic.ca//handle/1828/9581.

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

MLA Handbook (7th Edition):

Lee, Jimmy Ho Man. “Numerical computation as deduction in constraint logic programming.” 2018. Web. 22 Oct 2019.

Vancouver:

Lee JHM. Numerical computation as deduction in constraint logic programming. [Internet] [Thesis]. University of Victoria; 2018. [cited 2019 Oct 22]. Available from: https://dspace.library.uvic.ca//handle/1828/9581.

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

Council of Science Editors:

Lee JHM. Numerical computation as deduction in constraint logic programming. [Thesis]. University of Victoria; 2018. Available from: https://dspace.library.uvic.ca//handle/1828/9581

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


Brock University

18. Runka, Andrew. Genetic programming for the RoboCup Rescue Simulation System .

Degree: Department of Computer Science, 2011, Brock University

 The Robocup Rescue Simulation System (RCRSS) is a dynamic system of multi-agent interaction, simulating a large-scale urban disaster scenario. Teams of rescue agents are charged… (more)

Subjects/Keywords: Disasters; Emergency management; Genetic programming (Computer science)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Runka, A. (2011). Genetic programming for the RoboCup Rescue Simulation System . (Thesis). Brock University. Retrieved from http://hdl.handle.net/10464/3184

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

Runka, Andrew. “Genetic programming for the RoboCup Rescue Simulation System .” 2011. Thesis, Brock University. Accessed October 22, 2019. http://hdl.handle.net/10464/3184.

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

MLA Handbook (7th Edition):

Runka, Andrew. “Genetic programming for the RoboCup Rescue Simulation System .” 2011. Web. 22 Oct 2019.

Vancouver:

Runka A. Genetic programming for the RoboCup Rescue Simulation System . [Internet] [Thesis]. Brock University; 2011. [cited 2019 Oct 22]. Available from: http://hdl.handle.net/10464/3184.

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

Council of Science Editors:

Runka A. Genetic programming for the RoboCup Rescue Simulation System . [Thesis]. Brock University; 2011. Available from: http://hdl.handle.net/10464/3184

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


Northeastern University

19. Tov, Jesse A. Practical programming with substructural types.

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

 Substructural logics remove from classical logic rules for reordering, duplication, or dropping of assumptions. Because propositions in such a logic may no longer be freely… (more)

Subjects/Keywords: substructural logic; computer programming; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Tov, J. A. (2012). Practical programming with substructural types. (Doctoral Dissertation). Northeastern University. Retrieved from http://hdl.handle.net/2047/d20004906

Chicago Manual of Style (16th Edition):

Tov, Jesse A. “Practical programming with substructural types.” 2012. Doctoral Dissertation, Northeastern University. Accessed October 22, 2019. http://hdl.handle.net/2047/d20004906.

MLA Handbook (7th Edition):

Tov, Jesse A. “Practical programming with substructural types.” 2012. Web. 22 Oct 2019.

Vancouver:

Tov JA. Practical programming with substructural types. [Internet] [Doctoral dissertation]. Northeastern University; 2012. [cited 2019 Oct 22]. Available from: http://hdl.handle.net/2047/d20004906.

Council of Science Editors:

Tov JA. Practical programming with substructural types. [Doctoral Dissertation]. Northeastern University; 2012. Available from: http://hdl.handle.net/2047/d20004906


Northeastern University

20. Slavici, Vlad. Scaling up scientific computations by using map-reduce-like control flow on NUMA architectures.

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

 The clock speed of current CPUs and RAM has stopped scaling with Moore's Law. Yet the scale of applications in science and engineering continues to… (more)

Subjects/Keywords: GPU computing; Map-Reduce; NUMA architectures; parallel computing; parallel disks; scientific computations; Computer Sciences; Systems Architecture

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Slavici, V. (2013). Scaling up scientific computations by using map-reduce-like control flow on NUMA architectures. (Doctoral Dissertation). Northeastern University. Retrieved from http://hdl.handle.net/2047/d20002952

Chicago Manual of Style (16th Edition):

Slavici, Vlad. “Scaling up scientific computations by using map-reduce-like control flow on NUMA architectures.” 2013. Doctoral Dissertation, Northeastern University. Accessed October 22, 2019. http://hdl.handle.net/2047/d20002952.

MLA Handbook (7th Edition):

Slavici, Vlad. “Scaling up scientific computations by using map-reduce-like control flow on NUMA architectures.” 2013. Web. 22 Oct 2019.

Vancouver:

Slavici V. Scaling up scientific computations by using map-reduce-like control flow on NUMA architectures. [Internet] [Doctoral dissertation]. Northeastern University; 2013. [cited 2019 Oct 22]. Available from: http://hdl.handle.net/2047/d20002952.

Council of Science Editors:

Slavici V. Scaling up scientific computations by using map-reduce-like control flow on NUMA architectures. [Doctoral Dissertation]. Northeastern University; 2013. Available from: http://hdl.handle.net/2047/d20002952


University of Victoria

21. Russo Kennedy, Anna. Towards a Data-Driven Analysis of Programming Tutorials' Telemetry to Improve the Educational Experience in Introductory Programming Courses.

Degree: Department of Computer Science, 2015, University of Victoria

 Retention in Computer Science undergraduate education, particularly of underrepresented groups, continues to be a growing challenge. A theme shared by much of the research literature… (more)

Subjects/Keywords: data-driven; introductory programming; education; educational experience; computer science; programming; CS1; CS2; telemetry

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Russo Kennedy, A. (2015). Towards a Data-Driven Analysis of Programming Tutorials' Telemetry to Improve the Educational Experience in Introductory Programming Courses. (Masters Thesis). University of Victoria. Retrieved from http://hdl.handle.net/1828/6500

Chicago Manual of Style (16th Edition):

Russo Kennedy, Anna. “Towards a Data-Driven Analysis of Programming Tutorials' Telemetry to Improve the Educational Experience in Introductory Programming Courses.” 2015. Masters Thesis, University of Victoria. Accessed October 22, 2019. http://hdl.handle.net/1828/6500.

MLA Handbook (7th Edition):

Russo Kennedy, Anna. “Towards a Data-Driven Analysis of Programming Tutorials' Telemetry to Improve the Educational Experience in Introductory Programming Courses.” 2015. Web. 22 Oct 2019.

Vancouver:

Russo Kennedy A. Towards a Data-Driven Analysis of Programming Tutorials' Telemetry to Improve the Educational Experience in Introductory Programming Courses. [Internet] [Masters thesis]. University of Victoria; 2015. [cited 2019 Oct 22]. Available from: http://hdl.handle.net/1828/6500.

Council of Science Editors:

Russo Kennedy A. Towards a Data-Driven Analysis of Programming Tutorials' Telemetry to Improve the Educational Experience in Introductory Programming Courses. [Masters Thesis]. University of Victoria; 2015. Available from: http://hdl.handle.net/1828/6500


Northeastern University

22. Dimoulas, Christos. Foundations for behavioral higher-order contracts.

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

 Contracts are a popular mechanism for enhancing the interface of components. In the world of first-order functions, programmers embrace contracts because they write them in… (more)

Subjects/Keywords: design; programming languages; semantics; software contracts; Computer Sciences; Programming Languages and Compilers

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dimoulas, C. (2012). Foundations for behavioral higher-order contracts. (Doctoral Dissertation). Northeastern University. Retrieved from http://hdl.handle.net/2047/d20002848

Chicago Manual of Style (16th Edition):

Dimoulas, Christos. “Foundations for behavioral higher-order contracts.” 2012. Doctoral Dissertation, Northeastern University. Accessed October 22, 2019. http://hdl.handle.net/2047/d20002848.

MLA Handbook (7th Edition):

Dimoulas, Christos. “Foundations for behavioral higher-order contracts.” 2012. Web. 22 Oct 2019.

Vancouver:

Dimoulas C. Foundations for behavioral higher-order contracts. [Internet] [Doctoral dissertation]. Northeastern University; 2012. [cited 2019 Oct 22]. Available from: http://hdl.handle.net/2047/d20002848.

Council of Science Editors:

Dimoulas C. Foundations for behavioral higher-order contracts. [Doctoral Dissertation]. Northeastern University; 2012. Available from: http://hdl.handle.net/2047/d20002848


Northeastern University

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

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

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

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

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

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

Chicago Manual of Style (16th Edition):

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

MLA Handbook (7th Edition):

Turon, Aaron Joseph. “Understanding and expressing scalable concurrency.” 2013. Web. 22 Oct 2019.

Vancouver:

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

Council of Science Editors:

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


Northeastern University

24. Chang, Stephen T. On the relationship between laziness and strictness.

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

 Lazy evaluation empowers programmers with the ability to create efficient, modular programs. Unfortunately, laziness also comes with some drawbacks. On one hand, lazy constructs incur… (more)

Subjects/Keywords: lazy evaluation; strictness; modular programs; Computer Sciences; Computer programming; Evaluation; Computer programmers; Modular programming; Evaluation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chang, S. T. (2014). On the relationship between laziness and strictness. (Doctoral Dissertation). Northeastern University. Retrieved from http://hdl.handle.net/2047/d20005030

Chicago Manual of Style (16th Edition):

Chang, Stephen T. “On the relationship between laziness and strictness.” 2014. Doctoral Dissertation, Northeastern University. Accessed October 22, 2019. http://hdl.handle.net/2047/d20005030.

MLA Handbook (7th Edition):

Chang, Stephen T. “On the relationship between laziness and strictness.” 2014. Web. 22 Oct 2019.

Vancouver:

Chang ST. On the relationship between laziness and strictness. [Internet] [Doctoral dissertation]. Northeastern University; 2014. [cited 2019 Oct 22]. Available from: http://hdl.handle.net/2047/d20005030.

Council of Science Editors:

Chang ST. On the relationship between laziness and strictness. [Doctoral Dissertation]. Northeastern University; 2014. Available from: http://hdl.handle.net/2047/d20005030


Northeastern University

25. Fisher, David. Static semantics for syntax objects.

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

 Designing custom notations is essential to designing advanced systems. Although an electrical engineer could write an English description of a circuit board, explaining which components… (more)

Subjects/Keywords: computer science; language design; language theory; macros; metaprogramming; semantics; syntax; Programming languages (Electronic computers) - Semantics; Programming languages (Electronic computers) - Syntax; Programming Languages and Compilers

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Fisher, D. (2010). Static semantics for syntax objects. (Doctoral Dissertation). Northeastern University. Retrieved from http://hdl.handle.net/2047/d20000910

Chicago Manual of Style (16th Edition):

Fisher, David. “Static semantics for syntax objects.” 2010. Doctoral Dissertation, Northeastern University. Accessed October 22, 2019. http://hdl.handle.net/2047/d20000910.

MLA Handbook (7th Edition):

Fisher, David. “Static semantics for syntax objects.” 2010. Web. 22 Oct 2019.

Vancouver:

Fisher D. Static semantics for syntax objects. [Internet] [Doctoral dissertation]. Northeastern University; 2010. [cited 2019 Oct 22]. Available from: http://hdl.handle.net/2047/d20000910.

Council of Science Editors:

Fisher D. Static semantics for syntax objects. [Doctoral Dissertation]. Northeastern University; 2010. Available from: http://hdl.handle.net/2047/d20000910


Michigan State University

26. Motteler, Zane C. A LL grammar analyzer.

Degree: MS, Department of Computer Science, 1981, Michigan State University

Subjects/Keywords: Programming languages (Electronic computers); Programming languages (Electronic computers) – Syntax

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Motteler, Z. C. (1981). A LL grammar analyzer. (Masters Thesis). Michigan State University. Retrieved from http://etd.lib.msu.edu/islandora/object/etd:45218

Chicago Manual of Style (16th Edition):

Motteler, Zane C. “A LL grammar analyzer.” 1981. Masters Thesis, Michigan State University. Accessed October 22, 2019. http://etd.lib.msu.edu/islandora/object/etd:45218.

MLA Handbook (7th Edition):

Motteler, Zane C. “A LL grammar analyzer.” 1981. Web. 22 Oct 2019.

Vancouver:

Motteler ZC. A LL grammar analyzer. [Internet] [Masters thesis]. Michigan State University; 1981. [cited 2019 Oct 22]. Available from: http://etd.lib.msu.edu/islandora/object/etd:45218.

Council of Science Editors:

Motteler ZC. A LL grammar analyzer. [Masters Thesis]. Michigan State University; 1981. Available from: http://etd.lib.msu.edu/islandora/object/etd:45218


University of Victoria

27. Aycock, John Daniel. Practical Earley parsing and the SPARK toolkit.

Degree: Department of Computer Science, 2018, University of Victoria

 Domain-specific, “little” languages are commonplace in computing. So too is the need to implement such languages; to meet this need, we have created SPARK (Scanning,… (more)

Subjects/Keywords: Parsing (Computer grammar); SPARK (Computer program language); Programming languages (Electronic computers)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Aycock, J. D. (2018). Practical Earley parsing and the SPARK toolkit. (Thesis). University of Victoria. Retrieved from https://dspace.library.uvic.ca//handle/1828/9392

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

Aycock, John Daniel. “Practical Earley parsing and the SPARK toolkit.” 2018. Thesis, University of Victoria. Accessed October 22, 2019. https://dspace.library.uvic.ca//handle/1828/9392.

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

MLA Handbook (7th Edition):

Aycock, John Daniel. “Practical Earley parsing and the SPARK toolkit.” 2018. Web. 22 Oct 2019.

Vancouver:

Aycock JD. Practical Earley parsing and the SPARK toolkit. [Internet] [Thesis]. University of Victoria; 2018. [cited 2019 Oct 22]. Available from: https://dspace.library.uvic.ca//handle/1828/9392.

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

Council of Science Editors:

Aycock JD. Practical Earley parsing and the SPARK toolkit. [Thesis]. University of Victoria; 2018. Available from: https://dspace.library.uvic.ca//handle/1828/9392

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

28. Gurov, Dilian Borissov. Specification and verification of communicating systems with value passing.

Degree: Department of Computer Science, 2017, University of Victoria

 The present Thesis addresses the problem of specification and verification of communicating systems with value passing. We assume that such systems are described in the… (more)

Subjects/Keywords: Computer programming; Parallel processing

…ACKNOWLEDGEMENT vi A ck n o w led g em en t [ w ould like to th an k m y… …p o rta n t c h aracteristic of com m unicating sy stem s is th a t th e y are inher­ en… …system s o f th e sam e type, so th e overall system consists of co m p o n en ts w hich are… …been im plem ented: • Implementation: th e verified m odel is im p lem en ted in h ard w are… …Validation: th e im plem ented system is te sted using th e test suites g en erated earlier. Such a… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gurov, D. B. (2017). Specification and verification of communicating systems with value passing. (Thesis). University of Victoria. Retrieved from http://hdl.handle.net/1828/8287

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

Gurov, Dilian Borissov. “Specification and verification of communicating systems with value passing.” 2017. Thesis, University of Victoria. Accessed October 22, 2019. http://hdl.handle.net/1828/8287.

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

MLA Handbook (7th Edition):

Gurov, Dilian Borissov. “Specification and verification of communicating systems with value passing.” 2017. Web. 22 Oct 2019.

Vancouver:

Gurov DB. Specification and verification of communicating systems with value passing. [Internet] [Thesis]. University of Victoria; 2017. [cited 2019 Oct 22]. Available from: http://hdl.handle.net/1828/8287.

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

Council of Science Editors:

Gurov DB. Specification and verification of communicating systems with value passing. [Thesis]. University of Victoria; 2017. Available from: http://hdl.handle.net/1828/8287

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


University of Victoria

29. Uhl, James S. Flow grammars: a methodology for automatically constructing static analyzers.

Degree: Department of Computer Science, 2018, University of Victoria

 A new control flow model called flow grammars is introduced which unifies the treatment of intraprocedural and interprocedural control flow. This model provides excellent support… (more)

Subjects/Keywords: Data flow computing; Computer programming; Computer architecture; Parallel processing (Electronic computers)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Uhl, J. S. (2018). Flow grammars: a methodology for automatically constructing static analyzers. (Thesis). University of Victoria. Retrieved from https://dspace.library.uvic.ca//handle/1828/9436

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

Uhl, James S. “Flow grammars: a methodology for automatically constructing static analyzers.” 2018. Thesis, University of Victoria. Accessed October 22, 2019. https://dspace.library.uvic.ca//handle/1828/9436.

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

MLA Handbook (7th Edition):

Uhl, James S. “Flow grammars: a methodology for automatically constructing static analyzers.” 2018. Web. 22 Oct 2019.

Vancouver:

Uhl JS. Flow grammars: a methodology for automatically constructing static analyzers. [Internet] [Thesis]. University of Victoria; 2018. [cited 2019 Oct 22]. Available from: https://dspace.library.uvic.ca//handle/1828/9436.

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

Council of Science Editors:

Uhl JS. Flow grammars: a methodology for automatically constructing static analyzers. [Thesis]. University of Victoria; 2018. Available from: https://dspace.library.uvic.ca//handle/1828/9436

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


University of New Mexico

30. Brennan, Sean M. Reconfigurable middleware architectures for large scale sensor networks.

Degree: Department of Computer Science, 2009, University of New Mexico

 Wireless sensor networks, in an effort to be energy efficient, typically lack the high-level abstractions of advanced programming languages. Though strong, the dichotomy between these… (more)

Subjects/Keywords: wireless sensor networks; object-oriented programming; SENSIX framework

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Brennan, S. M. (2009). Reconfigurable middleware architectures for large scale sensor networks. (Doctoral Dissertation). University of New Mexico. Retrieved from http://hdl.handle.net/1928/24657

Chicago Manual of Style (16th Edition):

Brennan, Sean M. “Reconfigurable middleware architectures for large scale sensor networks.” 2009. Doctoral Dissertation, University of New Mexico. Accessed October 22, 2019. http://hdl.handle.net/1928/24657.

MLA Handbook (7th Edition):

Brennan, Sean M. “Reconfigurable middleware architectures for large scale sensor networks.” 2009. Web. 22 Oct 2019.

Vancouver:

Brennan SM. Reconfigurable middleware architectures for large scale sensor networks. [Internet] [Doctoral dissertation]. University of New Mexico; 2009. [cited 2019 Oct 22]. Available from: http://hdl.handle.net/1928/24657.

Council of Science Editors:

Brennan SM. Reconfigurable middleware architectures for large scale sensor networks. [Doctoral Dissertation]. University of New Mexico; 2009. Available from: http://hdl.handle.net/1928/24657

[1] [2] [3]

.