Traditional modularity mechanisms such as Java’s classes and packages or ML’s structures and functors restrict the set of functions that may be applied to an object, but are unable to restrict the timing of these function applications effectively. We propose a new language construct, the scoped method, which allows the implementer of a class to specify a temporal resource usage protocol. This p...

We present NetGrok, a tool for visualizing computer network usage in real-time. NetGrok combines well-known information visualization techniques—overview, zoom & filter, details on demand—with network graph and treemap visualizations. NetGrok integrates these tools with a shared data store that can read PCAP-formatted network traces, capture traces from a live interface, and filter the data set...

Information integrating in Semantic Concept Networks (SCN) is one of the important operations in these networks. These operations require resource usage. Due to the limited resource of units, the resource productivity should be considered as a key objective in design of Semantic Concept Networks. Therefore the Integrating is a suitable method that used in resource usage management. For this pur...

Accurately characterizing the resource usage of an application at various levels in the memory hierarchy has been a long-standing research problem. Existing characterization studies are either motivated by specific allocation problems (e.g., memory page allocation) or they characterize a specific memory resource (e.g., L2 cache). The studies thus far have also implicitly assumed that there is n...

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...

The performance of the World Wide Web is evaluated as an information resource in a specific information domain. The theoretical framework underpinning this approach recognises the contribution of information-seeking behaviour from the discipline of information science and models of information systems success from the discipline of information systems in explaining World Wide Web usage as an in...

Most high-performance computing resource managers only allow applications to request a static allocation of resources. However, evolving applications have resource requirements which change (evolve) during their execution. Currently, such applications are forced to make an allocation based on their peak resource requirements, which leads to an inefficient resource usage. This paper studies whet...

In the resource constrained shortest path problem (RCSPP) a shortest path satisfying additional resource bounds is sought. Each arc has a length and a resource usage vector specifying the requirements from each resource of a finite set of resources. The resource bounds limit the total usage along feasible paths for each resource type. In this paper we introduce new cutting planes, separation pr...

Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic static type-based analysis for inferring upper bounds on resource usage for programs involving general algebraic datatypes and full recursion. Our method can easily be used to bound any countable resource, without needing to revi...

Energy management mechanisms in resource constrained environments such as mobile systems are typically based on the current status of various system parameters such as utilization and quality of service requirements. Any knowledge gained about future system resource usage and other significant dynamics in the system can further lead to increased optimizations in such mechanisms. Future knowledg...