Search results for "Embedded"
showing 10 items of 412 documents
Efficient Utilization of Patterns in Mobile Application Development
2012
An efficient VM-based software protection
2011
This paper presents Truly-protect, a system, incorporating a virtual machine, that enables execution of encrypted programs. Our intention is to form a framework for a conditional access/digital rights management system.
HIGH-ORDER ACCURATE EMBEDDED-BOUNDARY DISCONTINUOUS GALERKIN METHODS FOR INVISCID GAS DYNAMICS
2022
This work presents a computational framework for solving the equations of inviscid gas dynamics over embedded geometries based on the discontinuous Galerkin (DG) method. The novelty of the framework is the ability to achieve high-order accuracy in the regions of smooth flow and to handle the presence of solution discontinuities via suitably introduced damping terms, which allow controlling spurious oscillations that are typical of high-order methods for first-order hyperbolic PDEs. The framework employs block structured Cartesian grids where a level set function defines implicitly the considered geometry. The domain is partitioned by intersecting the grid and the level set function, such th…
The support localization property of the strongly embedded subspaces of banach function spaces
2015
[EN] Motivated by the well known Kadec-Pelczynski disjointifcation theorem, we undertake an analysis of the supports of non-zero functions in strongly embedded subspaces of Banach functions spaces. The main aim is to isolate those properties that bring additional information on strongly embedded subspaces. This is the case of the support localization property, which is a necessary condition fulflled by all strongly embedded subspaces. Several examples that involve Rademacher functions, the Volterra operator, Lorentz spaces or Orlicz spaces are provided.
Quantum Pushdown Automata
2000
Quantum finite automata, as well as quantum pushdown automata were first introduced by C. Moore, J. P. Crutchfield [13]. In this paper we introduce the notion of quantum pushdown automata (QPA) in a non-equivalent way, including unitarity criteria, by using the definition of quantum finite automata of [11]. It is established that the unitarity criteria of QPA are not equivalent to the corresponding unitarity criteria of quantum Turing machines [4]. We show that QPA can recognize every regular language. Finally we present some simple languages recognized by QPA, two of them are not recognizable by deterministic pushdown automata and one seems to be not recognizable by probabilistic pushdown …
MAC-Engine
2011
In this demo, we prove that the flexibility supported by off-the-shelf IEEE 802.11 hardware can be significantly extended if we move the control of the MAC programming interface from the driver to the firmware, i.e. from the host CPU to the card CPU. To this purpose, we introduce the concept of MAC--Engine, that is an executor of Programmable Finite State Machines (PFSM) implemented at the firmware level: we show how the card itself can support different protocol logics thanks to PFSM bytecode representations that can be dynamically injected inside the card memory at run-time without incurring in down time issues or network disconnect events. We provide different PFSM examples in order to t…
A real-time non-intrusive FPGA-based drowsiness detection system
2011
Automotive has gained several benefits from the Ambient Intelligent researches involving the deployment of sensors and hardware devices into an intelligent environment surrounding people, meeting users’ requirements and anticipating their needs. One of the main topics in automotive is to anticipate driver needs and safety, in terms of preventing critical and dangerous events. Considering the high number of caused accidents, one of the most relevant dangerous events affecting driver and passengers safety is driver’s drowsiness and hypovigilance. This paper presents a low-intrusive, real-time driver’s drowsiness detection system for common vehicles. The proposed system exploits the ‘‘bright p…
A novel methodology for accelerating bitstream relocation in partially reconfigurable systems
2012
International audience; Xilinx Virtex FPGAs offer the possibility of Partial Reconfiguration (PR). Arbitrary tasks can be allocated and de-allocated onto FPGA without system interruption. However, mapping a task to any available PR region requires a unique partial bitstream for each partition, hence reducing memory storage requirements. In recent years, an interest on overcoming this problem has lead to the concept of Partial Bitstream Relocation (PBR). The principle is to perform bitstream modification to map it to different regions. However, PBR consumes scarce resources in hardware implementations, and introduces a prohibitive time overhead when done in software. In order to find the bes…
Wearable photoplethysmography device prototype for wireless cardiovascular monitoring
2014
The aim of the study was to develop a prototype system of the smart garment for real time telemetric monitoring of human cardiovascular activity. Two types of photoplethysmography (PPG) sensors for low noise and artefact free signal recording from various sites of the human body that were suitable for integration into smart textile were investigated. The reflectance sensors with single and multiple photodiodes based on "pulse-duration-based signal conversion" signal acquisition principle were designed and evaluated. The technical parameters of the system were measured both on bench and in vivo. Overall, both types of PPG sensors showed acceptable signal quality SNR 86.56±3.00 dB, dynamic ra…
Embedded Model Control and dynamic simulation
2006
Embedded model control (EMC) is and end-to-end control technology addressed to industrial engineers and centered on the embedded model, a stylized discrete-time state equation of the whole plant, including environment, communication and computing resources. The embedded model, which is the core of the control unit, is derived and validated from a fine model of the plant which is implemented as a simulator code. The latter acts as a faithful and friendly test-bench where assessing control units before they are loaded into target processor. The paper illustrates the requirements and architecture of the EMC simulator under continuous improvement. A case study closes the paper.