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 Illinois – Urbana-Champaign" +contributor:("Adve, Vikram S."). Showing records 1 – 29 of 29 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


University of Illinois – Urbana-Champaign

1. Kotsifakou, Maria. A GPU implementation of tiled belief propagation on Markov random fields.

Degree: MS, Computer Science, 2019, University of Illinois – Urbana-Champaign

 In this work, we present a parallelized version of tiled belief propagation for stereo matching. The proposed algorithm is implemented in CUDA to leverage parallel… (more)

Subjects/Keywords: stereo matching; tiled belief propagation; GPUs

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kotsifakou, M. (2019). A GPU implementation of tiled belief propagation on Markov random fields. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/104846

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

Chicago Manual of Style (16th Edition):

Kotsifakou, Maria. “A GPU implementation of tiled belief propagation on Markov random fields.” 2019. Thesis, University of Illinois – Urbana-Champaign. Accessed November 12, 2019. http://hdl.handle.net/2142/104846.

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

MLA Handbook (7th Edition):

Kotsifakou, Maria. “A GPU implementation of tiled belief propagation on Markov random fields.” 2019. Web. 12 Nov 2019.

Vancouver:

Kotsifakou M. A GPU implementation of tiled belief propagation on Markov random fields. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2019. [cited 2019 Nov 12]. Available from: http://hdl.handle.net/2142/104846.

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

Council of Science Editors:

Kotsifakou M. A GPU implementation of tiled belief propagation on Markov random fields. [Thesis]. University of Illinois – Urbana-Champaign; 2019. Available from: http://hdl.handle.net/2142/104846

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


University of Illinois – Urbana-Champaign

2. Criswell, John. Secure virtual architecture: security for commodity software systems.

Degree: PhD, 0112, 2014, University of Illinois – Urbana-Champaign

 Commodity operating systems are entrusted with providing security to the applications we use everyday, and yet they suffer from the same security vulnerabilities as user-space… (more)

Subjects/Keywords: secure virtual architecture; computer security; security; compilers; operating systems; LLVM compiler infrastructure project; Low Level Virtual Architecture (LLVA); Secure Virtual Architecture (SVA); (Kernel Control Flow Integrity (KCoFI); Virtual Ghost; memory safety; control flow integrity; compromised operating systems

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Criswell, J. (2014). Secure virtual architecture: security for commodity software systems. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/50547

Chicago Manual of Style (16th Edition):

Criswell, John. “Secure virtual architecture: security for commodity software systems.” 2014. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed November 12, 2019. http://hdl.handle.net/2142/50547.

MLA Handbook (7th Edition):

Criswell, John. “Secure virtual architecture: security for commodity software systems.” 2014. Web. 12 Nov 2019.

Vancouver:

Criswell J. Secure virtual architecture: security for commodity software systems. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2014. [cited 2019 Nov 12]. Available from: http://hdl.handle.net/2142/50547.

Council of Science Editors:

Criswell J. Secure virtual architecture: security for commodity software systems. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2014. Available from: http://hdl.handle.net/2142/50547


University of Illinois – Urbana-Champaign

3. Lenharth, Andrew D. Automatic recovery for request oriented systems.

Degree: PhD, 0112, 2011, University of Illinois – Urbana-Champaign

 Gracefully recovering from software and hardware faults is important to ensuring highly reliable and available systems. Operating systems have privileged access to all aspects of… (more)

Subjects/Keywords: Recovery; Transactions; Operating Systems; Compilers

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lenharth, A. D. (2011). Automatic recovery for request oriented systems. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/18421

Chicago Manual of Style (16th Edition):

Lenharth, Andrew D. “Automatic recovery for request oriented systems.” 2011. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed November 12, 2019. http://hdl.handle.net/2142/18421.

MLA Handbook (7th Edition):

Lenharth, Andrew D. “Automatic recovery for request oriented systems.” 2011. Web. 12 Nov 2019.

Vancouver:

Lenharth AD. Automatic recovery for request oriented systems. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2011. [cited 2019 Nov 12]. Available from: http://hdl.handle.net/2142/18421.

Council of Science Editors:

Lenharth AD. Automatic recovery for request oriented systems. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2011. Available from: http://hdl.handle.net/2142/18421


University of Illinois – Urbana-Champaign

4. Bocchino, Robert L., Jr. An effect system and language for deterministic-by-default parallel programming.

Degree: PhD, 0112, 2011, University of Illinois – Urbana-Champaign

 This thesis presents a new, Java-based object-oriented parallel language called Deterministic Parallel Java (DPJ). DPJ uses a novel effect system to guarantee determinism by default.… (more)

Subjects/Keywords: parallel; parallelism; fork-join; programming languages; determinism; nondeterminism; regions; effects; effect systems; effect checking; strong isolation; atomicity; transactional memory; atomic sections; data race freedom; frameworks

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bocchino, Robert L., J. (2011). An effect system and language for deterministic-by-default parallel programming. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/18416

Chicago Manual of Style (16th Edition):

Bocchino, Robert L., Jr. “An effect system and language for deterministic-by-default parallel programming.” 2011. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed November 12, 2019. http://hdl.handle.net/2142/18416.

MLA Handbook (7th Edition):

Bocchino, Robert L., Jr. “An effect system and language for deterministic-by-default parallel programming.” 2011. Web. 12 Nov 2019.

Vancouver:

Bocchino, Robert L. J. An effect system and language for deterministic-by-default parallel programming. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2011. [cited 2019 Nov 12]. Available from: http://hdl.handle.net/2142/18416.

Council of Science Editors:

Bocchino, Robert L. J. An effect system and language for deterministic-by-default parallel programming. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2011. Available from: http://hdl.handle.net/2142/18416

5. Aggarwal, Arushi. Hybrid Static/Dynamic Type Safety for C/C++ Programs.

Degree: MS, 0112, 2011, University of Illinois – Urbana-Champaign

 C/C++ are the languages of choice for development of many widely used system softwares. However, these languages do not provide the strong safety guarantees that… (more)

Subjects/Keywords: Type Safety; C language

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

Aggarwal, A. (2011). Hybrid Static/Dynamic Type Safety for C/C++ Programs. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/26250

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

Chicago Manual of Style (16th Edition):

Aggarwal, Arushi. “Hybrid Static/Dynamic Type Safety for C/C++ Programs.” 2011. Thesis, University of Illinois – Urbana-Champaign. Accessed November 12, 2019. http://hdl.handle.net/2142/26250.

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

MLA Handbook (7th Edition):

Aggarwal, Arushi. “Hybrid Static/Dynamic Type Safety for C/C++ Programs.” 2011. Web. 12 Nov 2019.

Vancouver:

Aggarwal A. Hybrid Static/Dynamic Type Safety for C/C++ Programs. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2011. [cited 2019 Nov 12]. Available from: http://hdl.handle.net/2142/26250.

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

Council of Science Editors:

Aggarwal A. Hybrid Static/Dynamic Type Safety for C/C++ Programs. [Thesis]. University of Illinois – Urbana-Champaign; 2011. Available from: http://hdl.handle.net/2142/26250

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

6. Simmons, Patrick A. Palloc: parallel dynamic memory allocation.

Degree: MS, 0112, 2011, University of Illinois – Urbana-Champaign

 In this thesis, we describe two related memory allocators, each with novel properties. PALLOC1 contributes a unique strategy based on the traversal of a parallel… (more)

Subjects/Keywords: malloc; memory allocation; palloc; palloc1; palloc2; dynamic memory allocation

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

Simmons, P. A. (2011). Palloc: parallel dynamic memory allocation. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/24135

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

Chicago Manual of Style (16th Edition):

Simmons, Patrick A. “Palloc: parallel dynamic memory allocation.” 2011. Thesis, University of Illinois – Urbana-Champaign. Accessed November 12, 2019. http://hdl.handle.net/2142/24135.

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

MLA Handbook (7th Edition):

Simmons, Patrick A. “Palloc: parallel dynamic memory allocation.” 2011. Web. 12 Nov 2019.

Vancouver:

Simmons PA. Palloc: parallel dynamic memory allocation. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2011. [cited 2019 Nov 12]. Available from: http://hdl.handle.net/2142/24135.

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

Council of Science Editors:

Simmons PA. Palloc: parallel dynamic memory allocation. [Thesis]. University of Illinois – Urbana-Champaign; 2011. Available from: http://hdl.handle.net/2142/24135

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


University of Illinois – Urbana-Champaign

7. Ahn, Daniel. Software and architecture support for the bulk multicore.

Degree: PhD, 0112, 2012, University of Illinois – Urbana-Champaign

 Research on transactional memory began as a tool to improve the experience of programmers working on parallel code. Just as transactions in databases, it was… (more)

Subjects/Keywords: Computer Architecture; Compiler; Transactional Memory; Transactional Execution; Speculative Optimization; Bloomfilter; Signature; Memory Model; Sequential Consistency; Function Memoization; Alias Analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ahn, D. (2012). Software and architecture support for the bulk multicore. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/32076

Chicago Manual of Style (16th Edition):

Ahn, Daniel. “Software and architecture support for the bulk multicore.” 2012. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed November 12, 2019. http://hdl.handle.net/2142/32076.

MLA Handbook (7th Edition):

Ahn, Daniel. “Software and architecture support for the bulk multicore.” 2012. Web. 12 Nov 2019.

Vancouver:

Ahn D. Software and architecture support for the bulk multicore. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2012. [cited 2019 Nov 12]. Available from: http://hdl.handle.net/2142/32076.

Council of Science Editors:

Ahn D. Software and architecture support for the bulk multicore. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2012. Available from: http://hdl.handle.net/2142/32076


University of Illinois – Urbana-Champaign

8. Wang, Haichuan. Compiler and runtime techniques for optimizing dynamic scripting languages.

Degree: PhD, Computer Science, 2015, University of Illinois – Urbana-Champaign

 This thesis studies the compilation and runtime techniques to improve the performance of dynamic scripting languages using R programming language as a test case. The… (more)

Subjects/Keywords: R Programming Language; Dynamic Scripting Language; Compiler; Performance; Specialization; Vectorization

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Wang, H. (2015). Compiler and runtime techniques for optimizing dynamic scripting languages. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/78638

Chicago Manual of Style (16th Edition):

Wang, Haichuan. “Compiler and runtime techniques for optimizing dynamic scripting languages.” 2015. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed November 12, 2019. http://hdl.handle.net/2142/78638.

MLA Handbook (7th Edition):

Wang, Haichuan. “Compiler and runtime techniques for optimizing dynamic scripting languages.” 2015. Web. 12 Nov 2019.

Vancouver:

Wang H. Compiler and runtime techniques for optimizing dynamic scripting languages. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2015. [cited 2019 Nov 12]. Available from: http://hdl.handle.net/2142/78638.

Council of Science Editors:

Wang H. Compiler and runtime techniques for optimizing dynamic scripting languages. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2015. Available from: http://hdl.handle.net/2142/78638


University of Illinois – Urbana-Champaign

9. Vakilian, Mohsen. Less is sometimes more in the automation of software evolution tasks.

Degree: PhD, 0112, 2014, University of Illinois – Urbana-Champaign

 Software rapidly evolves. A refactoring is a code change that preserves the behavior of the program. There has been much interest in automation to make… (more)

Subjects/Keywords: Software Engineering; Human-Computer Interaction; Programming Languages; Empirical; Refactoring; Program Transformation; Type Qualifier Inference; Type System; Type Inference; Compositional; Critical Incident Technique; Usability Evaluation Methodology; Software Evolution; Programming Environment

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Vakilian, M. (2014). Less is sometimes more in the automation of software evolution tasks. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/50602

Chicago Manual of Style (16th Edition):

Vakilian, Mohsen. “Less is sometimes more in the automation of software evolution tasks.” 2014. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed November 12, 2019. http://hdl.handle.net/2142/50602.

MLA Handbook (7th Edition):

Vakilian, Mohsen. “Less is sometimes more in the automation of software evolution tasks.” 2014. Web. 12 Nov 2019.

Vancouver:

Vakilian M. Less is sometimes more in the automation of software evolution tasks. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2014. [cited 2019 Nov 12]. Available from: http://hdl.handle.net/2142/50602.

Council of Science Editors:

Vakilian M. Less is sometimes more in the automation of software evolution tasks. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2014. Available from: http://hdl.handle.net/2142/50602


University of Illinois – Urbana-Champaign

10. Sinclair, Matthew David. Efficient coherence and consistency for specialized memory hierarchies.

Degree: PhD, Computer Science, 2017, University of Illinois – Urbana-Champaign

 As the benefits from transistor scaling slow down, specialization is becoming increasingly important for a wide range of applications. Although traditional heterogeneous systems work well… (more)

Subjects/Keywords: Shared memory; Heterogeneous systems; General purpose graphics processing unit (GPGPU); Caches memories; Cache coherence; Memory consistency; Scratchpads; Fine-grained synchronization

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sinclair, M. D. (2017). Efficient coherence and consistency for specialized memory hierarchies. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/99316

Chicago Manual of Style (16th Edition):

Sinclair, Matthew David. “Efficient coherence and consistency for specialized memory hierarchies.” 2017. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed November 12, 2019. http://hdl.handle.net/2142/99316.

MLA Handbook (7th Edition):

Sinclair, Matthew David. “Efficient coherence and consistency for specialized memory hierarchies.” 2017. Web. 12 Nov 2019.

Vancouver:

Sinclair MD. Efficient coherence and consistency for specialized memory hierarchies. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2017. [cited 2019 Nov 12]. Available from: http://hdl.handle.net/2142/99316.

Council of Science Editors:

Sinclair MD. Efficient coherence and consistency for specialized memory hierarchies. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2017. Available from: http://hdl.handle.net/2142/99316


University of Illinois – Urbana-Champaign

11. Okhravi, Hamed. Trusted and high assurance systems.

Degree: PhD, 1200, 2010, University of Illinois – Urbana-Champaign

 High assurance MILS (multiple independent levels of security) and MLS (multilevel security) systems require strict limitation of the interactions between different security compartments based on… (more)

Subjects/Keywords: Trusted systems; High assurance systems; Multilevel security (MLS); Virtualization; Trusted boot; Trusted networks; Patch management; Trusted graphics; Formal methods

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Okhravi, H. (2010). Trusted and high assurance systems. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/16020

Chicago Manual of Style (16th Edition):

Okhravi, Hamed. “Trusted and high assurance systems.” 2010. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed November 12, 2019. http://hdl.handle.net/2142/16020.

MLA Handbook (7th Edition):

Okhravi, Hamed. “Trusted and high assurance systems.” 2010. Web. 12 Nov 2019.

Vancouver:

Okhravi H. Trusted and high assurance systems. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2010. [cited 2019 Nov 12]. Available from: http://hdl.handle.net/2142/16020.

Council of Science Editors:

Okhravi H. Trusted and high assurance systems. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2010. Available from: http://hdl.handle.net/2142/16020

12. Lefever, Ryan M. Diverse partial memory replication.

Degree: PhD, 1200, 2011, University of Illinois – Urbana-Champaign

 An important approach for software dependability is the use of diversity to detect and/or tolerate errors. We develop and evaluate an approach for automated program… (more)

Subjects/Keywords: diverse partial memory replication; software memory errors; memory safety; software diversity; replication; partial replication; fault injection; experimental evaluation

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

Lefever, R. M. (2011). Diverse partial memory replication. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/24042

Chicago Manual of Style (16th Edition):

Lefever, Ryan M. “Diverse partial memory replication.” 2011. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed November 12, 2019. http://hdl.handle.net/2142/24042.

MLA Handbook (7th Edition):

Lefever, Ryan M. “Diverse partial memory replication.” 2011. Web. 12 Nov 2019.

Vancouver:

Lefever RM. Diverse partial memory replication. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2011. [cited 2019 Nov 12]. Available from: http://hdl.handle.net/2142/24042.

Council of Science Editors:

Lefever RM. Diverse partial memory replication. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2011. Available from: http://hdl.handle.net/2142/24042

13. Sahoo, Swarup K. A novel invariants-based approach for automated software fault localization.

Degree: PhD, 0112, 2013, University of Illinois – Urbana-Champaign

 Software bugs are everywhere. Not only do they infest software during development, but they escape our extermination efforts and enter production code. In addition to… (more)

Subjects/Keywords: Software Reliability; Bug Diagnosis; Fault Localization; Likely Invariants; Delta Debugging

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

Sahoo, S. K. (2013). A novel invariants-based approach for automated software fault localization. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/42269

Chicago Manual of Style (16th Edition):

Sahoo, Swarup K. “A novel invariants-based approach for automated software fault localization.” 2013. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed November 12, 2019. http://hdl.handle.net/2142/42269.

MLA Handbook (7th Edition):

Sahoo, Swarup K. “A novel invariants-based approach for automated software fault localization.” 2013. Web. 12 Nov 2019.

Vancouver:

Sahoo SK. A novel invariants-based approach for automated software fault localization. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2013. [cited 2019 Nov 12]. Available from: http://hdl.handle.net/2142/42269.

Council of Science Editors:

Sahoo SK. A novel invariants-based approach for automated software fault localization. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2013. Available from: http://hdl.handle.net/2142/42269

14. Aktemur, T. Baris. Improving Efficiency and Safety of Program Generation.

Degree: PhD, Computer Science, 2009, University of Illinois – Urbana-Champaign

 Program Generation (PG) is about writing programs that write programs. A program generator composes various pieces of code to construct a new program. When employed… (more)

Subjects/Keywords: programming languages; program generation; type systems; multi-staged programming; meta-level programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Aktemur, T. B. (2009). Improving Efficiency and Safety of Program Generation. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/11868

Chicago Manual of Style (16th Edition):

Aktemur, T Baris. “Improving Efficiency and Safety of Program Generation.” 2009. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed November 12, 2019. http://hdl.handle.net/2142/11868.

MLA Handbook (7th Edition):

Aktemur, T Baris. “Improving Efficiency and Safety of Program Generation.” 2009. Web. 12 Nov 2019.

Vancouver:

Aktemur TB. Improving Efficiency and Safety of Program Generation. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2009. [cited 2019 Nov 12]. Available from: http://hdl.handle.net/2142/11868.

Council of Science Editors:

Aktemur TB. Improving Efficiency and Safety of Program Generation. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2009. Available from: http://hdl.handle.net/2142/11868

15. Ramachandran, Pradeep. Detecting and Recovering from In-Core Hardware Faults Through Software Anomaly Treatment.

Degree: PhD, 0112, 2011, University of Illinois – Urbana-Champaign

 Aggressive scaling of CMOS transistors has enabled extensive system integration and building faster and more e???cient systems. On the ???ip side, this has resulted in… (more)

Subjects/Keywords: Fault tolerance; Computer architecture; symptom detection

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ramachandran, P. (2011). Detecting and Recovering from In-Core Hardware Faults Through Software Anomaly Treatment. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/24127

Chicago Manual of Style (16th Edition):

Ramachandran, Pradeep. “Detecting and Recovering from In-Core Hardware Faults Through Software Anomaly Treatment.” 2011. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed November 12, 2019. http://hdl.handle.net/2142/24127.

MLA Handbook (7th Edition):

Ramachandran, Pradeep. “Detecting and Recovering from In-Core Hardware Faults Through Software Anomaly Treatment.” 2011. Web. 12 Nov 2019.

Vancouver:

Ramachandran P. Detecting and Recovering from In-Core Hardware Faults Through Software Anomaly Treatment. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2011. [cited 2019 Nov 12]. Available from: http://hdl.handle.net/2142/24127.

Council of Science Editors:

Ramachandran P. Detecting and Recovering from In-Core Hardware Faults Through Software Anomaly Treatment. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2011. Available from: http://hdl.handle.net/2142/24127

16. Cozzie, Anthony E. Detecting and Combining Programming Patterns.

Degree: PhD, 0112, 2011, University of Illinois – Urbana-Champaign

 This thesis explores detecting patterns in the most general interface to computers: source and assembly program code. Because writing computer programs correctly is so difficult,… (more)

Subjects/Keywords: data structures; programming patterns; macho

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cozzie, A. E. (2011). Detecting and Combining Programming Patterns. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/24358

Chicago Manual of Style (16th Edition):

Cozzie, Anthony E. “Detecting and Combining Programming Patterns.” 2011. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed November 12, 2019. http://hdl.handle.net/2142/24358.

MLA Handbook (7th Edition):

Cozzie, Anthony E. “Detecting and Combining Programming Patterns.” 2011. Web. 12 Nov 2019.

Vancouver:

Cozzie AE. Detecting and Combining Programming Patterns. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2011. [cited 2019 Nov 12]. Available from: http://hdl.handle.net/2142/24358.

Council of Science Editors:

Cozzie AE. Detecting and Combining Programming Patterns. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2011. Available from: http://hdl.handle.net/2142/24358

17. Overbey, Jeffrey. A toolkit for constructing refactoring engines.

Degree: PhD, 0112, 2012, University of Illinois – Urbana-Champaign

 Building an automated refactoring tool for a new programming language is an expensive and time-consuming process. Usually, only a small fraction of the tool's code… (more)

Subjects/Keywords: refactoring; restructuring; program transformation; abstract syntax trees (ASTs); differential precondition checking; Ludwig; Photran

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Overbey, J. (2012). A toolkit for constructing refactoring engines. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/29774

Chicago Manual of Style (16th Edition):

Overbey, Jeffrey. “A toolkit for constructing refactoring engines.” 2012. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed November 12, 2019. http://hdl.handle.net/2142/29774.

MLA Handbook (7th Edition):

Overbey, Jeffrey. “A toolkit for constructing refactoring engines.” 2012. Web. 12 Nov 2019.

Vancouver:

Overbey J. A toolkit for constructing refactoring engines. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2012. [cited 2019 Nov 12]. Available from: http://hdl.handle.net/2142/29774.

Council of Science Editors:

Overbey J. A toolkit for constructing refactoring engines. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2012. Available from: http://hdl.handle.net/2142/29774

18. Neelakantam, Naveen. Hardware atomicity for compiler-directed control speculation.

Degree: PhD, 0112, 2012, University of Illinois – Urbana-Champaign

 This dissertation introduces the atomic region as a novel compiler abstraction which eases the development of speculative compiler optimizations. As this dissertation will show, speculation… (more)

Subjects/Keywords: Hardware Atomicity; Speculative Compiler Optimization; Control Speculation; Hardware/Software Co-design; Dynamic Optimization; Computer Architecture

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Neelakantam, N. (2012). Hardware atomicity for compiler-directed control speculation. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/29658

Chicago Manual of Style (16th Edition):

Neelakantam, Naveen. “Hardware atomicity for compiler-directed control speculation.” 2012. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed November 12, 2019. http://hdl.handle.net/2142/29658.

MLA Handbook (7th Edition):

Neelakantam, Naveen. “Hardware atomicity for compiler-directed control speculation.” 2012. Web. 12 Nov 2019.

Vancouver:

Neelakantam N. Hardware atomicity for compiler-directed control speculation. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2012. [cited 2019 Nov 12]. Available from: http://hdl.handle.net/2142/29658.

Council of Science Editors:

Neelakantam N. Hardware atomicity for compiler-directed control speculation. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2012. Available from: http://hdl.handle.net/2142/29658

19. Mansky, William. Specifying and verifying program transformations with PTRANS.

Degree: PhD, 0112, 2014, University of Illinois – Urbana-Champaign

 Software developers, compiler designers, and formal methods researchers all stand to benefit from improved tools for compiler design and verification. Program correctness for compiled languages… (more)

Subjects/Keywords: compiler correctness; control flow graphs; temporal logic; rewriting; graph transformation; interactive theorem proving; operational semantics; concurrency; relaxed memory models; Satisfiability Modulo Theories (SMT) solvers

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mansky, W. (2014). Specifying and verifying program transformations with PTRANS. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/49385

Chicago Manual of Style (16th Edition):

Mansky, William. “Specifying and verifying program transformations with PTRANS.” 2014. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed November 12, 2019. http://hdl.handle.net/2142/49385.

MLA Handbook (7th Edition):

Mansky, William. “Specifying and verifying program transformations with PTRANS.” 2014. Web. 12 Nov 2019.

Vancouver:

Mansky W. Specifying and verifying program transformations with PTRANS. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2014. [cited 2019 Nov 12]. Available from: http://hdl.handle.net/2142/49385.

Council of Science Editors:

Mansky W. Specifying and verifying program transformations with PTRANS. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2014. Available from: http://hdl.handle.net/2142/49385

20. Hicks, Matthew. Practical systems for overcoming processor imperfections.

Degree: PhD, 0112, 2013, University of Illinois – Urbana-Champaign

 Processors are not perfect. Even the most modern, thoroughly verified pro- cessors contain imperfections. Processor imperfections, being in the lowest layer of the system, pose… (more)

Subjects/Keywords: malicious circuits; processor bugs; hybrid systems; errata

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hicks, M. (2013). Practical systems for overcoming processor imperfections. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/44361

Chicago Manual of Style (16th Edition):

Hicks, Matthew. “Practical systems for overcoming processor imperfections.” 2013. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed November 12, 2019. http://hdl.handle.net/2142/44361.

MLA Handbook (7th Edition):

Hicks, Matthew. “Practical systems for overcoming processor imperfections.” 2013. Web. 12 Nov 2019.

Vancouver:

Hicks M. Practical systems for overcoming processor imperfections. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2013. [cited 2019 Nov 12]. Available from: http://hdl.handle.net/2142/44361.

Council of Science Editors:

Hicks M. Practical systems for overcoming processor imperfections. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2013. Available from: http://hdl.handle.net/2142/44361

21. Dinges, Peter. Symcretic testing of programs.

Degree: PhD, 0112, 2015, University of Illinois – Urbana-Champaign

 Targeted inputs are input values for a program that lead to the execution of a user-specified branch or statement. Targeted inputs are useful: In debugging,… (more)

Subjects/Keywords: Software Testing; Concolic Execution; Backward Execution; Goal-Directed; Heuristic Search

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

Dinges, P. (2015). Symcretic testing of programs. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/72743

Chicago Manual of Style (16th Edition):

Dinges, Peter. “Symcretic testing of programs.” 2015. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed November 12, 2019. http://hdl.handle.net/2142/72743.

MLA Handbook (7th Edition):

Dinges, Peter. “Symcretic testing of programs.” 2015. Web. 12 Nov 2019.

Vancouver:

Dinges P. Symcretic testing of programs. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2015. [cited 2019 Nov 12]. Available from: http://hdl.handle.net/2142/72743.

Council of Science Editors:

Dinges P. Symcretic testing of programs. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2015. Available from: http://hdl.handle.net/2142/72743

22. Jetley, Pritish. Incompleteness + interoperability: a multi-paradigm approach to parallel programming for science and engineering applications.

Degree: PhD, 0112, 2014, University of Illinois – Urbana-Champaign

 We discuss an object-based, multi-paradigm approach to the development of large-scale, high performance parallel applications. Our approach is characterized by three essential ingredients: (i) Plurality,… (more)

Subjects/Keywords: Specialized languages; High Performance Computing (HPC); Productivity and Performance; Multi-Paradigm Programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Jetley, P. (2014). Incompleteness + interoperability: a multi-paradigm approach to parallel programming for science and engineering applications. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/49500

Chicago Manual of Style (16th Edition):

Jetley, Pritish. “Incompleteness + interoperability: a multi-paradigm approach to parallel programming for science and engineering applications.” 2014. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed November 12, 2019. http://hdl.handle.net/2142/49500.

MLA Handbook (7th Edition):

Jetley, Pritish. “Incompleteness + interoperability: a multi-paradigm approach to parallel programming for science and engineering applications.” 2014. Web. 12 Nov 2019.

Vancouver:

Jetley P. Incompleteness + interoperability: a multi-paradigm approach to parallel programming for science and engineering applications. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2014. [cited 2019 Nov 12]. Available from: http://hdl.handle.net/2142/49500.

Council of Science Editors:

Jetley P. Incompleteness + interoperability: a multi-paradigm approach to parallel programming for science and engineering applications. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2014. Available from: http://hdl.handle.net/2142/49500

23. Rodrigues, Christopher. Supporting high-level, high-performance parallel programming with library-driven optimization.

Degree: PhD, 1200, 2014, University of Illinois – Urbana-Champaign

 Parallel programming is a demanding task for developers partly because achieving scalable parallel speedup requires drawing upon a repertoire of complex, algorithm-specific, architecture-aware programming techniques.… (more)

Subjects/Keywords: Parallel programming; Distributed programming; Algorithmic skeletons; Loop fusion

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

Rodrigues, C. (2014). Supporting high-level, high-performance parallel programming with library-driven optimization. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/49427

Chicago Manual of Style (16th Edition):

Rodrigues, Christopher. “Supporting high-level, high-performance parallel programming with library-driven optimization.” 2014. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed November 12, 2019. http://hdl.handle.net/2142/49427.

MLA Handbook (7th Edition):

Rodrigues, Christopher. “Supporting high-level, high-performance parallel programming with library-driven optimization.” 2014. Web. 12 Nov 2019.

Vancouver:

Rodrigues C. Supporting high-level, high-performance parallel programming with library-driven optimization. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2014. [cited 2019 Nov 12]. Available from: http://hdl.handle.net/2142/49427.

Council of Science Editors:

Rodrigues C. Supporting high-level, high-performance parallel programming with library-driven optimization. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2014. Available from: http://hdl.handle.net/2142/49427

24. Sung, Hyojin. DeNovo: rethinking the memory hierarchy for disciplined parallelism.

Degree: PhD, Computer Science, 2015, University of Illinois – Urbana-Champaign

 As multicore systems become widespread, both software and hardware face a major challenge in efficiently exploiting and implementing parallelism. While shared–memory remains a popular programming… (more)

Subjects/Keywords: shared memory; cache coherence; memory consistency; disciplined parallelism

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sung, H. (2015). DeNovo: rethinking the memory hierarchy for disciplined parallelism. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/88059

Chicago Manual of Style (16th Edition):

Sung, Hyojin. “DeNovo: rethinking the memory hierarchy for disciplined parallelism.” 2015. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed November 12, 2019. http://hdl.handle.net/2142/88059.

MLA Handbook (7th Edition):

Sung, Hyojin. “DeNovo: rethinking the memory hierarchy for disciplined parallelism.” 2015. Web. 12 Nov 2019.

Vancouver:

Sung H. DeNovo: rethinking the memory hierarchy for disciplined parallelism. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2015. [cited 2019 Nov 12]. Available from: http://hdl.handle.net/2142/88059.

Council of Science Editors:

Sung H. DeNovo: rethinking the memory hierarchy for disciplined parallelism. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2015. Available from: http://hdl.handle.net/2142/88059

25. Hari, Siva Kumar. Preserving application reliability on unreliable hardware.

Degree: PhD, 0112, 2014, University of Illinois – Urbana-Champaign

 According to Moore’s law, technology scaling is continuously providing smaller and faster devices. These scaled devices are, however, becoming increasingly susceptible to in-field hardware failures… (more)

Subjects/Keywords: Computer Architecture; Hardware Reliability

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hari, S. K. (2014). Preserving application reliability on unreliable hardware. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/46577

Chicago Manual of Style (16th Edition):

Hari, Siva Kumar. “Preserving application reliability on unreliable hardware.” 2014. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed November 12, 2019. http://hdl.handle.net/2142/46577.

MLA Handbook (7th Edition):

Hari, Siva Kumar. “Preserving application reliability on unreliable hardware.” 2014. Web. 12 Nov 2019.

Vancouver:

Hari SK. Preserving application reliability on unreliable hardware. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2014. [cited 2019 Nov 12]. Available from: http://hdl.handle.net/2142/46577.

Council of Science Editors:

Hari SK. Preserving application reliability on unreliable hardware. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2014. Available from: http://hdl.handle.net/2142/46577

26. Yuan, Ding. Improving failure diagnosis via better design and analysis of log messages.

Degree: PhD, 0112, 2013, University of Illinois – Urbana-Champaign

 As software is growing in size and complexity, accompanied by vendors’ increased time-to-market pressure, it has become increasingly difficult to deliver bulletproof software. Consequently, software… (more)

Subjects/Keywords: Software systems; Operating systems; Failure diagnosis; Debugging; System management; Availability; Reliability; Log messages; Software engineering; Program analysis; Static analysis; Programming Language

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

Yuan, D. (2013). Improving failure diagnosis via better design and analysis of log messages. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/42426

Chicago Manual of Style (16th Edition):

Yuan, Ding. “Improving failure diagnosis via better design and analysis of log messages.” 2013. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed November 12, 2019. http://hdl.handle.net/2142/42426.

MLA Handbook (7th Edition):

Yuan, Ding. “Improving failure diagnosis via better design and analysis of log messages.” 2013. Web. 12 Nov 2019.

Vancouver:

Yuan D. Improving failure diagnosis via better design and analysis of log messages. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2013. [cited 2019 Nov 12]. Available from: http://hdl.handle.net/2142/42426.

Council of Science Editors:

Yuan D. Improving failure diagnosis via better design and analysis of log messages. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2013. Available from: http://hdl.handle.net/2142/42426

27. Komuravelli, Rakesh. Exploiting software information for an efficient memory hierarchy.

Degree: PhD, 0112, 2015, University of Illinois – Urbana-Champaign

 Power consumption is one of the most important factors in the design of today’s processor chips. Multicore and heterogeneous systems have emerged to address the… (more)

Subjects/Keywords: Computer architecture; cache coherence; multicores; heterogeneous systems; protocol verification; memory hierarchy

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Komuravelli, R. (2015). Exploiting software information for an efficient memory hierarchy. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/72791

Chicago Manual of Style (16th Edition):

Komuravelli, Rakesh. “Exploiting software information for an efficient memory hierarchy.” 2015. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed November 12, 2019. http://hdl.handle.net/2142/72791.

MLA Handbook (7th Edition):

Komuravelli, Rakesh. “Exploiting software information for an efficient memory hierarchy.” 2015. Web. 12 Nov 2019.

Vancouver:

Komuravelli R. Exploiting software information for an efficient memory hierarchy. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2015. [cited 2019 Nov 12]. Available from: http://hdl.handle.net/2142/72791.

Council of Science Editors:

Komuravelli R. Exploiting software information for an efficient memory hierarchy. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2015. Available from: http://hdl.handle.net/2142/72791

28. Honarmand, Nima. Record and deterministic replay of parallel programs on multiprocessors.

Degree: PhD, 0112, 2015, University of Illinois – Urbana-Champaign

 Record and deterministic Replay (RnR) is a primitive with many proposed applications in computer systems, including debugging, security and fault tolerance. RnR is typically a… (more)

Subjects/Keywords: Record and Replay; Deterministic Replay; Parallel Programming; Multiprocessors; Computer Architecture; Operating Systems

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Honarmand, N. (2015). Record and deterministic replay of parallel programs on multiprocessors. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/72886

Chicago Manual of Style (16th Edition):

Honarmand, Nima. “Record and deterministic replay of parallel programs on multiprocessors.” 2015. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed November 12, 2019. http://hdl.handle.net/2142/72886.

MLA Handbook (7th Edition):

Honarmand, Nima. “Record and deterministic replay of parallel programs on multiprocessors.” 2015. Web. 12 Nov 2019.

Vancouver:

Honarmand N. Record and deterministic replay of parallel programs on multiprocessors. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2015. [cited 2019 Nov 12]. Available from: http://hdl.handle.net/2142/72886.

Council of Science Editors:

Honarmand N. Record and deterministic replay of parallel programs on multiprocessors. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2015. Available from: http://hdl.handle.net/2142/72886


University of Illinois – Urbana-Champaign

29. Kowshik, Sumant Jagadish. Static analysis for architecture-implementation conformance in robust embedded systems.

Degree: PhD, 0112, 2006, University of Illinois – Urbana-Champaign

 Embedded systems have proliferated into diverse and complex critical applications with stringent reliability and timeliness requirements. Guaranteeing reliability in the presence of increasing complexity of… (more)

Subjects/Keywords: computer science; embedded systems; computer architecture

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kowshik, S. J. (2006). Static analysis for architecture-implementation conformance in robust embedded systems. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/44043

Chicago Manual of Style (16th Edition):

Kowshik, Sumant Jagadish. “Static analysis for architecture-implementation conformance in robust embedded systems.” 2006. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed November 12, 2019. http://hdl.handle.net/2142/44043.

MLA Handbook (7th Edition):

Kowshik, Sumant Jagadish. “Static analysis for architecture-implementation conformance in robust embedded systems.” 2006. Web. 12 Nov 2019.

Vancouver:

Kowshik SJ. Static analysis for architecture-implementation conformance in robust embedded systems. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2006. [cited 2019 Nov 12]. Available from: http://hdl.handle.net/2142/44043.

Council of Science Editors:

Kowshik SJ. Static analysis for architecture-implementation conformance in robust embedded systems. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2006. Available from: http://hdl.handle.net/2142/44043

.