[PDF] Top 20 A generic framework for the analysis and specialization of logic programs
Has 10000 "A generic framework for the analysis and specialization of logic programs" found on our website. Below are the top 20 most common "A generic framework for the analysis and specialization of logic programs".
A generic framework for the analysis and specialization of logic programs
... Since Algorithm 2 performs analysis of the program composed of the set of specialized deñnitions, once we have guaranteed the ñniteness of the program to be analyzed, a termi- nating W[r] ... See full document
17
Analysis of the specialization patterns for scientific and industrial activities in the EU regions in the framework of the smart specialization strategy
... to the smart specialization strategy (S3) the first question that comes to mind is: “Does data consistently prove the hypothesis that regions are able to specialize according to their critical ... See full document
281
A Practical Type Analysis for Verification of Modular Prolog Programs
... tool for computing very precise de- scriptive types for logic ...in the context of real- life, modular Prolog programs, the accurate results obtained by reg- ular types ... See full document
10
Tools for the Detection and Analysis of Potentially Unwanted Programs
... presents the top 10 clusters in the 3 largest unlabeled datasets (University, Miller, ...Andrubis). The most common family in both Windows datasets is ...which the author building the ... See full document
91
A generic framework for context-sensitive analysis of modular programs
... The reason for requiring pre-computed answer patterns for library modules to be over-approximations is that, much in the same way as for predeñned procedures, even if an automatic sche[r] ... See full document
28
Fuzzy MCDA for remediation of a uranium tailing
... We propose a theoretical framework based on Multi-Criteria Decision Analysis and fuzzy logic to analyse different re- mediation alternatives for the Zapadnoe tailings, in which potentia[r] ... See full document
9
Exploiting goal independence in the analysis of logic programs
... There are two issues involved: (1) using the result of the analysis to obtain abstract answers for an abstract cali; and (2) using the result of the analysis to obtain an approximation[r] ... See full document
15
Conceptual patterns for water resources information systems
... understand and simplify problems in a specific ...through analysis patterns, which reflect conceptual structures of an application domain speeding up the development of the ... See full document
7
Effectiveness of abstract interpretation in automatic parallelization: a case study in logic programming
... methodology for the application of the results of abstract interpretation-based data flow analysis in automatic parallelization of logic programs (using the "indepen- dent and-paral[r] ... See full document
51
Implementation of multiple specialization in logic programs
... Also, there is a cióse interaction between global analysis and specialization in that in order to optimize each one of the specialized versions global analysis needs to pro- vide infor[r] ... See full document
11
A generic, context sensitive analysis framework for object oriented programs
... Invocations of non-recursive methods are handled by analyzeNonRecMethod. It first checks if there is an entry in the memo table for the name of the in- voked method and its A. In that ca[r] ... See full document
12
A general framework for static cost analysis of parallel logic programs
... We build on this and propose a novel, general, and flexible framework for setting up cost equations/relations which can be instantiated for perform- ing static resource usage analysis o[r] ... See full document
17
Modeling, simulation and validation of generic wind turbine models based on international guidelines
... side, the existence of two documents related to the denition of generic models may seem unusual, since the aim of both is to provide standardized ...(IEC and WECC) ... See full document
151
Hernán Cofré • Corina González-Weil • Claudia Vergara • David Santibáñez • Germán Ahumada • Melina Furman • María E. Podesta • Johanna Camacho • Rómulo Gallego • Royman Pérez
... out of the 76 pedagogy accredited programs are secondary science education programs, and there are no accredited elementary education programs (Comisio´n Nacional de ... See full document
19
Two efficient representations for set-sharing analysis in logic programs
... Our second experiment shows in Table 2 the comparison between the conversión algorithms to transform an initial set of binary strings, bSH, into its corresponding set of ternary stri[r] ... See full document
18
Task granularity analysis in logic programs
... if C is mutually recursive, then the argument sizes for the output argument positions in the head of C are obtained as a difference equation, which is part of a system of difference e[r] ... See full document
16
Telenovela, Recepción y Debate Social
... vindictive, and at times intimate and sensitive, causing, in the plot of the telenovela, a strong confrontation with his father and some of his brothers, who do not accept ... See full document
11
Flexible scheduling for non-deterministic, and-parallel execution of logic programs
... For concreteness (and also because our expenments were performed on it), we shall discuss the scheme as implemented in the dependent and-parallel system DASWAM [5], which has many simi[r] ... See full document
5
Goal dependent vs goal independent analysis of logic programs
... into account the answers obtained in the goal independent phase which have been looked-up. This information is included to give a rough idea of the complexity of the abstract unificati[r] ... See full document
16
User-definable resource bounds analysis for logic programs
... bound if upper bounds or least upper bound if lower bounds) of a) the arithmetic resource usage expression (in closed form) <¡>(ipj(n)) or b) its (closed form) re- source usage fu[r] ... See full document
16
Related subjects