Internet of things (IoT) has been emerging day-to-day because of multiple technologies like embeddedsystems, machine learning, real-time analytics, and commodity sensors. IoT contributes more to smart home applicatio...
详细信息
ISBN:
(纸本)9781665403603;9781665447751
Internet of things (IoT) has been emerging day-to-day because of multiple technologies like embeddedsystems, machine learning, real-time analytics, and commodity sensors. IoT contributes more to smart home applications, it can control with devices that are associated with it. In IoT, the applications are often divided into infrastructure, consumer, industrial, commercial applications. IoT creates more opportunities for direct integrations, in which it brings the physical world into computer-based systems, which makes people life so easier. Nowadays IoT has hundreds of applications, which in turn help people in many ways and reduce more human interactions.
the proceedings contain 29 papers. the special focus in this conference is on Leveraging applications of Formal Methods. the topics include: From Requirements to Executable Rules: An Ensemble of Domain-Specific Langua...
ISBN:
(纸本)9783030891589
the proceedings contain 29 papers. the special focus in this conference is on Leveraging applications of Formal Methods. the topics include: From Requirements to Executable Rules: An Ensemble of Domain-Specific Languages for Programming Cyber-Physical systems in Warehouse Logistics;mining Data Quality Rules for Data Migrations: A Case Study on Material Master Data;programming - What is Next?;low-Code Is Often High-Code, So We Must Design Low-Code Platforms to Enable Proper Software Engineering;time for All Programs, Not Just real-time Programs;integrated Modeling and Development of Component-Based embedded Software in Scala;slang: the Sireum Programming Language;HAMR: An AADL Multi-platform Code Generation Toolset;fundamental Constructs in Programming Languages;pyrus: An Online Modeling Environment for No-Code Data-Analytics Service Composition;introducing Dynamical systems andChaos Early in Computer Science andSoftware Engineering Education Can Help Advance theory and Practice ofSoftware Development and computing;GATE: Gradual Effect Types;fixing Classification: A Viewpoint-Based Approach;the Future of Programming andModelling: A Vision;towards Model-Based Intent-Driven Adaptive Software;the Interoperability Challenge: Building a Model-Driven Digital thread Platform for CPS;programming vs. that thing Subject Matter Experts Do;aligned, Purpose-Driven Cooperation: the Future Way of System Development;sVerify: Verifying Smart Contracts through Lazy Annotation and Learning;Verifying Temporal Properties of Stigmergic Collective systems Using CADP;Integrating External Services in DIME;asking Why;Formal Methods for a Digital Industry: Industrial Day at ISoLA 2021;agile Business Engineering: From Transformation Towards ContinuousInnovation;towards Living Canvases;use Cases for Simulation in the Development of Automated Driving systems.
Face detection and landmark localization are necessary steps in most face applications. At present, the method based on deep learning has shown obvious advantages in effect. However, most neural networks are computati...
详细信息
the Ict (IoT) is a significant system that connects numerous items to the network and network communications. It enables links between individuals and things in almost any manner from any point at any time. Numerous I...
详细信息
ISBN:
(纸本)9781665487351
the Ict (IoT) is a significant system that connects numerous items to the network and network communications. It enables links between individuals and things in almost any manner from any point at any time. Numerous IoT-based options exist. Home security system are some of the most well-liked applicationsthat have raised the quality of people's lives. In this work, we offer an advanced processing concept that has been intuitive and can be used to buy and run household products from any part of the globe. this gadget is smart and focused in commanding other devices with speech processing and understanding. therefore, the primary goal of the work is to create a sophisticated control system that is far more stable and intelligent enough to get out gas and human effort. Detector, thermistor, MQ2 gyroscope, or GPS module are the major four devices shown in this system. this female's embeddedsystems are all affordable, available, and interchangeable.
this paper presents an extended version of a previously published Bayesian algorithm for the automatic correction of the positions of the equipment on the map with simultaneous mobile object trajectory localization (S...
详细信息
ISBN:
(纸本)9781665426060
this paper presents an extended version of a previously published Bayesian algorithm for the automatic correction of the positions of the equipment on the map with simultaneous mobile object trajectory localization (SLAM) in underground mine environment represented by undirected graph. the proposed extended SLAM algorithm requires much less preliminary data on possible equipment positions and uses an additional resample move algorithm to significantly improve the overall performance.
Heterogeneous hardware platforms are often used for implementing complex critical real-timeapplications, like Advanced driver-assistance systems (ADAS) and autonomous driving. Typically, they are composed of CPU host...
详细信息
In this paper, a heterogeneous controller system and its first-silicon ASIC implementation are presented, where the use of a programmable NanoController next to a general-purpose microcontroller enables more efficient...
详细信息
ISBN:
(数字)9781665467179
ISBN:
(纸本)9781665467186
In this paper, a heterogeneous controller system and its first-silicon ASIC implementation are presented, where the use of a programmable NanoController next to a general-purpose microcontroller enables more efficient and flexible power management strategies than typical timer-based, periodical power-up of a single microcontroller in state-of-the-art IoT devices. the NanoController features a compact, control-oriented 4-bit ISA, which is used to continuously pre-process data in order to decide when to power-up the microcontroller required for infrequent complex processing, e.g., encrypted wireless communication. Despite its programmability, the required silicon area and power consumption are very small and enable the use in the always-on domain of SoCs for energy harvesting platforms, instead of much simpler and constrained timer circuits. the first-silicon ASIC implementation of such a controller system using a 65nm UMC low-leakage process is presented and evaluated for a real home automation application intended to operate on harvested energy, i.e., electronic door lock, reducing the average power consumption of reference microcontrollers by up to 20x.
the structure of the measuring system for precise determination of the relative quality indicator of non-conductive objects is improved. this indicator is determined relative to the parameters of the code controlled m...
详细信息
ISBN:
(纸本)9781665426060
the structure of the measuring system for precise determination of the relative quality indicator of non-conductive objects is improved. this indicator is determined relative to the parameters of the code controlled measures. To increase the accuracy of the value of the relative quality index, which is determined by the separation of the two results of the transformation, which is proportional to the control and sample components of the admittance. these components are obtained with a time division of channels. the metrological properties of the proposed structure will be practically determined only by the parameters of the code-controlled measure.
the proposed project aims to develop a portable embedded system to avoid burglary on vehicles. the complete prototype is designed on a single chip which is very simple and cost effective. Our proposed prototype compre...
详细信息
ISBN:
(纸本)9781728151977;9781728151960
the proposed project aims to develop a portable embedded system to avoid burglary on vehicles. the complete prototype is designed on a single chip which is very simple and cost effective. Our proposed prototype compressed of a 32-bit microcontroller, SIM900A GPS/GSM Module, sensors and transducers. the prototype is fixed inside the engine part of transport with proper shielding. A android based mobile application is developed in order to track the movement of vehicles even though the key ignition were ON/OFF state. During burglary of vehicles, the owner can deactivate engine vehicles ignition then consecutively owner can lock the gear panel, ABS brakes can also be locked if necessary. Later withthe usage of SIM900A GPS/GSM module, current latitude and longitude value are fetched and the same locations are transferred via SMS (Short Message Service) to the owners mobile. the complete prototype is designed on a single chip which is very simple and cost effective.
the proceedings contain 8 papers. the topics discussed include: TardisTM: incremental repair for transactional memory;bounded incoherence: a programming model for non-cache-coherent shared memory architectures;ELSE: a...
ISBN:
(纸本)9781450375221
the proceedings contain 8 papers. the topics discussed include: TardisTM: incremental repair for transactional memory;bounded incoherence: a programming model for non-cache-coherent shared memory architectures;ELSE: an efficient link-time static instrumentation tool for embedded system;self-adjusting task granularity for global load balancer library on clusters of many-core processors;towards a portable hierarchical view of distributed shared memory systems: challenges and solutions;lock-free transactional vector;exploring accelerator and parallel graph algorithmic choices for temporal graphs;and generating energy-efficient code for parallel applications specified by streaming task graphs with dynamic elements.
暂无评论