10th EAI International Conference on Performance Evaluation Methodologies and Tools (ValueTools 2016)
Author:
Publisher:
Published: 2017
Total Pages:
ISBN-13: 9781510840119
DOWNLOAD EBOOKPosts
Performance Evaluation Methodologies and Tools
Author: Qianchuan Zhao
Publisher: Springer Nature
Published: 2021-12-07
Total Pages: 274
ISBN-13: 3030925110
DOWNLOAD EBOOKThis book constitutes the refereed conference proceedings of the 14th International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2021, held in October 2021. Due to the safety concerns and travel restrictions caused by COVID-19, VALUETOOLS took place online in a live stream. VALUETOOLS 2021 aims to provide a world-leading and multidisciplinary venue for researchers and practitioners in diverse disciplines such as computer science, networks and telecommunications, operations research, optimization, control theory and manufacturing. The 16 full papers were carefully reviewed and selected from 32 submissions and focus on methodologies and practices in modelling, performance evaluation and optimization of complex systems.
Performance Evaluation Methodologies and Tools
Author: Evangelia Kalyvianaki
Publisher: Springer Nature
Published: 2024-02-03
Total Pages: 189
ISBN-13: 3031488857
DOWNLOAD EBOOKThis volume contains the proceedings of the 16th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2023, which took place in Heraklion, Crete during September 6-7, 2023. The conference brought together researchers, developers, and practitioners from around the world and from different communities including computer science, networks and telecommunications, operations research, optimization, control theory, and manufacturing. The 27 members of the International Program Committee (PC) helped to provide at least 3 reviews for each of the 30 submitted contributions. Based on the reviews and PC discussions, 11 high-quality papers (9 research papers, 1 tool paper, and 1 work-in-progress paper) were accepted to be presented during the conference. The volume includes contributions organized into four thematic sessions: Games and Optimization; Simulation; Networking and Queues; Tools.
Performance Evaluation Methodologies and Tools
Author: Esa Hyytiä
Publisher: Springer Nature
Published: 2023-05-02
Total Pages: 310
ISBN-13: 3031312341
DOWNLOAD EBOOKThis book constitutes the refereed conference proceedings of the 15th International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2022, held in November 2022. Due to the safety concerns and travel restrictions caused by COVID-19, VALUETOOLS 2022 took place online in a live stream. The conference provides a world-leading and multidisciplinary venue for researchers and practitioners in diverse disciplines such as computer science, networks and telecommunications, operations research, optimization, control theory and manufacturing. The 18 full papers were carefully reviewed and selected from 47 submissions and are grouped in thematically as following: game theory; queueing models; applications; retrial queues; performance analysis and networking; distributed computing.
Performance Evaluation Methodologies and Tools
Author: Qianchuan Zhao
Publisher:
Published: 2021
Total Pages: 0
ISBN-13: 9783030925123
DOWNLOAD EBOOKThis book constitutes the refereed conference proceedings of the 14th International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2021, held in October 2021. Due to the safety concerns and travel restrictions caused by COVID-19, VALUETOOLS took place online in a live stream. VALUETOOLS 2021 aims to provide a world-leading and multidisciplinary venue for researchers and practitioners in diverse disciplines such as computer science, networks and telecommunications, operations research, optimization, control theory and manufacturing. The 16 full papers were carefully reviewed and selected from 32 submissions and focus on methodologies and practices in modelling, performance evaluation and optimization of complex systems.
Systems Modeling: Methodologies and Tools
Author: Antonio Puliafito
Publisher: Springer
Published: 2018-10-16
Total Pages: 315
ISBN-13: 3319923781
DOWNLOAD EBOOKThis book covers ideas, methods, algorithms, and tools for the in-depth study of the performance and reliability of dependable fault-tolerant systems. The chapters identify the current challenges that designers and practitioners must confront to ensure the reliability, availability, and performance of systems, with special focus on their dynamic behaviors and dependencies. Topics include network calculus, workload and scheduling; simulation, sensitivity analysis and applications; queuing networks analysis; clouds, federations and big data; and tools. This collection of recent research exposes system researchers, performance analysts, and practitioners to a spectrum of issues so that they can address these challenges in their work.
Quantitative Evaluation of Systems
Author: Alessandro Abate
Publisher: Springer Nature
Published: 2021-08-19
Total Pages: 469
ISBN-13: 3030851729
DOWNLOAD EBOOKThis book constitutes the proceedings of the 18th International Conference on Quantitative Evaluation Systems, QEST 2021, held in Paris, France, in August 2021. The 21 full papers and 2 short papers presented together with 2 keynote papers were carefully reviewed and selected from 47 submissions. The papers are organized in the following topics: probabilistic model checking; quantitative models and metamodels: analysis and validation; queueing systems; learning and verification; simulation; performance evaluation; abstractions and aggregations; and stochastic models.
Runtime Verification
Author: Jyotirmoy Deshmukh
Publisher: Springer Nature
Published: 2020-10-07
Total Pages: 538
ISBN-13: 3030605086
DOWNLOAD EBOOKThis book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, held in Los Angeles, CA, USA, in October 2020. The conference was held virtually due to the COVID-19 pandemic. The 14 regular papers and 2 short papers presented in this book were carefully reviewed and selected from 43 submissions. Also included are an invited paper, 5 tutorial papers, 6 tool papers, and a benchmark paper. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. The papers are organized in the following topical sections: runtime verification for autonomy; runtime verification for software; runtime verification with temporal logic specifications; stream-based monitoring; and runtime verification for cyber-physical systems.
Theoretical Aspects of Computing – ICTAC 2018
Author: Bernd Fischer
Publisher: Springer
Published: 2018-10-13
Total Pages: 546
ISBN-13: 303002508X
DOWNLOAD EBOOKThis book constitutes the refereed proceedings of the 15th International Colloquium on Theoretical Aspects of Computing, ICTAC 2018, held in Stellenbosch, South Africa, in October 2018. The 25 revised full papers presented together with two short and two long invited talks were carefully reviewed and selected from 59 submissions. The ICTAC conference aims at bringing together researchers and practitioners from academia, industry and government to present research and exchange ideas and experience addressing challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development. ICTAC also specifically aims to promote research cooperation between developing and industrial countries.
New Technologies, Development and Application V
Author: Isak Karabegović
Publisher: Springer Nature
Published: 2022-05-25
Total Pages: 1151
ISBN-13: 3031052307
DOWNLOAD EBOOKThis book features papers focusing on the implementation of new and future technologies, which were presented at the International Conference on New Technologies, Development and Application, held at the Academy of Science and Arts of Bosnia and Herzegovina in Sarajevo on 23rd–25th June 2022. It covers a wide range of future technologies and technical disciplines, including complex systems such as industry 4.0; patents in industry 4.0; robotics; mechatronics systems; automation; manufacturing; cyber-physical and autonomous systems; sensors; networks; control, energy, renewable energy sources; automotive and biological systems; vehicular networking and connected vehicles; intelligent transport, effectiveness and logistics systems, smart grids, nonlinear systems, power, social and economic systems, education, IoT. The book New Technologies, Development and Application V is oriented towards Fourth Industrial Revolution “Industry 4.0”, in which implementation will improve many aspects of human life in all segments and lead to changes in business paradigms and production models. Further, new business methods are emerging, transforming production systems, transport, delivery and consumption, which need to be monitored and implemented by every company involved in the global market.
