Results 31 to 40 of about 80,206 (173)
Recursive ECATNets‐based approach for formally verifying System Modelling Language activity diagrams
IET Software, Volume 9, Issue 5, Page 119-128, October 2015., 2015 System Modelling Language (SysML) is a modelling language that allows system description with various integrated diagrams. The SysML activity diagram (SAD) is widely used to graphically describe system behaviours. Nevertheless, despite the various advantages of SysML, it lacks for formal semantics to achieve the verification of behavioural requirements.
Messaoud Rahim +3 more
wiley +1 more source
Insulator Metal Transition-Based Selector in Crossbar Memory Arrays
Electronic MaterialsThis article investigates resistive random access memory (ReRAM) crossbar memory arrays, which is a notable development in non-volatile memory technology.
Mahmoud Darwish, László Pohl
doaj +1 more source
A Mac Protocol Implementation for Wireless Sensor Network
Journal of Computer Networks and Communications, Volume 2015, Issue 1, 2015., 2015 IEEE 802.15.4 is an important standard for Low Rate Wireless Personal Area Network (LRWPAN). The IEEE 802.15.4 presents a flexible MAC protocol that provides good efficiency for data transmission by adapting its parameters according to characteristics of different applications. In this research work, some restrictions of this standard are explained and
Jamila Bhar, Liansheng Tan
wiley +1 more source
Automotive VHDL-AMS Electro-Mechanics Simulations
, 2011 Automotive sub-systems, from security and energy, to comfort and entertainment, include several examples of entanglement between electronics andmechanics (H. Casier & Appeltans, 1998). Their correct modeling is of key importance during the design cycle, and, from conception to test, real critical conditions due to mechanic, thermal and electromagnetic ...
GRAZIANO, MARIAGRAZIA, RUO ROCH, Massimo
openaire +3 more sources
A Signature‐Based Power Model for MPSoC on FPGA
VLSI Design, Volume 2012, Issue 1, 2012., 2012 This paper presents a framework for high‐level power estimation of multiprocessor systems‐on‐chip (MPSoC) architectures on FPGA. The technique is based on abstract execution profiles, called event signatures, and it operates at a higher level of abstraction than, for example, commonly used instruction‐set simulator (ISS)‐based power estimation methods ...
Roberta Piscitelli +2 more
wiley +1 more source
Synthesis on Programmable Analog Devices from VHDL-AMS [PDF]
MELECON 2006 - 2006 IEEE Mediterranean Electrotechnical Conference, 2006 This work has been supported by Ministerio de Ciencia y Tecnología of Spain, under grant TIC2003-09400-C04-02.
Doménech Asensi, Ginés +3 more
openaire +2 more sources
Modélisation VHDL-AMS d’une fibre optique à saut d’indice
Revue des Énergies Renouvelables, 2014 La simulation peut jouer un rôle important dans toutes les phases de développement des systèmes de communications, depuis les premières étapes de conception, jusqu’aux dernières étapes de réalisation, de test et de mise en oeuvre du système.
rafik halalchi +3 more
doaj
Selected Papers from the Symposium on Integrated Circuits and Systems Design (SBCCI 2011)
, 2013 International Journal of Reconfigurable Computing, Volume 2013, Issue 1, 2013.
Massimo Conti +4 more
wiley +1 more source
Cryptographically Secure PseudoRandom Bit Generator for Wearable Technology. [PDF]
Entropy (Basel), 2023 Melosik M +4 more
europepmc +1 more source