Search Results
-
Software Technology: 10 Years of Innovation in IEEE Computer
by Mike HincheyA comprehensive collection of influential articles from one of IEEE Computer magazine’s most popular columns This book is a compendium of extended and revised publications that have appeared in the “Software Technologies” column of IEEE Computer magazine, which covers key topics in software engineer... More
Language: ENGCopyright: 2018 -
Conquering Complexity
by Mike Hinchey • Lorcan CoyleSoftware has long been perceived as complex, at least within Software Engineering circles. We have been living in a recognised state of crisis since the first NATO Software Engineering conference in 1968. Time and again we have been proven unable to engineer reliable software as easily/cheaply as we... More
Language: ENGCopyright: 2012 -
Autonomy Requirements Engineering for Space Missions (NASA Monographs in Systems and Software Engineering)
by Mike Hinchey • Emil VassevAdvanced space exploration is performed by unmanned missions with integrated autonomy in both flight and ground systems. Risk and feasibility are major factors supporting the use of unmanned craft and the use of automation and robotic technologies where possible. Autonomy in space helps to increas... More
Language: ENGCopyright: 2014 -
Experience from the DARPA Urban Challenge
Experience from the DARPA Urban Challenge provides details of the types of systems, software and processes that were used to develop the complex unmanned vehicles that participated in the DARPA Urban Challenge. The vehicle developers explain how autonomous vehicle software in this race was designed ... More
Language: ENGCopyright: 2012 -
Applications of Networks, Sensors and Autonomous Systems Analytics: Proceedings of ICANSAA 2020 (Studies in Autonomic, Data-driven and Industrial Computing)
This book presents high-quality research papers presented at International Conference on Applications of Networks, Sensors and Autonomous Systems Analytics (ICANSAA 2020), held during December, 11 – 12, 2020, at JIS College of Engineering, Kalyani, West Bengal, India. The major topics covered are cy... More
Language: ENGCopyright: 2022 -
Innovations in Signal Processing and Embedded Systems: Proceedings of ICISPES 2021 (Algorithms for Intelligent Systems)
This book covers four sections such as artificial intelligence and machine learning; VLSI and signal processing; robotics and automation; and communications and networking. This book is a collection of selected papers presented at the First International Conference on Innovations in Signal Processin... More
Language: ENGCopyright: 2023 -
SOFSEM 2017: Theory and Practice of Computer Science
by Mike Hinchey • Tiziana Margaria • Johann Eder • Bernhard Steffen • Christel Baier • Mark van den BrandThis book constitutes the refereed proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017, held in Limerick, Ireland, in January 2017. The 34 papers presented in this volume were carefully reviewed and selected from 41 submissions.... More
Language: ENGCopyright: 2017 -
Provably Correct Systems
As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost importance. This book consists of twelve chapters and one historical account that were presented at ... More
Language: ENGCopyright: 2017