The compilation of Handel-C programs into net-list descriptions of hardware components has been extensively used in commercial tools but never formally verified. In this paper we first introduce a variation of the existing semantic model for Handel-C compilation that is amenable for mechanical proofs and detailed enough to analyse properties about the generated hardware. We then use this model ...

The motivation behind this project is to implement a data stream processing system based on the QUAY system [1]. The prototype called QUAY-FPGA will consist of configurable hardware and software written in the Handel-C language and compiled using the DK design suite [2]. It will be demonstrated that query throughput can be improved by managing memory access patterns and increasing execution par...

In this research, effects of SiO2 nanoparticles (NPs) on the growth, antioxidant properties, and phenolic and flavonoid contents were investigated in Anthemis gilanica plants from the Asteraceae family. Following seed germination, seedlings were cultured under Hoagland growth media and were treated with different concentrations of SiO2NPs (0, 2, 4, 6 and 8 g L-1). The results showed that SiO2 N...

As a result of human activity, the rate extinction species is now 100 to 1000 times faster than under natural conditions [1]. According FAO, 75% genetic diversity agricultural crops worldwide has been lost since 1990. In Poland, about field weeds are in danger extinction. Archaeophytes growing on heavy calcareous soils, which characteristic Lathyro-Melandrietum noctiflori, Caucalido-Scandicetum...

This paper describes a design framework for video processing that facilitates hardware acceleration of software applications. Our framework contains two elements, both encouraging a modular design style. First, we adopt a multi-layer approach for design management that promotes design reuse, which simplifies the incorporation of user-developed hardware in popular applications such as Premiere, ...