Sökning: "partial evaluation"

Visar resultat 1 - 5 av 208 avhandlingar innehållade orden partial evaluation.

1. 1. A program manipulation system based on partial evaluation

   Författare :Anders Haraldsson; Erik Sandewall; Mats Nordström; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; program manipulation; partial evaluation; program optimization; LISP; beta-expansion; macro-expansion; Computer science; Datavetenskap;

   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

3. 2. Integrated High-Fidelity Planetary Mission Simulators: A Toolkit for Fidelity Evaluation

   Författare :Susmita Mohanty; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; LMLSTP; partial simulator; INTEGRITY; simulation fidelity; MDRS; full mission simulator; ISEMSI; planetary mission simulator; integrated planetary mission simulator; simulator; space mission simulator; EXEMSI; fidelity evaluation checklist; fidelity evaluation framework; partial simulation; chamber isolation test; SFINCSS; simonaut; trade-off studies; integrated simulation; full mission simulation; NEEMO; simulator fidelity; HUBES; isolation test; FMARS; framework toolkit; simulation; integrated simulator; baseline mission visualization tool;

   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

4. 3. Evaluating Success Factors of Health Information Systems

   Författare :Shahryar Eivazzadeh; Peter Anderberg; Johan Sanmartin Berglund; Tobias Larsson; Markus Fiedler; Maria Lindén; Blekinge Tekniska Högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Health Information Systems; Health Information Technology; Health Informatics; eHealth; Digital Health; Evaluation; Information Systems Evaluation; Health Technology Assessment; User Satisfaction; Technophilia; Evaluation and Research Ethics; System Design;

   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

5. 4. Design of materials supply systems in product development projects : Difficulties and requirements

   Författare :Eva Johansson; Jönköping University; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; concurrent engineering; evaluation; materials handling; materials supply; partial information; product development projects; system design; Industrial engineering and economy; Industriell teknik och ekonomi;

   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

7. 5. The Treatment of Polymorphism and Modules in a Partial Evaluator

   Författare :Rogardt Heldal; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; modules; partial evaluation; separate compilation; compiler generator; functional programming; binding-time analyser; polymorphic types;

   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