Titlebook: Computer Performance Engineering; 14th European Worksh Philipp Reinecke,Antinisca Di Marco Conference proceedings 2017 Springer Internation

去是公开

书目名称Computer Performance Engineering影响因子(影响力)




书目名称Computer Performance Engineering影响因子(影响力)学科排名




书目名称Computer Performance Engineering网络公开度




书目名称Computer Performance Engineering网络公开度学科排名




书目名称Computer Performance Engineering被引频次




书目名称Computer Performance Engineering被引频次学科排名




书目名称Computer Performance Engineering年度引用




书目名称Computer Performance Engineering年度引用学科排名




书目名称Computer Performance Engineering读者反馈




书目名称Computer Performance Engineering读者反馈学科排名

失败主义者

Bounded Aggregation for Continuous Time Markov Decision Processesg power with respect to real systems. In this paper we combine existing state aggregation and optimization methods for a new aggregation based optimization method. More specifically, we compute reward bounds on an aggregated model by exchanging state space size with uncertainty. We propose an approa

arousal

Interactive Markovian Equivalence, interactive Markovian equivalence (IME) and weak interactive Markovian equivalence (WIME) for closed IMCs. We define the quotient system under these relations and investigate their relationship with strong bisimulation and weak bisimulation, respectively. Next, we show that both IME and WIME can b

entitle

Prologue

Analysis of Timed Properties Using the Jump-Diffusion Approximationroximated efficiently by means of either a set of ordinary differential equations (ODEs) or by a set of stochastic differential equations (SDEs). While with the ODE approximation the chain stochasticity is not maintained, the SDE approximation, also known as the diffusion approximation, can capture

biosphere

Stability Analysis of a Multiclass Retrial System with Coupled Orbit Queues of blocking, type-. customer, . is routed to a separate type-. orbit queue of infinite capacity. Customers from the orbit queues try to access the server according to the constant retrial policy. We consider coupled orbit queues. More precisely, the orbit queue . retransmits a blocked customer of t

biosphere

Model Checking the STL Time-Bounded Until on Hybrid Petri Nets Using Nef Polyhedra for each firing of a general transition. We propose an algorithm for model checking the time-bounded until operator in hybrid Petri nets with two general transition firings, based on boolean-set operations on Nef polyhedra. A case study on (dis)-charging an electrical vehicle shows the feasibility

visual-cortex

A New Approach to Predicting Reliable Project Runtimes via Probabilistic Model Checkingue to the tremendous computation requirements, paired with hard restrictions on the available computation power. The methods established today are PERT (Program Evaluation and Review Technique) and CCPM (Critical Chain Project Management). They make simplifying assumptions by focusing on the critica

Nonthreatening

Learning-Based Testing of Cyber-Physical Systems-of-Systems: A Platooning Study has been shown to be effective for unit and integration testing of safety critical components in cyber-physical systems, e.g. automotive ECU software..We consider the challenges faced, and some initial results obtained in an effort to scale up LBT to testing co-operative open cyber-physical systems

BARB