Handbook of Real-Time Computing


Book Description

The aim of this handbook is to summarize the recent rapidly developed real-time computing technologies, from theories to applications. This handbook benefits the readers as a full and quick technical reference with a high-level historic review of technology, detailed technical descriptions and the latest practical applications. In general, the handbook is divided into three main parts (subjected to be modified): theory, design, and application covering different but not limited to the following topics: - Real-time operating systems - Real-time scheduling - Timing analysis - Programming languages and run-time systems - Middleware systems - Design and analysis tools - Real-time aspects of wireless sensor networks - Energy aware real-time methods




Disease Control Priorities, Third Edition (Volume 6)


Book Description

Infectious diseases are the leading cause of death globally, particularly among children and young adults. The spread of new pathogens and the threat of antimicrobial resistance pose particular challenges in combating these diseases. Major Infectious Diseases identifies feasible, cost-effective packages of interventions and strategies across delivery platforms to prevent and treat HIV/AIDS, other sexually transmitted infections, tuberculosis, malaria, adult febrile illness, viral hepatitis, and neglected tropical diseases. The volume emphasizes the need to effectively address emerging antimicrobial resistance, strengthen health systems, and increase access to care. The attainable goals are to reduce incidence, develop innovative approaches, and optimize existing tools in resource-constrained settings.




Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing


Book Description

This edited book presents scientific results of the 17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2016) which was held on May 30 - June 1, 2016 in Shanghai, China. The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, computer users, and students to discuss the numerous fields of computer science and to share their experiences and exchange new ideas and information in a meaningful way. Research results about all aspects (theory, applications and tools) of computer and information science, and to discuss the practical challenges encountered along the way and the solutions adopted to solve them.




A Journey of Embedded and Cyber-Physical Systems


Book Description

This Open Access book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical systems. The contributions in the book summarize the content of invited lectures given at the workshop “Embedded Systems” held at the Technical University Dortmund in early July 2019 in honor of Professor Marwedel's seventieth birthday. Provides a comprehensive view from leading researchers with respect to the past, present, and future of the design of embedded and cyber-physical systems; Discusses challenges and (potential) solutions from theoreticians and practitioners on modeling, design, analysis, and optimization for embedded and cyber-physical systems; Includes coverage of model verification, communication, software runtime systems, operating systems and real-time computing.




RTSS 2015


Book Description

Annotation The IEEE Real Time Systems Symposium (RTSS) is the premier conference in the area of real time systems, presenting innovations in the field with respect to theory and practice RTSS provides a forum for the presentation of high quality, original research covering all aspects of real time systems design, analysis, implementation, evaluation, and experiences RTSS 15 continues the trend of making RTSS an expansive and inclusive symposium, looking to embrace new and emerging areas of realtime systems research RTSS 15 welcomes submissions in all areas of real time systems, including but not limited to operating systems, networks, middleware, compilers, tools, modeling, scheduling, QoS support, resource management, testing and debugging, design and verification, hardware software co design, fault tolerance, security, power and thermal management, embedded platforms, and system experimentation and deployment experiences.




Combinatorial Algorithms


Book Description

This book constitutes the refereed proceedings of the 33rd International Workshop on Combinatorial Algorithms, IWOCA 2022, which took place as a hybrid event in Trier, Germany, during June 7-9, 2022.The 35 papers presented in these proceedings were carefully reviewed and selected from 86 submissions. They deal with diverse topics related to combinatorial algorithms, such as algorithms and data structures; algorithmic and combinatorical aspects of cryptography and information security; algorithmic game theory and complexity of games; approximation algorithms; complexity theory; combinatorics and graph theory; combinatorial generation, enumeration and counting; combinatorial optimization; combinatorics of words; computational biology; computational geometry; decompositions and combinatorial designs; distributed and network algorithms; experimental combinatorics; fine-grained complexity; graph algorithms and modelling with graphs; graph drawing and graph labelling; network theory and temporal graphs; quantum computing and algorithms for quantum computers; online algorithms; parameterized and exact algorithms; probabilistic andrandomized algorithms; and streaming algorithms.




Dependable Software Engineering. Theories, Tools, and Applications


Book Description

This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2018, held in Beijing, China, in September 2018. The 9 full papers presented together with 3 short papers were carefully reviewed and selected from 22 submissions. The purpose of SETTA is to provide an international forum for researchers and practitioners to share cutting-edge advancements and strengthen collaborations in the field of formal methods and its interoperability with software engineering for building reliable, safe, secure, and smart systems.




Formal Modeling and Analysis of Timed Systems


Book Description

This book constitutes the refereed proceedings of the 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, held in Quebec, QC, Canada, in August 2016. The 14 papers presented in this volume were carefully reviewed and selected from 32 initial submissions. They are organized in topical sections entitled: modeling timed phenomena; stochasticity and hybrid control; real-time verification and synthesis; workload analysis.




Quality-of-Service Aware Design and Management of Embedded Mixed-Criticality Systems


Book Description

This book addresses the challenges associated with efficient Mixed-Criticality (MC) system design. We focus on application analysis through execution time analysis and task scheduling analysis in order to execute more low-criticality tasks in the system, i.e., improving the Quality-of-Service (QoS), while guaranteeing the correct execution of high-criticality tasks. Further, this book addresses the challenge of enhancing QoS using parallelism in multi-processor hardware platforms.




EU Securities and Financial Markets Regulation


Book Description

Over the decade or so since the global financial crisis rocked EU financial markets and led to wide-ranging reforms, EU securities and financial markets regulation has continued to evolve. The legislative framework has been refined and administrative rulemaking has expanded. Alongside, the Capital Markets Union agenda has developed, the UK has left the EU, and ESMA has emerged as a decisive influence on EU financial markets governance. All these developments, as well as the Covid-19 pandemic, have shaped the regulatory landscape and how supervision is organized. EU Securities and Financial Markets Regulation provides a comprehensive, critical, and contextual account of the intricate rulebook that governs EU financial markets and its supporting institutional arrangements. It is framed by an assessment of how the regime has evolved over the decade or so since the global financial crisis and considers, among other matters, the post-crisis reforms to key legislative measures, the massive expansion of administrative rulemaking and of soft law, the Capital Markets Union agenda, the development of supervisory convergence as the means for organizing pan-EU supervision, and ESMA's role in EU financial markets governance. Its coverage extends from capital-raising and the Prospectus Regulation to financial market intermediation and the MiFID II/MiFIR and IFD/IFR regimes, to the new regulatory regimes adopted since the global financial crisis (including for benchmarks and their administrators), to retail market regulation and the PRIIPs Regulation, and on to the EU's third country regime and the implications of the UK's departure from the EU. This is the fourth edition of the highly successful and authoritative monograph first published as EC Securities Regulation. Heavily revised from the third edition to reflect developments since the global financial crisis, it adopts the in-depth contextual and analytical approach of earlier editions and so considers the market, political, institutional, and international context of the regulatory and supervisory regime.