In this tutorial paper, we overview the techniques that underlie the automatic inference of bounds on resource consumption. We first explain the basic techniques on a Java-like sequential language. Then, we describe the extensions that are required to apply our method on concurrent ABS programs. Finally, we discuss some advanced issues in resource analysis, including the inference of non-cumula...

INTRODUCTION The objective of this study was to determine factors, other than the Diagnostic Related Grouping (DRG), that can explain the variation in the cost of hospitalisation and length of hospital stay (LOS) in older patients. MATERIALS AND METHODS This was a prospective, observational cohort study involving 397 patients, aged 65 years and above. Data collected include demographic inform...

Power management is an expensive and important issue for large computational infrastructures such as datacenters, large clusters, and computational grids. However, measuring energy consumption of scalable systems may be impractical due to both cost and complexity for deploying power metering devices on a large number of machines. In this paper, we propose the use of information about resource u...

The difficulty in representing disposable resources as formulas of classical logic motivates the study of a new logic modeling system. There are similarities and differences between resource consumption/production and theorem proving in logic. Both are about deducibility (or producibility) of a formula (or a thing). The major difference is that once a disposable resource is used to produce some...

This work explores the historical effectiveness of efficiency improvements in reducing humankind’s consumption of energy resources. Ten activities are analyzed, including pig iron production, aluminum production, nitrogen fertilizer production, electricity generation from coal, electricity generation from oil, electricity generation from natural gas, freight rail travel, passenger air travel, m...

Millions of computers are now connected together by the Internet. At a fast pace, applications are taking advantage of these new capabilities, and are becoming parallel and distributed, e.g. applets on the WWW or agent technology. As we live in a world with finite resources, an important challenge is to be able to control computations in such an environment. For instance, a user might like to s...

A Working Paper is the author's intellectual property. It is intended as a means to promote research to interested readers. Its content should not be copied or hosted on any server without written permission from publications. We model a common pool resource game under environmental uncertainty. A symmetric group of individuals face the dilemma of sharing a common resource: each player chooses ...