搜索结果: 1-9 共查到“Floating-Point”相关记录9条 . 查询时间(0.062 秒)
Stochastic Optimization of Floating Point Programs with Tunable Precision
64-bit x86 x86-64, Binary Markov Chain Monte Carlo MCMC Stochastic Search SMT Floating-Point Precision
2016/5/24
The aggressive optimization of floating-point computations is an important problem in high-performance computing. Unfortunately,floating-point instruction sets have complicated semantics that often fo...
Verifying Bit-Manipulations of Floating-Point
Verification Floating-point Bit-manipulation Bit-level operation ULP error Absolute error
2016/5/24
Reasoning about floating-point is difficult and becomes only more so if there is an interplay between floating-point and bit-level operations. Even though real-world floating-point libraries use imple...
Floating-Point Homomorphic Encryption
Homomorphic Encryption Floating-point Arithmetic BGV Scheme
2016/5/3
Our paper suggests a general method to construct a Floating-Point Homomorphic Encryption (FPHE) scheme that allows the floating-point arithmetics of ciphertexts, thus computing encryptions of most sig...
Hybrid Model of Fixed and Floating Point Numbers in Secure Multiparty Computations
cryptographic protocols secret sharing multi-party computations
2016/1/25
This paper develops a new hybrid model of floating point numbers suitable for operations
in secure multi-party computations. The basic idea is to consider the significand of the floating
point numbe...
Combining Secret Sharing and Garbled Circuits for Efficient Private IEEE 754 Floating-Point Computations
secure multi-party computation garbled circuits secret sharing
2016/1/5
Two of the major branches in secure multi-party computation research are secret sharing
and garbled circuits. This work succeeds in combining these to enable seamlessly switching
to the technique mo...
A 640 512 CMOS Image Sensor with Ultrawide Dynamic Range Floating-Point Pixel-Level ADC
Analog-to-digital conversion (ADC) CMOS image sensors digital cameras dynamic range image sensors mixed analog–digital integrated circuits pixel-level ADC video cameras
2015/8/12
Analysis results demonstrate that multiple sampling can achieve consistently higher signal-to-noise ratio at equal or higher dynamic range than using other image sensor dynamic range enhancement schem...
Secure Floating-Point Arithmetic and Private Satellite Collision Analysis
secure floating-point arithmetics satellite collision analysis benchmark results
2014/3/5
In this paper we show that it is possible and, indeed, feasible to use secure multiparty computation for calculating the probability of a collision between two satellites. For this purpose, we first d...
复旦大学软件学院计算机系统课件 Floating Point。
复旦大学软件学院计算机系统课件 Floating Point
复旦大学软件学院 计算机系统 课件 Floating Point
2012/12/18
复旦大学软件学院计算机系统课件 Floating Point。