In this paper, we present the static analysis capabilities of Arcade.PLC: A tool to check software for Programmable Logic Controllers, which are frequently used in industry to control or monitor technical processes. These devices are usually programmed using domain specific programming languages and unorthodox programming practices such as a huge number of variables and large function size. Thi...

Artists continue to search for new methods of creation of artworks. The trend to interactive multimedia installation work requires systems that allow participants to interact in subtle ways. The paper describes a number of non-conventional interfaces to computer mediated art works achieved using small Programmable Logic Controllers (PLC) called ‘Stamps’. These are programmed in BASIC and can be...

The paper presents the results of investigations concerning the possibility of using programmable logic devices (FPGA) to build virtual multi-core processors dedicated specifically towards particular applications. The paper shows the designed architecture of a multi-core processor specialized to perform a particular task, and it discusses its computational efficiency depending on the number of ...

The international standard MMS (Manufacturing Message Specification) is an OSI application layer messaging protocol origionally designed for the remote control and monitoring of devices such as Remote Terminal Units (RTU), Programmable Logic Controllers (PLC), Numerical Controllers (NC), or Robot Controllers (RC). It provides a set of services allowing the remote manipulation of variables, prog...

This paper investigates the implementation of computations over nite elds GF(2 m) using eld-programmable logic devices (FPLDs). Implementation details for addition/subtraction, multiplication , square, inversion, and division are given with mapping results for Xilinx LCAs, Altera CPLDs and Actel ACT FPGAs. As an application example, mapping results for complete encoders for error-correcting cod...

We present a Field Programmable Logic Devices (FPLDs) based implementation of a scalable filter architecture capable of detecting and removing impulsive noise in image sequences. The adaptive filter architecture is built using switching spatiotemporal filtering scheme and robust Lower-Upper-Middle (LUM) based noise detector. It uses highly optimized bit-serial pipelined implementation in Altera...

A new magnetic logic overcomes the major limitations of field programmable gate arrays while having a 50% smaller unit cell than conventional designs utilizing magnetic tunnel junctions with one Heusler alloy electrode. These show positive and negative TMR values at different bias voltages at room temperature which generally adds an additional degree of freedom to all spintronic devices. Electr...

This paper presents a hardware-friendly approach for adapting the structure of a reinforcement, learning-based neurocontroller. An unsupervised clustering algorithm is used to partition the state space of a system and to adapt the size of its reinforcement module. In the well-known inverted pendulum problem, the system has proven to be much faster than previous neurocontroller approaches. We ar...

A promising application of DNA self-assembly is the fabrication of chromophore-based excitonic devices. DNA brick assembly is a compelling method for creating programmable nanobreadboards on which chromophores may be rapidly and easily repositioned to prototype new excitonic devices, optimize device operation, and induce reversible switching. Using DNA nanobreadboards, we have demonstrated each...

Side-channel attacks are efficient attacks against cryptographic devices. They use only quantities observable from outside, such as the duration and the power consumption. Attacks against synchronous devices using electric observations are facilitated by the fact that all transitions occur simultaneously with some global clock signal. Asynchronous control remove this synchronization and therefo...