Strictness analysis aids time analysis
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Essentials of programming languages
Essentials of programming languages
Algorithmic skeletons: structured management of parallel computation
Algorithmic skeletons: structured management of parallel computation
CHARM++: a portable concurrent object oriented system based on C++
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Static dependent costs for estimating execution time
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
IEEE Transactions on Software Engineering
The MOSIX multicomputer operating system for high performance cluster computing
Future Generation Computer Systems - Special issue on HPCN '97
Seven good reasons for mobile agents
Communications of the ACM
Mobility: processes, computers, and agents
Mobility: processes, computers, and agents
Recursion and dynamic data-structures in bounded space: towards embedded ML programming
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Journal of the ACM (JACM)
Two languages for estimating program efficiency
Communications of the ACM
Communications of the ACM
Data Structures, Algorithms and Applications in Java
Data Structures, Algorithms and Applications in Java
Static prediction of heap space usage for first-order functional programs
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The Vision of Autonomic Computing
Computer
Formalizing the analysis of algorithms.
Formalizing the analysis of algorithms.
Load Balancing of Autonomous Actors over Dynamic Networks
HICSS '04 Proceedings of the Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 9 - Volume 9
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Autonomic Computing
Parallel Computing - Algorithmic skeletons
Automatically Costed Autonomous Mobility
IAT '07 Proceedings of the 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology
Cost analysis using automatic size and time inference
IFL'02 Proceedings of the 14th international conference on Implementation of functional languages
Loosely-coupled loop scheduling in computational grids
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Autonomic job scheduling policy for grid computing
ICCS'05 Proceedings of the 5th international conference on Computational Science - Volume Part III
A dependently typed framework for static analysis of program execution costs
IFL'05 Proceedings of the 17th international conference on Implementation and Application of Functional Languages
Type-Based amortised heap-space analysis
ESOP'06 Proceedings of the 15th European conference on Programming Languages and Systems
Characterising effective resource analyses for parallel and distributed coordination
FOPARA'09 Proceedings of the First international conference on Foundational and practical aspects of resource analysis
Hi-index | 0.00 |
Autonomous mobile programs (AMPs) offer a novel decentralised load management technology where periodic use is made of cost models to decide where to execute in a network. In this paper we demonstrate how sequential programs can be automatically converted into AMPs. The AMPs are generated by an automatic continuation cost analyser that replaces iterations with costed autonomous mobility skeletons (CAMS) that encapsulate autonomous mobility. The CAMS cost model uses an entirely novel continuation cost semantics to predict both the cost of the current iteration and the continuation cost of the remainder of the program. We show that CAMS convey significant performance advantages, e.g. reducing execution time by up to 53%; that the continuation cost models are consistent with the existing AMP cost models; and that the overheads of collecting and utilising the continuation costs are relatively small. We discuss example AMPs generated by the analyser and demonstrate that they have very similar performance to hand-costed CAMS programs.