Transactions on HiPEAC aims at the timely dissemination of research contributions in computer architecture and compilation methods for high-performance embedded computer systems. Recognizing the convergence&...
详细信息
ISBN:
(数字)9783662588345
ISBN:
(纸本)9783662588338
Transactions on HiPEAC aims at the timely dissemination of research contributions in computer architecture and compilation methods for high-performance embedded computer systems. Recognizing the convergence of embedded and general-purpose computer systems, this journal publishes original research on systems targeted at specific computing tasks as well as systems with broad application bases. The scope of the journal therefore covers all aspects of computer architecture, code generation and compiler optimization methods of interest to researchers and practitioners designing future embedded systems.;This 5th issue contains extended versions of papers by the best paper award candidates of IC-SAMOS 2009 and the SAMOS 2009 Workshop, colocated events of the 9th International Symposium on Systems, Architectures, Modeling and Simulation, SAMOS 2009, held in Samos, Greece, in 2009. The 7 papers included in this volume were carefully reviewed and selected. The papers cover research on embedded processor hardware/software design and integration and present challenging research trends.
The introduction of the microprocessor in computer and system engineering has motivated the development of many new concepts and has simplified the design of many modern industrial systems. During the first decade of ...
详细信息
ISBN:
(数字)9789400906099
ISBN:
(纸本)9780792307792;9789401067614
The introduction of the microprocessor in computer and system engineering has motivated the development of many new concepts and has simplified the design of many modern industrial systems. During the first decade of their life. microprocessors have shown a tremendous evolution in all possible directions (technology. power. functionality. I/O handling. etc). Of course putting the microprocessors and their environmental devices into properly operating systems is a complex and difficult task requiring high skills for melding and integrating hardware. and systemic components. software This book was motivated by the editors' feeling that a cohesive reference is needed providing a good coverage of modern industrial applications of microprocessor-based real time control, together with latest advanced methodological issues. Unavoidably a single volume cannot be exhaustive. but the present book contains a sufficient number of important real-time applications. The book is divided in two sections. Section I deals with general hardware. software and systemic topics. and involves six chapters. Chapter 1. by Gupta and Toong. presents an overview of the development of microprocessors during their first twelve years of existence. Chapter 2. by Dasgupta. deals with a number of system software concepts for real time microprocessor-based systems (task scheduling. memory management. input-output aspects. programming language reqUirements.
This book constitutes the refereed proceedings of the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China, in November 2019.;The 6 revised full papers ...
详细信息
ISBN:
(数字)9783030469023
ISBN:
(纸本)9783030469016
This book constitutes the refereed proceedings of the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China, in November 2019.;The 6 revised full papers presented were carefully reviewed and selected from 17 submissions. Additionally, the volume presents 1 invited paper, 1 tool paper, and 1 work in progrerss. The papers are focused on the topics of the use of formal methods for analyzing safety-critical systems; methods, techniques and tools to support automated analysis, certication, debugging, etc., of complex safety/QoS-critical systems; analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.); formal analysis support for modeling languages used in industry; code generation from validated models.
This open access book constitutes the proceedings of the 27th International Conference on Fundamental Approaches to Software Engineering, FASE 2024, held in conjunction with ETAPS 2024 which took place in Luxembourg i...
详细信息
ISBN:
(数字)9783031572593
ISBN:
(纸本)9783031572586
This open access book constitutes the proceedings of the 27th International Conference on Fundamental Approaches to Software Engineering, FASE 2024, held in conjunction with ETAPS 2024 which took place in Luxembourg in April 2024.;The 14 full papers included in this book were carefully reviewed and selected from 41 submission. The proceedings also include 5 short papers from the Test-Comp 2024 event that was hosted by FASE. They deal with the broad field of software engineering, focusing on requirements, design, architecture, modeling, applications of AI to software engineering and software engineering for AI-based systems, quality, model-driven engineering, processes, and software evolution.
This book constitutes the refereed proceedings of the 8th International Conference on Engineering of Computer-Based Systems, ECBS 2023, which was held in Västerås, Sweden, in October 2023.;The 11 full papers...
详细信息
ISBN:
(数字)9783031492525
ISBN:
(纸本)9783031492518
This book constitutes the refereed proceedings of the 8th International Conference on Engineering of Computer-Based Systems, ECBS 2023, which was held in Västerås, Sweden, in October 2023.;The 11 full papers included in this book were carefully reviewed and selected from 26 submissions and present software, hardware, and communication perspectives of systems engineering through its many facets. The special theme of this year is ”Engineering for Responsible AI“.
This book constitutes selected and revised papers from the 20th International Conference on Mathematical Modeling and Supercomputer Technologies, MMST 2020, held in Nizhny Novgorod, Russia, in November 2020....
详细信息
ISBN:
(数字)9783030787592
ISBN:
(纸本)9783030787585
This book constitutes selected and revised papers from the 20th International Conference on Mathematical Modeling and Supercomputer Technologies, MMST 2020, held in Nizhny Novgorod, Russia, in November 2020. Due to the COVID-19 pandemic the conference was held online.;The 25 full papers and 8 short papers presented in the volume were thoroughly reviewed and selected from the 106 submissions. They are organized in topical secions on computational methods for mathematical models analysis; computation in optimization and optimal control; supercomputer simulation.
The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows:Part I: STA and SMT solv...
详细信息
ISBN:
(数字)9783031572494
ISBN:
(纸本)9783031572487
The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows:Part I: STA and SMT solving; synthesis; logic and decidability; program analysis and proofs; proof checking;;Part II: Model Checking; automata and learning; software verification; probabilistic systems; simulations;;Part III: Neural networks; testing and verification; games; concurrency; SV-Comp 2024.
This open access book constitutes the refereed proceedings of the 6th Asian Supercomputing Conference, SCFA 2020, which was planned to be held in February 2020, but unfortunately, the physical conference was cancelled...
详细信息
ISBN:
(数字)9783030488420
ISBN:
(纸本)9783030488413
This open access book constitutes the refereed proceedings of the 6th Asian Supercomputing Conference, SCFA 2020, which was planned to be held in February 2020, but unfortunately, the physical conference was cancelled due to the COVID-19 *** 8 full papers presented in this book were carefully reviewed and selected from 22 submissions. They cover a range of topics including file systems, memory hierarchy, HPC cloud platform, container image configuration workflow, large-scale applications, and scheduling.
暂无评论