Results 81 to 90 of about 10,420 (190)
Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014
, 2017 SPARK 2014 is a modern programming language and a new state-of-the-art tool set for development and verification of high-integrity software. In this paper, we explore the capabilities and limitations of its latest version in the context of building a ...
A Burns, D Hoang, J Xiang, R Chapman
core +1 more source
Control de una caldera con procesador ARM Cortex M4
, 2023 Grado en Ingeniería en Electrónica Industrial y ...
openaire +1 more source
Control board with a microprocessor SAM4 [PDF]
Procesory ARM jsou dnes jedny z nejpoužívanějších procesorů v oblasti číslicových systémů. Obsahem předložené diplomové práce je návrh univerzální řídicí jednotky pro použití v průmyslové automatizaci, která disponuje dostatečným počtem analogových a ...
Melichar Jiří
core
Operacijski sistem za mikrokrmilnik ARM Cortex M4
, 2020 V diplomski nalogi predstavimo implementacijo operacijskega sistema za mikrokrmilnike. Sistem je narejen po zgledu FreeRTOS operacijskega sistema, ki je med najbolj priljubljenimi operacijskimi sistemi RTOS. Najprej predstavimo implementacijo razvrščevalnika in menjavanja konteksta, ki sta ključna dela RTOS operacijskega sistema.
openaire +1 more source
An Open-Source 7-Axis, Robotic Platform to Enable Dexterous Procedures within CT Scanners
, 2019 This paper describes the design, manufacture, and performance of a highly dexterous, low-profile, 7 Degree-of-Freedom (DOF) robotic arm for CT-guided percutaneous needle biopsy.
Norbash, Alexander M. +3 more
core +1 more source
A high performance, low power computational platform for complex sensing operations in smart cities
HardwareX, 2017 This paper presents a new wireless platform designed for an integrated traffic/flash flood monitoring system. The sensor platform is built around a 32-bit ARM Cortex M4 microcontroller and a 2.4 GHz 802.15.4 ISM compliant radio module.
Jiming Jiang, Christian Claudel
doaj +1 more source
A wireless interface for the Pitote tube [PDF]
, 2014 A pitot tube is a pressure measurement instrument used to measure fluid flow velocity. Most often, pitot tubes are used to determine the speed of aircraft and boats.
Kren, Matevž
core
pqm4: Testing and Benchmarking NIST PQC on ARM Cortex-M4 [PDF]
, 2019 Contains fulltext : 210214.pdf (Publisher’s version ) (Open Access)
Kannwischer, M.J. +3 more
openaire
Modular control system for embedded applications
MATEC Web of Conferences, 2016 This paper deals with hardware design of a modular control system intended for embedded applications demanding high computational power while maintaining low cost.
Dostálek Petr +2 more
doaj +1 more source
Embedded Artificial Intelligence for IoT Applications Using the MAX78000
IEEE AccessRecent advances in embedded AI and IoT have revolutionized the development of intelligent edge devices. This work provides a tutorial on developing and deploying AI models on the MAX78000, a low-power microcontroller designed specifically for AI ...
Martina Balbi +2 more
doaj +1 more source