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:("McKinley, Kathryn S."). Showing records 1 – 24 of 24 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters

1. Meng, Na. Automating program transformations based on examples of systematic edits.

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

 Programmers make systematic edits—similar, but not identical changes to multiple places during software development and maintenance in order to add features and fix bugs. Finding… (more)

Subjects/Keywords: Systematic edits; Program transformation; Edit location search; Clone removal refactoring

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Meng, N. (2014). Automating program transformations based on examples of systematic edits. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/28059

Chicago Manual of Style (16th Edition):

Meng, Na. “Automating program transformations based on examples of systematic edits.” 2014. Doctoral Dissertation, University of Texas – Austin. Accessed February 28, 2021. http://hdl.handle.net/2152/28059.

MLA Handbook (7th Edition):

Meng, Na. “Automating program transformations based on examples of systematic edits.” 2014. Web. 28 Feb 2021.

Vancouver:

Meng N. Automating program transformations based on examples of systematic edits. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2014. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2152/28059.

Council of Science Editors:

Meng N. Automating program transformations based on examples of systematic edits. [Doctoral Dissertation]. University of Texas – Austin; 2014. Available from: http://hdl.handle.net/2152/28059

2. Coons, Katherine Elizabeth. Fast error detection with coverage guarantees for concurrent software.

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

 Concurrency errors are notoriously difficult to debug because they may occur only under unexpected thread interleavings that are difficult to identify and reproduce. These errors… (more)

Subjects/Keywords: Concurrency; Testing; Model checking; Coverage

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

Coons, K. E. (2013). Fast error detection with coverage guarantees for concurrent software. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/21452

Chicago Manual of Style (16th Edition):

Coons, Katherine Elizabeth. “Fast error detection with coverage guarantees for concurrent software.” 2013. Doctoral Dissertation, University of Texas – Austin. Accessed February 28, 2021. http://hdl.handle.net/2152/21452.

MLA Handbook (7th Edition):

Coons, Katherine Elizabeth. “Fast error detection with coverage guarantees for concurrent software.” 2013. Web. 28 Feb 2021.

Vancouver:

Coons KE. Fast error detection with coverage guarantees for concurrent software. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2013. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2152/21452.

Council of Science Editors:

Coons KE. Fast error detection with coverage guarantees for concurrent software. [Doctoral Dissertation]. University of Texas – Austin; 2013. Available from: http://hdl.handle.net/2152/21452

3. Bond, Michael David. Diagnosing and tolerating bugs in deployed systems.

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

 Deployed software is never free of bugs. These bugs cause software to fail, wasting billions of dollars and sometimes causing injury or death. Bugs are… (more)

Subjects/Keywords: Software maintenance; Debugging in 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):

Bond, M. D. (2008). Diagnosing and tolerating bugs in deployed systems. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/18228

Chicago Manual of Style (16th Edition):

Bond, Michael David. “Diagnosing and tolerating bugs in deployed systems.” 2008. Doctoral Dissertation, University of Texas – Austin. Accessed February 28, 2021. http://hdl.handle.net/2152/18228.

MLA Handbook (7th Edition):

Bond, Michael David. “Diagnosing and tolerating bugs in deployed systems.” 2008. Web. 28 Feb 2021.

Vancouver:

Bond MD. Diagnosing and tolerating bugs in deployed systems. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2008. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2152/18228.

Council of Science Editors:

Bond MD. Diagnosing and tolerating bugs in deployed systems. [Doctoral Dissertation]. University of Texas – Austin; 2008. Available from: http://hdl.handle.net/2152/18228


University of Texas – Austin

4. Isen, Ciji. The use of memory state knowledge to improve computer memory system organization.

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

 The trends in virtualization as well as multi-core, multiprocessor environments have translated to a massive increase in the amount of main memory each individual system… (more)

Subjects/Keywords: Computer architecture; Memory power; Memory management (Computer science); Memory energy; Memory allocation; Phase change memory; DRAM; Computer storage devices; Computer memory systems; Program semantics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Isen, C. (2011). The use of memory state knowledge to improve computer memory system organization. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/ETD-UT-2011-05-3569

Chicago Manual of Style (16th Edition):

Isen, Ciji. “The use of memory state knowledge to improve computer memory system organization.” 2011. Doctoral Dissertation, University of Texas – Austin. Accessed February 28, 2021. http://hdl.handle.net/2152/ETD-UT-2011-05-3569.

MLA Handbook (7th Edition):

Isen, Ciji. “The use of memory state knowledge to improve computer memory system organization.” 2011. Web. 28 Feb 2021.

Vancouver:

Isen C. The use of memory state knowledge to improve computer memory system organization. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2011. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2152/ETD-UT-2011-05-3569.

Council of Science Editors:

Isen C. The use of memory state knowledge to improve computer memory system organization. [Doctoral Dissertation]. University of Texas – Austin; 2011. Available from: http://hdl.handle.net/2152/ETD-UT-2011-05-3569

5. Son, Sooel. Toward better server-side Web security.

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

 Server-side Web applications are constantly exposed to new threats as new technologies emerge. For instance, forced browsing attacks exploit incomplete access-control enforcement to perform security-sensitive… (more)

Subjects/Keywords: Security; Web; PHP; Static analysis; Dynamic analysis; Forced-browsing; SQL/NoSQL injection

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Son, S. (2014). Toward better server-side Web security. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/24821

Chicago Manual of Style (16th Edition):

Son, Sooel. “Toward better server-side Web security.” 2014. Doctoral Dissertation, University of Texas – Austin. Accessed February 28, 2021. http://hdl.handle.net/2152/24821.

MLA Handbook (7th Edition):

Son, Sooel. “Toward better server-side Web security.” 2014. Web. 28 Feb 2021.

Vancouver:

Son S. Toward better server-side Web security. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2014. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2152/24821.

Council of Science Editors:

Son S. Toward better server-side Web security. [Doctoral Dissertation]. University of Texas – Austin; 2014. Available from: http://hdl.handle.net/2152/24821


University of Texas – Austin

6. Huang, Xianglong, 1975-. Improving program locality on-the-fly.

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

 As increases in processor speed continue to outpace increases in cache and memory speed, programs are losing more performance to poor locality. Object-oriented languages exacerbate… (more)

Subjects/Keywords: Object-oriented programming languages; Cache memory

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Huang, Xianglong, 1. (2006). Improving program locality on-the-fly. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/13121

Chicago Manual of Style (16th Edition):

Huang, Xianglong, 1975-. “Improving program locality on-the-fly.” 2006. Doctoral Dissertation, University of Texas – Austin. Accessed February 28, 2021. http://hdl.handle.net/2152/13121.

MLA Handbook (7th Edition):

Huang, Xianglong, 1975-. “Improving program locality on-the-fly.” 2006. Web. 28 Feb 2021.

Vancouver:

Huang, Xianglong 1. Improving program locality on-the-fly. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2006. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2152/13121.

Council of Science Editors:

Huang, Xianglong 1. Improving program locality on-the-fly. [Doctoral Dissertation]. University of Texas – Austin; 2006. Available from: http://hdl.handle.net/2152/13121


University of Texas – Austin

7. Berger, Emery David. Memory management for high-performance applications.

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

Subjects/Keywords: Memory management (Computer science); High performance computing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Berger, E. D. (2002). Memory management for high-performance applications. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/455

Chicago Manual of Style (16th Edition):

Berger, Emery David. “Memory management for high-performance applications.” 2002. Doctoral Dissertation, University of Texas – Austin. Accessed February 28, 2021. http://hdl.handle.net/2152/455.

MLA Handbook (7th Edition):

Berger, Emery David. “Memory management for high-performance applications.” 2002. Web. 28 Feb 2021.

Vancouver:

Berger ED. Memory management for high-performance applications. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2002. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2152/455.

Council of Science Editors:

Berger ED. Memory management for high-performance applications. [Doctoral Dissertation]. University of Texas – Austin; 2002. Available from: http://hdl.handle.net/2152/455


University of Texas – Austin

8. Jump, Maria Eva. Discovering heap anomalies in the wild.

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

 Programmers increasingly rely on managed languages (e.g. Java and C#) to develop applications faster and with fewer bugs. Managed languages encourage allocating objects in the… (more)

Subjects/Keywords: Heap analysis; Dynamic object sampling; Heap summarization; Managed languages; Managed runtime; Debugging; Heap anomalies

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Jump, M. E. (2009). Discovering heap anomalies in the wild. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/6843

Chicago Manual of Style (16th Edition):

Jump, Maria Eva. “Discovering heap anomalies in the wild.” 2009. Doctoral Dissertation, University of Texas – Austin. Accessed February 28, 2021. http://hdl.handle.net/2152/6843.

MLA Handbook (7th Edition):

Jump, Maria Eva. “Discovering heap anomalies in the wild.” 2009. Web. 28 Feb 2021.

Vancouver:

Jump ME. Discovering heap anomalies in the wild. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2009. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2152/6843.

Council of Science Editors:

Jump ME. Discovering heap anomalies in the wild. [Doctoral Dissertation]. University of Texas – Austin; 2009. Available from: http://hdl.handle.net/2152/6843

9. Porter, Donald E. Operating system transactions.

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

 Applications must be able to synchronize accesses to operating system (OS) resources in order to ensure correctness in the face of concurrency and system failures.… (more)

Subjects/Keywords: Transactions; Operating systems; Concurrency; TxOS; Race conditions; Transactional memory; Lock-free data structures; System transactions; Linked list algorithms; Lock-free algorithm; Lock-free lists

Page 1 Page 2 Page 3 Page 4 Page 5 Sample image Sample image

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Porter, D. E. (2010). Operating system transactions. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/ETD-UT-2010-12-2488

Chicago Manual of Style (16th Edition):

Porter, Donald E. “Operating system transactions.” 2010. Doctoral Dissertation, University of Texas – Austin. Accessed February 28, 2021. http://hdl.handle.net/2152/ETD-UT-2010-12-2488.

MLA Handbook (7th Edition):

Porter, Donald E. “Operating system transactions.” 2010. Web. 28 Feb 2021.

Vancouver:

Porter DE. Operating system transactions. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2010. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2152/ETD-UT-2010-12-2488.

Council of Science Editors:

Porter DE. Operating system transactions. [Doctoral Dissertation]. University of Texas – Austin; 2010. Available from: http://hdl.handle.net/2152/ETD-UT-2010-12-2488

10. Subramanian, Suriya. Dynamic software updates : a VM-centric approach.

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

 Because software systems are imperfect, developers are forced to fix bugs and add new features. The common way of applying changes to a running system… (more)

Subjects/Keywords: Programming languages; Object-oriented programming languages; Virtual Machines; Java Virtual Machines; Java; Dynamic software updating; Jvolve; Safe points; Updating code

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Subramanian, S. (2010). Dynamic software updates : a VM-centric approach. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/ETD-UT-2010-05-1436

Chicago Manual of Style (16th Edition):

Subramanian, Suriya. “Dynamic software updates : a VM-centric approach.” 2010. Doctoral Dissertation, University of Texas – Austin. Accessed February 28, 2021. http://hdl.handle.net/2152/ETD-UT-2010-05-1436.

MLA Handbook (7th Edition):

Subramanian, Suriya. “Dynamic software updates : a VM-centric approach.” 2010. Web. 28 Feb 2021.

Vancouver:

Subramanian S. Dynamic software updates : a VM-centric approach. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2010. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2152/ETD-UT-2010-05-1436.

Council of Science Editors:

Subramanian S. Dynamic software updates : a VM-centric approach. [Doctoral Dissertation]. University of Texas – Austin; 2010. Available from: http://hdl.handle.net/2152/ETD-UT-2010-05-1436

11. Jibaja, Ivan. Exploiting hardware heterogeneity and parallelism for performance and energy efficiency of managed languages.

Degree: PhD, Computer science, 2015, University of Texas – Austin

 On the software side, managed languages and their workloads are ubiquitous, executing on mobile, desktop, and server hardware. Managed languages boost the productivity of programmers… (more)

Subjects/Keywords: Scheduling; Asymmetric; Multicore; Heterogeneous; Managed software; Languages; Performance; Energy; Parallelism; JavaScript; Java; SIMD

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Jibaja, I. (2015). Exploiting hardware heterogeneity and parallelism for performance and energy efficiency of managed languages. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/33304

Chicago Manual of Style (16th Edition):

Jibaja, Ivan. “Exploiting hardware heterogeneity and parallelism for performance and energy efficiency of managed languages.” 2015. Doctoral Dissertation, University of Texas – Austin. Accessed February 28, 2021. http://hdl.handle.net/2152/33304.

MLA Handbook (7th Edition):

Jibaja, Ivan. “Exploiting hardware heterogeneity and parallelism for performance and energy efficiency of managed languages.” 2015. Web. 28 Feb 2021.

Vancouver:

Jibaja I. Exploiting hardware heterogeneity and parallelism for performance and energy efficiency of managed languages. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2015. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2152/33304.

Council of Science Editors:

Jibaja I. Exploiting hardware heterogeneity and parallelism for performance and energy efficiency of managed languages. [Doctoral Dissertation]. University of Texas – Austin; 2015. Available from: http://hdl.handle.net/2152/33304

12. Robatmili, Behnam. Efficient execution of sequential applications on multicore systems.

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

 Conventional CMOS scaling has been the engine of the technology revolution in most application domains. This trend has changed as in each technology generation, transistor… (more)

Subjects/Keywords: Microarchitecture; EDGE; Multicore; Single-thread performance; Dataflow; Block-atomic execution; Power efficiency; Composable cores

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Robatmili, B. (2011). Efficient execution of sequential applications on multicore systems. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/ETD-UT-2011-08-3987

Chicago Manual of Style (16th Edition):

Robatmili, Behnam. “Efficient execution of sequential applications on multicore systems.” 2011. Doctoral Dissertation, University of Texas – Austin. Accessed February 28, 2021. http://hdl.handle.net/2152/ETD-UT-2011-08-3987.

MLA Handbook (7th Edition):

Robatmili, Behnam. “Efficient execution of sequential applications on multicore systems.” 2011. Web. 28 Feb 2021.

Vancouver:

Robatmili B. Efficient execution of sequential applications on multicore systems. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2011. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2152/ETD-UT-2011-08-3987.

Council of Science Editors:

Robatmili B. Efficient execution of sequential applications on multicore systems. [Doctoral Dissertation]. University of Texas – Austin; 2011. Available from: http://hdl.handle.net/2152/ETD-UT-2011-08-3987

13. Smith, Aaron Lee, 1977-. Explicit data graph compilation.

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

 Technology trends such as growing wire delays, power consumption limits, and diminishing clock rate improvements, present conventional instruction set architectures such as RISC, CISC, and… (more)

Subjects/Keywords: EDGE; Computer architecture; Compilers

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Smith, Aaron Lee, 1. (2009). Explicit data graph compilation. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/ETD-UT-2009-12-626

Chicago Manual of Style (16th Edition):

Smith, Aaron Lee, 1977-. “Explicit data graph compilation.” 2009. Doctoral Dissertation, University of Texas – Austin. Accessed February 28, 2021. http://hdl.handle.net/2152/ETD-UT-2009-12-626.

MLA Handbook (7th Edition):

Smith, Aaron Lee, 1977-. “Explicit data graph compilation.” 2009. Web. 28 Feb 2021.

Vancouver:

Smith, Aaron Lee 1. Explicit data graph compilation. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2009. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2152/ETD-UT-2009-12-626.

Council of Science Editors:

Smith, Aaron Lee 1. Explicit data graph compilation. [Doctoral Dissertation]. University of Texas – Austin; 2009. Available from: http://hdl.handle.net/2152/ETD-UT-2009-12-626

14. Sartor, Jennifer Bedke. Exploiting language abstraction to optimize memory efficiency.

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

 The programming language and underlying hardware determine application performance, and both are undergoing revolutionary shifts. As applications have become more sophisticated and capable, programmers have… (more)

Subjects/Keywords: Managed languages; Dynamic optimization; Memory management; Abstraction; Memory efficiency

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sartor, J. B. (2010). Exploiting language abstraction to optimize memory efficiency. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/ETD-UT-2010-08-1919

Chicago Manual of Style (16th Edition):

Sartor, Jennifer Bedke. “Exploiting language abstraction to optimize memory efficiency.” 2010. Doctoral Dissertation, University of Texas – Austin. Accessed February 28, 2021. http://hdl.handle.net/2152/ETD-UT-2010-08-1919.

MLA Handbook (7th Edition):

Sartor, Jennifer Bedke. “Exploiting language abstraction to optimize memory efficiency.” 2010. Web. 28 Feb 2021.

Vancouver:

Sartor JB. Exploiting language abstraction to optimize memory efficiency. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2010. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2152/ETD-UT-2010-08-1919.

Council of Science Editors:

Sartor JB. Exploiting language abstraction to optimize memory efficiency. [Doctoral Dissertation]. University of Texas – Austin; 2010. Available from: http://hdl.handle.net/2152/ETD-UT-2010-08-1919

15. Gebhart, Mark Alan. Energy-efficient mechanisms for managing on-chip storage in throughput processors.

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

 Modern computer systems are power or energy limited. While the number of transistors per chip continues to increase, classic Dennard voltage scaling has come to… (more)

Subjects/Keywords: Energy efficiency; Multi-threading; Register file organization; Throughput computing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gebhart, M. A. (2012). Energy-efficient mechanisms for managing on-chip storage in throughput processors. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/ETD-UT-2012-05-5141

Chicago Manual of Style (16th Edition):

Gebhart, Mark Alan. “Energy-efficient mechanisms for managing on-chip storage in throughput processors.” 2012. Doctoral Dissertation, University of Texas – Austin. Accessed February 28, 2021. http://hdl.handle.net/2152/ETD-UT-2012-05-5141.

MLA Handbook (7th Edition):

Gebhart, Mark Alan. “Energy-efficient mechanisms for managing on-chip storage in throughput processors.” 2012. Web. 28 Feb 2021.

Vancouver:

Gebhart MA. Energy-efficient mechanisms for managing on-chip storage in throughput processors. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2012. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2152/ETD-UT-2012-05-5141.

Council of Science Editors:

Gebhart MA. Energy-efficient mechanisms for managing on-chip storage in throughput processors. [Doctoral Dissertation]. University of Texas – Austin; 2012. Available from: http://hdl.handle.net/2152/ETD-UT-2012-05-5141

16. Lee, Byeongcheol. Language and tool support for multilingual programs.

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

 Programmers compose programs in multiple languages to combine the advantages of innovations in new high-level programming languages with decades of engineering effort in legacy libraries… (more)

Subjects/Keywords: Multilingual programs; Composition; Interposition; Foreign function interface (FFI); Java native interface (JNI); Python/C; Dynamic analysis; FFI bugs; Specification; Specification generation; Type checking; Separate checking; Macros; Error messages; C

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lee, B. (2011). Language and tool support for multilingual programs. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/ETD-UT-2011-08-4084

Chicago Manual of Style (16th Edition):

Lee, Byeongcheol. “Language and tool support for multilingual programs.” 2011. Doctoral Dissertation, University of Texas – Austin. Accessed February 28, 2021. http://hdl.handle.net/2152/ETD-UT-2011-08-4084.

MLA Handbook (7th Edition):

Lee, Byeongcheol. “Language and tool support for multilingual programs.” 2011. Web. 28 Feb 2021.

Vancouver:

Lee B. Language and tool support for multilingual programs. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2011. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2152/ETD-UT-2011-08-4084.

Council of Science Editors:

Lee B. Language and tool support for multilingual programs. [Doctoral Dissertation]. University of Texas – Austin; 2011. Available from: http://hdl.handle.net/2152/ETD-UT-2011-08-4084

17. Govindan, Madhu Sarava. E³ : energy-efficient EDGE architectures.

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

 Increasing power dissipation is one of the most serious challenges facing designers in the microprocessor industry. Power dissipation, increasing wire delays, and increasing design complexity… (more)

Subjects/Keywords: Energy efficiency; EDGE architectures; Power efficiency; Composability; DVFS; Power management; Dynamic voltage and frequency scaling; Explicit Data Graph Execution architectures

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Govindan, M. S. (2010). E³ : energy-efficient EDGE architectures. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/ETD-UT-2010-08-1934

Chicago Manual of Style (16th Edition):

Govindan, Madhu Sarava. “E³ : energy-efficient EDGE architectures.” 2010. Doctoral Dissertation, University of Texas – Austin. Accessed February 28, 2021. http://hdl.handle.net/2152/ETD-UT-2010-08-1934.

MLA Handbook (7th Edition):

Govindan, Madhu Sarava. “E³ : energy-efficient EDGE architectures.” 2010. Web. 28 Feb 2021.

Vancouver:

Govindan MS. E³ : energy-efficient EDGE architectures. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2010. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2152/ETD-UT-2010-08-1934.

Council of Science Editors:

Govindan MS. E³ : energy-efficient EDGE architectures. [Doctoral Dissertation]. University of Texas – Austin; 2010. Available from: http://hdl.handle.net/2152/ETD-UT-2010-08-1934


University of Texas – Austin

18. Nokhbeh Zaeem, Razieh. Contract-based data structure repair using alloy.

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

 Contracts and specifications have long been used in object-oriented design, programming and testing to enhance reliability before software deployment. However, the use of specifications in… (more)

Subjects/Keywords: Data structure repair; Programming by contract; Specifications; Alloy

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nokhbeh Zaeem, R. (2010). Contract-based data structure repair using alloy. (Masters Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/ETD-UT-2010-05-1055

Chicago Manual of Style (16th Edition):

Nokhbeh Zaeem, Razieh. “Contract-based data structure repair using alloy.” 2010. Masters Thesis, University of Texas – Austin. Accessed February 28, 2021. http://hdl.handle.net/2152/ETD-UT-2010-05-1055.

MLA Handbook (7th Edition):

Nokhbeh Zaeem, Razieh. “Contract-based data structure repair using alloy.” 2010. Web. 28 Feb 2021.

Vancouver:

Nokhbeh Zaeem R. Contract-based data structure repair using alloy. [Internet] [Masters thesis]. University of Texas – Austin; 2010. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2152/ETD-UT-2010-05-1055.

Council of Science Editors:

Nokhbeh Zaeem R. Contract-based data structure repair using alloy. [Masters Thesis]. University of Texas – Austin; 2010. Available from: http://hdl.handle.net/2152/ETD-UT-2010-05-1055


University of Texas – Austin

19. Srivastava, Varun. Static analysis for finding security inconsistencies between similar implementations.

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

 The proliferation of distributed, multilayer software services is encouraging a separation of Application Programming Interfaces (APIs) and their implementation, and thus multiple implementations of the… (more)

Subjects/Keywords: Security semantics; Static analysis; Software differences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Srivastava, V. (2010). Static analysis for finding security inconsistencies between similar implementations. (Masters Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/38234

Chicago Manual of Style (16th Edition):

Srivastava, Varun. “Static analysis for finding security inconsistencies between similar implementations.” 2010. Masters Thesis, University of Texas – Austin. Accessed February 28, 2021. http://hdl.handle.net/2152/38234.

MLA Handbook (7th Edition):

Srivastava, Varun. “Static analysis for finding security inconsistencies between similar implementations.” 2010. Web. 28 Feb 2021.

Vancouver:

Srivastava V. Static analysis for finding security inconsistencies between similar implementations. [Internet] [Masters thesis]. University of Texas – Austin; 2010. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2152/38234.

Council of Science Editors:

Srivastava V. Static analysis for finding security inconsistencies between similar implementations. [Masters Thesis]. University of Texas – Austin; 2010. Available from: http://hdl.handle.net/2152/38234


University of Texas – Austin

20. Norman, Alison Nicholas. Compiler-assisted staggered checkpointing.

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

 To make progress in the face of failures, long-running parallel applications need to save their state, known as a checkpoint. Unfortunately, current checkpointing techniques are… (more)

Subjects/Keywords: Supercomputing; Checkpointing; Simulator; Large-scale parallel applications

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Norman, A. N. (2010). Compiler-assisted staggered checkpointing. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/ETD-UT-2010-08-1746

Chicago Manual of Style (16th Edition):

Norman, Alison Nicholas. “Compiler-assisted staggered checkpointing.” 2010. Doctoral Dissertation, University of Texas – Austin. Accessed February 28, 2021. http://hdl.handle.net/2152/ETD-UT-2010-08-1746.

MLA Handbook (7th Edition):

Norman, Alison Nicholas. “Compiler-assisted staggered checkpointing.” 2010. Web. 28 Feb 2021.

Vancouver:

Norman AN. Compiler-assisted staggered checkpointing. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2010. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2152/ETD-UT-2010-08-1746.

Council of Science Editors:

Norman AN. Compiler-assisted staggered checkpointing. [Doctoral Dissertation]. University of Texas – Austin; 2010. Available from: http://hdl.handle.net/2152/ETD-UT-2010-08-1746


University of Texas – Austin

21. Ha, Jung Woo. Scaling managed runtime systems for future multicore hardware.

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

 The exponential improvement in single processor performance has recently come to an end, mainly because clock frequency has reached its limit due to power constraints.… (more)

Subjects/Keywords: Scalability; Multicore; Managed Language; Runtime System; Parallelism

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ha, J. W. (2009). Scaling managed runtime systems for future multicore hardware. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/ETD-UT-2009-12-480

Chicago Manual of Style (16th Edition):

Ha, Jung Woo. “Scaling managed runtime systems for future multicore hardware.” 2009. Doctoral Dissertation, University of Texas – Austin. Accessed February 28, 2021. http://hdl.handle.net/2152/ETD-UT-2009-12-480.

MLA Handbook (7th Edition):

Ha, Jung Woo. “Scaling managed runtime systems for future multicore hardware.” 2009. Web. 28 Feb 2021.

Vancouver:

Ha JW. Scaling managed runtime systems for future multicore hardware. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2009. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2152/ETD-UT-2009-12-480.

Council of Science Editors:

Ha JW. Scaling managed runtime systems for future multicore hardware. [Doctoral Dissertation]. University of Texas – Austin; 2009. Available from: http://hdl.handle.net/2152/ETD-UT-2009-12-480


University of Texas – Austin

22. Wiedermann, Benjamin Alan. Integrating programming languages and databases via program analysis and language design.

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

 Researchers and practitioners alike have long sought to integrate programming languages and databases. Today's integration solutions focus on the data-types of the two domains, but… (more)

Subjects/Keywords: Programming languages; Databases; Transparent persistence; Impedance mismatch; Program analysis; Language design

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Wiedermann, B. A. (2009). Integrating programming languages and databases via program analysis and language design. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/ETD-UT-2009-12-687

Chicago Manual of Style (16th Edition):

Wiedermann, Benjamin Alan. “Integrating programming languages and databases via program analysis and language design.” 2009. Doctoral Dissertation, University of Texas – Austin. Accessed February 28, 2021. http://hdl.handle.net/2152/ETD-UT-2009-12-687.

MLA Handbook (7th Edition):

Wiedermann, Benjamin Alan. “Integrating programming languages and databases via program analysis and language design.” 2009. Web. 28 Feb 2021.

Vancouver:

Wiedermann BA. Integrating programming languages and databases via program analysis and language design. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2009. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2152/ETD-UT-2009-12-687.

Council of Science Editors:

Wiedermann BA. Integrating programming languages and databases via program analysis and language design. [Doctoral Dissertation]. University of Texas – Austin; 2009. Available from: http://hdl.handle.net/2152/ETD-UT-2009-12-687


University of Texas – Austin

23. Roy, Indrajit. Protecting sensitive information from untrusted code.

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

 As computer systems support more aspects of modern life, from finance to health care, security is becoming increasingly important. However, building secure systems remains a… (more)

Subjects/Keywords: Security; Operating systems; Java virtual machine; Cloud computing; Information flow control; Access control; Differential privacy

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Roy, I. (2010). Protecting sensitive information from untrusted code. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/ETD-UT-2010-08-1951

Chicago Manual of Style (16th Edition):

Roy, Indrajit. “Protecting sensitive information from untrusted code.” 2010. Doctoral Dissertation, University of Texas – Austin. Accessed February 28, 2021. http://hdl.handle.net/2152/ETD-UT-2010-08-1951.

MLA Handbook (7th Edition):

Roy, Indrajit. “Protecting sensitive information from untrusted code.” 2010. Web. 28 Feb 2021.

Vancouver:

Roy I. Protecting sensitive information from untrusted code. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2010. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2152/ETD-UT-2010-08-1951.

Council of Science Editors:

Roy I. Protecting sensitive information from untrusted code. [Doctoral Dissertation]. University of Texas – Austin; 2010. Available from: http://hdl.handle.net/2152/ETD-UT-2010-08-1951


University of Texas – Austin

24. Maher, Bertrand Allen. Atomic block formation for explicit data graph execution architectures.

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

 Limits on power consumption, complexity, and on-chip latency have focused computer architects on power-efficient designs that exploit parallelism. One approach divides programs into atomic blocks… (more)

Subjects/Keywords: Computer architecture; Compilers; Block formation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Maher, B. A. (2010). Atomic block formation for explicit data graph execution architectures. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/ETD-UT-2010-08-1904

Chicago Manual of Style (16th Edition):

Maher, Bertrand Allen. “Atomic block formation for explicit data graph execution architectures.” 2010. Doctoral Dissertation, University of Texas – Austin. Accessed February 28, 2021. http://hdl.handle.net/2152/ETD-UT-2010-08-1904.

MLA Handbook (7th Edition):

Maher, Bertrand Allen. “Atomic block formation for explicit data graph execution architectures.” 2010. Web. 28 Feb 2021.

Vancouver:

Maher BA. Atomic block formation for explicit data graph execution architectures. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2010. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2152/ETD-UT-2010-08-1904.

Council of Science Editors:

Maher BA. Atomic block formation for explicit data graph execution architectures. [Doctoral Dissertation]. University of Texas – Austin; 2010. Available from: http://hdl.handle.net/2152/ETD-UT-2010-08-1904

.