Search results for "arithmetic"
showing 10 items of 271 documents
Multiple modular very long instruction word processors based on field programmable gate arrays
2007
Modern field programmable gate array (FPGA) chips, with their large memory capacity and reconfigurability potential, are opening new frontiers in rapid prototyping of embedded systems. With the advent of high-density FPGAs, it is now possible to implement a high-performance very long instruction word (VLIW) processor core in an FPGA. This paper describes research results about enabling the DSP TMS320 C6201 model for real-time image processing applications by exploiting FPGA technology. We present a modular DSP C6201 VHDL model with a variable instruction set. We call this new development a minimum mandatory modules (M3) approach. Our goals are to keep the flexibility of DSP in order to shor…
High-speed, low-complexity fir filter using multiplier block reduction and polyphase decomposition
2005
In this paper we discuss the design and implementation of a highspeed FIR filter for both interpolation and decimation of the sample frequency. Several FIR filter structures are compared and various schemes for simplifying the implementation of the multiplications are evaluated. Carry-save adders with carryoverflow correction are used in the implementation. The results in terms of chip area and power consumption are compared using a standard 0.8 pm 3.3 V CMOS process.
TID and SEE Tests of an Advanced 8 Gbit NAND-Flash Memory
2008
We report on the dose and operational mode dependence of error percentage, stand-by current, erase and write time of 8 Gbit / 4 Gbit NAND-flash memories as well as on their static, dynamic and SEFI cross sections.
Integration of an LP Solver into Interval Constraint Propagation
2011
This paper describes the integration of an LP solver into iSAT, a Satisfiability Modulo Theories solver that can solve Boolean combinations of linear and nonlinear constraints. iSAT is a tight integration of the well-known DPLL algorithm and interval constraint propagation allowing it to reason about linear and nonlinear constraints. As interval arithmetic is known to be less efficient on solving linear programs, we will demonstrate how the integration of an LP solver can improve the overall solving performance of iSAT.
Pileup and underlying event mitigation with iterative constituent subtraction
2019
Abstract The hard-scatter processes in hadronic collisions are often largely contaminated with soft background coming from pileup in proton-proton collisions, or underlying event in heavy-ion collisions. This paper presents a new background subtraction method for jets and event observables (such as missing transverse energy) which is based on the previously published Constituent Subtraction algorithm. The new subtraction method, called Iterative Constituent Subtraction, applies event-wide implementation of Constituent Subtraction iteratively in order to fully equilibrate the background subtraction across the entire event. Besides documenting the new method, we provide guidelines for setting…
Concatenated logic functions using nanofluidic diodes with all-electrical inputs and outputs
2018
[EN] Nanopore-based logical schemes in ionic solutions typically involve single gates and chemical inputs. The design of computer-like functions requires the consecutive concatenation of several gates and the use of electrical potentials and currents to facilitate the downstream transfer of electrochemical information. We have demonstrated the robust operation of concatenated logic functions using biomimetic nanofluidic diodes based on single pore membranes. To this end, we have implemented first the logic functions AND and OR with combinations of single nanopores using all-electrical input and output signals. The concatenation of these gates allows the output of the OR gate to act as one o…
Cross-lagged associations between perceived external employability, job insecurity, and exhaustion: Testing gain and loss spirals according to the Co…
2012
Summary This study investigates perceived external employability (PEE) as a personal resource in relation to job insecurity and exhaustion. We advance the idea that PEE may reduce feelings of job insecurity and, through felt job insecurity, also exhaustion. That is, we probe the paths from PEE to job insecurity and from job insecurity to exhaustion. We furthermore account for possible reversed causality, so that exhaustion felt job insecurity and felt job insecurity PEE. This aligns with insights from the Conservation of Resources Theory, which is built on the assumption of resource caravans passageways and associated gain and loss spirals. We based the results on a sample of 1314 workers…
Reliability and validity evidence of the early numeracy test for identifying children at risk for mathematical learning difficulties
2020
Abstract This study investigated reliability and validity evidence regarding the Early Numeracy test (EN-test) in a sample of 1139 Swedish-speaking children (587 girls) in kindergarten (n = 361), first grade (n = 321), and second grade (n = 457). Structural validity evidence was established through confirmatory factor analysis (CFA), which showed that a four-factor model fit the data significantly better than a one-factor or two-factor model. The known-group and cross-cultural validity were established through multigroup CFAs, finding that the four-factor model fit the gender, age and language groups equally well. Internal consistency for the test and sub-skills varied from good to excellen…
The forgotten mathematical legacy of Peano
2019
International audience; The formulations that Peano gave to many mathematical notions at the end of the 19th century were so perfect and modern that they have become standard today. A formal language of logic that he created, enabled him to perceive mathematics with great precision and depth. He described mathematics axiomatically basing the reasoning exclusively on logical and set-theoretical primitive terms and properties, which was revolutionary at that time. Yet, numerous Peano’s contributions remain either unremembered or underestimated.
Transmission of Genetic Properties in Permutation Problems: Study of Lehmer Code and Inversion Table Encoding
2021
Solution encoding describes the way decision variables are represented. In the case of permutation problems, the classical encoding should ensure that there are no duplicates. During crossover operations, repairs may be carried out to correct or avoid repetitions. The use of indirect encoding aims to define bijections between the classical permutation and a different representation of the decision variables. These encodings are not sensitive to duplicates. However, they lead to a loss of genetic properties during crossbreeding. This paper proposes a study of the impact of this loss both in the space of decision variables and in that of fitness values. We consider two indirect encoding: the …