作者: 逗它小傻瓜 時間: 2025-3-21 23:19 作者: 甜食 時間: 2025-3-22 03:56 作者: Chauvinistic 時間: 2025-3-22 04:45
On the Predictive Properties of Performance Models Derived through Input-Output Relationshipsstem for different values of the input? The CM’s parameters are obtained by solving a non-linear optimization problem. The paper shows through experiments that the CM is relatively robust and has predictive power over a range of input values.作者: Ingratiate 時間: 2025-3-22 11:25
Deriving Work Plans for Solving Performance and Scalability Problemslity solution with an ordered set of work activities. Rules are used to derive a work plan sketching the implementation of a solution for the particular application based on an initial set of work activities. The rule-based approach identifies impacted elements and determines how they should be chan作者: Ebct207 時間: 2025-3-22 16:12 作者: Ebct207 時間: 2025-3-22 18:20 作者: 討好女人 時間: 2025-3-22 22:17 作者: 變化無常 時間: 2025-3-23 03:33
Reinhart Schuster,Paul W. Murphyata models, and easy cloud deployment. To avoid overprovisioning, it is essential to be able to identify the correct number of nodes required for a specific system before deployment. This paper benchmarks and compares three of the most common NoSQL databases: Cassandra, MongoDB and HBase. We deploy 作者: 包庇 時間: 2025-3-23 05:44 作者: Occupation 時間: 2025-3-23 09:48 作者: Pathogen 時間: 2025-3-23 15:29 作者: FLUSH 時間: 2025-3-23 20:53 作者: ODIUM 時間: 2025-3-24 00:03 作者: 公式 時間: 2025-3-24 05:54
Ellen Herr-Israel,Lorraine Mccune a significant impact on a company’s success. When a performance problem such as a performance bottleneck has been detected, the root cause identified and a solution proposed, developers have to identify the elements of the application often manually that will undergo changes and determine how these作者: 影響 時間: 2025-3-24 07:14 作者: Orthodontics 時間: 2025-3-24 12:09
https://doi.org/10.1007/3-540-10826-2nks to advances in industrialisation, transport and telecommunications. Effective real-time decision making and management of modern epidemic outbreaks depends on the two factors: the ability to determine epidemic parameters as the epidemic unfolds, and the ability to characterise rigorously the unc作者: Axon895 時間: 2025-3-24 15:45
Waltraud Dehning,Heidrun Essig,Susanne Maassdel is the description of the parking lot and a Markovian description for the driver behavior, the set of computable performance measures contains the average time necessary for the user to reach the desired destination, the amount of cars moving in the parking lot at the same time (thus, the enviro作者: ligature 時間: 2025-3-24 20:24
Special aspects of user behaviour,ethodology for evaluating each of these metrics that only requires measurements of bus ‘headways’ — the time between subsequent bus arrivals. Our methodology includes Monte Carlo simulation and time series analysis. Since one metric is given in ambiguous language, we provide a formal description of 作者: 網(wǎng)絡(luò)添麻煩 時間: 2025-3-25 02:52 作者: 愛得痛了 時間: 2025-3-25 03:29 作者: Comprise 時間: 2025-3-25 08:33
The three levels of abstraction,rently for PEPA models, a modeller who wishes to solve a capacity planning problem has to either carry out a manual search for an optimal configuration or work outside the provided tool suite. We present a new extension to the Eclipse Plug-in for PEPA which integrates automated capacity planning int作者: Microgram 時間: 2025-3-25 12:28 作者: 微不足道 時間: 2025-3-25 16:38
Waltraud Dehning,Heidrun Essig,Susanne Maassin some high-level formalism. A variety of efficient, “symbolic” algorithms, which manipulate sets of states instead of individual states, are known for this purpose. However, there are cases where explicit generation algorithms are still used. This paper seeks to efficiently use decision diagrams a作者: Collision 時間: 2025-3-26 00:03 作者: coalition 時間: 2025-3-26 03:18 作者: Aggressive 時間: 2025-3-26 04:40 作者: STEER 時間: 2025-3-26 10:28
https://doi.org/10.1007/978-3-319-10885-8formal methods; mathematics of computing; model checking; performance evaluation; performance modeling; p作者: LIEN 時間: 2025-3-26 12:37 作者: 頭盔 時間: 2025-3-26 20:27
Optimal Hiring of Cloud Servers hire, and when to release them, so as to minimize both the job holding costs and the server costs. Under certain assumptions, the problem can be formulated in terms of a semi-Markov decision process and the optimal hiring policy can be computed. Two situations are considered: (a) jobs are submitted作者: Freeze 時間: 2025-3-27 00:06
Performance Evaluation of NoSQL Databasesata models, and easy cloud deployment. To avoid overprovisioning, it is essential to be able to identify the correct number of nodes required for a specific system before deployment. This paper benchmarks and compares three of the most common NoSQL databases: Cassandra, MongoDB and HBase. We deploy 作者: 使激動 時間: 2025-3-27 02:09
A Systematic Approach for Composing General Middleware Completions to Performance Modelserformance completions” represent the infrastructure and must be incorporated in the application performance model. This paper considers completions for middleware. It proposes a unified framework for describing all kinds of middleware in the Layered Queuing Network (LQN) model, based on a generic t作者: absolve 時間: 2025-3-27 06:59 作者: 多骨 時間: 2025-3-27 10:08
Fluid Vacation Model with Markov Modulated Load and Exhaustive Disciplinekov chain and the fluid is removed by constant rate during the service period. Due to the continuous nature of the fluid the state space of the model becomes continuous, which is the major novelty and challenge of the analysis. We adapt the descendant set approach used in polling models to the fluid作者: CRUE 時間: 2025-3-27 14:10
Use of a Levy Distribution for Modeling Best Case Execution Time Variationn within modern multi-core computer systems. For an otherwise deterministic application, we would expect the execution time variation to be non-existent (effectively zero). Unfortunately, this expectation is in error. For instance, variance in the realized execution time tends to increase as the num作者: Ophthalmologist 時間: 2025-3-27 18:41
On the Predictive Properties of Performance Models Derived through Input-Output Relationshipshen obtaining model parameters through measurements is difficult. This paper addresses this problem by presenting an approach that derives analytic model parameters by observing the input-output relationships of a real system. More specifically, input (i.e., arrival rates for each job class) and out作者: hidebound 時間: 2025-3-28 01:45
Deriving Work Plans for Solving Performance and Scalability Problems a significant impact on a company’s success. When a performance problem such as a performance bottleneck has been detected, the root cause identified and a solution proposed, developers have to identify the elements of the application often manually that will undergo changes and determine how these作者: Pessary 時間: 2025-3-28 06:03 作者: LINES 時間: 2025-3-28 07:26
Uncertainty in On-The-Fly Epidemic Fittingnks to advances in industrialisation, transport and telecommunications. Effective real-time decision making and management of modern epidemic outbreaks depends on the two factors: the ability to determine epidemic parameters as the epidemic unfolds, and the ability to characterise rigorously the unc作者: Nmda-Receptor 時間: 2025-3-28 10:59 作者: 金哥占卜者 時間: 2025-3-28 17:38 作者: CLAM 時間: 2025-3-28 18:55 作者: 初學(xué)者 時間: 2025-3-28 23:04 作者: Epidural-Space 時間: 2025-3-29 03:19
Automated Capacity Planning for PEPA Modelsrently for PEPA models, a modeller who wishes to solve a capacity planning problem has to either carry out a manual search for an optimal configuration or work outside the provided tool suite. We present a new extension to the Eclipse Plug-in for PEPA which integrates automated capacity planning int作者: hemoglobin 時間: 2025-3-29 11:09 作者: 知識 時間: 2025-3-29 11:32 作者: plasma-cells 時間: 2025-3-29 18:07
Non-Markovian Modeling of a BladeCenter Chassis Midplaneo meet user requirements. At the infrastructure level, this specification is translated into tighter ones on the datacenter hosting physical resources. In this paper, starting from a real case study of the IBM BladeCenter, we provide a technique for the quantitative evaluation of datacenter infrastr作者: –LOUS 時間: 2025-3-29 20:22
Reinhart Schuster,Paul W. Murphythen compare the behavior of these systems to high-level queueing network models. Our results show that the models are able to capture the main performance characteristics of the studied databases and form the basis for a capacity planning tool for service providers and service users.作者: organic-matrix 時間: 2025-3-30 03:50 作者: 姑姑在炫耀 時間: 2025-3-30 07:39 作者: Osteoporosis 時間: 2025-3-30 09:00 作者: Veneer 時間: 2025-3-30 14:30 作者: Misnomer 時間: 2025-3-30 18:55 作者: 迫擊炮 時間: 2025-3-30 23:14
Formal Punctuality Analysis of Frequent Bus Services Using Headway Datamance of their network meets the targets set by government regulators. We carry out a case study using Automatic Vehicle Location (AVL) data involving two frequent services, including the AirLink service to and from Edinburgh airport.作者: 變色龍 時間: 2025-3-31 01:23 作者: Mettle 時間: 2025-3-31 06:38 作者: Hippocampus 時間: 2025-3-31 10:14
A Systematic Approach for Composing General Middleware Completions to Performance Modelsemplate and elaborations for middleware features. The template is applied to several common request-reply middleware systems. A process is given for building a new middleware completion model and for incorporating it into a LQN model.作者: Coma704 時間: 2025-3-31 14:41 作者: 幻影 時間: 2025-3-31 20:58
Markov Decision Process and Linear Programming Based Control of MAP/MAP/N Queues. Idle servers preserve their phases..We transform the obtained infinite state optimization problem to a finite state one and apply two optimization procedures, policy iteration of finite state MDP and linear programming.作者: CHANT 時間: 2025-3-31 22:00 作者: 清楚說話 時間: 2025-4-1 05:28 作者: 惡意 時間: 2025-4-1 07:43
0302-9743 ections named: cloud performance modelling; queueing and fluid models; performance of computation and programming; fitting; urban traffic modelling; decision making; and Markovian models, above and beyond.978-3-319-10884-1978-3-319-10885-8Series ISSN 0302-9743 Series E-ISSN 1611-3349
