Applied Reconfigurable Computing. Architectures, Tools, and Applications

Applied Reconfigurable Computing. Architectures, Tools, and Applications
Author: Lin Gan
Publisher: Springer Nature
Total Pages: 207
Release: 2022-10-27
Genre: Computers
ISBN: 3031199839

This book constitutes the proceedings of the 18th International Symposium on Applied Reconfigurable Computing, ARC 2022, held as a virtual event, in September 2022. The 13 full papers presented in this volume were reviewed and selected from 16 submissions. The papers cover a broad spectrum of applications of reconfigurable computing, from driving assistance, data and graph processing acceleration, computer security to the societal relevant topic of supporting early diagnosis of Covid infectious conditions.

Model-Driven Engineering and Software Development

Model-Driven Engineering and Software Development
Author: Philippe Desfray
Publisher: Springer
Total Pages: 447
Release: 2016-01-04
Genre: Computers
ISBN: 331927869X

This book constitutes thoroughly revised and selected papers from the Third International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2015, held in Angers, France, in February 2015. The 25 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 94 submissions. They are organized in topical sections named: invited papers; modeling languages, tools and architectures; methodologies, processes and platforms; applications and software development.

Sequential Optimization of Asynchronous and Synchronous Finite-State Machines

Sequential Optimization of Asynchronous and Synchronous Finite-State Machines
Author: Robert M. Fuhrer
Publisher: Springer Science & Business Media
Total Pages: 269
Release: 2012-12-06
Genre: Technology & Engineering
ISBN: 1461514177

This text contributes to the field of sequential optimization for finite-state machines, introducing several new provably-optimal algorithms, presenting practical software implementations of each of these algorithms and introducing a complete new CAD package, called MINIMALIST. Real-world industrial designs are used as benchmark circuits throughout.

Reliability and Statistics in Transportation and Communication

Reliability and Statistics in Transportation and Communication
Author: Igor Kabashkin
Publisher: Springer
Total Pages: 823
Release: 2019-03-09
Genre: Technology & Engineering
ISBN: 3030124509

This book reports on cutting-edge theories and methods for analyzing complex systems, such as transportation and communication networks and discusses multi-disciplinary approaches to dependability problems encountered when dealing with complex systems in practice. The book presents the most noteworthy methods and results discussed at the International Conference on Reliability and Statistics in Transportation and Communication (RelStat), which took place in Riga, Latvia on October 17 – 20, 2018. It spans a broad spectrum of topics, from mathematical models and design methodologies, to software engineering, data security and financial issues, as well as practical problems in technical systems, such as transportation and telecommunications, and in engineering education.

Computer Systems

Computer Systems
Author: Andrew James Herbert
Publisher: Springer Science & Business Media
Total Pages: 321
Release: 2006-05-07
Genre: Computers
ISBN: 0387218211

An invited collection of peer-reviewed papers surveying key areas of Roger Needham's distinguished research career at Cambridge University and Microsoft Research. From operating systems to distributed computing, many of the world's leading researchers provide insight into the latest concepts and theoretical insights--many of which are based upon Needham's pioneering research work. A critical collection of edited-survey research papers spanning the entire range of Roger Needham's distinguished scientific career, from operating systems to distributed computing and security. Many of the world's leading researchers survey their topics' latest developments and acknowledge the theoretical foundations of Needham's work. Introduction to book written by Rick Rashid, Director of Microsoft Research Worldwide.