Search results for "finite precision"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	David Novo, Min Li, Robert Fasthuber, Praveen Raghavan, Francky Catthoor	Exploiting finite precision information to guide data-flow mapping.	DAC	2010	DBLP DOI BibTeX RDF	finite precision, mapping efficiency, ASIP
3	Rongjie Yan, Guangyuan Li, Zhisong Tang	Symbolic Model Checking of Finite Precision Timed Automata.	ICTAC	2005	DBLP DOI BibTeX RDF	Finite precision timed automata, model checking, symbolic methods
3	Susan S. Brilliant, John C. Knight, Nancy G. Leveson	The Consistent Comparison Problem in N-Version Software.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	consistent comparison problem, N-version software, finite-precision numbers, finite-precision calculations, fault tolerant computing, programming, decisions, N-version programming
2	Daesun Oh, Keshab K. Parhi	Low Complexity Decoder Architecture for Low-Density Parity-Check Codes.	Signal Processing Systems	2009	DBLP DOI BibTeX RDF	Quasi-cyclic (QC) LDPC codes, Finite precision, Variable quantization, Sum-product algorithm (SPA), Highly-parallel decoding, Low complexity decoder architecture, Low-density parity check (LDPC) codes
2	Rafiahamed Shaik, Mrityunjoy Chakraborty	An Efficient Finite Precision Realization of the Adaptive Decision Feedback Equalizer.	ISCAS	2007	DBLP DOI BibTeX RDF
2	Hai Huyen Dam, Sven Nordholm, Kok Lay Teo	Uniform DFT Filter Bank with Finite Precision Prototype Filters.	APCCAS	2006	DBLP DOI BibTeX RDF
2	Fotis N. Koumboulis, Maria P. Tzamtzi, Michael G. Skarpetis	Finite Precision Controllers for Robust Pole Assignment of Linear Systems with Nonlinear Uncertain Structure.	ETFA	2006	DBLP DOI BibTeX RDF
2	Sridhar Rajagopal, Joseph R. Cavallaro	Truncated Online Arithmetic with Applications to Communication Systems.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	Dynamic truncation, finite precision, communication systems, online arithmetic
2	Katja Bühler, Eva Dyllong, Wolfram Luther	Reliable Distance and Intersection Computation Using Finite Precision Geometry.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
2	Claire Fang Fang, Rob A. Rutenbar, Markus Püschel, Tsuhan Chen	Toward efficient static analysis of finite-precision effects in DSP applications via affine arithmetic modeling.	DAC	2003	DBLP DOI BibTeX RDF	Static error analysis, custom floating-point, embedded hardware, probabilistic error bound, affine arithmetic
2	Fredric Lindström, Mattias Dahl, Ingvar Claesson	A finite precision LMS algorithm for increased quantization robustness.	ISCAS	2003	DBLP DOI BibTeX RDF
2	Claire Fang Fang, Rob A. Rutenbar, Tsuhan Chen	Fast, Accurate Static Analysis for Fixed-Point Finite-Precision Effects in DSP Designs.	ICCAD	2003	DBLP DOI BibTeX RDF
2	Cesare Alippi	Randomized Algorithms: A System-Level, Poly-Time Analysis of Robust Computation.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	finite precision error analysis, randomized algorithms, sensitivity analysis, system level design, Embedded system design
2	Trevor W. Fox, Laurence E. Turner	The design of peak constrained least squares FIR filters with low complexity finite precision coefficients.	ISCAS	2001	DBLP DOI BibTeX RDF
2	Tong Zhang, Zhongfeng Wang, Keshab K. Parhi	On finite precision implementation of low density parity check codes decoder.	ISCAS	2001	DBLP DOI BibTeX RDF
2	Jah-Ming Hsu, Chin-Liang Wang	On finite-precision implementation of a decoder for turbo codes.	ISCAS	1999	DBLP DOI BibTeX RDF
2	Jordan L. Holt, Jenq-Neng Hwang	Finite Precision Error Analysis of Neural Network Hardware Implementations.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	neural network hardware, low precision, system cost, neural network algorithms, finite precision computation, forward retrieving, back-propagation learning, parallel processing, error analysis, multilayer perceptron, feedforward neural nets, neural chips, silicon area
2	Ronny Meir, José F. Fontanari	On Learning Noisy Threshold Functions with Finite Precision Weights.	COLT	1992	DBLP DOI BibTeX RDF
2	David W. Matula, Peter Kornerup	Finite Precision Rational Arithmetic Slash Number Systems.	IEEE Trans. Computers	1985	DBLP DOI BibTeX RDF	underflow-to-overflow range, Exact bit, finite precision, fixed-slash format, floating-slash format, hierarchical precision, precision-of-approximation, range/precision tradeoff, rounding, number systems, fractions
1	Wojciech Sulek	On the Overflow Problem in Finite Precision Turbo Decoding Message Passing.	IEEE Transactions on Communications	2012	DBLP DOI BibTeX RDF
1	Cédric Marchand, Laura Conde-Canencia, Emmanuel Boutillon	Architecture and Finite Precision Optimization for Layered LDPC Decoders.	Signal Processing Systems	2011	DBLP DOI BibTeX RDF
1	Christopher C. Paige, Ivo Panayotov	Hessenberg Matrix Properties and Ritz Vectors in the Finite-Precision Lanczos Tridiagonalization Process.	SIAM J. Matrix Analysis Applications	2011	DBLP DOI BibTeX RDF
1	Yanfei Wang, Jingen Wang	Finite Precision Extended Alternating Projection Neural Network (FPEAP).	ICIC	2011	DBLP DOI BibTeX RDF
1	Matthieu Martel	RangeLab: A Static-Analyzer to Bound the Accuracy of Finite-Precision Computations.	SYNASC	2011	DBLP DOI BibTeX RDF
1	Kyoung-Dae Kim, Sayan Mitra, P. R. Kumar	Computing bounded ε-reach set with finite precision computations for a class of linear hybrid automata.	HSCC	2011	DBLP DOI BibTeX RDF
1	Eric Goubault, Sylvie Putot	Static Analysis of Finite Precision Computations.	VMCAI	2011	DBLP DOI BibTeX RDF
1	Ka Fai Cedric Yiu, Wei-Yong Yan, Kok Lay Teo, Siow Yong Low	A new hybrid descent method with application to the optimal design of finite precision FIR filters.	Optimization Methods and Software	2010	DBLP DOI BibTeX RDF
1	Marcos Álvarez-Díaz, Roberto López-Valcarce, Iago Gómez Alonso	Blind l1-norm-based phase estimation for cross-QAM robust to finite precision effects.	Signal Processing	2010	DBLP DOI BibTeX RDF
1	Shunsuke Araki, Ken'ichi Kakizaki, Takeru Miyazaki, Satoshi Uehara	Suitable representation of values on the logistic map with finite precision.	ISITA	2010	DBLP DOI BibTeX RDF
1	Chien-Yi Wang, I-Wei Lai, Tzi-Dar Chiueh, Gerd Ascheid, Heinrich Meyr	BER analysis for MIMO BICM-ID assuming finite precision of extrinsic LLR.	ISITA	2010	DBLP DOI BibTeX RDF
1	Mobien Mohammad, Saleh Al-Shebeilli	Finite-precision analysis: Fast QR-decomposition algorithm.	ISSPIT	2010	DBLP DOI BibTeX RDF
1	Roberto Gil-Pita, Enrique Alexandre, Lucas Cuadra, Raul Vicen-Bueno, Manuel Rosa-Zurera	Analysis of the Effects of Finite Precision in Neural Network-Based Sound Classifiers for Digital Hearing Aids.	EURASIP J. Adv. Sig. Proc.	2009	DBLP DOI BibTeX RDF
1	Yiyue Wu, Linda M. Davis, A. Robert Calderbank	Finite precision analysis for space-time decoding.	IEEE Transactions on Signal Processing	2009	DBLP DOI BibTeX RDF
1	Guangxin Zhu, Kuang Wang, Xiongxiong He	On normal realizations of discrete-time systems with consideration of finite precision implementation.	CDC	2009	DBLP DOI BibTeX RDF
1	David Novo, Min Li, Bruno Bougard, Liesbet Van der Perre, Francky Catthoor	Finite precision processing in wireless applications.	DATE	2009	DBLP BibTeX RDF
1	Adam B. Kinsman, Nicola Nicolici	Finite Precision bit-width allocation using SAT-Modulo Theory.	DATE	2009	DBLP BibTeX RDF
1	Susmit Jha, Rhishikesh Limaye, Sanjit A. Seshia	Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic.	CAV	2009	DBLP DOI BibTeX RDF
1	Hui-Ya Li, Yao-Jung Yeh, Wen-Jyi Hwang, Cheng-Tsun Yang	High Speed k-Winner-Take-ALL Competitive Learning in Reconfigurable Hardware.	IEA/AIE	2009	DBLP DOI BibTeX RDF
1	Moez Krichen, Stavros Tripakis	Conformance testing for real-time systems.	Formal Methods in System Design	2009	DBLP DOI BibTeX RDF	On-the-fly algorithms, Real-time systems, Test generation, Coverage, Timed automata, Conformance testing, Specification and verification, Partial observability
1	Randal E. Bryant, Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan A. Brady	An abstraction-based decision procedure for bit-vector arithmetic.	STTT	2009	DBLP DOI BibTeX RDF	Decision-procedures, Bit-vector
1	Yuye Pang, Jun Sun, Jia Wang, Peng Wang	A New Model for the Error Detection Delay of Finite Precision Binary Arithmetic Codes with a Forbidden Symbol.	IEICE Transactions	2008	DBLP DOI BibTeX RDF
1	Rafiahamed Shaik, Mrityunjoy Chakraborty, Santanu Chattopadhyay	An efficient finite precision realization of the block adaptive decision feedback equalizer.	ISCAS	2008	DBLP DOI BibTeX RDF
1	Anabel Morales-Cortes, Ramon Parra-Michel, Luis F. Gonzalez-Perez, Gabriela Cervantes T.	Finite Precision Analysis of the 3GPP Standard Turbo Decoder for Fixed-Point Implementation in FPGA Devices.	ReConFig	2008	DBLP DOI BibTeX RDF
1	Yu Pang, Katarzyna Radecka	Optimizing imprecise fixed-point arithmetic circuits specified by Taylor Series through arithmetic transform.	DAC	2008	DBLP DOI BibTeX RDF	DSP circuit synthesis, optimization, error analysis, Taylor Series
1	Zlatko Drmac, Zvonimir Bujanovic	On the Failure of Rank-Revealing QR Factorization Software -- A Case Study.	ACM Trans. Math. Softw.	2008	DBLP DOI BibTeX RDF	Rank-revealing, QR factorization, pivoting
1	Yuriy A. Reznik	On Precision-Redundancy Relation in the Design of Source Coding Algorithms.	DCC	2008	DBLP DOI BibTeX RDF	information divergence, approximations, entropy, source coding, Diophantine approximations
1	Jian Lao, Quansheng Ren, Jianye Zhao	A novel Chaotic Stream DS-UWB system.	IJCNN	2008	DBLP DOI BibTeX RDF
1	Sangmin Kim, Gerald E. Sobelman, Hanho Lee	Adaptive quantization in min-sum based irregular LDPC decoder.	ISCAS	2008	DBLP DOI BibTeX RDF
1	Yifan Wu, Behrouz Nowrouzian	A novel technique for the design and DCGA optimization of bilinear-LDI lattice-based digital IF filters.	ISCAS	2008	DBLP DOI BibTeX RDF
1	Maria D. Miranda, Magno T. M. Silva, Victor H. Nascimento	Avoiding Divergence in the Shalvi-Weinstein Algorithm.	IEEE Transactions on Signal Processing	2008	DBLP DOI BibTeX RDF
1	Ngai Wong, Chi-Un Lei	IIR Approximation of FIR Filters Via Discrete-Time Vector Fitting.	IEEE Transactions on Signal Processing	2008	DBLP DOI BibTeX RDF
1	Yuriy V. Zakharov, G. P. White, Jie Liu	Low-Complexity RLS Algorithms Using Dichotomous Coordinate Descent Iterations.	IEEE Transactions on Signal Processing	2008	DBLP DOI BibTeX RDF
1	Hani Mehrpouyan, Steven D. Blostein	ARMA Synthesis of Fading Channels.	IEEE Transactions on Wireless Communications	2008	DBLP DOI BibTeX RDF
1	Ekaterina Auer, Andreas Rauh, Eberhard P. Hofer, Wolfram Luther	Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP.	Reliable Implementation of Real Number Algorithms	2008	DBLP DOI BibTeX RDF
1	Neil F. Stewart, Malika Zidani	Transfinite Interpolation for Well-Definition in Error Analysis in Solid Modelling.	Reliable Implementation of Real Number Algorithms	2008	DBLP DOI BibTeX RDF
1	Yago Diez, Mario A. Lopez, Joan Antoni Sellarès	Noisy Road Network Matching.	GIScience	2008	DBLP DOI BibTeX RDF
1	Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin	Robust safety of timed automata.	Formal Methods in System Design	2008	DBLP DOI BibTeX RDF	Robustness, Implementability, Perturbation, Timed automaton, Drift
1	Fabian Angarita, Ma José Canet, T. Sansaloni, Javier Valls, Vicenc Almenar-Terre	Architectures for the Implementation of a OFDM-WLAN Viterbi Decoder.	Signal Processing Systems	2008	DBLP DOI BibTeX RDF	wireless LAN, OFDM, viterbi
1	Daesun Oh, Keshab K. Parhi	Performance of Quantized Min-Sum Decoding Algorithms for Irregular LDPC Codes.	ISCAS	2007	DBLP DOI BibTeX RDF
1	Chitranjan K. Singh, Naofal Al-Dhahir, Poras T. Balsara	Effect of Word-length Precision on the Performance of MIMO Systems.	ISCAS	2007	DBLP DOI BibTeX RDF
1	Mahesh Bhat, John Crawford, Ricardo Morin, Kumar Shiv	Performance Characterization of Decimal Arithmetic in Commercial Java Workloads.	ISPASS	2007	DBLP DOI BibTeX RDF	software decimal implementations, commercial Java workloads, binary floating-point numbers, special decimal representations, optimized hardware support, decimal math, BigDecimal class, scale manipulation, SPECjbb2005, SPECjAppServer2004, mission-critical financial workload, Trade Completion, hashing, performance characterization, decimal arithmetic, format conversion
1	Arindam Mallik, Debjit Sinha, Prithviraj Banerjee, Hai Zhou	Low-Power Optimization by Smart Bit-Width Allocation in a SystemC-Based ASIC Design Environment.	IEEE Trans. on CAD of Integrated Circuits and Systems	2007	DBLP DOI BibTeX RDF
1	Ricardo Merched	Fast Computation of Constrained Decision Feedback Equalizers.	IEEE Transactions on Signal Processing	2007	DBLP DOI BibTeX RDF
1	Eric Goubault, Sylvie Putot, Philippe Baufreton, Jean Gassino	Static Analysis of the Accuracy in Control Systems: Principles and Experiments.	FMICS	2007	DBLP DOI BibTeX RDF	Static analysis, control systems, floating-point computations
1	Susmit Jha, Bryan A. Brady, Sanjit A. Seshia	Symbolic Reachability Analysis of Lazy Linear Hybrid Automata.	FORMATS	2007	DBLP DOI BibTeX RDF
1	Randal E. Bryant, Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan A. Brady	Deciding Bit-Vector Arithmetic with Abstraction.	TACAS	2007	DBLP DOI BibTeX RDF
1	Dennis Cheung, Felipe Cucker	Solving linear programs with finite precision: II. Algorithms.	J. Complexity	2006	DBLP DOI BibTeX RDF
1	Peter Kornerup, Jean-Michel Muller	Leading Guard Digits in Finite Precision Redundant Representations.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	leading guard digits, multioperand additions, pseudo overflows, Redundant representations
1	Matthieu Martel	Semantics of roundoff error propagation in finite precision calculations.	Higher-Order and Symbolic Computation	2006	DBLP DOI BibTeX RDF	Abstract interpretation, Floating-point arithmetic, IEEE 754 Standard, Numerical precision
1	Eli Packer	Iterated snap rounding with bounded drift.	Symposium on Computational Geometry	2006	DBLP DOI BibTeX RDF	finite precision approximation, geometric rounding, robustness, arrangements, line segments
1	Arindam Mallik, Debjit Sinha, Prithviraj Banerjee, Hai Zhou	Smart bit-width allocation for low power optimization in a systemc based ASIC design environment.	DATE	2006	DBLP DOI BibTeX RDF
1	Stef Graillat, Philippe Langlois, Nicolas Louvet	Improving the compensated Horner scheme with a fused multiply and add.	SAC	2006	DBLP DOI BibTeX RDF	IEEE-754 floating point arithmetic, error-free transformations, fused multiply and add, horner scheme, polynomial evaluation
1	Jeff Edmonds, Kirk Pruhs	Cake cutting really is not a piece of cake.	SODA	2006	DBLP DOI BibTeX RDF
1	Valentina I. Anzova, Juha Yli-Kaakinen, Tapio Saramäki	An Algorithm for the Design of Multiplierless IIR Filters as a Parallel Connection of Two All-Pass Filters.	APCCAS	2006	DBLP DOI BibTeX RDF
1	Khan Wahid, Vassil S. Dimitrov, Graham A. Jullien	New Encoding of 8×8 DCT to make H.264 Lossless.	APCCAS	2006	DBLP DOI BibTeX RDF
1	Alexei V. Ivanov, Alexander A. Petrovsky	Markov Coding Strategy of the Simple Spiking Model of Auditory Neuron.	IJCNN	2006	DBLP DOI BibTeX RDF
1	Marek Parfieniuk, Alexander A. Petrovsky	Quaternionic formulation of the first regularity for four-band paraunitary filter banks.	ISCAS	2006	DBLP DOI BibTeX RDF
1	Yodchanan Wongsawat, Soontorn Oraintara, T. Tanaka, K. R. Rao	Lossless multi-channel EEG compression.	ISCAS	2006	DBLP DOI BibTeX RDF
1	Daesun Oh, Keshab K. Parhi	Low Complexity Implementations of Sum-Product Algorithm for Decoding Low-Density Parity-Check Codes.	SiPS	2006	DBLP DOI BibTeX RDF
1	Maurizio Martina, Guido Masera	Mumford and Shah Functional: VLSI Analysis and Implementation.	IEEE Trans. Pattern Anal. Mach. Intell.	2006	DBLP DOI BibTeX RDF	Mumford and Shah, performance evaluation, Image segmentation, VLSI implementation
1	Janusz Konrad, P. Agniel	Subsampling models and anti-alias filters for 3-D automultiscopic displays.	IEEE Transactions on Image Processing	2006	DBLP DOI BibTeX RDF
1	Sangjin Hong, Petar M. Djuric	High-throughput scalable parallel resampling mechanism for effective redistribution of particles.	IEEE Transactions on Signal Processing	2006	DBLP DOI BibTeX RDF
1	Rohit Kumar, Ying-Jui Chen, Soontorn Oraintara, Kevin Amaratunga	Lapped unimodular transforms: lifting factorization and structural regularity.	IEEE Transactions on Signal Processing	2006	DBLP DOI BibTeX RDF
1	Ricardo Merched, Nabil R. Yousef	Fast techniques for computing finite-length MIMO MMSE decision feedback equalizers.	IEEE Transactions on Signal Processing	2006	DBLP DOI BibTeX RDF
1	Manindra Agrawal, Frank Stephan, P. S. Thiagarajan, Shaofa Yang	Behavioural Approximations for Restricted Linear Differential Hybrid Automata.	HSCC	2006	DBLP DOI BibTeX RDF
1	Di Jiang, Neil F. Stewart	Backward Error Analysis in Computational Geometry.	ICCSA	2006	DBLP DOI BibTeX RDF
1	Hank G. Dietz, Bill Dieter, Randy Fisher, Kungyen Chang	Floating-Point Computation with Just Enough Accuracy.	International Conference on Computational Science	2006	DBLP DOI BibTeX RDF
1	Vicente Hernández, José E. Román, A. Tomás	Evaluation of Several Variants of Explicitly Restarted Lanczos Eigensolvers and Their Parallel Implementations.	VECPAR	2006	DBLP DOI BibTeX RDF
1	Sangjin Hong, Shu-Shin Chin, Petar M. Djuric, Miodrag Bolic	Design and Implementation of Flexible Resampling Mechanism for High-Speed Parallel Particle Filters.	VLSI Signal Processing	2006	DBLP DOI BibTeX RDF
1	Jun Wu, Sheng Chen 0001, Gang Li, Jian Chu	A Search Algorithm for a Class of Optimal Finite-Precision Controller Realization Problems with Saddle Points.	SIAM J. Control and Optimization	2005	DBLP DOI BibTeX RDF
1	Din-Yuen Chan, Cheng-Yuan Ku	Finite-precision arithmetic coding via index-splitting and probability-fitting.	Applied Mathematics and Computation	2005	DBLP DOI BibTeX RDF
1	James F. Whidborne, Da-Wei Gu, Jun Wu, Sheng Chen 0001	Optimal controller and filter realizations using finite-precision, floating-point arithmetic.	Int. J. Systems Science	2005	DBLP DOI BibTeX RDF
1	Massimo Rovini, Nicola E. L'Insalata, Francesco Rossi, Luca Fanucci	VLSI Design of a High-Throughput Multi-Rate Decoder for Structured LDPC Codes.	DSD	2005	DBLP DOI BibTeX RDF
1	Christian Merkwirth, Jörg D. Wichard, Maciej Ogorzalek	Performance of finite iteration DTCNN with truncated stationary templates [digit recognition example].	ISCAS	2005	DBLP DOI BibTeX RDF
1	Orlando José Tobias, Rui Seara	Leaky-FXLMS algorithm: stochastic analysis for Gaussian data and secondary path modeling error.	IEEE Transactions on Speech and Audio Processing	2005	DBLP DOI BibTeX RDF
1	Wu-Sheng Lu, Takao Hinamoto	Jointly optimized error-feedback and realization for roundoff noise minimization in state-space digital filters.	IEEE Transactions on Signal Processing	2005	DBLP DOI BibTeX RDF
1	Manindra Agrawal, P. S. Thiagarajan	The Discrete Time Behavior of Lazy Linear Hybrid Automata.	HSCC	2005	DBLP DOI BibTeX RDF
1	Moez Krichen, Stavros Tripakis	An Expressive and Implementable Formal Framework for Testing Real-Time Systems.	TestCom	2005	DBLP DOI BibTeX RDF
1	Yanni Chen, Keshab K. Parhi	On the Performance and Implementation Issues of Interleaved Single Parity Check Turbo Product Codes.	VLSI Signal Processing	2005	DBLP DOI BibTeX RDF	turbo product code, single parity check code, parallel decoding architecture, sign-min algorithm, interleaver memory
1	Seok-Jun Lee, Naresh R. Shanbhag, Andrew C. Singer	Energy Efficient VLSI Architecture for Linear Turbo Equalizer.	VLSI Signal Processing	2005	DBLP DOI BibTeX RDF	iterative equalizer, SISO, turbo, architecture, low-power, iterative decoder