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:"University of Texas – Austin" +contributor:("Browne, James C."). Showing records 1 – 12 of 12 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


University of Texas – Austin

1. Allen, Gregory Eugene. Computational process networks : a model and framework for high-throughput signal processing.

Degree: PhD, Electrical and Computer Engineering, 2011, University of Texas – Austin

 Many signal and image processing systems for high-throughput, high-performance applications require concurrent implementations in order to realize desired performance. Developing software for concurrent systems is… (more)

Subjects/Keywords: Concurrency; Distributed systems; High-performance computing; Signal processing; Deadlock

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Allen, G. E. (2011). Computational process networks : a model and framework for high-throughput signal processing. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/ETD-UT-2011-05-2987

Chicago Manual of Style (16th Edition):

Allen, Gregory Eugene. “Computational process networks : a model and framework for high-throughput signal processing.” 2011. Doctoral Dissertation, University of Texas – Austin. Accessed March 03, 2021. http://hdl.handle.net/2152/ETD-UT-2011-05-2987.

MLA Handbook (7th Edition):

Allen, Gregory Eugene. “Computational process networks : a model and framework for high-throughput signal processing.” 2011. Web. 03 Mar 2021.

Vancouver:

Allen GE. Computational process networks : a model and framework for high-throughput signal processing. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2011. [cited 2021 Mar 03]. Available from: http://hdl.handle.net/2152/ETD-UT-2011-05-2987.

Council of Science Editors:

Allen GE. Computational process networks : a model and framework for high-throughput signal processing. [Doctoral Dissertation]. University of Texas – Austin; 2011. Available from: http://hdl.handle.net/2152/ETD-UT-2011-05-2987


University of Texas – Austin

2. Mahmood, Nasim, 1976-. Productivity with performance: property/behavior-based automated composition of parallel programs from self-describing components: Property/behavior-based automated composition of parallel programs from self-describing components.

Degree: PhD, Computer Sciences, 2007, University of Texas – Austin

 Development of efficient and correct parallel programs is a complex task. These parallel codes have strong requirements for performance and correctness and must operate robustly… (more)

Subjects/Keywords: Parallel programs (Computer programs); Parallel programs (Computer programs) – Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mahmood, Nasim, 1. (2007). Productivity with performance: property/behavior-based automated composition of parallel programs from self-describing components: Property/behavior-based automated composition of parallel programs from self-describing components. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/3360

Chicago Manual of Style (16th Edition):

Mahmood, Nasim, 1976-. “Productivity with performance: property/behavior-based automated composition of parallel programs from self-describing components: Property/behavior-based automated composition of parallel programs from self-describing components.” 2007. Doctoral Dissertation, University of Texas – Austin. Accessed March 03, 2021. http://hdl.handle.net/2152/3360.

MLA Handbook (7th Edition):

Mahmood, Nasim, 1976-. “Productivity with performance: property/behavior-based automated composition of parallel programs from self-describing components: Property/behavior-based automated composition of parallel programs from self-describing components.” 2007. Web. 03 Mar 2021.

Vancouver:

Mahmood, Nasim 1. Productivity with performance: property/behavior-based automated composition of parallel programs from self-describing components: Property/behavior-based automated composition of parallel programs from self-describing components. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2007. [cited 2021 Mar 03]. Available from: http://hdl.handle.net/2152/3360.

Council of Science Editors:

Mahmood, Nasim 1. Productivity with performance: property/behavior-based automated composition of parallel programs from self-describing components: Property/behavior-based automated composition of parallel programs from self-describing components. [Doctoral Dissertation]. University of Texas – Austin; 2007. Available from: http://hdl.handle.net/2152/3360


University of Texas – Austin

3. Kane, Kevin Michael. Access control in decentralized, distributed systems.

Degree: PhD, Computer Sciences, 2006, University of Texas – Austin

Subjects/Keywords: Computer networks – Access control

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kane, K. M. (2006). Access control in decentralized, distributed systems. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/2895

Chicago Manual of Style (16th Edition):

Kane, Kevin Michael. “Access control in decentralized, distributed systems.” 2006. Doctoral Dissertation, University of Texas – Austin. Accessed March 03, 2021. http://hdl.handle.net/2152/2895.

MLA Handbook (7th Edition):

Kane, Kevin Michael. “Access control in decentralized, distributed systems.” 2006. Web. 03 Mar 2021.

Vancouver:

Kane KM. Access control in decentralized, distributed systems. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2006. [cited 2021 Mar 03]. Available from: http://hdl.handle.net/2152/2895.

Council of Science Editors:

Kane KM. Access control in decentralized, distributed systems. [Doctoral Dissertation]. University of Texas – Austin; 2006. Available from: http://hdl.handle.net/2152/2895


University of Texas – Austin

4. Xie, Fei. Integration of model checking into software development processes.

Degree: PhD, Computer Sciences, 2004, University of Texas – Austin

 Testing has been the dominant method for validation of software systems. As software systems become complex, conventional testing methods have become inadequate. Model checking is… (more)

Subjects/Keywords: Computer software – Verification; Computer software – Development

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Xie, F. (2004). Integration of model checking into software development processes. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/1458

Chicago Manual of Style (16th Edition):

Xie, Fei. “Integration of model checking into software development processes.” 2004. Doctoral Dissertation, University of Texas – Austin. Accessed March 03, 2021. http://hdl.handle.net/2152/1458.

MLA Handbook (7th Edition):

Xie, Fei. “Integration of model checking into software development processes.” 2004. Web. 03 Mar 2021.

Vancouver:

Xie F. Integration of model checking into software development processes. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2004. [cited 2021 Mar 03]. Available from: http://hdl.handle.net/2152/1458.

Council of Science Editors:

Xie F. Integration of model checking into software development processes. [Doctoral Dissertation]. University of Texas – Austin; 2004. Available from: http://hdl.handle.net/2152/1458

5. Mahimkar, Ajay. Performance diagnosis in large operational networks.

Degree: PhD, Computer Sciences, 2010, University of Texas – Austin

 IP networks have become the unified platform that supports a rice and extremely diverse set of applications and services, including traditional IP data service, Voice… (more)

Subjects/Keywords: Network operations; Network management; Performance troubleshooting; Reliability; Network upgrades; IPTV; Chronic behaviors

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

Mahimkar, A. (2010). Performance diagnosis in large operational networks. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/ETD-UT-2010-05-1223

Chicago Manual of Style (16th Edition):

Mahimkar, Ajay. “Performance diagnosis in large operational networks.” 2010. Doctoral Dissertation, University of Texas – Austin. Accessed March 03, 2021. http://hdl.handle.net/2152/ETD-UT-2010-05-1223.

MLA Handbook (7th Edition):

Mahimkar, Ajay. “Performance diagnosis in large operational networks.” 2010. Web. 03 Mar 2021.

Vancouver:

Mahimkar A. Performance diagnosis in large operational networks. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2010. [cited 2021 Mar 03]. Available from: http://hdl.handle.net/2152/ETD-UT-2010-05-1223.

Council of Science Editors:

Mahimkar A. Performance diagnosis in large operational networks. [Doctoral Dissertation]. University of Texas – Austin; 2010. Available from: http://hdl.handle.net/2152/ETD-UT-2010-05-1223


University of Texas – Austin

6. Sharygina, Natalia Yevgenyevna. Model checking of software control systems.

Degree: PhD, Mechanical Engineering., 2002, University of Texas – Austin

Subjects/Keywords: Automatic control – Data processing; Computer software; Software engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sharygina, N. Y. (2002). Model checking of software control systems. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/920

Chicago Manual of Style (16th Edition):

Sharygina, Natalia Yevgenyevna. “Model checking of software control systems.” 2002. Doctoral Dissertation, University of Texas – Austin. Accessed March 03, 2021. http://hdl.handle.net/2152/920.

MLA Handbook (7th Edition):

Sharygina, Natalia Yevgenyevna. “Model checking of software control systems.” 2002. Web. 03 Mar 2021.

Vancouver:

Sharygina NY. Model checking of software control systems. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2002. [cited 2021 Mar 03]. Available from: http://hdl.handle.net/2152/920.

Council of Science Editors:

Sharygina NY. Model checking of software control systems. [Doctoral Dissertation]. University of Texas – Austin; 2002. Available from: http://hdl.handle.net/2152/920

7. Rager, David Lawrence. Parallelizing an interactive theorem prover : functional programming and proofs with ACL2.

Degree: PhD, Computer Science, 2012, University of Texas – Austin

 Multi-core systems have become commonplace, however, theorem provers often do not take advantage of the additional computing resources in an interactive setting. This research explores… (more)

Subjects/Keywords: Theorem proving; ACL2; Parallel; Functional languages; Parallel proof process

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

Rager, D. L. (2012). Parallelizing an interactive theorem prover : functional programming and proofs with ACL2. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/19482

Chicago Manual of Style (16th Edition):

Rager, David Lawrence. “Parallelizing an interactive theorem prover : functional programming and proofs with ACL2.” 2012. Doctoral Dissertation, University of Texas – Austin. Accessed March 03, 2021. http://hdl.handle.net/2152/19482.

MLA Handbook (7th Edition):

Rager, David Lawrence. “Parallelizing an interactive theorem prover : functional programming and proofs with ACL2.” 2012. Web. 03 Mar 2021.

Vancouver:

Rager DL. Parallelizing an interactive theorem prover : functional programming and proofs with ACL2. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2012. [cited 2021 Mar 03]. Available from: http://hdl.handle.net/2152/19482.

Council of Science Editors:

Rager DL. Parallelizing an interactive theorem prover : functional programming and proofs with ACL2. [Doctoral Dissertation]. University of Texas – Austin; 2012. Available from: http://hdl.handle.net/2152/19482


University of Texas – Austin

8. Song, Jianping. Constraint-based real-time scheduling for process control.

Degree: PhD, Computer Sciences, 2010, University of Texas – Austin

 This research addresses real-time task scheduling in industrial process control. It includes a constraint-based scheduler which is based on MSP.RTL, a tool for real-time multiprocessor… (more)

Subjects/Keywords: Multiprocessor scheduling; Industrial process control; MSP.RTL; Fieldbus; WirelessHART; Wireless sensor networks; PID; PIDPlus

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Song, J. (2010). Constraint-based real-time scheduling for process control. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/ETD-UT-2010-05-1102

Chicago Manual of Style (16th Edition):

Song, Jianping. “Constraint-based real-time scheduling for process control.” 2010. Doctoral Dissertation, University of Texas – Austin. Accessed March 03, 2021. http://hdl.handle.net/2152/ETD-UT-2010-05-1102.

MLA Handbook (7th Edition):

Song, Jianping. “Constraint-based real-time scheduling for process control.” 2010. Web. 03 Mar 2021.

Vancouver:

Song J. Constraint-based real-time scheduling for process control. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2010. [cited 2021 Mar 03]. Available from: http://hdl.handle.net/2152/ETD-UT-2010-05-1102.

Council of Science Editors:

Song J. Constraint-based real-time scheduling for process control. [Doctoral Dissertation]. University of Texas – Austin; 2010. Available from: http://hdl.handle.net/2152/ETD-UT-2010-05-1102


University of Texas – Austin

9. Shao, Danhua. Application of local semantic analysis in fault prediction and detection.

Degree: PhD, Electrical and Computer Engineering, 2010, University of Texas – Austin

 To improve quality of software systems, change-based fault prediction and scope-bounded checking have been used to predict or detect faults during software development. In fault… (more)

Subjects/Keywords: Version management; Semantic analysis; Data-flow analysis; Control-flow analysis; Scope-bounded checking; Alloy; First-order logic; SAT; Computation graph; White-box testing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Shao, D. (2010). Application of local semantic analysis in fault prediction and detection. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/ETD-UT-2010-05-1086

Chicago Manual of Style (16th Edition):

Shao, Danhua. “Application of local semantic analysis in fault prediction and detection.” 2010. Doctoral Dissertation, University of Texas – Austin. Accessed March 03, 2021. http://hdl.handle.net/2152/ETD-UT-2010-05-1086.

MLA Handbook (7th Edition):

Shao, Danhua. “Application of local semantic analysis in fault prediction and detection.” 2010. Web. 03 Mar 2021.

Vancouver:

Shao D. Application of local semantic analysis in fault prediction and detection. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2010. [cited 2021 Mar 03]. Available from: http://hdl.handle.net/2152/ETD-UT-2010-05-1086.

Council of Science Editors:

Shao D. Application of local semantic analysis in fault prediction and detection. [Doctoral Dissertation]. University of Texas – Austin; 2010. Available from: http://hdl.handle.net/2152/ETD-UT-2010-05-1086


University of Texas – Austin

10. Poon, Wing-Chi. Real-time hierarchical hypervisor.

Degree: PhD, Computer Sciences, 2010, University of Texas – Austin

 Both real-time virtualization and recursive virtualization are desirable properties of a virtual machine monitor (or hypervisor). Although the prospect for virtualization and even recursive virtualization… (more)

Subjects/Keywords: Real-time; Recursive virtualization; Abstract resource; Bounded delay resource partition; x86 architecture; Non-preemptive scheduling; Robustness; Interrupt forwarding; Hierarchical hypervisor

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Poon, W. (2010). Real-time hierarchical hypervisor. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/ETD-UT-2010-08-1842

Chicago Manual of Style (16th Edition):

Poon, Wing-Chi. “Real-time hierarchical hypervisor.” 2010. Doctoral Dissertation, University of Texas – Austin. Accessed March 03, 2021. http://hdl.handle.net/2152/ETD-UT-2010-08-1842.

MLA Handbook (7th Edition):

Poon, Wing-Chi. “Real-time hierarchical hypervisor.” 2010. Web. 03 Mar 2021.

Vancouver:

Poon W. Real-time hierarchical hypervisor. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2010. [cited 2021 Mar 03]. Available from: http://hdl.handle.net/2152/ETD-UT-2010-08-1842.

Council of Science Editors:

Poon W. Real-time hierarchical hypervisor. [Doctoral Dissertation]. University of Texas – Austin; 2010. Available from: http://hdl.handle.net/2152/ETD-UT-2010-08-1842


University of Texas – Austin

11. Chang, Walter Chochen. Improving dynamic analysis with data flow analysis.

Degree: PhD, Computer Sciences, 2010, University of Texas – Austin

 Many challenges in software quality can be tackled with dynamic analysis. However, these techniques are often limited in their efficiency or scalability as they are… (more)

Subjects/Keywords: Data flow; Software testing; Software security; Dynamic analysis; Static analysis; Test input generation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chang, W. C. (2010). Improving dynamic analysis with data flow analysis. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/ETD-UT-2010-08-1586

Chicago Manual of Style (16th Edition):

Chang, Walter Chochen. “Improving dynamic analysis with data flow analysis.” 2010. Doctoral Dissertation, University of Texas – Austin. Accessed March 03, 2021. http://hdl.handle.net/2152/ETD-UT-2010-08-1586.

MLA Handbook (7th Edition):

Chang, Walter Chochen. “Improving dynamic analysis with data flow analysis.” 2010. Web. 03 Mar 2021.

Vancouver:

Chang WC. Improving dynamic analysis with data flow analysis. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2010. [cited 2021 Mar 03]. Available from: http://hdl.handle.net/2152/ETD-UT-2010-08-1586.

Council of Science Editors:

Chang WC. Improving dynamic analysis with data flow analysis. [Doctoral Dissertation]. University of Texas – Austin; 2010. Available from: http://hdl.handle.net/2152/ETD-UT-2010-08-1586


University of Texas – Austin

12. Chan, Ernie W., 1982-. Application of dependence analysis and runtime data flow graph scheduling to matrix computations.

Degree: PhD, Computer Sciences, 2010, University of Texas – Austin

 We present a methodology for exploiting shared-memory parallelism within matrix computations by expressing linear algebra algorithms as directed acyclic graphs. Our solution involves a separation… (more)

Subjects/Keywords: Matrix computation; Directed acyclic graph; Algorithm-by-blocks

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chan, Ernie W., 1. (2010). Application of dependence analysis and runtime data flow graph scheduling to matrix computations. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/ETD-UT-2010-08-1563

Chicago Manual of Style (16th Edition):

Chan, Ernie W., 1982-. “Application of dependence analysis and runtime data flow graph scheduling to matrix computations.” 2010. Doctoral Dissertation, University of Texas – Austin. Accessed March 03, 2021. http://hdl.handle.net/2152/ETD-UT-2010-08-1563.

MLA Handbook (7th Edition):

Chan, Ernie W., 1982-. “Application of dependence analysis and runtime data flow graph scheduling to matrix computations.” 2010. Web. 03 Mar 2021.

Vancouver:

Chan, Ernie W. 1. Application of dependence analysis and runtime data flow graph scheduling to matrix computations. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2010. [cited 2021 Mar 03]. Available from: http://hdl.handle.net/2152/ETD-UT-2010-08-1563.

Council of Science Editors:

Chan, Ernie W. 1. Application of dependence analysis and runtime data flow graph scheduling to matrix computations. [Doctoral Dissertation]. University of Texas – Austin; 2010. Available from: http://hdl.handle.net/2152/ETD-UT-2010-08-1563

.