• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 7,174
Next 10 →

Resource Usage Analysis

by Atsushi Igarashi, Naoki Kobayashi , 2002
"... program accesses resources in a valid manner. For example, a memory region that has been allocated should be eventually deallocated, and after the deallocation, the region should no longer be accessed. A file that has been opened should be eventually closed. So far, most of the methods to analyze th ..."
Abstract - Cited by 95 (6 self) - Add to MetaCart
formalize a general problem of analyzing resource usage as a resource usage analysis problem, and propose a type-based method as a solution to the problem.

Asymptotic Resource Usage Bounds

by E. Albert, D. Alonso, P. Arenas, S. Genaim, G. Puebla
"... Abstract. When describing the resource usage of a program, it is usual to talk in asymptotic terms, such as the well-known “big O ” notation, whereby we focus on the behaviour of the program for large input data and make a rough approximation by considering as equivalent programs whose resource usag ..."
Abstract - Cited by 4 (3 self) - Add to MetaCart
Abstract. When describing the resource usage of a program, it is usual to talk in asymptotic terms, such as the well-known “big O ” notation, whereby we focus on the behaviour of the program for large input data and make a rough approximation by considering as equivalent programs whose resource

Incremental Resource Usage Analysis

by Elvira Albert
"... The aim of incremental global analysis is, given a program, its anal-ysis results and a series of changes to the program, to obtain the new analysis results as efficiently as possible and, ideally, without having to (re-)analyze fragments of code which are not affected by the changes. Incremental an ..."
Abstract - Cited by 2 (2 self) - Add to MetaCart
analysis can significantly reduce both the time and the memory requirements of analysis. This paper presents an incremental resource usage analysis for a sequential Java-like language. Our main contributions are (1) a multi-domain incre-mental fixed-point algorithm which can be used by all global pre

The resource usage aware backfilling

by F. Guim, I. Rodero, J. Corbalan - In Job Scheduling Strategies for Parallel Processing, E. Frachtenberg and U. Schwiegelshohn (eds , 2009
"... Abstract. Job scheduling policies for HPC centers have been extensively stud-ied in the last few years, especially backfilling based policies. Almost all of these studies have been done using simulation tools. All the existent simulators use the runtime (either estimated or real) provided in the wor ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
allocated. Using the LessConsume Threshold Resource Selection Policy, we propose a new backfilling strategy: the Resource Usage Aware Backfilling job scheduling policy. This is a backfilling based scheduling policy where the algorithms which decide which job has to be executed and how jobs have

Resource Usage Verification

by Kim Marriott, Peter J. Stuckey, Martin Sulzmann , 2003
"... ..."
Abstract - Cited by 26 (1 self) - Add to MetaCart
Abstract not found

Resource usage analysis for the π-calculus

by Naoki Kobayashi, Kohei Suenaga, Lucian Wischik - In VMCAI, LNCS 3855 , 2006
"... Abstract. We propose a type-based resource usage analysis for the πcalculus extended with resource creation/access primitives. The goal of the resource usage analysis is to statically check that a program accesses resources such as files and memory in a valid manner. Our type system is an extension ..."
Abstract - Cited by 6 (1 self) - Add to MetaCart
Abstract. We propose a type-based resource usage analysis for the πcalculus extended with resource creation/access primitives. The goal of the resource usage analysis is to statically check that a program accesses resources such as files and memory in a valid manner. Our type system is an extension

Resource Usage Protocols for Iterators

by Christian Haack , Clément Hurlin , 2009
"... We discuss usage protocols for iterator objects that prevent concurrent modifications of the underlying collection while iterators are in progress. We formalize these protocols in Java-like object interfaces, enriched with separation logic contracts. We present examples of iterator clients and proof ..."
Abstract - Cited by 9 (2 self) - Add to MetaCart
We discuss usage protocols for iterator objects that prevent concurrent modifications of the underlying collection while iterators are in progress. We formalize these protocols in Java-like object interfaces, enriched with separation logic contracts. We present examples of iterator clients

Resource Usage Monitoring in Clouds

by Mohit Dhingra, J. Lakshmi
"... Abstract—Monitoring of infrastructural resources in clouds plays a crucial role in providing application guarantees like performance, availability, and security. Monitoring is crucial from two perspectives- the cloud-user and the service provider. The cloud user’s interest is in doing an analysis to ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
Abstract—Monitoring of infrastructural resources in clouds plays a crucial role in providing application guarantees like performance, availability, and security. Monitoring is crucial from two perspectives- the cloud-user and the service provider. The cloud user’s interest is in doing an analysis

Resource Usage Analysis for

by Futoshi Iwama
"... a Functional Language with Exceptions Igarashi and Kobayashi have proposed a general type system for checking whether resources such as files and memory are accessed in a valid manner. Their type system is, however, for call-byvalue λ-calculus with resource primitives, and does not deal with non-fun ..."
Abstract - Add to MetaCart
a Functional Language with Exceptions Igarashi and Kobayashi have proposed a general type system for checking whether resources such as files and memory are accessed in a valid manner. Their type system is, however, for call-byvalue λ-calculus with resource primitives, and does not deal with non

Resource Usage Analysis)

by Taehoon Kim, Hyeunjee Kim, Jaechun No
"... Recently, due to the development of next-generation computing devices and high-performance network, VDI (Virtual Desktop Infrastructure) is receiving a great deal of attention from IT market as an essential part of cloud computing. VDI enables to host multiple, individual virtual machines that are p ..."
Abstract - Add to MetaCart
Recently, due to the development of next-generation computing devices and high-performance network, VDI (Virtual Desktop Infrastructure) is receiving a great deal of attention from IT market as an essential part of cloud computing. VDI enables to host multiple, individual virtual machines that are provisioned from servers located at the data center by using hypervisor. One of the critical issues related to VDI is to reduce the performance difference between virtual machines and physical ones. In this paper, we present a real-time VM monitoring system, called SETMOV, that is able to collect the
Next 10 →
Results 1 - 10 of 7,174
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University