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 +publisher:"Rice University" +contributor:("Cartwright, Robert"). Showing records 1 – 23 of 23 total matches.

Search Limiters

Last 2 Years | English Only

Degrees

Levels

▼ Search Limiters

1. AbdelGawad, Moez A. NOOP: A mathematical model of object-oriented programming.

Degree: PhD, Engineering, 2012, Rice University

 Computer software is ubiquitous. More than 35 × 10 18 computer instructions are executed around the globe each second. As computers dominate more aspects of… (more)

Subjects/Keywords: Applied sciences; Object-oriented programming; Computer software; Nominal OO languages; Statically-typed OO languages; Applied mathematics; Computer science

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

AbdelGawad, M. A. (2012). NOOP: A mathematical model of object-oriented programming. (Doctoral Dissertation). Rice University. Retrieved from http://hdl.handle.net/1911/70199

Chicago Manual of Style (16th Edition):

AbdelGawad, Moez A. “NOOP: A mathematical model of object-oriented programming.” 2012. Doctoral Dissertation, Rice University. Accessed January 20, 2021. http://hdl.handle.net/1911/70199.

MLA Handbook (7th Edition):

AbdelGawad, Moez A. “NOOP: A mathematical model of object-oriented programming.” 2012. Web. 20 Jan 2021.

Vancouver:

AbdelGawad MA. NOOP: A mathematical model of object-oriented programming. [Internet] [Doctoral dissertation]. Rice University; 2012. [cited 2021 Jan 20]. Available from: http://hdl.handle.net/1911/70199.

Council of Science Editors:

AbdelGawad MA. NOOP: A mathematical model of object-oriented programming. [Doctoral Dissertation]. Rice University; 2012. Available from: http://hdl.handle.net/1911/70199

2. Ricken, Mathias Guenter. A Framework for Testing Concurrent Programs.

Degree: PhD, Engineering, 2011, Rice University

 This study proposes a new framework that can effectively apply unit testing to concurrent programs, which are difficult to develop and debug. Test-driven development, a… (more)

Subjects/Keywords: Applied sciences; Multithreading; Concurrent programming; Scheduling; Computer engineering; Computer science

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

Ricken, M. G. (2011). A Framework for Testing Concurrent Programs. (Doctoral Dissertation). Rice University. Retrieved from http://hdl.handle.net/1911/70411

Chicago Manual of Style (16th Edition):

Ricken, Mathias Guenter. “A Framework for Testing Concurrent Programs.” 2011. Doctoral Dissertation, Rice University. Accessed January 20, 2021. http://hdl.handle.net/1911/70411.

MLA Handbook (7th Edition):

Ricken, Mathias Guenter. “A Framework for Testing Concurrent Programs.” 2011. Web. 20 Jan 2021.

Vancouver:

Ricken MG. A Framework for Testing Concurrent Programs. [Internet] [Doctoral dissertation]. Rice University; 2011. [cited 2021 Jan 20]. Available from: http://hdl.handle.net/1911/70411.

Council of Science Editors:

Ricken MG. A Framework for Testing Concurrent Programs. [Doctoral Dissertation]. Rice University; 2011. Available from: http://hdl.handle.net/1911/70411

3. Abdelrahman, Mohamed Mahmoud Hafez Mahmoud. Analyzing robustness of models of chaotic dynamical systems learned from data with Echo state networks.

Degree: MS, Engineering, 2019, Rice University

 Large scale engineering as well as natural systems, such as weather, often have high-dimensional state spaces and exhibit chaotic dynamics. To model the behavior of… (more)

Subjects/Keywords: ESN; chaotic dynamical systems; Lorenz63; Lorenz96; dimensionality reduction; UMAP

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Abdelrahman, M. M. H. M. (2019). Analyzing robustness of models of chaotic dynamical systems learned from data with Echo state networks. (Masters Thesis). Rice University. Retrieved from http://hdl.handle.net/1911/107733

Chicago Manual of Style (16th Edition):

Abdelrahman, Mohamed Mahmoud Hafez Mahmoud. “Analyzing robustness of models of chaotic dynamical systems learned from data with Echo state networks.” 2019. Masters Thesis, Rice University. Accessed January 20, 2021. http://hdl.handle.net/1911/107733.

MLA Handbook (7th Edition):

Abdelrahman, Mohamed Mahmoud Hafez Mahmoud. “Analyzing robustness of models of chaotic dynamical systems learned from data with Echo state networks.” 2019. Web. 20 Jan 2021.

Vancouver:

Abdelrahman MMHM. Analyzing robustness of models of chaotic dynamical systems learned from data with Echo state networks. [Internet] [Masters thesis]. Rice University; 2019. [cited 2021 Jan 20]. Available from: http://hdl.handle.net/1911/107733.

Council of Science Editors:

Abdelrahman MMHM. Analyzing robustness of models of chaotic dynamical systems learned from data with Echo state networks. [Masters Thesis]. Rice University; 2019. Available from: http://hdl.handle.net/1911/107733

4. Zeng, Yingfu. Making Hybrid Systems Easier to Model, Simulate, and Visualize.

Degree: PhD, Engineering, 2019, Rice University

 Specifying the behavior desired of hybrid systems requires analytical modeling of physical phenomena. Similarly, testing them requires simulation of continuous systems. While numerous tools support… (more)

Subjects/Keywords: Modeling; Simulation; Compile-time Transformation; Hybrid Systems; Binding-time Analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zeng, Y. (2019). Making Hybrid Systems Easier to Model, Simulate, and Visualize. (Doctoral Dissertation). Rice University. Retrieved from http://hdl.handle.net/1911/105397

Chicago Manual of Style (16th Edition):

Zeng, Yingfu. “Making Hybrid Systems Easier to Model, Simulate, and Visualize.” 2019. Doctoral Dissertation, Rice University. Accessed January 20, 2021. http://hdl.handle.net/1911/105397.

MLA Handbook (7th Edition):

Zeng, Yingfu. “Making Hybrid Systems Easier to Model, Simulate, and Visualize.” 2019. Web. 20 Jan 2021.

Vancouver:

Zeng Y. Making Hybrid Systems Easier to Model, Simulate, and Visualize. [Internet] [Doctoral dissertation]. Rice University; 2019. [cited 2021 Jan 20]. Available from: http://hdl.handle.net/1911/105397.

Council of Science Editors:

Zeng Y. Making Hybrid Systems Easier to Model, Simulate, and Visualize. [Doctoral Dissertation]. Rice University; 2019. Available from: http://hdl.handle.net/1911/105397


Rice University

5. Fagan, Mike. Soft typing: An approach to type checking for dynamically typed languages.

Degree: PhD, Engineering, 1991, Rice University

 In an effort to avoid improper use of program functions, modern programming languages employ some kind of preventative type system. These type systems can be… (more)

Subjects/Keywords: Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Fagan, M. (1991). Soft typing: An approach to type checking for dynamically typed languages. (Doctoral Dissertation). Rice University. Retrieved from http://hdl.handle.net/1911/16439

Chicago Manual of Style (16th Edition):

Fagan, Mike. “Soft typing: An approach to type checking for dynamically typed languages.” 1991. Doctoral Dissertation, Rice University. Accessed January 20, 2021. http://hdl.handle.net/1911/16439.

MLA Handbook (7th Edition):

Fagan, Mike. “Soft typing: An approach to type checking for dynamically typed languages.” 1991. Web. 20 Jan 2021.

Vancouver:

Fagan M. Soft typing: An approach to type checking for dynamically typed languages. [Internet] [Doctoral dissertation]. Rice University; 1991. [cited 2021 Jan 20]. Available from: http://hdl.handle.net/1911/16439.

Council of Science Editors:

Fagan M. Soft typing: An approach to type checking for dynamically typed languages. [Doctoral Dissertation]. Rice University; 1991. Available from: http://hdl.handle.net/1911/16439


Rice University

6. Kanneganti, Ramarao. Universal domains for sequential computation.

Degree: PhD, Engineering, 1995, Rice University

 Classical recursion theory asserts that all conventional programming languages are equally expressive because they can define all partial recursive functions over the natural numbers. However,… (more)

Subjects/Keywords: Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kanneganti, R. (1995). Universal domains for sequential computation. (Doctoral Dissertation). Rice University. Retrieved from http://hdl.handle.net/1911/16836

Chicago Manual of Style (16th Edition):

Kanneganti, Ramarao. “Universal domains for sequential computation.” 1995. Doctoral Dissertation, Rice University. Accessed January 20, 2021. http://hdl.handle.net/1911/16836.

MLA Handbook (7th Edition):

Kanneganti, Ramarao. “Universal domains for sequential computation.” 1995. Web. 20 Jan 2021.

Vancouver:

Kanneganti R. Universal domains for sequential computation. [Internet] [Doctoral dissertation]. Rice University; 1995. [cited 2021 Jan 20]. Available from: http://hdl.handle.net/1911/16836.

Council of Science Editors:

Kanneganti R. Universal domains for sequential computation. [Doctoral Dissertation]. Rice University; 1995. Available from: http://hdl.handle.net/1911/16836


Rice University

7. Sasitorn, James. Efficient implementation of first-class polymorphic methods in Java.

Degree: MS, Engineering, 2005, Rice University

 This thesis describes a new implementation architecture for polymorphic methods in Generic Java using the NEXTGEN compiler framework. The standard Generic Java (Java 1.5) compiler… (more)

Subjects/Keywords: Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sasitorn, J. (2005). Efficient implementation of first-class polymorphic methods in Java. (Masters Thesis). Rice University. Retrieved from http://hdl.handle.net/1911/17822

Chicago Manual of Style (16th Edition):

Sasitorn, James. “Efficient implementation of first-class polymorphic methods in Java.” 2005. Masters Thesis, Rice University. Accessed January 20, 2021. http://hdl.handle.net/1911/17822.

MLA Handbook (7th Edition):

Sasitorn, James. “Efficient implementation of first-class polymorphic methods in Java.” 2005. Web. 20 Jan 2021.

Vancouver:

Sasitorn J. Efficient implementation of first-class polymorphic methods in Java. [Internet] [Masters thesis]. Rice University; 2005. [cited 2021 Jan 20]. Available from: http://hdl.handle.net/1911/17822.

Council of Science Editors:

Sasitorn J. Efficient implementation of first-class polymorphic methods in Java. [Masters Thesis]. Rice University; 2005. Available from: http://hdl.handle.net/1911/17822


Rice University

8. Jensen, Michael Dyrby. Growing DrJava to cope with language extensions carried out in Java 5.0.

Degree: MS, Engineering, 2006, Rice University

 While Java continues to gain popularity in both industry and academia, few Java programming environments enable the user to directly interact with the code. Professional… (more)

Subjects/Keywords: Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Jensen, M. D. (2006). Growing DrJava to cope with language extensions carried out in Java 5.0. (Masters Thesis). Rice University. Retrieved from http://hdl.handle.net/1911/17884

Chicago Manual of Style (16th Edition):

Jensen, Michael Dyrby. “Growing DrJava to cope with language extensions carried out in Java 5.0.” 2006. Masters Thesis, Rice University. Accessed January 20, 2021. http://hdl.handle.net/1911/17884.

MLA Handbook (7th Edition):

Jensen, Michael Dyrby. “Growing DrJava to cope with language extensions carried out in Java 5.0.” 2006. Web. 20 Jan 2021.

Vancouver:

Jensen MD. Growing DrJava to cope with language extensions carried out in Java 5.0. [Internet] [Masters thesis]. Rice University; 2006. [cited 2021 Jan 20]. Available from: http://hdl.handle.net/1911/17884.

Council of Science Editors:

Jensen MD. Growing DrJava to cope with language extensions carried out in Java 5.0. [Masters Thesis]. Rice University; 2006. Available from: http://hdl.handle.net/1911/17884


Rice University

9. Reis, Charles S. A pedagogic programming environment for Java that scales to production programming.

Degree: MS, Engineering, 2003, Rice University

 This thesis describes extensions to the DrJava development environment that make it suitable for production programming. DrJava is an effective tool for teaching introductory programming… (more)

Subjects/Keywords: Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Reis, C. S. (2003). A pedagogic programming environment for Java that scales to production programming. (Masters Thesis). Rice University. Retrieved from http://hdl.handle.net/1911/17642

Chicago Manual of Style (16th Edition):

Reis, Charles S. “A pedagogic programming environment for Java that scales to production programming.” 2003. Masters Thesis, Rice University. Accessed January 20, 2021. http://hdl.handle.net/1911/17642.

MLA Handbook (7th Edition):

Reis, Charles S. “A pedagogic programming environment for Java that scales to production programming.” 2003. Web. 20 Jan 2021.

Vancouver:

Reis CS. A pedagogic programming environment for Java that scales to production programming. [Internet] [Masters thesis]. Rice University; 2003. [cited 2021 Jan 20]. Available from: http://hdl.handle.net/1911/17642.

Council of Science Editors:

Reis CS. A pedagogic programming environment for Java that scales to production programming. [Masters Thesis]. Rice University; 2003. Available from: http://hdl.handle.net/1911/17642


Rice University

10. Allen, Eric Ethan. Efficient implementation of run-time generic types for Java.

Degree: MS, Engineering, 2002, Rice University

 One of the most significant limitations of the Java Programming Language is its lack of support for generic types. This thesis describes an efficient compiler… (more)

Subjects/Keywords: Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Allen, E. E. (2002). Efficient implementation of run-time generic types for Java. (Masters Thesis). Rice University. Retrieved from http://hdl.handle.net/1911/17487

Chicago Manual of Style (16th Edition):

Allen, Eric Ethan. “Efficient implementation of run-time generic types for Java.” 2002. Masters Thesis, Rice University. Accessed January 20, 2021. http://hdl.handle.net/1911/17487.

MLA Handbook (7th Edition):

Allen, Eric Ethan. “Efficient implementation of run-time generic types for Java.” 2002. Web. 20 Jan 2021.

Vancouver:

Allen EE. Efficient implementation of run-time generic types for Java. [Internet] [Masters thesis]. Rice University; 2002. [cited 2021 Jan 20]. Available from: http://hdl.handle.net/1911/17487.

Council of Science Editors:

Allen EE. Efficient implementation of run-time generic types for Java. [Masters Thesis]. Rice University; 2002. Available from: http://hdl.handle.net/1911/17487


Rice University

11. Hsia, James I. Adding support for language levels to DrJava.

Degree: MS, Engineering, 2005, Rice University

 This thesis describes the design and implementation of language levels, a pedagogic tool that helps students progressively learn object-oriented programming concepts in discrete stages. While… (more)

Subjects/Keywords: Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hsia, J. I. (2005). Adding support for language levels to DrJava. (Masters Thesis). Rice University. Retrieved from http://hdl.handle.net/1911/17858

Chicago Manual of Style (16th Edition):

Hsia, James I. “Adding support for language levels to DrJava.” 2005. Masters Thesis, Rice University. Accessed January 20, 2021. http://hdl.handle.net/1911/17858.

MLA Handbook (7th Edition):

Hsia, James I. “Adding support for language levels to DrJava.” 2005. Web. 20 Jan 2021.

Vancouver:

Hsia JI. Adding support for language levels to DrJava. [Internet] [Masters thesis]. Rice University; 2005. [cited 2021 Jan 20]. Available from: http://hdl.handle.net/1911/17858.

Council of Science Editors:

Hsia JI. Adding support for language levels to DrJava. [Masters Thesis]. Rice University; 2005. Available from: http://hdl.handle.net/1911/17858


Rice University

12. Smith, Daniel. Designing type inference for typed object-oriented languages.

Degree: PhD, Engineering, 2010, Rice University

 Type-checked object-oriented languages have typically been designed with extremely simple type systems. However, there has recently been intense interest in extending such languages with more… (more)

Subjects/Keywords: Computer science; Applied sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Smith, D. (2010). Designing type inference for typed object-oriented languages. (Doctoral Dissertation). Rice University. Retrieved from http://hdl.handle.net/1911/62026

Chicago Manual of Style (16th Edition):

Smith, Daniel. “Designing type inference for typed object-oriented languages.” 2010. Doctoral Dissertation, Rice University. Accessed January 20, 2021. http://hdl.handle.net/1911/62026.

MLA Handbook (7th Edition):

Smith, Daniel. “Designing type inference for typed object-oriented languages.” 2010. Web. 20 Jan 2021.

Vancouver:

Smith D. Designing type inference for typed object-oriented languages. [Internet] [Doctoral dissertation]. Rice University; 2010. [cited 2021 Jan 20]. Available from: http://hdl.handle.net/1911/62026.

Council of Science Editors:

Smith D. Designing type inference for typed object-oriented languages. [Doctoral Dissertation]. Rice University; 2010. Available from: http://hdl.handle.net/1911/62026


Rice University

13. Smith, Daniel. Completing the Java type system.

Degree: MS, Engineering, 2008, Rice University

 The recent introduction of type variables and wildcards to the Java language, while greatly enriching the expressivity of the type system, comes with prohibitions against… (more)

Subjects/Keywords: Computer science; Applied sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Smith, D. (2008). Completing the Java type system. (Masters Thesis). Rice University. Retrieved from http://hdl.handle.net/1911/103594

Chicago Manual of Style (16th Edition):

Smith, Daniel. “Completing the Java type system.” 2008. Masters Thesis, Rice University. Accessed January 20, 2021. http://hdl.handle.net/1911/103594.

MLA Handbook (7th Edition):

Smith, Daniel. “Completing the Java type system.” 2008. Web. 20 Jan 2021.

Vancouver:

Smith D. Completing the Java type system. [Internet] [Masters thesis]. Rice University; 2008. [cited 2021 Jan 20]. Available from: http://hdl.handle.net/1911/103594.

Council of Science Editors:

Smith D. Completing the Java type system. [Masters Thesis]. Rice University; 2008. Available from: http://hdl.handle.net/1911/103594


Rice University

14. Lu, Dennis Iee. Dr. C#: A pedagogic IDE for C# featuring a read-eval-print-loop.

Degree: MS, Engineering, 2003, Rice University

 As the primary programming language of the Microsoft .NET platform, C# will play a significant role in software development for the foreseeable future. As the… (more)

Subjects/Keywords: Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lu, D. I. (2003). Dr. C#: A pedagogic IDE for C# featuring a read-eval-print-loop. (Masters Thesis). Rice University. Retrieved from http://hdl.handle.net/1911/17606

Chicago Manual of Style (16th Edition):

Lu, Dennis Iee. “Dr. C#: A pedagogic IDE for C# featuring a read-eval-print-loop.” 2003. Masters Thesis, Rice University. Accessed January 20, 2021. http://hdl.handle.net/1911/17606.

MLA Handbook (7th Edition):

Lu, Dennis Iee. “Dr. C#: A pedagogic IDE for C# featuring a read-eval-print-loop.” 2003. Web. 20 Jan 2021.

Vancouver:

Lu DI. Dr. C#: A pedagogic IDE for C# featuring a read-eval-print-loop. [Internet] [Masters thesis]. Rice University; 2003. [cited 2021 Jan 20]. Available from: http://hdl.handle.net/1911/17606.

Council of Science Editors:

Lu DI. Dr. C#: A pedagogic IDE for C# featuring a read-eval-print-loop. [Masters Thesis]. Rice University; 2003. Available from: http://hdl.handle.net/1911/17606


Rice University

15. Sasitorn, James. Component NextGen: A sound and expressive component framework for Java.

Degree: PhD, Engineering, 2007, Rice University

 Java has transformed mainstream software development by supporting clean object-oriented design, comprehensive static type checking, safe program execution, and an unprecedented degree of portability. Despite… (more)

Subjects/Keywords: Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sasitorn, J. (2007). Component NextGen: A sound and expressive component framework for Java. (Doctoral Dissertation). Rice University. Retrieved from http://hdl.handle.net/1911/20646

Chicago Manual of Style (16th Edition):

Sasitorn, James. “Component NextGen: A sound and expressive component framework for Java.” 2007. Doctoral Dissertation, Rice University. Accessed January 20, 2021. http://hdl.handle.net/1911/20646.

MLA Handbook (7th Edition):

Sasitorn, James. “Component NextGen: A sound and expressive component framework for Java.” 2007. Web. 20 Jan 2021.

Vancouver:

Sasitorn J. Component NextGen: A sound and expressive component framework for Java. [Internet] [Doctoral dissertation]. Rice University; 2007. [cited 2021 Jan 20]. Available from: http://hdl.handle.net/1911/20646.

Council of Science Editors:

Sasitorn J. Component NextGen: A sound and expressive component framework for Java. [Doctoral Dissertation]. Rice University; 2007. Available from: http://hdl.handle.net/1911/20646


Rice University

16. Allen, Eric Ethan. A first-class approach to genericity.

Degree: PhD, Engineering, 2003, Rice University

 This thesis describes how to add first-class generic types – including mixins – to strongly-typed object-oriented languages with nominal subtyping such as Java and C#. A generic… (more)

Subjects/Keywords: Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Allen, E. E. (2003). A first-class approach to genericity. (Doctoral Dissertation). Rice University. Retrieved from http://hdl.handle.net/1911/18503

Chicago Manual of Style (16th Edition):

Allen, Eric Ethan. “A first-class approach to genericity.” 2003. Doctoral Dissertation, Rice University. Accessed January 20, 2021. http://hdl.handle.net/1911/18503.

MLA Handbook (7th Edition):

Allen, Eric Ethan. “A first-class approach to genericity.” 2003. Web. 20 Jan 2021.

Vancouver:

Allen EE. A first-class approach to genericity. [Internet] [Doctoral dissertation]. Rice University; 2003. [cited 2021 Jan 20]. Available from: http://hdl.handle.net/1911/18503.

Council of Science Editors:

Allen EE. A first-class approach to genericity. [Doctoral Dissertation]. Rice University; 2003. Available from: http://hdl.handle.net/1911/18503


Rice University

17. Stoler, Brian Richard. A framework for building pedagogic Java programming environments.

Degree: MS, Engineering, 2002, Rice University

 Java has become the dominant language for teaching introductory computer science at both the high school and college levels. Yet Java's development tools and syntax… (more)

Subjects/Keywords: Technological education; Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Stoler, B. R. (2002). A framework for building pedagogic Java programming environments. (Masters Thesis). Rice University. Retrieved from http://hdl.handle.net/1911/17550

Chicago Manual of Style (16th Edition):

Stoler, Brian Richard. “A framework for building pedagogic Java programming environments.” 2002. Masters Thesis, Rice University. Accessed January 20, 2021. http://hdl.handle.net/1911/17550.

MLA Handbook (7th Edition):

Stoler, Brian Richard. “A framework for building pedagogic Java programming environments.” 2002. Web. 20 Jan 2021.

Vancouver:

Stoler BR. A framework for building pedagogic Java programming environments. [Internet] [Masters thesis]. Rice University; 2002. [cited 2021 Jan 20]. Available from: http://hdl.handle.net/1911/17550.

Council of Science Editors:

Stoler BR. A framework for building pedagogic Java programming environments. [Masters Thesis]. Rice University; 2002. Available from: http://hdl.handle.net/1911/17550

18. Imam, Shams. Habanero-Scala: A Hybrid Programming model integrating Fork/Join and Actor models.

Degree: MS, Engineering, 2013, Rice University

 This study presents a hybrid concurrent programming model combining the previously developed Fork-Join model (FJM) and Actor model (AM). With the advent of multi-core computers,… (more)

Subjects/Keywords: Parallel programming; Actor model; Fork-join model; Async-finish model; Habanero-Scala

…Framework [23], OpenMP 3.0 [28] etc. At Rice University, we have our own… …Habanero-C [30]. The Habanero Multicore Software Research Group at Rice University has… …Research Group at Rice University [29]. HJ supports AsyncFinish Model (AFM)… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Imam, S. (2013). Habanero-Scala: A Hybrid Programming model integrating Fork/Join and Actor models. (Masters Thesis). Rice University. Retrieved from http://hdl.handle.net/1911/71662

Chicago Manual of Style (16th Edition):

Imam, Shams. “Habanero-Scala: A Hybrid Programming model integrating Fork/Join and Actor models.” 2013. Masters Thesis, Rice University. Accessed January 20, 2021. http://hdl.handle.net/1911/71662.

MLA Handbook (7th Edition):

Imam, Shams. “Habanero-Scala: A Hybrid Programming model integrating Fork/Join and Actor models.” 2013. Web. 20 Jan 2021.

Vancouver:

Imam S. Habanero-Scala: A Hybrid Programming model integrating Fork/Join and Actor models. [Internet] [Masters thesis]. Rice University; 2013. [cited 2021 Jan 20]. Available from: http://hdl.handle.net/1911/71662.

Council of Science Editors:

Imam S. Habanero-Scala: A Hybrid Programming model integrating Fork/Join and Actor models. [Masters Thesis]. Rice University; 2013. Available from: http://hdl.handle.net/1911/71662

19. Inoue, Jun. Reasoning About Multi-stage Programs.

Degree: PhD, Engineering, 2013, Rice University

 Multi-stage programming (MSP) is a style of writing program generators – programs which generate programs – supported by special annotations that direct construction, combination, and execution of… (more)

Subjects/Keywords: Multi-stage languages; Verification; Equational theory; Bisimulation; Annotation erasure

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

Inoue, J. (2013). Reasoning About Multi-stage Programs. (Doctoral Dissertation). Rice University. Retrieved from http://hdl.handle.net/1911/71663

Chicago Manual of Style (16th Edition):

Inoue, Jun. “Reasoning About Multi-stage Programs.” 2013. Doctoral Dissertation, Rice University. Accessed January 20, 2021. http://hdl.handle.net/1911/71663.

MLA Handbook (7th Edition):

Inoue, Jun. “Reasoning About Multi-stage Programs.” 2013. Web. 20 Jan 2021.

Vancouver:

Inoue J. Reasoning About Multi-stage Programs. [Internet] [Doctoral dissertation]. Rice University; 2013. [cited 2021 Jan 20]. Available from: http://hdl.handle.net/1911/71663.

Council of Science Editors:

Inoue J. Reasoning About Multi-stage Programs. [Doctoral Dissertation]. Rice University; 2013. Available from: http://hdl.handle.net/1911/71663


Rice University

20. Parsons, Rebecca Jane. Semantic program dependence graphs.

Degree: PhD, Engineering, 1992, Rice University

 Semantic program dependence graphs, or semantic pdgs, are an attractive intermediate program representation for use in advanced optimizing and parallelizing compilers. The semantic pdg, which… (more)

Subjects/Keywords: Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Parsons, R. J. (1992). Semantic program dependence graphs. (Doctoral Dissertation). Rice University. Retrieved from http://hdl.handle.net/1911/16541

Chicago Manual of Style (16th Edition):

Parsons, Rebecca Jane. “Semantic program dependence graphs.” 1992. Doctoral Dissertation, Rice University. Accessed January 20, 2021. http://hdl.handle.net/1911/16541.

MLA Handbook (7th Edition):

Parsons, Rebecca Jane. “Semantic program dependence graphs.” 1992. Web. 20 Jan 2021.

Vancouver:

Parsons RJ. Semantic program dependence graphs. [Internet] [Doctoral dissertation]. Rice University; 1992. [cited 2021 Jan 20]. Available from: http://hdl.handle.net/1911/16541.

Council of Science Editors:

Parsons RJ. Semantic program dependence graphs. [Doctoral Dissertation]. Rice University; 1992. Available from: http://hdl.handle.net/1911/16541


Rice University

21. Wright, Andrew Kevin. Practical soft typing.

Degree: PhD, Engineering, 1995, Rice University

 Soft typing is an approach to type checking for dynamically typed languages. Like a static type checker, a soft type checker infers syntactic types for… (more)

Subjects/Keywords: Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Wright, A. K. (1995). Practical soft typing. (Doctoral Dissertation). Rice University. Retrieved from http://hdl.handle.net/1911/16900

Chicago Manual of Style (16th Edition):

Wright, Andrew Kevin. “Practical soft typing.” 1995. Doctoral Dissertation, Rice University. Accessed January 20, 2021. http://hdl.handle.net/1911/16900.

MLA Handbook (7th Edition):

Wright, Andrew Kevin. “Practical soft typing.” 1995. Web. 20 Jan 2021.

Vancouver:

Wright AK. Practical soft typing. [Internet] [Doctoral dissertation]. Rice University; 1995. [cited 2021 Jan 20]. Available from: http://hdl.handle.net/1911/16900.

Council of Science Editors:

Wright AK. Practical soft typing. [Doctoral Dissertation]. Rice University; 1995. Available from: http://hdl.handle.net/1911/16900


Rice University

22. Graunke, Paul Thorsen. Programming the Web with high-level programming languages.

Degree: MS, Engineering, 2001, Rice University

 Concepts from high-level languages can greatly simplify the design and implementation of CGI programs. This dissertation develops two systems for implementing these programs. The first… (more)

Subjects/Keywords: Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Graunke, P. T. (2001). Programming the Web with high-level programming languages. (Masters Thesis). Rice University. Retrieved from http://hdl.handle.net/1911/17425

Chicago Manual of Style (16th Edition):

Graunke, Paul Thorsen. “Programming the Web with high-level programming languages.” 2001. Masters Thesis, Rice University. Accessed January 20, 2021. http://hdl.handle.net/1911/17425.

MLA Handbook (7th Edition):

Graunke, Paul Thorsen. “Programming the Web with high-level programming languages.” 2001. Web. 20 Jan 2021.

Vancouver:

Graunke PT. Programming the Web with high-level programming languages. [Internet] [Masters thesis]. Rice University; 2001. [cited 2021 Jan 20]. Available from: http://hdl.handle.net/1911/17425.

Council of Science Editors:

Graunke PT. Programming the Web with high-level programming languages. [Masters Thesis]. Rice University; 2001. Available from: http://hdl.handle.net/1911/17425


Rice University

23. Kelley, Robert S. (b. 1831). A preliminary evaluation of a manually controlled computer.

Degree: MA, Engineering, 1982, Rice University

 We have developed a novel display control for interactive computer systems. This permits users to make a single displayed file scroll up or down by… (more)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kelley, R. S. (. 1. (1982). A preliminary evaluation of a manually controlled computer. (Masters Thesis). Rice University. Retrieved from http://hdl.handle.net/1911/104669

Chicago Manual of Style (16th Edition):

Kelley, Robert S (b 1831). “A preliminary evaluation of a manually controlled computer.” 1982. Masters Thesis, Rice University. Accessed January 20, 2021. http://hdl.handle.net/1911/104669.

MLA Handbook (7th Edition):

Kelley, Robert S (b 1831). “A preliminary evaluation of a manually controlled computer.” 1982. Web. 20 Jan 2021.

Vancouver:

Kelley RS(1. A preliminary evaluation of a manually controlled computer. [Internet] [Masters thesis]. Rice University; 1982. [cited 2021 Jan 20]. Available from: http://hdl.handle.net/1911/104669.

Council of Science Editors:

Kelley RS(1. A preliminary evaluation of a manually controlled computer. [Masters Thesis]. Rice University; 1982. Available from: http://hdl.handle.net/1911/104669

.