نتایج جستجو برای: resource usage

تعداد نتایج: 301794  

Journal: :CoRR 2018
Florian Schmidt Mathias Niepert Felipe Huici

Creating a model of a computer system that can be used for tasks such as predicting future resource usage and detecting anomalies is a challenging problem. Most current systems rely on heuristics and overly simplistic assumptions about the workloads and system statistics. These heuristics are typically a one-size-fits-all solution so as to be applicable in a wide range of applications and syste...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه پیام نور - دانشگاه پیام نور استان تهران - دانشکده علوم انسانی و اجتماعی 1389

today the image of a permanent skeletal space of cities affected by some forces or mechanisms is put in time with social-economic development and while imposes a new face and perspective to physical anatomy of cities, and prepares field to changes in content and social- economic structures of cities too. simultaneously with quitting villages in order to settle in cities by villagers, the phen...

2012
Yves Wautelet Samedi Heng Manuel Kolp

Within Agile methods, User Stories (US) are mostly used as primary requirements artifacts and units of functionality of the project. The idea is to express requirements on a low abstraction basis using natural language. Most of them are exclusively centered on the final user as only stakeholder. Over the years, some templates (in the form of concepts relating the WHO, WHAT and WHY dimensions in...

2008
Jorge A. Navas Manuel V. Hermenegildo

OF DISSERTATION Submitted in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy Computer Science The University of New Mexico Albuquerque, New Mexico

2010
Kevin S. Xu Mark Kliger Alfred O. Hero

Most studies on spam thus far have focused on its content or source. These types of studies, however, reveal little about the behavioral characteristics of spammers. In addition, privacy issues may prevent wide access to email content. In this paper, we try to identify spammers by investigating their resource usage patterns. Specifically, we look at usage patterns of harvesters, the bots that a...

2003
M. Hennessy T. Owen I. Wakeman

We propose an integrated approach to resource management for end-to-end pervasive services, spanning over foundational models, abstract machines, runtime environments and programming languages. Our programme builds upon the extensive body of foundational work on ubiquitous (or global) computing and on existing research on programmable networks, complementing current activities in the EPSRC Prog...

Journal: :Logical Methods in Computer Science 2006
Naoki Kobayashi Kohei Suenaga Lucian Wischik

We propose a type-based resource usage analysis for the π-calculus extendedwith resource creation/access primitives. The goal of the resource usage analysis is tostatically check that a program accesses resources such as files and memory in a validmanner. Our type system is an extension of previous behavioral type systems for the π-calculus. It can guarantee the safety property ...

2015
K. Sangeetha K. Ravikumar

The Cloud resource procurement of cloud resources is an interesting and yet unexplored area in cloud computing. cloud vendors choose a fixed pricing strategy for pricing their resources and do not provide any incentive to their users. That’s why to choose only automates the selection of an appropriate cloud vendor and also to implement the dynamic pricing. A cloud broker which can implement the...

2007
Massimo Bartoletti Pierpaolo Degano Gian Luigi Ferrari Roberto Zunino

An extension of the λ-calculus is proposed, to study resource usage analysis and verification. Resources can be dynamically created, and passed / returned by functions; their usages have side effects, represented by events. Usage policies are properties over histories of events, and have a possibly nested, local scope. A type and effect system over-approximates the set of histories a program ca...

2011
F. Bueno Maria Garcia de la Banda M. V. Hermenegildo P. Lopez-Garcia E. Mera P. J. Stuckey

We present a method for the static resource usage analysis of MiniZinc models. The analysis can infer upper bounds on the usage that a MiniZinc model will make of some resources such as the number of constraints of a given type (equality, disequality, global constraints, etc.), the number of variables (search variables or temporary variables), or the size of the expressions before calling the s...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید