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 13 of 13 for “"Partial Evaluation"”.
-
Practical partial evaluation
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1995.
-
An API for dynamic partial evaluation under DynamoRIO
Dynamic optimization systems have available runtime (dynamic) data and can cross more boundaries than traditional static optimization systems in the pursuit of program transformations. However, dynamic optimization systems are limited by the fact that any time spent in analysis or transformation is …
-
Poly-controlled partial evaluation and its application to resource-aware program specialization
La Evaluación Parcial es una técnica automática para la optimización de programas. Su objetivo principal es el de especializar un programa con respecto a parte de sus datos de entrada, los que se conocen como datos estáticos. La calidad del código generado por la evaluación parcial de programas …
-
The construction and partial evaluation of illustrated worksheets for introductory college biology
Thesis (Ed.M.)--Boston University
-
JET : an application of partial evaluation in dynamic code generation for Java
Java is a popular new language with enormous potential; however, its lack of speed is a major drawback. Staged compilation and runtime specialization through procedure cloning are techniques used to improve code generation and execution performance. The research described in this paper applies …
-
Controlling Partial Evaluators Using Functional Parameters
… aspect or implements a specific heuristic of partial evaluation. A new behavior can be implemented by means of a strategy, and added to the partial evaluator by composing it with the rest of the strategies being used. Behaviors shown include off-line partial evaluation, bounded static …
-
Region-based Program Specialization
Program specialization or partial evaluation is a proven program optimization technique dating back to the early seventies. One common flavor of program specialization is offline partial evaluation. It employs a program analysis to determine what operations can be reduced at specialization time. …
-
A partial evaluation of the social and cultural impact that empower project generates on students from Instituto Nacional General Francisco Menéndez located in the metropolitan area, San Salvador, El Salvador, year 2015.
Through the years, the English language has become more and more popular and it is one of the most useful languages to learn around the world. There are simply huge amounts of literature and writings in the English language. It is also the standard language for world communication, especially in …
-
Practical techniques to augment dependence analysis in the presence of symbolic terms
… cannot be obtained using dependence analysis. Partial evaluation can be used to inspect a program's input file and disseminate the actual values of symbolic variables before dependence analysis is done. We show that partial evaluation assists dependence analysis by reducing the number of …
-
Coping with mental illness : a case study in initiating a support group in Mamre
… is to provide a detailed description and partial evaluation of a support group for psychiatric outpatients and their relatives in Mamre. The first nineteen sessions of the support group are described in detail, and the evaluation information was obtained from the participants at the …
-
O sistema MEDLINE no Brasil: uma avaliação parcial de seu desempenho
A partial evaluation of the performance of MEDLINE system in Brazil. The data obtained in a questionnaire received from two hundred and twenty biomedical users stated that the system is more used by professionals graduated between 1949/53 and 1966/71. It also presented the low frequency of use of …
-
Extending Traditional Static Analysis Techniques to Support Development, Testing and Maintenance of Component-Based Solutions
… as dead code elimination, program slicing, and partial evaluation (code specialization). It is well understood that compared to other program analysis techniques (e.g., dynamic analysis), static analysis techniques do a reasonable job for the cost associated with implementing them. Industry and …
-
Program Transformations for Information Personalization
… explicitly in a representation, and studying how partial information can be harnessed in it by program transformations to direct the flow of the interaction, can provide insight into, reveal opportunities for, and define a model for personalized interaction. To evaluate this thesis, a formal …