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:("Johnson, Ralph E."). Showing records 1 – 15 of 15 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


University of Illinois – Urbana-Champaign

1. Vakilian, Mohsen. Inferring Method Effect Summaries for Nested Heap Regions.

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

 Effect systems are important for reasoning about the side effects of a program. Although effect systems have been around for decades, they have not been… (more)

Subjects/Keywords: refactoring; parallelism; type systems; inference; object-oriented programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Vakilian, M. (2009). Inferring Method Effect Summaries for Nested Heap Regions. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/17342

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

Vakilian, Mohsen. “Inferring Method Effect Summaries for Nested Heap Regions.” 2009. Thesis, University of Illinois – Urbana-Champaign. Accessed December 13, 2019. http://hdl.handle.net/2142/17342.

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

MLA Handbook (7th Edition):

Vakilian, Mohsen. “Inferring Method Effect Summaries for Nested Heap Regions.” 2009. Web. 13 Dec 2019.

Vancouver:

Vakilian M. Inferring Method Effect Summaries for Nested Heap Regions. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2009. [cited 2019 Dec 13]. Available from: http://hdl.handle.net/2142/17342.

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

Council of Science Editors:

Vakilian M. Inferring Method Effect Summaries for Nested Heap Regions. [Thesis]. University of Illinois – Urbana-Champaign; 2009. Available from: http://hdl.handle.net/2142/17342

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. Lee, Yun Young. Safe medical device interaction rules.

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

 The advent of computerized medical devices has resulted in better accuracy and increased safety for patients and clinicians, yet medical accidents are still not uncommon.… (more)

Subjects/Keywords: Medical Informatics; Safety; MDPnP; Medical Devices; Medical Device Interaction.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lee, Y. Y. (2011). Safe medical device interaction rules. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/18451

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

Lee, Yun Young. “Safe medical device interaction rules.” 2011. Thesis, University of Illinois – Urbana-Champaign. Accessed December 13, 2019. http://hdl.handle.net/2142/18451.

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

MLA Handbook (7th Edition):

Lee, Yun Young. “Safe medical device interaction rules.” 2011. Web. 13 Dec 2019.

Vancouver:

Lee YY. Safe medical device interaction rules. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2011. [cited 2019 Dec 13]. Available from: http://hdl.handle.net/2142/18451.

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

Council of Science Editors:

Lee YY. Safe medical device interaction rules. [Thesis]. University of Illinois – Urbana-Champaign; 2011. Available from: http://hdl.handle.net/2142/18451

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


University of Illinois – Urbana-Champaign

3. Hafiz, Munawar. Security on demand.

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

 Security experts generally believe that, "security cannot be added on, it must be designed from the beginning." This dissertation shows that retrofitting security does not… (more)

Subjects/Keywords: Security; Program Transformation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hafiz, M. (2011). Security on demand. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/18413

Chicago Manual of Style (16th Edition):

Hafiz, Munawar. “Security on demand.” 2011. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed December 13, 2019. http://hdl.handle.net/2142/18413.

MLA Handbook (7th Edition):

Hafiz, Munawar. “Security on demand.” 2011. Web. 13 Dec 2019.

Vancouver:

Hafiz M. Security on demand. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2011. [cited 2019 Dec 13]. Available from: http://hdl.handle.net/2142/18413.

Council of Science Editors:

Hafiz M. Security on demand. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2011. Available from: http://hdl.handle.net/2142/18413


University of Illinois – Urbana-Champaign

4. 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 December 13, 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. 13 Dec 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 Dec 13]. 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

5. Gioachin, Filippo. Debugging Large Scale Applications with Virtualization.

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

 Debugging is a fundamental part of software development, and one of the largest in terms of time spent. When developing parallel applications, debugging becomes much… (more)

Subjects/Keywords: parallel debugging; virtualization; runtime system; record replay; provisional delivery; unsupervised execution

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gioachin, F. (2011). Debugging Large Scale Applications with Virtualization. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/18315

Chicago Manual of Style (16th Edition):

Gioachin, Filippo. “Debugging Large Scale Applications with Virtualization.” 2011. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed December 13, 2019. http://hdl.handle.net/2142/18315.

MLA Handbook (7th Edition):

Gioachin, Filippo. “Debugging Large Scale Applications with Virtualization.” 2011. Web. 13 Dec 2019.

Vancouver:

Gioachin F. Debugging Large Scale Applications with Virtualization. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2011. [cited 2019 Dec 13]. Available from: http://hdl.handle.net/2142/18315.

Council of Science Editors:

Gioachin F. Debugging Large Scale Applications with Virtualization. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2011. Available from: http://hdl.handle.net/2142/18315


University of Illinois – Urbana-Champaign

6. Kumar, Rajesh. Efficient execution of fine-grained actors on multicore processors.

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

 The Actor model is a promising model for programming new computing platforms such as the multicores and cloud computers, primarily due to features such as… (more)

Subjects/Keywords: multicore; efficiency; performance; actor model; concurrency; parallelism; programming; ActorFoundry; games

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kumar, R. (2013). Efficient execution of fine-grained actors on multicore processors. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/44758

Chicago Manual of Style (16th Edition):

Kumar, Rajesh. “Efficient execution of fine-grained actors on multicore processors.” 2013. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed December 13, 2019. http://hdl.handle.net/2142/44758.

MLA Handbook (7th Edition):

Kumar, Rajesh. “Efficient execution of fine-grained actors on multicore processors.” 2013. Web. 13 Dec 2019.

Vancouver:

Kumar R. Efficient execution of fine-grained actors on multicore processors. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2013. [cited 2019 Dec 13]. Available from: http://hdl.handle.net/2142/44758.

Council of Science Editors:

Kumar R. Efficient execution of fine-grained actors on multicore processors. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2013. Available from: http://hdl.handle.net/2142/44758


University of Illinois – Urbana-Champaign

7. Bray, Nicholas C. PyStream: Python Shaders Running on the GPU.

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

 Abstract Graphics processing units (GPUs) have tremendous computing power, but are hard to program. Most GPU programming languages are extremely low level; no one has… (more)

Subjects/Keywords: Python; Graphics Processing Units (GPU); Real-time Rendering; Compiler; Pointer Analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bray, N. C. (2010). PyStream: Python Shaders Running on the GPU. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/16886

Chicago Manual of Style (16th Edition):

Bray, Nicholas C. “PyStream: Python Shaders Running on the GPU.” 2010. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed December 13, 2019. http://hdl.handle.net/2142/16886.

MLA Handbook (7th Edition):

Bray, Nicholas C. “PyStream: Python Shaders Running on the GPU.” 2010. Web. 13 Dec 2019.

Vancouver:

Bray NC. PyStream: Python Shaders Running on the GPU. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2010. [cited 2019 Dec 13]. Available from: http://hdl.handle.net/2142/16886.

Council of Science Editors:

Bray NC. PyStream: Python Shaders Running on the GPU. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2010. Available from: http://hdl.handle.net/2142/16886


University of Illinois – Urbana-Champaign

8. Yasmeen, Ayesha. Formalizing operator task analysis.

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

 Human operators are unique in their decision making capability, judgment and nondeterminism. Their sense of judgment, unpredictable decision procedures, susceptibility to environmental elements can cause… (more)

Subjects/Keywords: human operators; system verification; task analysis; human error; formal methods; model checking; runtime monitoring; reliability; Model theory; temporal logic; model refinement; requirement satisfaction; system robustness; protected task execution; incomplete information; concurrent game structures; formal human behavior model; tolerance of erroneous human behaviors

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Yasmeen, A. (2011). Formalizing operator task analysis. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/26103

Chicago Manual of Style (16th Edition):

Yasmeen, Ayesha. “Formalizing operator task analysis.” 2011. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed December 13, 2019. http://hdl.handle.net/2142/26103.

MLA Handbook (7th Edition):

Yasmeen, Ayesha. “Formalizing operator task analysis.” 2011. Web. 13 Dec 2019.

Vancouver:

Yasmeen A. Formalizing operator task analysis. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2011. [cited 2019 Dec 13]. Available from: http://hdl.handle.net/2142/26103.

Council of Science Editors:

Yasmeen A. Formalizing operator task analysis. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2011. Available from: http://hdl.handle.net/2142/26103

9. Negara, Stanislav. Towards a change-oriented programming environment.

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

 Any successful software system continuously evolves in response to ever-changing requirements. Developers regularly add new or adjust existing features, fix bugs, tune performance, etc. Thus,… (more)

Subjects/Keywords: programming environment; code change analysis; continuous change analysis; refactoring inference; code evolution; empirical studies; program transformations; inferring unknown program transformations; tracking code changes; replaying code changes; recording code changes

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Negara, S. (2013). Towards a change-oriented programming environment. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/45404

Chicago Manual of Style (16th Edition):

Negara, Stanislav. “Towards a change-oriented programming environment.” 2013. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed December 13, 2019. http://hdl.handle.net/2142/45404.

MLA Handbook (7th Edition):

Negara, Stanislav. “Towards a change-oriented programming environment.” 2013. Web. 13 Dec 2019.

Vancouver:

Negara S. Towards a change-oriented programming environment. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2013. [cited 2019 Dec 13]. Available from: http://hdl.handle.net/2142/45404.

Council of Science Editors:

Negara S. Towards a change-oriented programming environment. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2013. Available from: http://hdl.handle.net/2142/45404

10. Chen, Nicholas Chun Y. Practical analyses and transformations for flow-based parallelism.

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

 Emerging applications demand new parallel abstractions. Traditional parallel abstractions such as data parallelism and task parallelism, while necessary, do not fully address the needs of… (more)

Subjects/Keywords: parallelism; flow-based parallelism; refactoring; static analysis; interactive tool

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

Chen, N. C. Y. (2013). Practical analyses and transformations for flow-based parallelism. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/45453

Chicago Manual of Style (16th Edition):

Chen, Nicholas Chun Y. “Practical analyses and transformations for flow-based parallelism.” 2013. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed December 13, 2019. http://hdl.handle.net/2142/45453.

MLA Handbook (7th Edition):

Chen, Nicholas Chun Y. “Practical analyses and transformations for flow-based parallelism.” 2013. Web. 13 Dec 2019.

Vancouver:

Chen NCY. Practical analyses and transformations for flow-based parallelism. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2013. [cited 2019 Dec 13]. Available from: http://hdl.handle.net/2142/45453.

Council of Science Editors:

Chen NCY. Practical analyses and transformations for flow-based parallelism. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2013. Available from: http://hdl.handle.net/2142/45453

11. Tasharofi, Samira. Efficient testing of actor programs with non-deterministic behaviors.

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

 The actor model is a model of concurrent programming that consists of concurrent entities called actors. Actors communicate using asynchronous messages, and depending on the… (more)

Subjects/Keywords: The Actor Model; Concurrent Programs; Testing Non-determinism; Model Checking; Testing Frameworks; Coverage-based Testing.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Tasharofi, S. (2014). Efficient testing of actor programs with non-deterministic behaviors. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/46695

Chicago Manual of Style (16th Edition):

Tasharofi, Samira. “Efficient testing of actor programs with non-deterministic behaviors.” 2014. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed December 13, 2019. http://hdl.handle.net/2142/46695.

MLA Handbook (7th Edition):

Tasharofi, Samira. “Efficient testing of actor programs with non-deterministic behaviors.” 2014. Web. 13 Dec 2019.

Vancouver:

Tasharofi S. Efficient testing of actor programs with non-deterministic behaviors. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2014. [cited 2019 Dec 13]. Available from: http://hdl.handle.net/2142/46695.

Council of Science Editors:

Tasharofi S. Efficient testing of actor programs with non-deterministic behaviors. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2014. Available from: http://hdl.handle.net/2142/46695

12. Lee, Yun Young. Towards multi-dimensional integrated development environments for improved productivity.

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

 Integrated development environments (IDEs) are software applications designed to facilitate writing, building, debugging, and deploying software. IDEs come in many different forms, but they are… (more)

Subjects/Keywords: integrated development environments (IDE); refactoring; code assist

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lee, Y. Y. (2015). Towards multi-dimensional integrated development environments for improved productivity. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/72932

Chicago Manual of Style (16th Edition):

Lee, Yun Young. “Towards multi-dimensional integrated development environments for improved productivity.” 2015. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed December 13, 2019. http://hdl.handle.net/2142/72932.

MLA Handbook (7th Edition):

Lee, Yun Young. “Towards multi-dimensional integrated development environments for improved productivity.” 2015. Web. 13 Dec 2019.

Vancouver:

Lee YY. Towards multi-dimensional integrated development environments for improved productivity. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2015. [cited 2019 Dec 13]. Available from: http://hdl.handle.net/2142/72932.

Council of Science Editors:

Lee YY. Towards multi-dimensional integrated development environments for improved productivity. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2015. Available from: http://hdl.handle.net/2142/72932

13. 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 December 13, 2019. http://hdl.handle.net/2142/29774.

MLA Handbook (7th Edition):

Overbey, Jeffrey. “A toolkit for constructing refactoring engines.” 2012. Web. 13 Dec 2019.

Vancouver:

Overbey J. A toolkit for constructing refactoring engines. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2012. [cited 2019 Dec 13]. 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

14. Lauterburg, Steven T. Systematic testing for actor programs.

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

 The growing use of multicore and networked computing systems is increasing the importance of developing reliable parallel and distributed code. Testing such code is notoriously… (more)

Subjects/Keywords: systematic testing; concurrency; actor model; message passing; partial-order reduction; model checking

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

Lauterburg, S. T. (2011). Systematic testing for actor programs. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/26314

Chicago Manual of Style (16th Edition):

Lauterburg, Steven T. “Systematic testing for actor programs.” 2011. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed December 13, 2019. http://hdl.handle.net/2142/26314.

MLA Handbook (7th Edition):

Lauterburg, Steven T. “Systematic testing for actor programs.” 2011. Web. 13 Dec 2019.

Vancouver:

Lauterburg ST. Systematic testing for actor programs. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2011. [cited 2019 Dec 13]. Available from: http://hdl.handle.net/2142/26314.

Council of Science Editors:

Lauterburg ST. Systematic testing for actor programs. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2011. Available from: http://hdl.handle.net/2142/26314

15. Nam, Min Young. A tool for model-based engineering.

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

 In many hard real-time avionics systems, more and more features are being added to faster but cheaper hardware. Thus, hardware resources such as computation and… (more)

Subjects/Keywords: Architecture Analysis and Design Language (AADL); Model-Based Engineering; System Design Tool; Real-Time Systems; Safety Critical Systems; Itegrated Modular Avionics; Resource Allocation; Bus Arhictecture Design; I/O Design; System Level Analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nam, M. Y. (2013). A tool for model-based engineering. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/42419

Chicago Manual of Style (16th Edition):

Nam, Min Young. “A tool for model-based engineering.” 2013. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed December 13, 2019. http://hdl.handle.net/2142/42419.

MLA Handbook (7th Edition):

Nam, Min Young. “A tool for model-based engineering.” 2013. Web. 13 Dec 2019.

Vancouver:

Nam MY. A tool for model-based engineering. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2013. [cited 2019 Dec 13]. Available from: http://hdl.handle.net/2142/42419.

Council of Science Editors:

Nam MY. A tool for model-based engineering. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2013. Available from: http://hdl.handle.net/2142/42419

.