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 9 of 9 for “"Program Generation"”.
-
Improving Efficiency and Safety of Program Generation
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 at runtime, PG can produce an efficient version of a program by specializing it according to inputs that become available at runtime. …
-
Topics in Automated Theorem Proving and Program Generation
This thesis contains two parts, each deals with a different subject.
-
Internal convex programming, orthogonal linear programming, and program generation procedures
Three topics are developed: interval convex programming, and program generation techniques. The interval convex programming problem is similar to the convex programming problem of the real number system except that all parameters are specified as intervals of real numbers rather than as real …
-
Model generators: Prototyping simulation model definition, specification, and documentation under the conical methodology
The process of model generation is key to the realization of a Simulation Model Development Environment. Model generation is facilitated in the environment via the Model Generator - a software utility that assists a modeler in the development of a simulation model specification. Since modeling is …
-
Garment Design Workflows for On-Demand Machine Knitting
… and generate minimal waste. Yet, their programming is still hardly accessible and is effectively done manually by few skillful knitting technicians. The programming of knitted garments typically involves scheduling hundreds of thousands of stitches. While every individual stitch created …
-
Advanced application software for speculative housing companies.
… combines current analysis and design techniques, program generation tools, a powerful data base mechanism and a documentation facility, to yield a well structured approach to software development throughout the system life cycle. DB4GL was used to develop a complex integrated estimating and cost …
-
Abstraction Driven Application and Data Portability in Cloud Computing
Cloud computing has changed the way organizations create, manage, and evolve their applications. While many organizations are eager to use the cloud, tempted by substantial cost savings and convenience, the implications of using clouds are still not well understood. One of the major concerns in …
-
Methods for generating visual programs with optimizable vision models
Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2024-09-16 without embargo terms
-
Design, verification and automatic implementation of correct-by-construction distributed transaction systems in Maude
Designing, verifying, and implementing highly reliable distributed systems is at present a hard and very labor-intensive task. Cloud-based systems have further increased this complexity due to the desired consistency, availability, scalability, and disaster tolerance. This dissertation addresses …