Filters








769,403 Hits in 3.4 sec

Resource usage analysis

Atsushi Igarashi, Naoki Kobayashi
2002 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '02  
To remedy this situation, we 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.  ...  It is an important criterion of program correctness that a program accesses resources in a valid manner.  ...  Usage Analysis Now, we define the problem of resource usage analysis.  ... 
doi:10.1145/503272.503303 dblp:conf/popl/IgarashiK02 fatcat:rklsyykdybftfnean4hlgzrkeq

Resource usage analysis

Atsushi Igarashi, Naoki Kobayashi
2005 ACM Transactions on Programming Languages and Systems  
To remedy this situation, we 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.  ...  It is an important criterion of program correctness that a program accesses resources in a valid manner.  ...  Usage Analysis Now, we define the problem of resource usage analysis.  ... 
doi:10.1145/1057387.1057390 fatcat:exnevsesnzfwzoucpktwc73fei

Resource usage analysis

Atsushi Igarashi, Naoki Kobayashi
2002 SIGPLAN notices  
To remedy this situation, we 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.  ...  It is an important criterion of program correctness that a program accesses resources in a valid manner.  ...  Usage Analysis Now, we define the problem of resource usage analysis.  ... 
doi:10.1145/565816.503303 fatcat:tloyf2mxh5alblqa47kszk3rwa

Incremental resource usage analysis

Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez
2012 Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation - PEPM '12  
Incremental 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.  ...  The aim of incremental global analysis is, given a program, its analysis results and a series of changes to the program, to obtain the new analysis results as efficiently as possible and, ideally, without  ...  Introduction Cost analysis [26] (a.k.a. resource usage analysis) aims at automatically inferring the resource consumption of executing a program as a function of its input data sizes.  ... 
doi:10.1145/2103746.2103754 dblp:conf/pepm/AlbertCPR12 fatcat:5x3dntizw5eedkmrzjs4apibam

Resource Usage Analysis and Its Application to Resource Certification [chapter]

Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini
2009 Lecture Notes in Computer Science  
Resource usage is one of the most important characteristics of programs.  ...  Automatically generated information about resource usage can be used in multiple ways, both during program development and deployment.  ...  Therefore, automated ways of estimating resource usage are quite useful and the general area of resource usage analysis (or resource analysis for short) has received considerable attention.  ... 
doi:10.1007/978-3-642-03829-7_9 fatcat:xqjizk4bc5gr3fjyhfavrnsfya

Resource Usage Analysis for the π-Calculus

Naoki Kobayashi, Kohei Suenaga, Lucian Wischik, Davide Sangiorgi
2006 Logical Methods in Computer Science  
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.  ...  usage analysis.  ... 
doi:10.2168/lmcs-2(3:4)2006 fatcat:noihreh7ajcpznilngoi7auzsi

Resource Usage Analysis for the π-Calculus [chapter]

Naoki Kobayashi, Kohei Suenaga, Lucian Wischik
2005 Lecture Notes in Computer Science  
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.  ...  usage analysis.  ... 
doi:10.1007/11609773_20 fatcat:mfdryvrmbzetxhvm3oozwdjmlm

ANALYSIS OF MATERIAL RESOURCES USAGE OF THE COMPANY

Zoriana Skybinska, Tetiana Gryniv
2019 The institute of accounting, control and analysis in the globalization circumstances  
The analysis of material resources effective usage is related to research of level of material resources usage.  ...  Analysis of the effectiveness of material resources usage analyze in the following main directions: -analysis of material resources usage, -analysis of generalizing and specific indicators of their use  ... 
doi:10.35774/ibo2019.03.068 fatcat:b5w2w45wivhy3gdcv2hovwujja

User-Definable Resource Usage Bounds Analysis for Java Bytecode

Jorge Navas, Mario Méndez-Lojo, Manuel V. Hermenegildo
2009 Electronical Notes in Theoretical Computer Science  
We present a fully automated analysis for inferring upper bounds on the usage that a Java bytecode program makes of a set of application programmer-definable resources.  ...  From these definitions our analysis derives functions which return an upper bound on the usage that the whole program (and individual blocks) make of that resource for any given set of input data sizes  ...  Step 3: Resource Usage Analysis.  ... 
doi:10.1016/j.entcs.2009.11.015 fatcat:ylqtidxopfbepncuq7ka5pmsly

Resource usage analysis for a functional language with exceptions

Futoshi Iwama, Atsushi Igarashi, Naoki Kobayashi
2006 Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '06  
Dealing with exception primitives is especially important in practice, since many resource access primitives may raise 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.  ...  In parallel to the present work, we have recently studied typebased resource usage analysis for concurrent programs [15] .  ... 
doi:10.1145/1111542.1111550 dblp:conf/pepm/IwamaIK06 fatcat:k2xlgv6gz5fpngvkjusnpcjiaa

Resource Usage Analysis from a Different Perspective on MOOC Dropout [article]

Remi Brochenin and Joos Buijs and Mehrnoosh Vahdat and Wil van der Aalst
2017 arXiv   pre-print
We present a novel learning analytics approach, for analyzing the usage of resources in MOOCs. Our target stakeholders are the course designers who aim to evaluate their learning materials.  ...  We present results that highlight patterns showing how learners use resources. We also show examples of practical conclusions a course designer may benefit from.  ...  Analysis of Resource Usage in MOOCs MOOC usage behaviour from the perspective of the resources has not been studied as often as the overall behaviour of individual learners.  ... 
arXiv:1710.05917v1 fatcat:y7okwle72vgnzfaqk3juzur2hq

Analysis and Clustering of Workload in Google Cluster Trace based on Resource Usage [article]

Mansaf Alam, Kashish Ara Shakil, Shuchi Sethi
2015 arXiv   pre-print
Google in May 2011 released a trace of a cluster of 11k machines referred as Google Cluster Trace.This trace contains cell information of about 29 days.This paper provides analysis of resource usage and  ...  usage, clustering of Workload Patterns and Classification of jobs into different types based on k-means clustering.Though there have been earlier works for analysis of this trace, but our analysis provides  ...  Fig.1 . represents information about resource usage in such a job type. For the purpose of analysis we have used two major resources memory and CPU only.  ... 
arXiv:1501.01426v1 fatcat:rt6cpovhxrhdpjlwdu3apzlz2a

Measuring the Usage Analysis of Open Educational Resources In India: A Case Study of e-PG Pathshala [chapter]

Subhajit Panda
2020 Zenodo  
This paper tries to investigate the usage pattern of e-PG Pathshala in respect to geographical coverage and subject areas.  ...  Open Educational Resources (OER) are a new way of learning in the existing era without any geographical barrier and almost free of cost.  ...  The students and teachers can use this e-content as an OER or as resource material in a Flipped Classroom Model (Hajam, 2016) .  ... 
doi:10.5281/zenodo.4269159 fatcat:mbcsksy745h2hlakyruvnn2xtu

Accumulating computational resource usage of genomic data analysis workflow to optimize cloud computing instance selection [article]

Tazro Ohta, Tomoya Tanjo, Osamu Ogasawara
2018 bioRxiv   pre-print
We demonstrated the analysis by using seven transcriptome quantification workflows on six instance types.  ...  Along with software packaged in containers, the workflow description standards Common Workflow Language also enabled to perform data analysis on multiple different computing environments with ease.  ...  This result will be useful to estimate the resource usage from the size of input data.  ... 
doi:10.1101/456756 fatcat:q7k7jy4ld5bkdn3ldeeddyywku

Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types

A. SERRANO, P. LOPEZ-GARCIA, M. V. HERMENEGILDO
2014 Theory and Practice of Logic Programming  
The abstract domain operations are integrated with the setting up and solving of recurrence equations for inferring both size and resource usage functions.  ...  AbstractWe present a novel general resource analysis for logic programs based on sized types.  ...  Introduction Resource usage analysis infers the aggregation of some numerical properties (named resources), like memory usage, time spent in computation, or bytes sent over a wire, throughout the execution  ... 
doi:10.1017/s147106841400057x fatcat:fukwje3evncoxpviedccdl6vuy
« Previous Showing results 1 — 15 out of 769,403 results