Proceedings of the 13th EAI International Conference on Performance Evaluation Methodologies and Tools最新文献

筛选
英文 中文
TRACK: Optimizing Artificial Neural Networks for Anomaly Detection in Spark Streaming Systems 专场:优化火花流系统异常检测的人工神经网络
Ahmad Alnafessah, G. Casale
{"title":"TRACK: Optimizing Artificial Neural Networks for Anomaly Detection in Spark Streaming Systems","authors":"Ahmad Alnafessah, G. Casale","doi":"10.1145/3388831.3388860","DOIUrl":"https://doi.org/10.1145/3388831.3388860","url":null,"abstract":"Due to the growth of Big Data processing technologies and cloud computing services, it is common to have multiple tenants share the same computing resources, which may cause performance anomalies. There is an urgent need for an effective performance anomaly detection method that can be used within the production environment to avoid any late detection of unexpected system failures. To address this challenge, we introduce, TRACK, a new black-box training workload configuration optimization with a neural network driven methodology to identify anomalous performance in an in-memory Big Data Spark streaming platform. The proposed methodology revolves around using Bayesian optimization to find the optimal training dataset size and configuration parameters to train the model efficiently. TRACK is validated on a real Apache Spark streaming system and the results show that the TRACK achieves the highest performance (95% for F-score) and reduces the training time by 80% to efficiently train the proposed anomaly detection model in the in-memory streaming platform.","PeriodicalId":419829,"journal":{"name":"Proceedings of the 13th EAI International Conference on Performance Evaluation Methodologies and Tools","volume":"39 6","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120910370","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Efficient, QoE aware delivery of 360° videos on VR headsets over mobile links 通过移动链接,在VR头显上高效,QoE感知360°视频交付
Apoorv Saxena, S. Subramanyam, Pablo César, R. Mei, Berg J. L. Hans van den
{"title":"Efficient, QoE aware delivery of 360° videos on VR headsets over mobile links","authors":"Apoorv Saxena, S. Subramanyam, Pablo César, R. Mei, Berg J. L. Hans van den","doi":"10.1145/3388831.3388834","DOIUrl":"https://doi.org/10.1145/3388831.3388834","url":null,"abstract":"Virtual reality headsets have been in a great demand in the past years due to the immersive experience it can now provide to the users. An immersive experience of high quality, however, requires a high bandwidth connection. The latest generation of these headsets support wireless connectivity and rely on a battery to power the headset. With advancements in 5G technology, soon these headsets would be able to connect to the network directly. To provide a similar immersive and uninterrupted experience to the users, the headsets would need to take into account the intermittent behavior of the wireless channel. In this paper we model the streaming of 360° videos on a VR headset using a wireless channel. We model both the intermittent behavior of the wireless channel as well as the prediction of the head position of the user. The MDP based streaming algorithm we present, guarantees a high Quality of Experience (QoE) for the headset users while ensuring that the resource usage is minimised.","PeriodicalId":419829,"journal":{"name":"Proceedings of the 13th EAI International Conference on Performance Evaluation Methodologies and Tools","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133722674","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Circular Economy: a Performance Evaluation Perspective 循环经济:绩效评估视角
M. Gribaudo, D. Manini, M. Pironti, P. Pisano
{"title":"Circular Economy: a Performance Evaluation Perspective","authors":"M. Gribaudo, D. Manini, M. Pironti, P. Pisano","doi":"10.1145/3388831.3388858","DOIUrl":"https://doi.org/10.1145/3388831.3388858","url":null,"abstract":"Circular Economy has emerged in the last years as an industrial pattern that rethinks the entire design and production cycle of products and goods, to obtain the minimal environmental impact and maximize the energy efficiency. This pattern creates product transformation cycles, that allow to re-use parts and renew energy, defining Circular Economy Ecosystems. Such cycles, are very interesting systems from a performance evaluation point of view: in this paper we give a Colored Petri Net perspective to circular economy. In particular, we focus on an example taken from the literature that considers car manufacturing, and we show how we can deal with the problem using standard performance evaluation techniques. Results from performance analysis of the case study, allow to focus on new interesting metrics and performance indicators, that might not be fully studied with conventional techniques applied by expert of the economical domain.","PeriodicalId":419829,"journal":{"name":"Proceedings of the 13th EAI International Conference on Performance Evaluation Methodologies and Tools","volume":"105 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115544832","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
An SMT-Based Perfect Sampling Algorithm for Stochastic Petri Nets 基于smt的随机Petri网完美抽样算法
H. Okamura, Kazuya Morihara, T. Dohi
{"title":"An SMT-Based Perfect Sampling Algorithm for Stochastic Petri Nets","authors":"H. Okamura, Kazuya Morihara, T. Dohi","doi":"10.1145/3388831.3388844","DOIUrl":"https://doi.org/10.1145/3388831.3388844","url":null,"abstract":"This paper proposes a perfect sampling algorithm for stochastic Petri nets (SPN). The perfect sampling is a technique to draw samples exactly following the stationary distribution. The paper develops the enveloped perfect sampling algorithm (EPSA) for SPN. The main idea behind our approach is to formulate the mathematical programming to obtain lower and upper bounds of system states which are required by EPSA, and the problem is solved by using SMT (satisfiability modulo theories) solver. The presented SMT-based EPSA for SPN expands the applicability of perfect sampling algorithm for SPNs.","PeriodicalId":419829,"journal":{"name":"Proceedings of the 13th EAI International Conference on Performance Evaluation Methodologies and Tools","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124229105","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Speed scaling in fork-join queues: a comparative study fork-join队列中的速度缩放:比较研究
A. Marin, S. Rossi, C. Williamson
{"title":"Speed scaling in fork-join queues: a comparative study","authors":"A. Marin, S. Rossi, C. Williamson","doi":"10.1145/3388831.3388845","DOIUrl":"https://doi.org/10.1145/3388831.3388845","url":null,"abstract":"Frequency scaling plays an important power-saving role in computer systems. In fork-join systems, dynamic adaptation of the server speeds can significantly reduce system power consumption while maintaining high throughput. In previous work, we studied a rate adaptation policy that dynamically chooses server speeds based on the difference in join-queue lengths, with each server knowing only its own join-queue length and that of one other server. In this work, we increase the information available to each server, and choose speeds based on the knowledge of the join-queue lengths of two other servers. We show that, under a specific canonical configuration of the service rates, the new system has exactly the same throughput and subtask dispersion as before, but with reduced power consumption. We use time-reversal analysis to derive the exact stationary performance of this new model under saturation conditions, and use simulation to study more general cases.","PeriodicalId":419829,"journal":{"name":"Proceedings of the 13th EAI International Conference on Performance Evaluation Methodologies and Tools","volume":"76 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128776848","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Analysis of Cognitive Radio Networks with Cooperative Communication 具有协同通信的认知无线电网络分析
Ioannis Dimitriou, Tuan Phung-Duc
{"title":"Analysis of Cognitive Radio Networks with Cooperative Communication","authors":"Ioannis Dimitriou, Tuan Phung-Duc","doi":"10.1145/3388831.3388859","DOIUrl":"https://doi.org/10.1145/3388831.3388859","url":null,"abstract":"This paper proposes and analyzes a two-orbit single server queueing model for cognitive wireless networks with cooperative communication. In our model, two secondary users opportunistically utilize a channel which is originally granted to primary users. If a secondary user cannot occupy the channel it returns to the orbit and retries for server after an exponentially distributed time. The retrial rates of the SUs are coupled. We derive a boundary problem for the joint generating functions of the numbers of jobs in the orbits and the state of the server.","PeriodicalId":419829,"journal":{"name":"Proceedings of the 13th EAI International Conference on Performance Evaluation Methodologies and Tools","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114453638","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
Stochastic Bounds For Some Stochastic Optimisation Problems 一些随机优化问题的随机界
J. Fourneau, N. Pekergin, Sovanna Tan
{"title":"Stochastic Bounds For Some Stochastic Optimisation Problems","authors":"J. Fourneau, N. Pekergin, Sovanna Tan","doi":"10.1145/3388831.3388850","DOIUrl":"https://doi.org/10.1145/3388831.3388850","url":null,"abstract":"We consider the path length optimisation for an acyclic graph model with discrete random delays attributed to the edges. This problem has been largely studied in the literature and the application of the stochastic ordering is not new. We aim here to give a comprehensible presentation of some kinds of bounds with a particular attention to their numerical analysis. We propose to bound the output distribution in order to overcome the distribution size explosion. The proposed methodology can be applied for other stochastic optimisation problems such as maximum flow, and more generally for the analysis of stochastic discrete event systems whose evolutions are defined by non decreasing operations.","PeriodicalId":419829,"journal":{"name":"Proceedings of the 13th EAI International Conference on Performance Evaluation Methodologies and Tools","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129129484","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Simulating Hybrid Petri nets with general transitions and non-linear differential equations 模拟具有一般转换和非线性微分方程的混合Petri网
Mathis Niehage, Carina Pilch, Anne Remke
{"title":"Simulating Hybrid Petri nets with general transitions and non-linear differential equations","authors":"Mathis Niehage, Carina Pilch, Anne Remke","doi":"10.1145/3388831.3388842","DOIUrl":"https://doi.org/10.1145/3388831.3388842","url":null,"abstract":"Hybrid Petri nets with general transitions (HPnGs) are a modeling formalism with discrete, continuous and random variables, and have successfully been used to model critical infrastructures. Previous work extended the continuous dynamics to linear time-invariant systems, simulated via a quantized state space approach in the tool HYPEG. This method discretizes the state space to approximate solutions of the linear time-invariant systems. This paper extends the set of equations to non-linear ordinary differential equations (ODEs) by adding well known time-discrete methods. These can now be integrated in an extendable way, since HYPEG has been adapted to deal with time-discretization as part of this work. The results of the new implementation are validated on a battery model with linear ODEs and furthermore used to compute results for a heating model with non-linear ODEs.","PeriodicalId":419829,"journal":{"name":"Proceedings of the 13th EAI International Conference on Performance Evaluation Methodologies and Tools","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126518699","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Scaling analysis of an extended machine-repair model 扩展机器维修模型的标度分析
L. Kreveld, O. Boxma, Jan-Pieter L. Dorsman, M. Mandjes
{"title":"Scaling analysis of an extended machine-repair model","authors":"L. Kreveld, O. Boxma, Jan-Pieter L. Dorsman, M. Mandjes","doi":"10.1145/3388831.3388835","DOIUrl":"https://doi.org/10.1145/3388831.3388835","url":null,"abstract":"We consider an extension of the classic machine-repair model, where we explicitly model the fact that machines, apart from requiring service from a single repairer, also supply service themselves to products. Due to this dual role of the machines, the system exhibits an intricate relation between the processing rate of products and the performance of the repairer. To characterize this relation, we analyze this model under a Halfin-Whitt inspired scaling regime, where we amplify the arrival rate of products, the repair speed of the repairer and the number of machines appropriately. The resulting limiting stationary distribution is elegant, allows for a closed-form expression and provides intuition on the system's behavior resulting from the machines' dual role. With numerical results we illustrate the convergence, and assess under which conditions the limiting distributions lead to accurate approximations. Next to this valuable insight, the analysis in this paper can be viewed as a first step towards a unifying scaling analysis for general closed queueing networks.","PeriodicalId":419829,"journal":{"name":"Proceedings of the 13th EAI International Conference on Performance Evaluation Methodologies and Tools","volume":"83 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131685904","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
MDCStream
Félix Iglesias, Denis Ojdanic, Alexander Hartl, T. Zseby
{"title":"MDCStream","authors":"Félix Iglesias, Denis Ojdanic, Alexander Hartl, T. Zseby","doi":"10.1145/3388831.3388832","DOIUrl":"https://doi.org/10.1145/3388831.3388832","url":null,"abstract":"The establishment of modern technological paradigms like ubiquitous computing, big data, cyber-physical systems, or communication networks has strongly increased the need for efficient, effective data stream analysis. MDCStream is a MATLAB tool for generating temporal-dependent numerical datasets in order to stress-test stream data classification, clustering, and outlier detection algorithms. MDCStream is built on MDCGen, therefore showing a high flexibility for creating a wide diversity of data scenarios. To show an example of the potential of MDCStream, we tested a stream data clustering algorithm recently proposed in the literature with datasets generated with MDCStream. Datasets were designed to draw challenges related to space geometries and concept drift.","PeriodicalId":419829,"journal":{"name":"Proceedings of the 13th EAI International Conference on Performance Evaluation Methodologies and Tools","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114618327","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信