Results 1 - 10 of 549

A Transformation System for Developing Recursive Programs

by R. M. Burstall, John Darlington , 1977
"... A system of rules for transforming programs is described, with the programs in the form of recursion equations An initially very simple, lucid. and hopefully correct program IS transformed into a more efficient one by altering the recursion structure Illustrative examples of program transformations ..."
Abstract - Cited by 649 (3 self) - Add to MetaCart
are given, and a tentative implementation !s described Alternative structures for programs are shown, and a possible initial phase for an automatic or semiautomatic program manipulation system is lndmated KEY WORDS AND PHRASES program transformation, program mampulatlon, optimization, recursion CR

SociaLite: Datalog Extensions for Efficient Social Network Analysis

by Jiwon Seo, Stephen Guo, Monica S. Lam
"... Abstract — With the rise of social networks, large-scale graph analysis becomes increasingly important. Because SQL lacks the expressiveness and performance needed for graph algorithms, lower-level, general-purpose languages are often used instead. For greater ease of use and efficiency, we propose ..."
Abstract - Cited by 9 (1 self) - Add to MetaCart
SociaLite, a high-level graph query language based on Datalog. As a logic programming language, Datalog allows many graph algorithms to be expressed succinctly. However, its performance has not been competitive when compared to low-level languages. With SociaLite, users can provide high-level hints

Distributed SociaLite: A Datalog-Based Language for Large-Scale Graph Analysis

by Jiwon Seo, Jongsoo Park, Jaeho Shin, Monica S. Lam
"... Large-scale graph analysis is becoming important with the rise of world-wide social network services. Recently in SociaLite, we proposed extensions to Datalog to efficiently and succinctly implement graph analysis programs on sequential machines. This paper describes novel extensions and optimizatio ..."
Abstract - Cited by 5 (0 self) - Add to MetaCart
Large-scale graph analysis is becoming important with the rise of world-wide social network services. Recently in SociaLite, we proposed extensions to Datalog to efficiently and succinctly implement graph analysis programs on sequential machines. This paper describes novel extensions

Meta-Optimizing Semantic Evolutionary Search Categories and Subject Descriptors I.2.2 [Artificial Intelligence]: Automatic Programming – Program synthesis General Terms

by unknown authors
"... A powerful heuristic allowing many optimization problems of interest to be solved quickly is to attempt decomposition – breaking problems down into smaller subproblems that may be solved independently. For example, the hierarchical Bayesian optimization algorithm (hBOA) [5] dynamically learns a prob ..."
Abstract - Add to MetaCart
A powerful heuristic allowing many optimization problems of interest to be solved quickly is to attempt decomposition – breaking problems down into smaller subproblems that may be solved independently. For example, the hierarchical Bayesian optimization algorithm (hBOA) [5] dynamically learns a

A Practically Implementable and Tractable Delegation Logic

by Ninghui Li, Benjamin Grosof, Joan Feigenbaum , 2000
"... We address the goal of making Delegation Logic (DL) into a practically implementable and tractable trustmanagement system. DL [22] is a logic-based knowledge representation (i.e., language) for authorization in largescale, open, distributed systems. As introduced in [22], DL inferencing is computati ..."
Abstract - Cited by 57 (8 self) - Add to MetaCart
tractable under the same commonly met restrictions for which Ordinary Logic Programs (OLP) inferencing is tractable (e.g., Datalog and bounded number of logical variables per rule). We give an implementation architecture for this version of DL; it uses a delegation compiler from DL to OLP and can modularly

A meta-analytic review of obesity prevention programs for children and adolescents: The skinny on interventions that work.

by Eric Stice , Heather Shaw , C Nathan Marti - Psychological Bulletin, , 2006
"... This meta-analytic review summarizes obesity prevention programs and their effects and investigates participant, intervention, delivery, and design features associated with larger effects. A literature search identified 64 prevention programs seeking to produce weight gain prevention effects, of wh ..."
Abstract - Cited by 76 (4 self) - Add to MetaCart
trials with a mean participant age of up to 22 years because this captured college-based obesity prevention programs. College-aged individuals are still developing self-regulation skills, particularly with regard to dietary and exercise behaviors. In addition, many developmental psychologists consider

Parallelism for Free: Efficient and Optimal Bitvector Analyses for Parallel Programs

by Jens Knoop, Bernhard Steffen, Jürgen Vollmer , 1994
"... In this paper we show how to construct optimal bitvector analysis algorithms for parallel programs with shared memory that are as efficient as their purely sequential counterparts, and which can easily be implemented. Whereas the complexity result is rather obvious, our optimality result is a conseq ..."
Abstract - Cited by 55 (3 self) - Add to MetaCart
In this paper we show how to construct optimal bitvector analysis algorithms for parallel programs with shared memory that are as efficient as their purely sequential counterparts, and which can easily be implemented. Whereas the complexity result is rather obvious, our optimality result is a

Analysis and Efficient Implementation of Functional Programs

by Peter Sestoft , 1991
"... machines and implementations : : : : : : : : : : : : : : : : : : : 7 1.4 Optimized implementation : : : : : : : : : : : : : : : : : : : : : : : : : : : 9 1.5 Plan of the report : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 10 2 Semantics-Based Program Analysis 12 2.1 Semantics an ..."
Abstract - Cited by 50 (1 self) - Add to MetaCart
machines and implementations : : : : : : : : : : : : : : : : : : : 7 1.4 Optimized implementation : : : : : : : : : : : : : : : : : : : : : : : : : : : 9 1.5 Plan of the report : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 10 2 Semantics-Based Program Analysis 12 2.1 Semantics

A GPGPU Compiler for Memory Optimization and Parallelism Management

by Yi Yang, Ping Xiang, Jingfei Kong, Huiyang Zhou - In Proceedings of PLDI , 2010
"... This paper presents a novel optimizing compiler for general purpose computation on graphics processing units (GPGPU). It addresses two major challenges of developing high performance GPGPU programs: effective utilization of GPU memory hierarchy and judicious management of parallelism. The input to o ..."
Abstract - Cited by 53 (4 self) - Add to MetaCart
This paper presents a novel optimizing compiler for general purpose computation on graphics processing units (GPGPU). It addresses two major challenges of developing high performance GPGPU programs: effective utilization of GPU memory hierarchy and judicious management of parallelism. The input

Constructor-based Conditional Narrowing

by Sergio Antoy - In Proc. of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2001 , 2001
"... We define a transformation from a left-linear constructor-based conditional rewrite system into an overlapping inductively sequential rewrite system. This transformation is sound and complete for the computations in the source system. Since there exists a sound and complete narrowing strategy for t ..."
Abstract - Cited by 55 (22 self) - Add to MetaCart
. Categories and Subject Descriptors D.1.1 [Programming Techniques]: Applicative (Functional) Programming; D.1.6 [Programming Techniques]: Logic Programming; D.3.3 [Programming Languages]: Language Constructs and Features---Control structures; D.3.4 [Programming Languages ]: Processors---Optimization; F.4
Results 1 - 10 of 549