Zobrazeno 1 - 10
of 21
pro vyhledávání: '"B.2.1"'
Autor:
Hunhold, Laslo
The takum machine number format has been recently proposed as an enhancement over the posit number format, which is considered a promising alternative to the IEEE 754 floating-point standard. Takums retain the useful posit properties, but feature a n
Externí odkaz:
http://arxiv.org/abs/2408.10594
Autor:
Smith, James E.
This document is focused on computing systems implemented in technologies that communicate and compute with temporal transients. Although described in general terms, implementations of spiking neural networks are of primary interest. As background, a
Externí odkaz:
http://arxiv.org/abs/2201.07742
Autor:
Drechsler, Rolf
Verification is one of the central tasks during circuit design. While most of the approaches have exponential worst-case behaviour, in the following techniques are discussed for proving polynomial circuit verification based on Binary Decision Diagram
Externí odkaz:
http://arxiv.org/abs/2104.03024
Autor:
Drechsler, Rolf
Only by formal verification approaches functional correctness can be ensured. While for many circuits fast verification is possible, in other cases the approaches fail. In general no efficient algorithms can be given, since the underlying verificatio
Externí odkaz:
http://arxiv.org/abs/2009.03242
Autor:
Rasoulinezhad, SeyedRamin, Siddhartha, Zhou, Hao, Wang, Lingli, Boland, David, Leong, Philip H. W.
We propose two tiers of modifications to FPGA logic cell architecture to deliver a variety of performance and utilization benefits with only minor area overheads. In the irst tier, we augment existing commercial logic cell datapaths with a 6-input XO
Externí odkaz:
http://arxiv.org/abs/2003.03043
Autor:
Shcherbakov, V. I.
In this paper we consider the matrix structure of arithmetic processors based on distributed arithmetic in multi-row codes. Scope - development of supercomputers.
Comment: 22pages (russian-original) + 19 pages(english-robotic translationn)
Comment: 22pages (russian-original) + 19 pages(english-robotic translationn)
Externí odkaz:
http://arxiv.org/abs/1602.08391
Autor:
Mijajlovic, Zarko, Pejovic, Aleksandar
A parallel method for computing Boolean expressions based on the properties of finite free Boolean algebras is presented. We also show how various finite combinatorial objects can be codded in the formalism of Boolean algebras and counted by this pro
Externí odkaz:
http://arxiv.org/abs/1310.6978
Publikováno v:
Journal of Computing, Volume 3, Issue 7, July 2011, 68-77
Multidimensional Retiming is one of the most important optimization techniques to improve timing parameters of nested loops. It consists in exploring the iterative and recursive structures of loops to redistribute computation nodes on cycle periods,
Externí odkaz:
http://arxiv.org/abs/1205.4672
Massively parallel DNA sequencing techniques are rapidly changing the dynamics of phylogenetic study design by exponentially increasing the discovery of phylogenetically useful loci. This increase in the number of phylogenetic markers potentially pro
Externí odkaz:
http://arxiv.org/abs/1202.1215
Autor:
Magomedov, Isa, Khazamov, Omar
Publikováno v:
DSTU Journal,2009,p. 445-453
The approach of applying associative processor for decision making problem was proposed. It focuses on hardware implementations of fuzzy processing systems, associativity as effective management basis of fuzzy processor. The structural approach is be
Externí odkaz:
http://arxiv.org/abs/1008.0838