Abstract specialization and its applications
نویسندگان
چکیده
منابع مشابه
Abstract Multiple Specialization and Its Application to Program Parallelization
MÚLTIPLE SPECIALIZATION AND ITS APPLICATION TO PROGRAM PARALLELIZATION G E R M Á N PUEBLA AND MANUEL H E R M E N E G I L D O |> Program specialization optimizes programs for known valúes of the input. It is often the case that the set of possible input valúes is unknown, or this set is infinite. However, a form of specialization can still be performed in such cases by means of abstract interpre...
متن کاملAbstract Specialization and Its Application to Program Parallelization
Specialization and its Application to Program Parallelization Germán Puebla and Manuel Hermenegildo {german,herme}@fi.upm.es Department of Computer Science Technical University of Madrid (UPM) Abstract. Program specialization optimizes programs for known valúes of the input. It is often the case that the set of possible input valúes is unknown, or this set is infinite. However, a form of specia...
متن کاملIntegrated Abstract Interpretation and Online Specialization
Interpretation vs. Program Specialization At first sight abstract interpretation and program specialization might appear to be unrelated techniques: abstract interpretation focusses on correct and precise analysis, while the main goal of program specialization is to produce more efficient specialized code (for a given task at hand). Nonetheless, it is often felt that there is a close relationsh...
متن کاملBenford Distribution and its Applications
This papers considers the Benford distribution as one the interesting rules of probability theory. This rule shows that, despite of usual underestanding about the uniform distribution of digites for lieing on different positions in numbers, digits are distributed according to an non uniform distributions for numbers araising from many natural phonemena. Benford distribution proposes ...
متن کاملA Breeding Tool for Abstract Animations and Its Applications
References: [1] Tatsuo Unemi, “SBArt4 Breeding Abstract Animations in Real time”, Proc. of CEC 2010, pp. 4004-4009, Barcelona, Spain, 2010. Abstract: The recent innovation of graphics processing unit (GPU) improved the calculation performance to be fast enough to realize breeding animations in real time on the personal computer. SBArt4 compiles each expression in genotype into a type of shading...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2003
ISSN: 0362-1340,1558-1160
DOI: 10.1145/966049.777393