標題: Titlebook: Quantitative Evaluation of Systems; 11th International C Gethin Norman,William Sanders Conference proceedings 2014 Springer International P [打印本頁] 作者: 字里行間 時間: 2025-3-21 18:39
書目名稱Quantitative Evaluation of Systems影響因子(影響力)
書目名稱Quantitative Evaluation of Systems影響因子(影響力)學科排名
書目名稱Quantitative Evaluation of Systems網(wǎng)絡公開度
書目名稱Quantitative Evaluation of Systems網(wǎng)絡公開度學科排名
書目名稱Quantitative Evaluation of Systems被引頻次
書目名稱Quantitative Evaluation of Systems被引頻次學科排名
書目名稱Quantitative Evaluation of Systems年度引用
書目名稱Quantitative Evaluation of Systems年度引用學科排名
書目名稱Quantitative Evaluation of Systems讀者反饋
書目名稱Quantitative Evaluation of Systems讀者反饋學科排名
作者: Musculoskeletal 時間: 2025-3-21 20:19
On Performance of Gossip Communication in a Crowd-Sensing Scenarioeneric model to investigate the robustness and efficiency of LTE/Gossip hybrid data transmission strategies for crowd-sensing networks that are not amenable to mean-field analysis. To illustrate our model’s scalability, we fit it to journey data from the London Cycle Hire scheme.作者: flavonoids 時間: 2025-3-22 03:36
Modelling Replication in NoSQL Datastoresfigurations. We study the relationship between cluster size and consistency guarantees on cluster performance and identify the effect that node capacity and configuration has on the overall performance of the cluster.作者: carotid-bruit 時間: 2025-3-22 05:21 作者: STRIA 時間: 2025-3-22 09:09 作者: 難管 時間: 2025-3-22 14:41 作者: facilitate 時間: 2025-3-22 18:36
On Queues with General Service Demands and Constant Service Capacityn arbitrary customer. The pgf of the number of customers is derived explicitly in case of either geometrically distributed service demands, and/or for a geometric arrival distribution. The analysis is complemented by several numerical examples.作者: thrombus 時間: 2025-3-22 23:13
A Statistical Approach for Computing Reachability of Non-linear and Stochastic Dynamical Systemsbounds which, when combined with template polyhedra ad optimised, allow us to bound the reachable set with a given statistical confidence. We show how this method works straightforwardly also to do reachability computations for uncertain stochastic models.作者: 替代品 時間: 2025-3-23 04:22
The Octave Queueing Packagect-form Queueing Networks. Additionally, the package provides functions to analyze single station queueing systems and Markov chains. Therefore, the . package can be used for reliability analysis, capacity planning and general systems modeling and evaluation.作者: EVEN 時間: 2025-3-23 06:27
Simulation Debugging and Visualization in the M?bius Modeling Frameworknder consideration. This paper discusses the details of the design and implementation of the feature in the M?bius modeling environment. Also, a case study is presented to demonstrate the new abilities provided by the feature.作者: 拘留 時間: 2025-3-23 12:46
Scalar: A Distributed Scalability Analysis Frameworkthreads, and built-in node monitoring to detect resource bottlenecks in the benchmark framework deployment itself. Furthermore, it offers highly scalable results analysis that exploits data locality and characterizes the overall system scalability in terms of the Universal Scalability Law.作者: ODIUM 時間: 2025-3-23 15:12 作者: Dna262 時間: 2025-3-23 21:53
Quantitative Evaluation of Service Dependability in Shared Execution Environmentsof the Netherlands), making energy a major factor in IT costs. However, according to [3], due to the growing number of underutilized servers, only 6 - 12% of the energy consumption in data centers nowadays is spent for performing computations.作者: pus840 時間: 2025-3-24 01:48
A Structured Solution Approach for Markov Regenerative Processesov chain by performing a transient analysis in each step. This method is called “matrix free” and it is often more efficient in memory and time. In this paper we go one step further by even avoiding the storage of the generator matrices required by the matrix-free method, thanks to the use of a Kronecker representation.作者: Detoxification 時間: 2025-3-24 05:22
Probabilistic Model Checking of DTMC Models of User Activity Patterns that characterise user behaviour, based on activity patterns inferred from actual logged user traces. We encode these new models in a probabilistic model checker and use probabilistic temporal logics to gain insight into software usage. We motivate and illustrate our approach by application to the logged user traces of an iOS app.作者: 情感脆弱 時間: 2025-3-24 10:35
Performance Comparison of IEEE 802.11 DCF and EDCA for Beaconing in Vehicular Networkshe latter is the mandated method to be used in vehicular networks (in 802.11p). We present validated analytical models for both DCF and EDCA, and compare both methods in the context of beaconing.We will show that, surprisingly,DCF outperforms EDCA under assumptions that are realistic for beaconing in vehicular networks.作者: Assault 時間: 2025-3-24 11:04 作者: 成份 時間: 2025-3-24 16:31 作者: GRATE 時間: 2025-3-24 19:03 作者: 機密 時間: 2025-3-25 00:30 作者: 彎曲的人 時間: 2025-3-25 03:47 作者: attenuate 時間: 2025-3-25 08:53
A Statistical Approach for Computing Reachability of Non-linear and Stochastic Dynamical Systemst statistical techniques. From a small set of samples of the true reachable function of the system, expressed as a function of initial conditions or parameters, we emulate such function using a Bayesian method based on Gaussian Processes. Uncertainty in the reconstruction is reflected in confidence 作者: 并置 時間: 2025-3-25 12:39
Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loadsmogeneous population of thermostatically controlled loads (TCLs). The temperature dynamics of a TCL is characterized by a differential equation in which the TCL status (ON, OFF) is controlled by a thresholding mechanism, and which displays inhomogeneity as its thermal resistance changes in time acco作者: crease 時間: 2025-3-25 18:53
Finite Abstractions of Stochastic Max-Plus-Linear SystemsPL) systems. SMPL systems are probabilistic extensions of discrete-event MPL systems that are widely employed in the engineering practice for timing and synchronisation studies. We construct finite abstractions by re-formulating the SMPL system as a discrete-time Markov process, then tailoring forma作者: 宣稱 時間: 2025-3-25 20:32 作者: IRS 時間: 2025-3-26 02:43 作者: Morose 時間: 2025-3-26 07:10
Probabilistic Model Checking of DTMC Models of User Activity Patterns an individual user. In order to address questions raised by system developers and evaluators about software usage, we define new probabilistic models that characterise user behaviour, based on activity patterns inferred from actual logged user traces. We encode these new models in a probabilistic m作者: 袋鼠 時間: 2025-3-26 10:17 作者: Eulogy 時間: 2025-3-26 14:10
A New GreatSPN GUI for GSPN Editing and CSLTA Model Checkingic logic CSL.. The GUI provides a modern and fully-featured environment designed around a complete modeling workflow: The user designs a GSPN model, a DTA (automaton describing properties for the CSL. logic), and can simulate the GSPN behavior and the model checking process with an interactive simul作者: Demulcent 時間: 2025-3-26 18:46 作者: 水土 時間: 2025-3-26 21:29
A Perfect Sampling Algorithm of Random Walks with Forbidden Arcsgorithm combines the rejection method and coupling from the past of a set of trajectories of the Markov chain that generalizes the classical sandwich approach. We also provide a complexity analysis of this approach in several cases showing a coupling time in .( ...log.) when no arc is forbidden and 作者: 主動 時間: 2025-3-27 04:21
Modelling Replication in NoSQL Datastoresough the replication of data across different machines and data centers. The performance characteristics of NoSQL datastores are determined by the degree of data replication and the consistency guarantees required by the application. This paper presents a novel performance study of the Cassandra NoS作者: BURSA 時間: 2025-3-27 07:03 作者: Mendicant 時間: 2025-3-27 10:39
Simulation Debugging and Visualization in the M?bius Modeling Frameworkprovides a powerful, formalism-independent, discrete-event simulator that outputs static results such as execution traces. The M?bius Simulation Debugger and Visualization (MSDV) feature adds user interaction to running simulations to provide a more transparent view into the dynamics of the models u作者: 錢財 時間: 2025-3-27 15:46
Scalar: A Distributed Scalability Analysis Frameworkframework that is at least as scalable to sufficiently stress the system under test. This paper summarizes Scalar, our distributed, extensible load testing tool that can generate high request volumes using multiple coordinated nodes. It has support for communication and synchronization between user 作者: patriarch 時間: 2025-3-27 20:47
Conference proceedings 2014in September 2014. The 24 full papers and 5 short papers included in this volume were carefully reviewed and selected from 61 submissions. They are organized in topical sections named: Kronecker and product form methods; hybrid systems; mean field/population analysis; models and tools; simulation; q作者: indices 時間: 2025-3-28 01:16 作者: 斗爭 時間: 2025-3-28 03:54 作者: 改變立場 時間: 2025-3-28 08:18
Mean-Field Approximation and Quasi-Equilibrium Reduction of Markov Population Modelso reductions, and allows an arbitrary order of their application. By inverting the sequence, we show that the double limit does not commute in general: the mean field limit of a time-scale reduced model is not the same as the time-scale reduced limit of a mean field model. An example is provided to 作者: Disk199 時間: 2025-3-28 11:55
on sector-specific legislation and its .e-nforcement.. The goal is to assess whetherthe existing regulatory and policy framework are sufficient for promoting compliance and bridging the enforcement gap in the digital single market. Focusing on the e-food market, the book presents a state-of-the-art 作者: 道學氣 時間: 2025-3-28 15:23 作者: overture 時間: 2025-3-28 19:25
Tamer Ba?arjekten vollgestopft sind bis an die Decke ihres Fas- sungsvermogens. Deshalb haben sie keine Zeit, dicke Bucher zu lesen. So eines wie dieses Buch. Man sollte aber gerade dieses Buch lesen. Hier finden Sie genial ver- einfachende und zukunftsoffene Architekturmuster und entdecken zukunftstrach- tige作者: foppish 時間: 2025-3-28 23:11 作者: 遣返回國 時間: 2025-3-29 06:30
Luca Bortolussi,Guido Sanguinettilleistungen sind die Systemschnittstellen stark betroffen. Neue Vertriebskonzepte im Privatkundengesch?ft verlangen die Integration der Vertriebskan?le und damit einhergehend neue Konzepte einer integrierten Business Intelligence und eines integrierten Vertriebscontrollings. Nicht zuletzt kommen auc作者: Buttress 時間: 2025-3-29 09:10 作者: ascetic 時間: 2025-3-29 14:09
Dieky Adzkiya,Sadegh Esmaeil Zadeh Soudjani,Alessandro Abatet in the domain of electricity utility services! E-Governance system for Smart City could be well defined as ., wherein E-Governance of Energy Generation and Distribution functions as vital source of power. Solar photovoltaic (SPV) is the proven method of electricity generation with significant sust作者: 翅膀拍動 時間: 2025-3-29 18:26 作者: Callus 時間: 2025-3-29 23:46 作者: BROTH 時間: 2025-3-30 01:49 作者: perjury 時間: 2025-3-30 07:10 作者: Arb853 時間: 2025-3-30 11:23 作者: 連詞 時間: 2025-3-30 15:20 作者: 鄙視 時間: 2025-3-30 18:40 作者: cognizant 時間: 2025-3-30 21:18 作者: otic-capsule 時間: 2025-3-31 03:09 作者: hemoglobin 時間: 2025-3-31 08:18 作者: DAMP 時間: 2025-3-31 10:42
Elvio Gilberto Amparore,Peter Buchholz,Susanna Donatelliungsvermogens. Deshalb haben sie keine Zeit, dicke Bucher zu lesen. So eines wie dieses Buch. Man sollte aber gerade dieses Buch lesen. Hier finden Sie genial ver- einfachende und zukunftsoffene Architekturmuster und entdecken zukunftstrach- tige978-3-663-01575-8作者: Confound 時間: 2025-3-31 17:06 作者: 放逐某人 時間: 2025-3-31 19:45 作者: ACE-inhibitor 時間: 2025-4-1 01:44
Tamer Ba?ar die Treiber. Der techni- sche Fortschritt zwingt sie von einer Investition in die nachst hohere. Wie schon ware es doch fiir sie, wenn man sie fiir einige Jahre in Ruhe IieBe. Wenn keine natio- nal en und internationalen regulatorischen Neuerungen einen permanenten Ande- rungsdruck erzeugten, wenn 作者: 含糊 時間: 2025-4-1 04:22 作者: violate 時間: 2025-4-1 06:45 作者: 虛構(gòu)的東西 時間: 2025-4-1 12:23
Luca Bortolussi,Guido Sanguinettinkenumfeldes. Zu nennen sind beispielsweise ?nderungen im Steuerrecht oder im Erbschaftsrecht. Gravierende Auswirkungen haben auch die umzusetzenden Richtlinien zum Management der Kreditrisiken, die unter dem Stichwort Basel II zusammengefasst sind. Ein weiterer Ausl?ser sind die Umgestaltungen im b
