作者: EXALT 時(shí)間: 2025-3-21 21:07 作者: 戲法 時(shí)間: 2025-3-22 02:20 作者: 寵愛 時(shí)間: 2025-3-22 08:16 作者: 發(fā)源 時(shí)間: 2025-3-22 11:31 作者: 圣人 時(shí)間: 2025-3-22 15:53
0302-9743 ncluded in this volume. Also, a set of submissions describing performance modelling tools was transformed into tool presentations and demonstrations. A brief description of these tools is inclu978-3-540-64949-6978-3-540-68061-1Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 圣人 時(shí)間: 2025-3-22 19:24 作者: 意見一致 時(shí)間: 2025-3-23 00:53
Characteristics of the Airline Industryher it is persistent or should be created and terminated with each call. For persistent processes the replication or threading levels must be decided. Inappropriate replication/threading levels can lead to unnecessary queuing delays for callers or an unnecessarily high consumption of memory resource作者: ALERT 時(shí)間: 2025-3-23 02:52
Effects of LCC Entry on Pricing in Aviationd the particular phase of the software life-cycle in which they are applicable. There is an increasing need for a tool that can be used to track the quality of a software product during the software development process, right from the architectural phase all the way up to the operational phase of th作者: irradicable 時(shí)間: 2025-3-23 06:07
Effects of LCC Entry on Pricing in Aviatione potential interaction between such tools. We present the system analysis tools (SAT) application programming interface, which allows for quickly embedding existing tools in the web, and generally simplifies programming analysis tools by structured reuse. We also introduce the FREUD project, which 作者: 青石板 時(shí)間: 2025-3-23 10:55 作者: 儀式 時(shí)間: 2025-3-23 15:49
https://doi.org/10.1007/978-3-7908-2088-1ulticast protocols. QNA-MC is based on the QNA tool which (approximately) analyses open networks consisting of GI|G|m nodes. We extend this method by allowing a more general input in form of multicast routes. These routes are then converted to serve as input for standard QNA. From the results delive作者: detach 時(shí)間: 2025-3-23 18:26
https://doi.org/10.1007/978-3-7908-2088-1 to achieve a low average value and correspondingly high throughput, but response time should also be fairly consistent in order to provide a good quality of service. We develop a new algorithm for computing the probability density function of response times in Markovian models of client-server syst作者: 厭煩 時(shí)間: 2025-3-23 22:39
https://doi.org/10.1007/978-94-017-7321-8est is the simultaneous distribution of the number of customers in the system and the state of the server in steady-state. Both infinite and finite storage capacity for customers is considered. The influence of the operating time-scale is investigated by letting the underlying birth-death process mo作者: 被詛咒的人 時(shí)間: 2025-3-24 05:01
https://doi.org/10.1007/3-7643-7449-7t it especially against curious insiders with access to the network consists of storing the actual information in so-called “home trusted devices” and using temporary pseudonyms for user registration in the network databases. This paper presents a detailed OPNET simulation and evaluation of the sign作者: Inclement 時(shí)間: 2025-3-24 08:43
Secondary Relations for Power Mapsut in addition, the idea of driving the measurement process (application instrumentation and monitoring) by a behavioral model is introduced. Using this model, highly comprehensible performance information can be collected. The combined use of both modeling and measurement techniques is referred to 作者: Substance-Abuse 時(shí)間: 2025-3-24 14:44
https://doi.org/10.1007/3-7643-7449-7rel, is presented. It is based on timing and probabilistic quantitative constructs which complete the functional models. A monitoring mechanism provides performance results during the simulation. This methodology is applied to study a multithreaded run-time system for a distributed functional progra作者: Lime石灰 時(shí)間: 2025-3-24 17:58
https://doi.org/10.1007/3-7643-7449-7s the decomposition by perturbation and the reduction approaches. In the decomposition phase, we remove from the chain some transitions with very small probabilities. But we assume that the reduced graph is still strongly connected after the deletion. A transversal (a cut set of the directed cycles)作者: 驚呼 時(shí)間: 2025-3-24 23:04 作者: 中和 時(shí)間: 2025-3-24 23:11 作者: Petechiae 時(shí)間: 2025-3-25 05:10 作者: 怕失去錢 時(shí)間: 2025-3-25 07:43 作者: 構(gòu)想 時(shí)間: 2025-3-25 12:54
The Action of , on Secondary Cohomology folded bus fiber in which parallel transmission channels are obtained using Wavelength Division Multiplexing (WDM). Nodes connected to the bus exchange data using the channels in parallel. Signals are transmitted from the source to the destination node in an all-optical fashion, thus avoiding the b作者: 難理解 時(shí)間: 2025-3-25 15:56
Computation of the Secondary Hopf Algebra mobility provide availability through file replicas cached at the client. However, the wide range in the quality of network connections a mobile client may experience makes cache management a complex task..One important cache management decision is how (and when) modifications that have been made t作者: 出生 時(shí)間: 2025-3-25 23:58 作者: SENT 時(shí)間: 2025-3-26 01:51 作者: 笨拙的我 時(shí)間: 2025-3-26 05:38
978-3-540-64949-6Springer-Verlag Berlin Heidelberg 1998作者: 歡樂中國(guó) 時(shí)間: 2025-3-26 12:30 作者: 男生戴手銬 時(shí)間: 2025-3-26 12:55 作者: STIT 時(shí)間: 2025-3-26 20:35 作者: Genistein 時(shí)間: 2025-3-27 00:46 作者: SIT 時(shí)間: 2025-3-27 02:21 作者: Wallow 時(shí)間: 2025-3-27 06:19
Compositional Performance Modelling with the TIPPtoolch aims at realising all beneficial aspects of compositional performance modelling, the TIPPtool. It incorporates methods for compositional specification as well as solution, based on state-of-the-art-techniques, and wrapped in a user-friendly graphical front end.作者: Diastole 時(shí)間: 2025-3-27 11:36 作者: albuminuria 時(shí)間: 2025-3-27 16:19 作者: hermitage 時(shí)間: 2025-3-27 17:50
Designing Process Replication and Threading Policies: A Quantitative Approachher it is persistent or should be created and terminated with each call. For persistent processes the replication or threading levels must be decided. Inappropriate replication/threading levels can lead to unnecessary queuing delays for callers or an unnecessarily high consumption of memory resource作者: Enzyme 時(shí)間: 2025-3-28 01:07 作者: 捏造 時(shí)間: 2025-3-28 02:15
Reusable Software Components for Performability Tools, and Their Utilization for Web-Based Configurae potential interaction between such tools. We present the system analysis tools (SAT) application programming interface, which allows for quickly embedding existing tools in the web, and generally simplifies programming analysis tools by structured reuse. We also introduce the FREUD project, which 作者: maintenance 時(shí)間: 2025-3-28 07:43
Compositional Performance Modelling with the TIPPtoolch aims at realising all beneficial aspects of compositional performance modelling, the TIPPtool. It incorporates methods for compositional specification as well as solution, based on state-of-the-art-techniques, and wrapped in a user-friendly graphical front end.作者: Aprope 時(shí)間: 2025-3-28 11:52
QNA-MC: A Performance Evaluation Tool for Communication Networks with Multicast Data Streamsulticast protocols. QNA-MC is based on the QNA tool which (approximately) analyses open networks consisting of GI|G|m nodes. We extend this method by allowing a more general input in form of multicast routes. These routes are then converted to serve as input for standard QNA. From the results delive作者: myriad 時(shí)間: 2025-3-28 18:13 作者: 多骨 時(shí)間: 2025-3-28 21:40 作者: 可耕種 時(shí)間: 2025-3-29 01:28 作者: 縫紉 時(shí)間: 2025-3-29 06:24 作者: isotope 時(shí)間: 2025-3-29 07:46
Instrumentation of Synchronous Reactive Systems for Performance Analysis: A Case Studyrel, is presented. It is based on timing and probabilistic quantitative constructs which complete the functional models. A monitoring mechanism provides performance results during the simulation. This methodology is applied to study a multithreaded run-time system for a distributed functional progra作者: 使服水土 時(shí)間: 2025-3-29 14:59
A Perturbation and Reduction Based Algorithms the decomposition by perturbation and the reduction approaches. In the decomposition phase, we remove from the chain some transitions with very small probabilities. But we assume that the reduced graph is still strongly connected after the deletion. A transversal (a cut set of the directed cycles)作者: Watemelon 時(shí)間: 2025-3-29 16:28 作者: obsession 時(shí)間: 2025-3-29 23:27
Probability, Parallelism and the State Space Exploration Problememory usage that is independent of the length of the state vector. In addition, the algorithm can be easily parallelised. This combination of probability and parallelism enables us to rapidly explore state spaces that are an order of magnitude larger than those obtainable using conventional exhausti作者: Servile 時(shí)間: 2025-3-30 00:37 作者: ASSAY 時(shí)間: 2025-3-30 04:39 作者: 催眠藥 時(shí)間: 2025-3-30 10:20 作者: GOUGE 時(shí)間: 2025-3-30 13:30 作者: 打包 時(shí)間: 2025-3-30 17:22
On Choosing a Task Assignment Policy for a Distributed Server System in First-Come-First-Serve order and the task’s service demand is known in advance. We consider four task assignment policies commonly proposed for such distributed server systems: Round-Robin, Random, Size-Based, in which all tasks within a give size range are assigned to a particular host, and Dyn作者: 銀版照相 時(shí)間: 2025-3-30 23:52 作者: single 時(shí)間: 2025-3-31 01:41 作者: Diverticulitis 時(shí)間: 2025-3-31 08:39 作者: 洞察力 時(shí)間: 2025-3-31 10:27
Probability, Parallelism and the State Space Exploration Problemve techniques. We implement our technique on a distributed-memory parallel computer and we present results showing good speedups and scalability. Finally, we discuss suitable choices for the three hash functions upon which our algorithm is based.作者: 做作 時(shí)間: 2025-3-31 13:32
https://doi.org/10.1007/978-3-7908-2088-1uation and comparison of different layers. The parallel structure of the simulator enables the scaling to large network sites without compromising the accuracy. Two sets of experiments (parallel scaling; TCP and MAC layer interaction) illustrate the features of the GloMoSim platform.作者: 蘆筍 時(shí)間: 2025-3-31 17:56
Effects of LCC Entry on Pricing in Aviationllowing a user to select from the registered modeling formalisms, solvers and graphics tools, and by providing glue between the tools through scripting. We will argue that this form of reuse is particularly suitable for performability modeling tools because of their predictable usage pattern.作者: GRACE 時(shí)間: 2025-3-31 21:43
https://doi.org/10.1007/978-94-017-7321-8 at an ATM switch in the presence of traffic with a higher priority such as Variable Bit Rate (VBR) traffic and Constant Bit Rate (CBR) traffic. For a specific example we illustrate by numerical experiments the influence of the latter traffic types on the ABR service.作者: 幼稚 時(shí)間: 2025-4-1 02:39
The Action of , on Secondary Cohomologyent failures in inactive components. The periodic preventive test is approximated by an Erlang distribution with enough number of stages. We show that for each class of model there is a splitting-based method which is significantly more efficient than the other methods.作者: 煩人 時(shí)間: 2025-4-1 08:03 作者: pacific 時(shí)間: 2025-4-1 13:08 作者: macular-edema 時(shí)間: 2025-4-1 15:33 作者: 解決 時(shí)間: 2025-4-1 22:00 作者: Pessary 時(shí)間: 2025-4-2 00:17 作者: 難理解 時(shí)間: 2025-4-2 06:31
A Comparison of Numerical Splitting-based Methods for Markovian Dependability and Performability Modent failures in inactive components. The periodic preventive test is approximated by an Erlang distribution with enough number of stages. We show that for each class of model there is a splitting-based method which is significantly more efficient than the other methods.
