- About
-
The Global ETD Search service is a free service for researchers
to find electronic theses and dissertations. This service is
provided by the
Networked Digital Library of Theses and Dissertations.
Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
Search results
Showing 61 to 70 of 293 (0.031 seconds)Spelling suggestions: "subject:"debugging"" "subject:"ebugging""
| 61 |
Finding termination and time improvement in predicate abstraction with under-approximation and abstract matching /Kudra, Dritan, January 2007 (has links) (PDF)
Thesis (M.S.)--Brigham Young University. Dept. of Computer Science, 2007. / Includes bibliographical references (p. 30-31).
|
| 62 |
WoLFram - a word level framework for formal verification and its applicationSülflow, André January 2010 (has links)
Zugl.: Bremen, Univ., Diss., 2010
|
| 63 |
Parallel program debugging with flowback analysisChoi, Jong-Deok. January 1989 (has links)
Thesis (Ph. D.)--University of Wisconsin-Madison, 1989. / Cover title. "August 1989." Includes bibliographical references.
|
| 64 |
Distributable defect localization using Markov models /Portnoy, William, January 2005 (has links)
Thesis (Ph. D.)--University of Washington, 2005. / Vita. Includes bibliographical references (p. 135-146).
|
| 65 |
Supporting end-user debugging /Kissinger, Cory. January 1900 (has links)
Thesis (M.S.)--Oregon State University, 2007. / Printout. Includes bibliographical references (leaves 34-36). Also available on the World Wide Web.
|
| 66 |
Explaining debugging strategies to end-user programmers /Subrahmaniyan, Neeraja. January 1900 (has links)
Thesis (M.S.)--Oregon State University, 2008. / Printout. Includes bibliographical references (leaves 51-55). Also available on the World Wide Web.
|
| 67 |
Coordination-centric debugging for heterogeneous distributed embedded systems /Hines, Kenneth J. January 2000 (has links)
Thesis (Ph. D.)--University of Washington, 2000. / Vita. Includes bibliographical references (p. 253-264).
|
| 68 |
Behavioural model debugging in LindaSewry, David Andrew January 1994 (has links)
This thesis investigates event-based behavioural model debugging in Linda. A study is presented of the Linda parallel programming paradigm, its amenability to debugging, and a model for debugging Linda programs using Milner's CCS. In support of the construction of expected behaviour models, a Linda program specification language is proposed. A behaviour recognition engine that is based on such specifications is also discussed. It is shown that Linda's distinctive characteristics make it amenable to debugging without the usual problems associated with paraUel debuggers. Furthermore, it is shown that a behavioural model debugger, based on the proposed specification language, effectively exploits the debugging opportunity. The ideas developed in the thesis are demonstrated in an experimental Modula-2 Linda system.
|
| 69 |
Algorithms And Models For Debugging Distributed ProgramsSampath, D 07 1900 (has links) (PDF)
No description available.
|
| 70 |
Introduction to Programming on the Nova ComputerLam, Clement 09 1900 (has links)
One of two project reports: The other part is designated PART B: McMASTER (on-campus) PROJECT. / <p> A guide to programming the Nova computer is presented in this manual. Programming fundamentals, structured programming, testing and debugging and interrupt programming technique are also included. </p> / Thesis / Master of Engineering (MEngr)
|
Page generated in 0.0357 seconds