Sökning: "Partial Evaluation"
Visar resultat 1 - 5 av 206 avhandlingar innehållade orden Partial Evaluation.
1. A program manipulation system based on partial evaluation
Sammanfattning : Program manipulation is the task to perform transformations on program code, and is normally done in order to optimize the code with respect of the utilization of some computer resource. Partial evaluation is the task when partial computations can be performed in a program before it is actually executed. LÄS MER
2. Integrated High-Fidelity Planetary Mission Simulators: A Toolkit for Fidelity Evaluation
Sammanfattning : Integrated High-Fidelity Planetary Mission Simulators: A Toolkit for Fidelity EvaluationSusmita Mohanty Department of Architecture Chalmers University of TechnologyABSTRACTFuture missions to deep space or other planets will rely heavily on Planetary Mission Simulators. Simulators will be used to replicate the experience and conditions of such missions as faithfully as possible within terrestrial constraints. LÄS MER
3. Evaluating Success Factors of Health Information Systems
Sammanfattning : Health information systems are our technological response to the growing demand for health care. However, their success in their mission can be challenging due to the complexity of evaluating technological interventions in health care. In the series of studies compiled in this dissertation, we looked at the evaluation of these systems. LÄS MER
4. Design of materials supply systems in product development projects : Difficulties and requirements
Sammanfattning : Technology development is now very intense in several areas, and companies have much to gain from reaching the market with new technology and products ahead of their competitors. Therefore, companies try to shorten the product development time. LÄS MER
5. The Treatment of Polymorphism and Modules in a Partial Evaluator
Sammanfattning : In this thesis we study aspects of specialisation by partial evaluation and compiler generation. After significant research during the last two decades, there are now powerful specialisers for several programming languages, such as LISP, Scheme, ML, and C. But some features of programming languages are still not handled by specialisers. LÄS MER