Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book presents recent advances towards the goal of enabling efficient implementation of machine learning models on resource-constrained systems, covering different application domains. The focus is on presenting interesting and new use cases of applying machine learning to innovative application domains, exploring the efficient hardware design of efficient machine learning accelerators, memory optimization techniques, illustrating model compression and neural architecture search techniques for energy-efficient and fast execution on resource-constrained hardware platforms, and understanding hardware-software codesign techniques for achieving even greater energy, reliability, and performance benefits. Discusses efficient implementation of machine learning in embedded, CPS, IoT, and edge computing; Offers comprehensive coverage of hardware design, software design, and hardware/software co-design and co-optimization; Describes real applications todemonstrate how embedded, CPS, IoT, and edge applications benefit from machine learning.

Embedded computer systems. --- Electronic circuits. --- Cooperating objects (Computer systems). --- Embedded Systems. --- Electronic Circuits and Systems. --- Cyber-Physical Systems.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book presents recent advances towards the goal of enabling efficient implementation of machine learning models on resource-constrained systems, covering different application domains. The focus is on presenting interesting and new use cases of applying machine learning to innovative application domains, exploring the efficient hardware design of efficient machine learning accelerators, memory optimization techniques, illustrating model compression and neural architecture search techniques for energy-efficient and fast execution on resource-constrained hardware platforms, and understanding hardware-software codesign techniques for achieving even greater energy, reliability, and performance benefits. Discusses efficient implementation of machine learning in embedded, CPS, IoT, and edge computing; Offers comprehensive coverage of hardware design, software design, and hardware/software co-design and co-optimization; Describes real applications to demonstrate how embedded, CPS, IoT, and edge applications benefit from machine learning.

Embedded computer systems. --- Electronic circuits. --- Cooperating objects (Computer systems). --- Embedded Systems. --- Electronic Circuits and Systems. --- Cyber-Physical Systems.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book, based on international collaborative research, presents a state-of-the-art design for “Smart Master Planning” for all metropolises, megacities and metacities as well as at subcity zonal and community and neighborhood level. Smart Master Planning accepts that all cities are a smart city in making in a limited way as far as the six components for smart cities, namely smart people, smart economy, smart environment, smart mobility and smart governance are concerned. Smart Master Planning in any city can only be designed and executed by active roles of smart people and smart city government and is a joint and synchronous effort of e-democracy, e-governance and ICT-IOT system in a 24 hour 7-day framework on all activities. In addition to use of information and communication technologies and remote sensing, the design of Smart Master Planning utilizes domain-specific tools of many aspects of a city to realize the coordinated, effective and efficient planning, management, development and conservation that improve ecological, social, biophysical, psychological and economic wellbeing in an equitable manner without compromising the sustainability of development ecosystems and stakeholders. This book will present 12 case studies covering more than 12 cities or more cities centered on domain-specific smart planning components. Case studies of digital innovations in the Smart Master Planning include Application of Artificial Neural Network in Master Planning for cities, Smart Master Plan and 3 D GIS Planning Support System and Digital Spatial Master Planning Incorporating Machine to Machine Automation for Smart Economic Community (IoT, ICT and M2M based Digital Integration).

Computer. Automation --- Geography --- geografie --- algoritmen --- Geography. --- Environmental sciences --- Cooperating objects (Computer systems). --- Regional Geography. --- Environmental Social Sciences. --- Cyber-Physical Systems. --- Social aspects.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book provides an overview of software security analysis in a DevOps cycle including requirements formalisation, verification and continuous monitoring. It presents an overview of the latest techniques and tools that help engineers and developers verify the security requirements of large-scale industrial systems and explains novel methods that enable a faster feedback loop for verifying security-related activities, which rely on techniques such as automated testing, model checking, static analysis, runtime monitoring, and formal methods. The book consists of three parts, each covering a different aspect of security engineering in the DevOps context. The first part, "Security Requirements", explains how to specify and analyse security issues in a formal way. The second part, "Prevention at Development Time", offers a practical and industrial perspective on how to design, develop and verify secure applications. The third part, "Protection at Operations", eventually introduces tools for continuous monitoring of security events and incidents. Overall, it covers several advanced topics related to security verification, such as optimizing security verification activities, automatically creating verifiable specifications from security requirements and vulnerabilities, and using these security specifications to verify security properties against design specifications and generate artifacts such as tests or monitors that can be used later in the DevOps process. The book aims at computer engineers in general and does not require specific knowledge. In particular, it is intended for software architects, developers, testers, security professionals, and tool providers, who want to define, build, test, and verify secure applications, Web services, and industrial systems.

Software engineering. --- Data protection. --- Computer programs --- Cooperating objects (Computer systems). --- Software Engineering. --- Data and Information Security. --- Software Testing. --- Cyber-Physical Systems. --- Testing.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Engineering. --- Mechanical engineering. --- Engineering --- Civil Engineering --- Mechanical Engineering --- Mechanical engineering --- Génie mécanique --- Periodicals --- Périodiques --- mechanical engineering --- nanotechnology --- renewable energy --- cyber-physical systems --- mechatronics --- materials science --- Engineering sciences. Technology --- Mechanical engineering - Periodicals