Abstracting timed preemption with engines
Computer Languages
Speculative computation in multilisp
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
IEEE Transactions on Software Engineering
JRes: a resource accounting interface for Java
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
NOMADS: toward a strong and safe mobile agent system
AGENTS '00 Proceedings of the fourth international conference on Autonomous agents
A model of OASIS role-based access control and its support for active security
SACMAT '01 Proceedings of the sixth ACM symposium on Access control models and technologies
Distributed directory service and message routing for mobile agents
Science of Computer Programming
Formalizing the safety of Java, the Java virtual machine, and Java card
ACM Computing Surveys (CSUR)
Tree Rerooting in Distributed Garbage Collection: Implementation and Performance Evaluation
Higher-Order and Symbolic Computation
The JavaSeal Mobile Agent Kernel
Autonomous Agents and Multi-Agent Systems
New Ideas in Parallel Lisp: Language Design, Implementation, and Programming Tools
Proceedings of the US/Japan Workshop on Parallel Lisp: Languages and Systems
Resource Management for Safe Languages
ECOOP '02 Proceedings of the Workshops and Posters on Object-Oriented Technology
Enforcement of Communications Policies in Software Agent Systems through Mobile Code
POLICY '03 Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks
Distributed Computations Driven by Resource Consumption
ICCL '98 Proceedings of the 1998 International Conference on Computer Languages
Processes in KaffeOS: isolation, resource management, and sharing in java
OSDI'00 Proceedings of the 4th conference on Symposium on Operating System Design & Implementation - Volume 4
Design and semantics of quantum: a language to control resource consumption in distributed computing
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Using Bytecode Instruction Counting as Portable CPU Consumption Metric
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal modeling of resource management for cloud architectures: an industrial case study
ESOCC'12 Proceedings of the First European conference on Service-Oriented and Cloud Computing
Self-adaptive hybrid dynamic power management for many-core systems
Proceedings of the Conference on Design, Automation and Test in Europe
Agent-based distributed power management for kilo-core processors
Proceedings of the International Conference on Computer-Aided Design
Hi-index | 0.00 |
We introduce the Resource Aware Programming framework, which allows users to monitor the resources used by their programs and to programmatically express policies for the management of such resources. The framework is based on a notion of hierarchical groups, which act as resource containers for the computations they sponsor. Asynchronous notifications for resource exhaustion and for computation termination can be handled by arbitrary user code, which is also executed under the control of this hierarchical group structure. Resources are manipulated by the programmer using resource descriptors, whose operations are specified by a resource algebra. In this article, we overview the Resource Aware Programming framework and describe its semantics in the form of a language-independent abstract machine able to model both shared and distributed memory environments. Finally, we discuss a prototype implementation of the Resource Aware Programming framework in Java.