发布求助
文献互助 智能选刊 最新文献

Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)最新文献

筛选
英文 中文
PARTES: Performance Analysis of Real-Time Embedded Systems 合作伙伴:实时嵌入式系统性能分析
Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) Pub Date : 2007-09-17 DOI: 10.1109/QEST.2007.17
Benjamin Gorry, Andrew Ireland, P. King
{"title":"PARTES: Performance Analysis of Real-Time Embedded Systems","authors":"Benjamin Gorry, Andrew Ireland, P. King","doi":"10.1109/QEST.2007.17","DOIUrl":"https://doi.org/10.1109/QEST.2007.17","url":null,"abstract":"The development of performance models from real-time system source code can be a time consuming process. It can be difficult to capture actual system timing values to be used in these models. The tool PARTES is introduced. PARTES facilitates the extraction of CSPL (C-based stochastic Petri net language) models from an ANSTC program which has been annotated by the user. These models are then subjected to sensitivity analysis via the SPNP (stochastic Petri net package). The results from analysis can be used to directly identify any potentially problematic timing areas in the original source code.","PeriodicalId":249627,"journal":{"name":"Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124523912","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}
引用次数: 6
Invited Talk: A Process Algebra Master Equation 特邀演讲:过程代数主方程
Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) Pub Date : 2007-09-17 DOI: 10.1109/QEST.2007.26
L. Cardelli
{"title":"Invited Talk: A Process Algebra Master Equation","authors":"L. Cardelli","doi":"10.1109/QEST.2007.26","DOIUrl":"https://doi.org/10.1109/QEST.2007.26","url":null,"abstract":"A master equation provides a complete probabilistic description of the dynamics of stochastic processes. We give a master equation for a small stochastic process algebra (a subset of CCS with interaction rates). We show that it is equivalent to the standard chemical master equation, connecting our process algebra to the stochastic chemistry of unary and binary reactions.","PeriodicalId":249627,"journal":{"name":"Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128889615","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}
引用次数: 6
A Performance Analysis Tool for Scenario-Aware Streaming Applications 场景感知流应用的性能分析工具
Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) Pub Date : 2007-09-17 DOI: 10.1109/QEST.2007.7
B. Theelen
{"title":"A Performance Analysis Tool for Scenario-Aware Streaming Applications","authors":"B. Theelen","doi":"10.1109/QEST.2007.7","DOIUrl":"https://doi.org/10.1109/QEST.2007.7","url":null,"abstract":"Dataflow models are often used for analysing streaming applications. The recently introduced scenario-aware extension of the synchronous dataflow model can capture the dynamism in computation and communication resource requirements of streaming applications that originates from different modes of operation (scenarios). This scenario-aware dataflow model uses a probabilistic approach to express the order in which scenarios (and different execution times within a scenario) occur. This paper discusses a tool for exhaustive and simulation-based analysis of various important performance metrics for scenario-aware streaming applications.","PeriodicalId":249627,"journal":{"name":"Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131465751","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}
引用次数: 22
Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior 模拟轨迹的自动分析-从重复行为中分离进度
Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) Pub Date : 2007-09-17 DOI: 10.1109/QEST.2007.41
P. Kemper, C. Tepper
{"title":"Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior","authors":"P. Kemper, C. Tepper","doi":"10.1109/QEST.2007.41","DOIUrl":"https://doi.org/10.1109/QEST.2007.41","url":null,"abstract":"Among the many stages of a simulation study, debugging a simulation model is the one that is hardly reported on but that may consume a considerable amount of time and effort. In this paper, we describe a novel technique that helps a modeler to gain insight in the dynamic behavior of a complex stochastic discrete event simulation model based on trace analysis. We propose algorithms to distinguish progressive from repetitive behavior in a trace and to extract a minimal progressive fragment of a trace. The implied combinatorial optimization problem for trace reduction is solved in linear time with dynamic programming. We present and compare several approximate and one exact solution method. Information on the reduction operation as well as the reduced trace itself helps a modeler to recognize the presence of certain errors and to identify their cause. We track down a subtle modeling error in a dependability model of a multi-class server system to illustrate the effectiveness of our approach in revealing the cause of an observed effect. The proposed technique has been implemented and integrated in Traviando, a trace analyzer to debug stochastic simulation models.","PeriodicalId":249627,"journal":{"name":"Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129352896","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}
引用次数: 13
Dependability Analysis with Markov Chains: How Symmetries Improve Symbolic Computations 马尔可夫链的可靠性分析:对称性如何改善符号计算
Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) Pub Date : 2007-09-17 DOI: 10.1109/QEST.2007.43
M. McQuinn, Peter Kemper, William H. Sanders
{"title":"Dependability Analysis with Markov Chains: How Symmetries Improve Symbolic Computations","authors":"M. McQuinn, Peter Kemper, William H. Sanders","doi":"10.1109/QEST.2007.43","DOIUrl":"https://doi.org/10.1109/QEST.2007.43","url":null,"abstract":"We propose a novel approach that combines two general and complementary methods for dependability analysis based on the steady state or transient analysis of Markov chains. The first method allows us to automatically detect all symmetries in a compositional Markovian model with state-sharing composition. Symmetries are detected with the help of an automorphism group of the model composition graph, which yields a reduction of the associated Markov chain due to lumpability. The second method allows us to represent and numerically solve the lumped Markov chain, even in the case of very large state spaces, with the help of symbolic data structures, in particular matrix diagrams. The overall approach has been implemented and is able to compute stationary and transient measures for large Markovian models of dependable systems.","PeriodicalId":249627,"journal":{"name":"Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131223576","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}
引用次数: 22
Quantile Estimation for Performance Measures in Network Simulations with CINSim 基于CINSim的网络仿真性能度量的分位数估计
Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) Pub Date : 2007-09-17 DOI: 10.1109/QEST.2007.22
D. Lüdtke, D. Tutsch, Matthias Kühm
{"title":"Quantile Estimation for Performance Measures in Network Simulations with CINSim","authors":"D. Lüdtke, D. Tutsch, Matthias Kühm","doi":"10.1109/QEST.2007.22","DOIUrl":"https://doi.org/10.1109/QEST.2007.22","url":null,"abstract":"This paper presents the simulator CINSim. It was developed to investigate interconnection network architectures for a wide application range, like networks-on-chip or parallel computers. CINSim allows the simulation of arbitrary network topologies, various traffic distributions in time and space as well as dynamic reconfiguration of the network under investigation. Besides the estimation of mean values for several performance measures, quantiles can be observed.","PeriodicalId":249627,"journal":{"name":"Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)","volume":"130 8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124244507","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
Sample Path Analysis of Busy Periods and Related First Passages of a Correlated MEP/MEP/1 System 相关MEP/MEP/1系统繁忙时段及相关首通道样本路径分析
Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) Pub Date : 2007-09-17 DOI: 10.1109/QEST.2007.44
C. Garikiparthi, A. V. D. Liefvoort, K. Mitchell
{"title":"Sample Path Analysis of Busy Periods and Related First Passages of a Correlated MEP/MEP/1 System","authors":"C. Garikiparthi, A. V. D. Liefvoort, K. Mitchell","doi":"10.1109/QEST.2007.44","DOIUrl":"https://doi.org/10.1109/QEST.2007.44","url":null,"abstract":"In this paper we study the busy period of an MEP/MEP/1 system, where both the arrival and the service processes can be serially correlated Matrix Exponential Processes. A dynamic programming algorithm is given to compute the probabilities for serving n customers in a busy period and expressions for the first two moments are derived. We study both the effect of correlation in the arrival and service processes and the squared coefficient of variation on these probabilities. The solutions give us qualitative insights into the nature of the busy period of the MEP/MEP/1 system. The resulting algorithms are easily programmable and efficient.","PeriodicalId":249627,"journal":{"name":"Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)","volume":"114 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121132932","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}
引用次数: 3
Distritrack: Automated Average-Case Analysis 分布式:自动平均案例分析
Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) Pub Date : 2007-09-17 DOI: 10.1109/QEST.2007.16
D. Hickey
{"title":"Distritrack: Automated Average-Case Analysis","authors":"D. Hickey","doi":"10.1109/QEST.2007.16","DOIUrl":"https://doi.org/10.1109/QEST.2007.16","url":null,"abstract":"MOQA is a language specifically designed to facilitate average-case execution time analysis. It incorporates some innovative techniques to make this possible. Following on from this, a tool called Distritrack has been built to perform the analysis of MOQA programs, adhering strictly to the language specification.","PeriodicalId":249627,"journal":{"name":"Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)","volume":"73 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134209131","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}
引用次数: 43
Cluster Grid based Response-time analysis module for the PIPE Tool PIPE工具的基于集群网格的响应时间分析模块
Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) Pub Date : 2007-09-17 DOI: 10.1109/QEST.2007.42
H. Kulatunga, Ashok Argent-Katwala, W. Knottenbelt
{"title":"Cluster Grid based Response-time analysis module for the PIPE Tool","authors":"H. Kulatunga, Ashok Argent-Katwala, W. Knottenbelt","doi":"10.1109/QEST.2007.42","DOIUrl":"https://doi.org/10.1109/QEST.2007.42","url":null,"abstract":"Generalized stochastic Petri nets (GSPNs) are a widely used high-level formalism used for modelling discrete-event systems. The Platform Independent Petri net Editor (PIPE) is an open source software project that allows creation, analysis and simulation of Petri nets. This tool paper presents a PIPE module for response-time analysis of a Petri net's underlying continuous time Markov chain (CTMC). Jobs are submitted via a web interface, from within PIPE or from a browser. The parallel computations are run using grid engine on a cluster hosted at Imperial College London.","PeriodicalId":249627,"journal":{"name":"Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)","volume":"116 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127953681","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
Psi^2 a Software Tool for the Perfect Simulation of Finite Queueing Networks 有限排队网络完美模拟的Psi^2软件工具
Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) Pub Date : 2007-09-17 DOI: 10.1109/QEST.2007.37
J. Vincent, Jérôme Vienne
{"title":"Psi^2 a Software Tool for the Perfect Simulation of Finite Queueing Networks","authors":"J. Vincent, Jérôme Vienne","doi":"10.1109/QEST.2007.37","DOIUrl":"https://doi.org/10.1109/QEST.2007.37","url":null,"abstract":"Markovian networks of finite capacity queues are widely used models for performance evaluation of systems and networks. Unfortunately, excepted in some specific situations, these models are not tractable analytically. Perfect simulation provides a new technique to sample steady-state and avoids the burn-in time period. When the simulation algorithm stops, the returned state value is in steady-state. We applied this technique first to Markov chain with sparse transition matrix, and to queueing networks with finite capacities and complex routing strategies. The sofware have been developed to validate this simulation approach and applied to in the context of low probability events estimation. The design of the software architecture is presented.","PeriodicalId":249627,"journal":{"name":"Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)","volume":"29 7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116711587","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}
引用次数: 17
首页 上一页 下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信