Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 398 for “"Computer programs"”.
-
Automatically inferring properties of computer programs
… Technology, Dept. of Electrical Engineering and Computer Science, 1996.
-
Understanding Computer Programs: Computational and Cognitive Perspectives
In this thesis, I study the understanding of computer programs (code) from two perspectives: computational and cognitive. I ask what the human bases of understanding code are, and attempt to determine whether computational models trained on code corpora (also known as code models) share similar …
-
Generating computer programs from natural language descriptions
… languages supported by widely-deployed computer systems. Generating programs for existing computer systems enables us to take advantage of two important capabilities of these systems: computing the semantic equivalence between programs, and executing the programs to obtain a result. We …
-
Five Computer Programs Developed for Secondary Social Studies
<p>This project consists of five computer programs developed for secondary social studies classes. Two tutorials and three games make up the programs.</p> <p>The tutorials present how the President is elected, with a computer title of "Election," and how a bill becomes a law, with a computer title …
-
Scheduling of Computer Programs in a Multiprogramming Environment
Made available in DSpace on 2014-12-10T22:48:19Z (GMT). No. of bitstreams: 1 7317446.pdf: 5748363 bytes, checksum: b27edb7f221d6805563b11a92a960087 (MD5) Previous issue date: 1972
-
PACER and PHYSP: computer programs for chemical engineering calculations
Bibliography: pages 229-230.
-
Classification of computer programs in the Scratch online community
… platform that empowers children to create computer programs and realize their ideas. Although the Scratch online community is filled with a variety of diverse projects, many of these projects also share similarities. For example, they tend to fall into certain categories, including games, …
-
Theory, Techniques, and Experiments in Solving Recurrences in Computer Programs
… have determined useful in solving recurrences in computer programs. In chapter two we present a framework for understanding parallelism in computer applications based on an approach which models loop bodies as coalescing loop operators. In chapter three, we perform a case study of a modern …
-
Scheme for identifying and describing behavioral innovations embodied in computer programs
… Technology, Dept. of Electrical Engineering and Computer Science, 1996.
-
Computer Programs in Intermediate Language Arts for Use in a Rural School System
<p>This project developed and field tested computer programs in language arts for use in a rural school system. A review of the literature compared the effectiveness of computer-assisted instruction(CAI) in various academic areas, specifically focusing on the English curriculum. Commercially …
-
Thermal models of buildings : determination of temperatures, heating and cooling loads : theories, models and computer programs
… shading of solar and sky radiation and the computer program JULOTTA used to simulate the thermal behavior of rooms and buildings. Other parts of thermal models of buildings are more briefly discussed and included in order to give an overview of existing problems and available solutions. A …
-
Development of interactive computer programs for mechanical engineering design: fatigue analysis, section properties, and beam analysis
… the theory and describes three interactive computer graphics programs for mechanical engineering design: Fatigue Analysis, Section Properties, and Beam Analysis. The Fatigue Analysis program sizes up a mechanical component, circular, rectangular, or any shape, to prevent fatigue failure. Six …
-
Numerical Solution of the One-dimensional and Cylindrical Serre Equations for Rapidly Varying Free Surface Flows
… problems, these equations must be solved using computer programs. Unlike the shallow water wave equations, the Serre equations contain terms which make the solution of the Serre equations computationally expensive. A large number of efficient and accurate computer programs have been developed …
-
Numerical Solution of the One-dimensional and Cylindrical Serre Equations for Rapidly Varying Free Surface Flows
… problems, these equations must be solved using computer programs. Unlike the shallow water wave equations, the Serre equations contain terms which make the solution of the Serre equations computationally expensive. A large number of efficient and accurate computer programs have been developed …
-
"All My Life I've Been Using Microsoft Word!": Incorporating Kidspiration, Power Point and Word into a Second Grade Writing Workshop
… project and had the opportunity to decide which computer program would be the most effective for presenting their writing. I used anecdotal notes and interviews to gain insight into several students' thinking, primarily focusing on their decision making regarding the use of the computer programs, …
-
Optimization of Lyapunov invariants in analysis and implementation of safety-critical software systems
… dynamical system interpretation and modeling of computer programs, (ii) Lyapunov invariants as behavior certificates for computer programs, and (iii) a computational procedure for finding the Lyapunov invariants. (i) The view in this dissertation is that software defines a rule for iterative …
-
CAT-SOOP : a tool for automatic collection and assessment of homework exercises
… of exercises, including symbolic math and computer programs written in the Python programming language. This thesis describes the design and implementation of the CAT-SOOP system, as well as the methods by which it assesses these various types of exercises. In addition, the implementation …
-
Term rewriting with built-in numbers and collection data structures
… have been extensively used in order to model computer programs for the purpose of formal verification. This is in particular true if the termination behavior of computer programs is investigated, and automatic termination proving for term rewrite systems has received increased interest in …
Page 1 of 20