Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Formal Development of a Network-Centric RTOS
Many systems, devices and appliances used routinely in everyday life, ranging from cell phones to cars, contain significant amounts of software that is not directly visible to the user and is therefore called "embedded". For coordinating the various software components and allowing them to communicate with each other, support software is needed, called an operating system (OS). Because embedded software must function in real time (RT), a RTOS is needed. This book describes a formally developed, network-centric Real-Time Operating System, OpenComRTOS. One of the first in its kind, OpenComRTOS was originally developed to verify the usefulness of formal methods in the context of embedded software engineering. Using the formal methods described in this book produces results that are more reliable while delivering higher performance. The result is a unique real-time concurrent programming system that supports heterogeneous systems with just 5 Kbytes/node. It is compatible with safety related engineering standards, such as IEC61508.
Advanced Computer and Communication Engineering Technology
This book covers diverse aspects of advanced computer and communication engineering, focusing specifically on industrial and manufacturing theory and applications of electronics, communications, computing and information technology. Experts in research, industry, and academia present the latest developments in technology, describe applications involving cutting-edge communication and computer systems and explore likely future directions. In addition, access is offered to numerous new algorithms that assist in solving computer and communication engineering problems. The book is based on presentations delivered at ICOCOE 2014, the 1st International Conference on Communication and Computer Engineering. It will appeal to a wide range of professionals in the field, including telecommunication engineers, computer engineers and scientists, researchers, academics and students.
Proceedings of International Conference on Emerging Technologies and Intelligent Systems
This book sheds light on the emerging research trends in intelligent systems and their applications. It mainly focuses on three different themes, including software engineering, ICT in education, and management information systems. Each chapter contributes to the aforementioned themes by discussing the recent design, developments, and modifications of intelligent systems and their applications.
Recent Advances in Technology Acceptance Models and Theories
This book tackles the latest research trends in technology acceptance models and theories. It presents high-quality empirical and review studies focusing on the main theoretical models and their applications across various technologies and contexts. It also provides insights into the theoretical and practical aspects of different technological innovations that assist decision-makers in formulating the required policies and procedures for adopting a specific technology.
Proceedings of the International Conference on Advanced Intelligent Systems and Informatics 2019
This book presents the proceedings of the 5th International Conference on Advanced Intelligent Systems and Informatics 2019 (AISI2019), which took place in Cairo, Egypt, from October 26 to 28, 2019. This international and interdisciplinary conference, which highlighted essential research and developments in the fields of informatics and intelligent systems, was organized by the Scientific Research Group in Egypt (SRGE). The book is divided into several sections, covering the following topics: machine learning and applications, swarm optimization and applications, robotic and control systems, sentiment analysis, e-learning and social media education, machine and deep learning algorithms, recognition and image processing, intelligent systems and applications, mobile computing and networking, cyber-physical systems and security, smart grids and renewable energy, and micro-grid and power systems.
Innovation in the University 4.0 System based on Smart Technologies
This text presents a comprehensive analysis of mathematical formulations for proving the effectiveness of artificial intelligence in education and investigates the possibilities for integrating advanced artificial intelligence algorithms. The book: presents an empirical analysis of the impact of information technology in the education system discusses student performance in university 4.0 using novel artificial intelligence algorithm with whale optimization elaborates the management of higher education based on information technology in the university 4.0 era explains the implementation of university 4.0 based on artificial intelligence focuses on the transformation of education system using artificial intelligence The text is primarily written for graduate students, postgraduate students, and academic researchers working in the fields of computer science and engineering, information technology and machine learning.
Recent Advances in Intelligent Systems and Smart Applications
This book explores the latest research trends in intelligent systems and smart applications. It presents high-quality empirical and review studies focusing on various topics, including information systems and software engineering, knowledge management, technology in education, emerging technologies, and social networks. It provides insights into the theoretical and practical aspects of intelligent systems and smart applications.
Recent Trends in Artificial Neural Networks
Artificial intelligence (AI) is everywhere and it's here to stay. Most aspects of our lives are now touched by artificial intelligence in one way or another, from deciding what books or flights to buy online to whether our job applications are successful, whether we receive a bank loan, and even what treatment we receive for cancer. Artificial Neural Networks (ANNs) as a part of AI maintains the capacity to solve problems such as regression and classification with high levels of accuracy. This book aims to discuss the usage of ANNs for optimal solving of time series applications and clustering. Bounding of optimization methods particularly metaheuristics considered as global optimizers with ANNs make a strong and reliable prediction tool for handling real-life application. This book also demonstrates how different fields of studies utilize ANNs proving its wide reach and relevance.
Communicating Process Architectures 2009
"This book is a collection of the papers presented at the 32nd Communicating Process Architecture conference (CPA), held at the Technical University Eindhoven, the Netherlands, from the 1st to the 4th of November 2009. Concurrency is a fundamental mechanism of the universe, existing in all structures and at all levels of granularity. To be useful in this universe, any computer system has to model and reflect an appropriate level of abstraction. For simplicity, therefore, the system needs to be concurrent - so that this modeling is obvious and correct. Today, the commercial reality of multicore processors means that concurrency issues can no longer be ducked if applications are going to be ab...
