All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Filters

12 540 (0,145s)

Result

Non-commutative arithmetic circuits with division

The paper ivestigates the complexity of arithmetic circuits with division gates over non-commuting variables.

BA - Obecná matematika

  • 2015
  • Jx
  • Link
Result

ArithsGen: Arithmetic Circuit Generator for Hardware Accelerators

Generators of arithmetic circuits can automatically deliver various implementations of arithmetic circuits that show different tradeoffs between the key circuit a new generator of arithmetic c...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2022
  • D
  • Link
Result

Design Space Exploration for Approximate Implementations of Arithmetic Data Path Primitives

arithmetic circuits (such as adders and multipliers) is widely covered in the literature, much less is known about approximate arithmetic data path primitives (such as Dot if a two-dimensional DP circuit is implem...

Computer hardware and architecture

  • 2018
  • D
  • Link
Result

Fixed-Point Arithmetic in FPGA

Arithmetic operations are among the most frequently-used operations in contemporary digital integrated circuits. Various structures have been designed, utilizing that consider the design of arithmetic operations in Field Pr...

JC - Počítačový hardware a software

  • 2005
  • Jx
Result

Using an Arbitrary-Precision Arithmetic for the Analysis of Radioelectronic Circuits

The article states the problem of insufficent numerical accuracy of the poles-zeros analysis of linear circuits while using a sparse-matrix algorithm, and describes the solution to this problem by means of an arbitrary-precision arithmet...

JA - Elektronika a optoelektronika, elektrotechnika

  • 2003
  • D
Result

On ϵ-sensitive monotone computations

We show that strong-enough lower bounds on monotone arithmetic circuits or the nonnegative rank of a matrix imply unconditional lower bounds in arithmetic or Boolean has an arithmetic circuit of size s the...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2020
  • Jimp
  • Link
Result

Inexact Arithmetic Operators

Approximate implementations of arithmetic circuits have been developed to find the best trade-offs between the key circuit parameters (such as energy, area, and delay) and the error of arithmetic operations. This c...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2022
  • C
  • Link
Result

On theories of bounded arithmetic for NC1

We develop an arithmetical theory VNC1 and its variant VNC1, corresponding to "slightly nonuniform" NC1. Our theories sit between VNC1 and VL, and allow evaluation of log-depth bounded fan-in circuits under limited conditions. Propo...

BA - Obecná matematika

  • 2011
  • Jx
Result

Approximating Complex Arithmetic Circuits with Guaranteed Worst-Case Relative Error

We present a novel method allowing one to approximate complex arithmetic circuits with formal guarantees on the worst-case relative error, abbreviated as WCRE-based error evaluation of approximate circuits into a verifiabil...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2020
  • D
  • Link
Result

Adaptive verifiability-driven strategy for evolutionary approximation of arithmetic circuits

We present a novel approach for designing complex approximate arithmetic circuits that trade correctness for power consumption and play important role in many providing formal guarantees on the approximation error into an evolutiona...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2020
  • Jimp
  • Link
  • 1 - 10 out of 12 540