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:("Taha, Walid"). Showing records 1 – 8 of 8 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters

1. Salama, Cherif R. Static analysis for circuit families.

Degree: PhD, Engineering, 2010, Rice University

 As predicted by Gordon Moore, the number of transistors on a chip has roughly doubled every two years. Microprocessors featuring over a billion transistors are… (more)

Subjects/Keywords: Electronics; Electrical 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):

Salama, C. R. (2010). Static analysis for circuit families. (Doctoral Dissertation). Rice University. Retrieved from http://hdl.handle.net/1911/61999

Chicago Manual of Style (16th Edition):

Salama, Cherif R. “Static analysis for circuit families.” 2010. Doctoral Dissertation, Rice University. Accessed January 20, 2021. http://hdl.handle.net/1911/61999.

MLA Handbook (7th Edition):

Salama, Cherif R. “Static analysis for circuit families.” 2010. Web. 20 Jan 2021.

Vancouver:

Salama CR. Static analysis for circuit families. [Internet] [Doctoral dissertation]. Rice University; 2010. [cited 2021 Jan 20]. Available from: http://hdl.handle.net/1911/61999.

Council of Science Editors:

Salama CR. Static analysis for circuit families. [Doctoral Dissertation]. Rice University; 2010. Available from: http://hdl.handle.net/1911/61999

2. 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

3. Zhu, Yun. Acumen: An environment for rapid prototyping of Cyber-Physical Systems.

Degree: MS, Engineering, 2009, Rice University

 Cyber-Physical Systems (CPS) combine discrete and continuous physical processes. Developing a new cyber-physical system is an iterative process that involves design, simulation, prototyping, and production.… (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):

Zhu, Y. (2009). Acumen: An environment for rapid prototyping of Cyber-Physical Systems. (Masters Thesis). Rice University. Retrieved from http://hdl.handle.net/1911/103731

Chicago Manual of Style (16th Edition):

Zhu, Yun. “Acumen: An environment for rapid prototyping of Cyber-Physical Systems.” 2009. Masters Thesis, Rice University. Accessed January 20, 2021. http://hdl.handle.net/1911/103731.

MLA Handbook (7th Edition):

Zhu, Yun. “Acumen: An environment for rapid prototyping of Cyber-Physical Systems.” 2009. Web. 20 Jan 2021.

Vancouver:

Zhu Y. Acumen: An environment for rapid prototyping of Cyber-Physical Systems. [Internet] [Masters thesis]. Rice University; 2009. [cited 2021 Jan 20]. Available from: http://hdl.handle.net/1911/103731.

Council of Science Editors:

Zhu Y. Acumen: An environment for rapid prototyping of Cyber-Physical Systems. [Masters Thesis]. Rice University; 2009. Available from: http://hdl.handle.net/1911/103731


Rice University

4. Kaiabachev, Roumen Nikoleav. A transactional compiler for E-FRP with priorities.

Degree: MS, Engineering, 2008, Rice University

 E-FRP is declarative language for programming resource-bounded, event-driven systems. Its original high-level semantics requires that each event handler execute atomically. This facilitates reasoning about E-FRP… (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):

Kaiabachev, R. N. (2008). A transactional compiler for E-FRP with priorities. (Masters Thesis). Rice University. Retrieved from http://hdl.handle.net/1911/103595

Chicago Manual of Style (16th Edition):

Kaiabachev, Roumen Nikoleav. “A transactional compiler for E-FRP with priorities.” 2008. Masters Thesis, Rice University. Accessed January 20, 2021. http://hdl.handle.net/1911/103595.

MLA Handbook (7th Edition):

Kaiabachev, Roumen Nikoleav. “A transactional compiler for E-FRP with priorities.” 2008. Web. 20 Jan 2021.

Vancouver:

Kaiabachev RN. A transactional compiler for E-FRP with priorities. [Internet] [Masters thesis]. Rice University; 2008. [cited 2021 Jan 20]. Available from: http://hdl.handle.net/1911/103595.

Council of Science Editors:

Kaiabachev RN. A transactional compiler for E-FRP with priorities. [Masters Thesis]. Rice University; 2008. Available from: http://hdl.handle.net/1911/103595


Rice University

5. Ellner, Stephan J. PreVIEW: An untyped graphical calculus for resource-aware programming.

Degree: MS, Engineering, 2004, Rice University

 As visual programming languages become both more expressive and more popular in the domains of real-time and embedded software, the need for rigorous techniques for… (more)

Subjects/Keywords: Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ellner, S. J. (2004). PreVIEW: An untyped graphical calculus for resource-aware programming. (Masters Thesis). Rice University. Retrieved from http://hdl.handle.net/1911/17671

Chicago Manual of Style (16th Edition):

Ellner, Stephan J. “PreVIEW: An untyped graphical calculus for resource-aware programming.” 2004. Masters Thesis, Rice University. Accessed January 20, 2021. http://hdl.handle.net/1911/17671.

MLA Handbook (7th Edition):

Ellner, Stephan J. “PreVIEW: An untyped graphical calculus for resource-aware programming.” 2004. Web. 20 Jan 2021.

Vancouver:

Ellner SJ. PreVIEW: An untyped graphical calculus for resource-aware programming. [Internet] [Masters thesis]. Rice University; 2004. [cited 2021 Jan 20]. Available from: http://hdl.handle.net/1911/17671.

Council of Science Editors:

Ellner SJ. PreVIEW: An untyped graphical calculus for resource-aware programming. [Masters Thesis]. Rice University; 2004. Available from: http://hdl.handle.net/1911/17671


Rice University

6. Inoue, Jun. Reasoning About Staged Programs.

Degree: MS, Engineering, 2010, Rice University

 This thesis establishes formal equational properties of multi-stage calculi and related proof techniques that support analyses of staged programs. A key promise of staging is… (more)

Subjects/Keywords: Staging; Multi-stage programming; Formal semantics; Equational theory; Formal verification; Functional programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Inoue, J. (2010). Reasoning About Staged Programs. (Masters Thesis). Rice University. Retrieved from http://hdl.handle.net/1911/64204

Chicago Manual of Style (16th Edition):

Inoue, Jun. “Reasoning About Staged Programs.” 2010. Masters Thesis, Rice University. Accessed January 20, 2021. http://hdl.handle.net/1911/64204.

MLA Handbook (7th Edition):

Inoue, Jun. “Reasoning About Staged Programs.” 2010. Web. 20 Jan 2021.

Vancouver:

Inoue J. Reasoning About Staged Programs. [Internet] [Masters thesis]. Rice University; 2010. [cited 2021 Jan 20]. Available from: http://hdl.handle.net/1911/64204.

Council of Science Editors:

Inoue J. Reasoning About Staged Programs. [Masters Thesis]. Rice University; 2010. Available from: http://hdl.handle.net/1911/64204


Rice University

7. Bandyopadhyay, Rajarshi. Compiling dynamic languages via statically typed functional languages.

Degree: PhD, Engineering, 2009, Rice University

 Dynamic languages enable rapid prototyping, but are generally not viewed as providing the best performance. As a result, software developers generally build a prototype in… (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):

Bandyopadhyay, R. (2009). Compiling dynamic languages via statically typed functional languages. (Doctoral Dissertation). Rice University. Retrieved from http://hdl.handle.net/1911/61785

Chicago Manual of Style (16th Edition):

Bandyopadhyay, Rajarshi. “Compiling dynamic languages via statically typed functional languages.” 2009. Doctoral Dissertation, Rice University. Accessed January 20, 2021. http://hdl.handle.net/1911/61785.

MLA Handbook (7th Edition):

Bandyopadhyay, Rajarshi. “Compiling dynamic languages via statically typed functional languages.” 2009. Web. 20 Jan 2021.

Vancouver:

Bandyopadhyay R. Compiling dynamic languages via statically typed functional languages. [Internet] [Doctoral dissertation]. Rice University; 2009. [cited 2021 Jan 20]. Available from: http://hdl.handle.net/1911/61785.

Council of Science Editors:

Bandyopadhyay R. Compiling dynamic languages via statically typed functional languages. [Doctoral Dissertation]. Rice University; 2009. Available from: http://hdl.handle.net/1911/61785

8. 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

.