There are many mobile applications currently available on the market, which have been developed specifically for smart phones. The operating systems of these smart phones are flexible in order to facilitate the application development for programmers regardless of the lower layers of the operating system. Mobile phones like other pervasive devices suffer from resource shortages. These resources...

Static techniques for deriving upper bounds on the resource consumption of programs have been extensively studied. However, there are applications that require more fine-grained information such as the difference between upper and lower bounds or the guaranty that the resource usage of a program does not differ for certain inputs. This article presents two novel substructural type systems for d...

Task consolidation is a way to maximize utilization of cloud computing resources. Maximizing resource utilization provides various benefits such as the rationalization of maintenance , IT service customization, and QoS and reliable services. However, maximizing resource utilization does not mean efficient energy use. Much of the literature shows that energy consumption and resource utilization ...

The Lotka-Volterra competition equations with periodic coefficients derived from the MacArthur-Levins theory of a one-dimensional resource niche are studied when the parameters are allowed to oscillate periodically in time. Specifically, niche positions and widths, resource availability and resource consumption rates are allowed small amplitude periodicities around a specified mean value. Two o...

An important task of operating systems is to schedule shared resources fairly between several parties. Precise accounting of consumed resources is the key to that goal. However, most operating systems only use very basic accounting strategies. This thesis discusses methods for resource accounting and introduces a powerful, yet easy to use accounting model based on resource containers. The goal ...

An important task of operating systems is to schedule shared resources fairly between several parties. Precise accounting of consumed resources is the key to that goal. However, most operating systems only use very basic accounting strategies. This thesis discusses methods for resource accounting and introduces a powerful, yet easy to use accounting model based on resource containers. The goal ...

We study a single-resource multi-class revenue management problem where the resource consumption for each class is random and only revealed at departure. The model is motivated by cargo revenue management problems in the airline and other shipping industries. We study how random resource consumption distribution affects the optimal expected profit and identify a preference acceptance order on c...

We analyze infinite-horizon choice functions within the setting of a simple technology. Efficiency and time consistency are characterized by stationary consumption and inheritance functions, as well as a transversality condition. In addition, we consider the equity axioms Suppes-Sen, Pigou-Dalton, and resource monotonicity. We show that Suppes-Sen and Pigou-Dalton imply that the consumption and...