Results 11 to 20 of about 3,425 (184)

Hardware acceleration of number theoretic transform for zk‐SNARK

Engineering Reports, EarlyView., 2023
An FPGA‐based hardware accelerator with a multi‐level pipeline is designed to support the large‐bitwidth and large‐scale NTT tasks in zk‐SNARK. It can be flexibly scaled to different scales of FPGAs and has been equipped in the heterogeneous acceleration system with the help of HLS and OpenCL.
Haixu Zhao, Dong Ding, Feng Wang, Pengcheng Hua, Ning Wang, Qin Wu, Zhilei Chai   +6 more
wiley   +1 more source

PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic [PDF]

, 2004
Interval Temporal Logic (ITL) is a finite-time linear temporal logic with applications in hardware verification, temporal logic programming and specification of multimedia documents.
Howard Bowman, Gomez, Rodolfo, Rodolfo Gómez, Bowman, Howard   +3 more
core   +1 more source

Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021 [PDF]

, 2008
International audienceEfforts have been made to standardize interval arithmetic (IA) for over a decade. The reasons have been to enable more widespread use of the technology, to enable more widespread sharing and collaboration among researchers and ...
John Pryce, Pryce, John D., R. Baker Kearfott, Kearfott, R. Baker, Revol, Nathalie, Nathalie Revol   +5 more
core   +1 more source

Comprehensive Numerical Analysis of Finite Difference Time Domain Methods for Improving Optical Waveguide Sensor Accuracy

Sensors, 2016
This paper discusses numerical analysis methods for different geometrical features that have limited interval values for typically used sensor wavelengths.
M. Mosleh E. Abu Samak, A. Ashrif A. Bakar, Muhammad Kashif, Mohd Saiful Dzulkifly Zan   +3 more
doaj   +1 more source

Crystallisation Degree Analysis during Cryopreservation of Biological Tissue Applying Interval Arithmetic

, 2023
This paper presents the numerical modelling of heat transfer and changes proceeding in the homogeneous sample, caused by the crystallisation phenomenon during cryopreservation by vitrification.
Anna Skorupa, Alicja Piasecka-Belkhayat
core   +1 more source

INTERVAL SIMULATION OF NARMAX MODELS BASED ON COMPUTER ARITHMETIC [PDF]

, 2018
System identification is an important area of science, which aims to describe the characteristics of the system, representing them by mathematical models.
Nepomuceno, Erivelton, Priscila Fernanda da Silva Guedes, Otávio Augusto Rodrigues de Oliveira Freitas, Samir Angelo Milani Martins, Freitas, Otávio A R O, Márcia Luciana da Costa Peixoto, Alípio Monteiro Barbosa, Guedes, Priscila F. S., Erivelton Geraldo Nepomuceno, Peixoto, Márcia L. C., Barbosa, Alípio Monteiro, Martins, Samir Angelo Milani   +11 more
core   +1 more source

Genetic Programming with Fitness based on Model Checking [PDF]

, 2007
Model checking is a way of analysing programs and program-like structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour.
Colin G. Johnson, Johnson, Colin G.
core   +1 more source

Interval Oscillation Criteria for Second-Order Dynamic Equations with Nonlinearities Given by Riemann-Stieltjes Integrals

Abstract and Applied Analysis, 2011
By using a generalized arithmetic-geometric mean inequality on time scales, we study the forced oscillation of second-order dynamic equations with nonlinearities given by Riemann-
Yuangong Sun
doaj   +1 more source

A Symbolic Noise Analysis Approach to Word-Length Optimization in DSP Hardware [PDF]

, 2007
This paper addresses the problem of choosing different word-lengths for each functional unit in fixed-point implementations of DSP algorithms. A symbolic-noise analysis method is introduced for high-level synthesis of DSP algorithms in digital hardware ...
Ahmadi, Arash, Zwolinski, Mark, Arash Ahmadi, Mark Zwolinski   +3 more
core   +1 more source

Inconsistencies in Numerical Simulations of Dynamical Systems Using Interval Arithmetic

, 2018
Over the past few decades, interval arithmetic has been attracting widespread interest from the scientific community. With the expansion of computing power, scientific computing is encountering a noteworthy shift from floating-point arithmetic toward ...
Erivelton G. Nepomuceno, Matjaž Perc, Samir A. M. Martins, Heitor M. Rodrigues, Márcia L. C. Peixoto   +4 more
core   +1 more source