Search results for "fixed-point"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Hui Wang 0070, Wenbin Xu, Xin Dong 0006, Chuanzhen Li, Wenhua Yu	Implementation of MPEG-2 AAC on 16-bit Fixed-Point DSP.	APCCAS	2006	DBLP DOI BibTeX RDF
16	Spencer D. Shellman, Kris Sikorski	Algorithm 848: A recursive fixed-point algorithm for the infinity-norm case.	ACM Trans. Math. Softw.	2005	DBLP DOI BibTeX RDF	Fixed-points algorithms, nonlinear partial differential equations, game theory, economics, Fixed points
16	Miguel A. Ferrer, Jesús B. Alonso, Carlos M. Travieso	Offline Geometric Parameters for Automatic Signature Verification Using Fixed-Point Arithmetic.	IEEE Trans. Pattern Anal. Mach. Intell.	2005	DBLP DOI BibTeX RDF
16	Nurhan Karaboga, Bahadir Cetinkaya	Efficient Design of Fixed Point Digital FIR Filters by Using Differential Evolution Algorithm.	IWANN	2005	DBLP DOI BibTeX RDF
16	Li-Sha Huang	A Fixed Point Approach for the Computation of Market Equilibria.	WINE	2005	DBLP DOI BibTeX RDF
16	Zhi-Chun Li, Hai-Jun Huang	Fixed-Point Model and Schedule Reliability of Morning Commuting in Stochastic and Time-Dependent Transport Networks.	WINE	2005	DBLP DOI BibTeX RDF
16	Predrag T. Tosic	On Counting Fixed Point Configurations in Star Networks.	IPDPS	2005	DBLP DOI BibTeX RDF
16	Min-wuk Lee, Byeong-Gyu Nam, Ju-Ho Sohn, Namjun Cho, Hyejung Kim, Kwanho Kim, Hoi-Jun Yoo	A fixed-point 3D graphics library with energy-efficient cache architecture for mobile multimedia systems.	ISCAS (5)	2005	DBLP DOI BibTeX RDF
16	Shih-Way Huang, Liang-Gee Chen, Tsung-Han Tsai 0001	Memory and computationally efficient psychoacoustic model for MPEG AAC on 16-bit fixed-point processors.	ISCAS (4)	2005	DBLP DOI BibTeX RDF
16	David Billington	A Fixed-Point Semantics for Plausible Logic.	Australian Conference on Artificial Intelligence	2005	DBLP DOI BibTeX RDF
16	Jeonghun Cho, Yunheung Paek, David B. Whalley	Fast memory bank assignment for fixed-point digital signal processors.	ACM Trans. Design Autom. Electr. Syst.	2004	DBLP DOI BibTeX RDF	dual memory banks, nonorthogonal architecture, Compiler, DSP, dependence analysis, maximum spanning tree
16	Mihai Anitescu, Gary D. Hart	A fixed-point iteration approach for multibody dynamics with contact and small friction.	Math. Program.	2004	DBLP DOI BibTeX RDF
16	G. Robert Redinbo	Feedback decoding of fixed-point arithmetic convolutional codes.	IEEE Trans. Commun.	2004	DBLP DOI BibTeX RDF
16	Karel Culík II, Juhani Karhumäki, Petri Salmela	Fixed Point Approach to Commutation of Languages.	Aspects of Molecular Computing	2004	DBLP DOI BibTeX RDF
16	James F. Whidborne, John McKernan, Da-Wei Gu	Kolmogorov-Chaitin complexity of linear digital controllers implemented using fixed-point arithmetic.	ICARCV	2004	DBLP DOI BibTeX RDF
16	Jian Chen, Ruhao Xu, Yuzhuo Fu	Architecture Design of a High-Performance 32-Bit Fixed-Point DSP.	Asia-Pacific Computer Systems Architecture Conference	2004	DBLP DOI BibTeX RDF
16	Changchun Shi, Robert W. Brodersen	A perturbation theory on statistical quantization effects in fixed-point DSP with non-stationary inputs.	ISCAS (3)	2004	DBLP DOI BibTeX RDF
16	Fadi Busaba, Timothy J. Slegel, Steven R. Carlough, Christopher A. Krygowski, John G. Rell	The design of the fixed point unit for the z990 microprocessor.	ACM Great Lakes Symposium on VLSI	2004	DBLP DOI BibTeX RDF	superscalar FXU, microprocessor
16	Dimitri Tan, Albert Danysh, Michael J. Liebelt	Multiple-Precision Fixed-Point Vector Multiply-Accumulator Using Shared Segmentation.	IEEE Symposium on Computer Arithmetic	2003	DBLP DOI BibTeX RDF
16	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
16	Chia-Yu Yao, Chin-Chih Yeh, Tsuan-Fan Lin, Hsin-Horng Chen, Chiang-Ju Chien	A design flow for linear-phase fixed-point FIR filters: from the NPRM specifications to a VHDL code.	ISCAS (4)	2003	DBLP DOI BibTeX RDF
16	Ramon E. Moore	Sparse Systems in Fixed Point Form.	Reliab. Comput.	2002	DBLP DOI BibTeX RDF
16	Ernesto Chiarantoni, Girolamo Fornarelli, Silvano Vergura, Tiziano Politi	A Fixed Point Homotopy Method for Efficient Time-Domain Simulation of Power Electronic Circuits.	International Conference on Computational Science (3)	2002	DBLP DOI BibTeX RDF
16	Wim Vanhoof, Remko Tronçon, Maurice Bruynooghe	A Fixed Point Semantics for Logic Programs Extended with Cuts.	LOPSTR	2002	DBLP DOI BibTeX RDF
16	Dietmar Berwanger, Achim Blumensath	Automata for Guarded Fixed Point Logics.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
16	Yasuaki Inoue, Eigo Kaji, Sarko Kasanobu	A solution-tracing circuit for the fixed-point homotopy method.	ISCAS (3)	2001	DBLP DOI BibTeX RDF
16	Tanja Karp, Alfred Mertins	Implementation of biorthogonal cosine-modulated filter banks with fixed-point arithmetic.	ISCAS (2)	2001	DBLP DOI BibTeX RDF
16	Chia-Yu Yao	A study of SPT-term distribution of CSD numbers and its application for designing fixed-point linear phase FIR filters.	ISCAS (2)	2001	DBLP DOI BibTeX RDF
16	Tetsuo Tamai	Formal Treatment of a Family of Fixed-Point Problems on Graphs by CafeOBJ.	ICFEM	2000	DBLP DOI BibTeX RDF
16	Aapo Hyvärinen	Fast and robust fixed-point algorithms for independent component analysis.	IEEE Trans. Neural Networks	1999	DBLP DOI BibTeX RDF
16	Albert Atserias, Phokion G. Kolaitis	First-Order Logic vs. Fixed-Point Logic in Finite Set Theory.	LICS	1999	DBLP DOI BibTeX RDF
16	Vuk Borich, Jack East, George Haddad	A fixed-point harmonic balance approach for circuit simulation under modulated carrier excitation.	ISCAS (6)	1999	DBLP DOI BibTeX RDF
16	Markus Marzetta, Thomas Strahm	The m\mu quantification operator in explicit mathematics with universes and iterated fixed point theories with ordinals.	Arch. Math. Log.	1998	DBLP DOI BibTeX RDF
16	Allan Kardec Barros, Andrzej Cichocki	A Fixed-Point Algorithm for Independent Component Analysis which uses a priori Information.	SBRN	1998	DBLP DOI BibTeX RDF
16	Wilfried Buchholz	An intuitionistic fixed point theory.	Arch. Math. Log.	1997	DBLP DOI BibTeX RDF
16	Anuj Dawar, Steven Lindell, Scott Weinstein	First Order Logic, Fixed Point Logic and Linear Order.	CSL	1995	DBLP DOI BibTeX RDF
16	Raj S. Katti	A modified Booth algorithm for high radix fixed-point multiplication.	IEEE Trans. Very Large Scale Integr. Syst.	1994	DBLP DOI BibTeX RDF
16	Philip E. Madrid, Brian Millar, Earl E. Swartzlander Jr.	Modified Booth algorithm for high radix fixed-point multiplication.	IEEE Trans. Very Large Scale Integr. Syst.	1993	DBLP DOI BibTeX RDF
16	Hanne Riis Nielson, Flemming Nielson	Bounded Fixed Point Iteration.	POPL	1992	DBLP DOI BibTeX RDF
16	Flemming Nielson, Hanne Riis Nielson	Finiteness Conditions for Fixed Point Iteration.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF
16	Zhanpeng Jin, Richard Neil Pittman, Alessandro Forin	Reconfigurable custom floating-point instructions (abstract only).	FPGA	2010	DBLP DOI BibTeX RDF	emips, reconfigurable, extension, floating-point, partial reconfiguration
15	Frédéric Mazenc, Peter S. Kim, Silviu-Iulian Niculescu	Stability of a Gleevec and immune model with delays.	CDC	2008	DBLP DOI BibTeX RDF
15	Éric Badouel	Algebraic Closed Theories.	MFCS	1989	DBLP DOI BibTeX RDF
14	Da-Zheng Feng, Wei Xing Zheng 0001, Andrzej Cichocki	Matrix-Group Algorithm via Improved Whitening Process for Extracting Statistically Independent Sources From Array Signals.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
14	Kishore A. Kotteri, Amy E. Bell, Joan Carletta	Multiplierless filter Bank design: structures that improve both hardware and image compression performance.	IEEE Trans. Circuits Syst. Video Technol.	2006	DBLP DOI BibTeX RDF
14	Behzad Akbarpour, Sofiène Tahar	A Methodology for the Formal Verification of FFT Algorithms in HOL.	FMCAD	2004	DBLP DOI BibTeX RDF
14	Przemyslaw Pochec	Moire based stereo matching technique.	ICIP	1995	DBLP DOI BibTeX RDF	moire fringes, Moire based stereo matching technique, Brouwer's theorem, concentric Moire rings, image segmentation, image matching, interference, orientation, stereo vision, stereo image processing, video signal processing, disparity, video stabilization
14	Michael Lindenbaum, Jack Koplowitz	A New Parameterization of Digital Straight Lines.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	digital straight lines, 1:1 correspondence, point pairs, linear dichotomies, computational complexity, computational complexity, computational geometry, computational geometry, parameterization, equivalence
14	Earl E. Swartzlander Jr.	Systolic FFT Processors: A Personal Perspective.	J. Signal Process. Syst.	2008	DBLP DOI BibTeX RDF	systolic systems, frequency domain adaptive digital filters, systolic FFT, fast fourier transforms
14	Kingshuk Karuri, Rainer Leupers, Gerd Ascheid, Heinrich Meyr, Monu Kedia	Design and implementation of a modular and portable IEEE 754 compliant floating-point unit.	DATE Designers' Forum	2006	DBLP DOI BibTeX RDF
14	Nikolaj S. Bjørner, Joe Hendrix	Linear Functional Fixed-points.	CAV	2009	DBLP DOI BibTeX RDF
14	Anuj Dawar, Erich Grädel, Stephan Kreutzer	Inflationary Fixed Points in Modal Logic.	CSL	2001	DBLP DOI BibTeX RDF
13	Charles Tsen, Sonia González-Navarro, Michael J. Schulte	Hardware design of a Binary Integer Decimal-based floating-point adder.	ICCD	2007	DBLP DOI BibTeX RDF
13	Gaojin Wen, Zhaoqi Wang, Shihong Xia, Dengming Zhu	Least-squares fitting of multiple M-dimensional point sets.	Vis. Comput.	2006	DBLP DOI BibTeX RDF	Motion capture, Singular value decomposition, Least-squares fitting, Absolute orientation
13	Baba C. Vemuri, Yanlin Guo	Snake Pedals: Compact and Versatile Geometric Models with Physics-Based Control.	IEEE Trans. Pattern Anal. Mach. Intell.	2000	DBLP DOI BibTeX RDF	pedal curves/surfaces, alternating direction implicit method, Geometric models, snakes, Levenberg-Marquardt method
13	Anuj Dawar, Martin Grohe, Bjarki Holm, Bastian Laubner	Logics with Rank Operators.	LICS	2009	DBLP DOI BibTeX RDF
13	Rob J. van Glabbeek, Bas Ploeger	Correcting a Space-Efficient Simulation Algorithm.	CAV	2008	DBLP DOI BibTeX RDF
13	Messaoud Ahmed Ouameur, Daniel Massicotte	Real-time DSP and FPGA Implementation of Wiener LMS Based Multipath Channel Estimation in 3G CDMA Systems.	J. VLSI Signal Process.	2007	DBLP DOI BibTeX RDF	delay acquisition, Wiener LMS, FPGA, VLSI, FFT, DSP, WCDMA, channel estimation, cdma2000
13	Kousha Etessami, Mihalis Yannakakis	On the Complexity of Nash Equilibria and Other Fixed Points (Extended Abstract).	FOCS	2007	DBLP DOI BibTeX RDF
13	Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir	Guarded Open Answer Set Programming.	LPNMR	2005	DBLP DOI BibTeX RDF
13	Karl Krukow, Andrew Twigg	Distributed Approximation of Fixed-Points in Trust Structures.	ICDCS	2005	DBLP DOI BibTeX RDF
13	Xuan Li, David D. Yao	Control and pricing in stochastic networks with concurrent resource occupancy.	SIGMETRICS Perform. Evaluation Rev.	2004	DBLP DOI BibTeX RDF
13	Kurt Majewski	Large Deviation Bounds for Single Class Queueing Networks and Their Calculation.	Queueing Syst. Theory Appl.	2004	DBLP DOI BibTeX RDF	set-valued upper semicontinuity, complementarity problem, minimizing path, variational problem
13	Mark G. Arnold	LPVIP: A Low-Power ROM-Less ALU for Low-Precision LNS.	PATMOS	2004	DBLP DOI BibTeX RDF
13	Jie Ruan, Mark G. Arnold	Threshold Mean Larger Ratio Motion Estimation in MPEG Encoding Using LNS.	PATMOS	2004	DBLP DOI BibTeX RDF
13	Frank Livingston, Vikram Chandrasekhar, Mani Vaya, Joseph R. Cavallaro	Handset detector architectures for DS-CDMA wireless systems.	ISCAS (3)	2002	DBLP DOI BibTeX RDF
13	Ricardo Riaza, Pedro J. Zufiria	Time-Scaling in Recurrent Neural Learning.	ICANN	2002	DBLP DOI BibTeX RDF
13	Ki-Il Kum, Wonyong Sung	Combined word-length optimization and high-level synthesis ofdigital signal processing systems.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
13	Xiao Fan Wang 0001, Guanrong Chen, Kim-Fung Man	Making a stable discrete-time system chaotic via small-amplitude output feedback.	ISCAS (3)	2001	DBLP DOI BibTeX RDF
13	Keun-Sup Lee, Hyen-O Oh, Young-Cheol Park, Dae Hee Youn	High quality MPEG-audio layer III algorithm for a 16-bit DSP.	ISCAS (2)	2001	DBLP DOI BibTeX RDF
13	Jaco Geldenhuys, Antti Valmari	Techniques for Smaller Intermediary BDDs.	CONCUR	2001	DBLP DOI BibTeX RDF
13	Jan Friso Groote, Radu Mateescu 0001	Verification of Temporal Properties of Processes in a Setting with Data.	AMAST	1998	DBLP DOI BibTeX RDF
13	Jianfeng Feng, David Brown 0004	Viewing a Class of Neurodynamics on Parameter Space.	IWANN	1997	DBLP DOI BibTeX RDF
13	Zoltán Ésik, Anna Labella	Equational Properties of Iteration in Algebraically Complete Categories.	MFCS	1996	DBLP DOI BibTeX RDF
13	Stephen L. Bloom, Zoltán Ésik	Some Quasi-Varieties of Iteration Theories.	MFPS	1993	DBLP DOI BibTeX RDF
13	Jason Lee, Lesley Shannon, Matthew J. Yedlin, Gary F. Margrave	A multi-FPGA application-specific architecture for accelerating a floating point Fourier Integral Operator.	ASAP	2008	DBLP DOI BibTeX RDF
13	Fernando E. Ortiz, John R. Humphrey, James P. Durbano, Dennis W. Prather	A Study on the Design of Floating-Point Functions in FPGAs.	FPL	2003	DBLP DOI BibTeX RDF
12	Alden H. Wright, Greg Cripe	Bistability of the Needle Function in the Presence of Truncation Selection.	GECCO (2)	2004	DBLP DOI BibTeX RDF
12	David Richerby	Logical Characterizations of PSPACE.	CSL	2004	DBLP DOI BibTeX RDF	choice operators, partial fixed points, descriptive complexity, Finite model theory
12	Bo Hu 0006, Malgorzata Marek-Sadowska	FAR: fixed-points addition & relaxation based placement.	ISPD	2002	DBLP DOI BibTeX RDF
12	Yong Dou, Yuanwu Lei, Guiming Wu, Song Guo 0003, Jie Zhou 0007, Li Shen	FPGA accelerating double/quad-double high precision floating-point applications for ExaScale computing.	ICS	2010	DBLP DOI BibTeX RDF	double-double precision, high precision floating-point multiplication and accumulation (HP-MAC), quad-double precision, FPGA
12	William George Osborne, Ray C. C. Cheung, José Gabriel F. Coutinho, Wayne Luk, Oskar Mencer	Automatic Accuracy-Guaranteed Bit-Width Optimization for Fixed and Floating-Point Systems.	FPL	2007	DBLP DOI BibTeX RDF
12	Dongwuk Kyoung, Keechul Jung	Fully-Pipelining Hardware Implementation of Neural Network for Text-Based Images Retrieval.	ISNN (2)	2006	DBLP DOI BibTeX RDF
12	Rafiahamed Shaik, Mrityunjoy Chakraborty	An Efficient Realization of the Decision Feedback Equalizer using Block Floating Point Arithmetic.	APCCAS	2006	DBLP DOI BibTeX RDF
12	S. Himavathi, B. Umamaheswari	Implementation of Nonlinear Fuzzy Models Using Microcontrollers.	AFSS	2002	DBLP DOI BibTeX RDF
12	Manuel L. Anido, Nader Bagherzadeh, Nozar Tabrizi, Haitao Du, Marcos Sánchez-Élez	Interactive Ray Tracing Using a SIMD Reconfigurable Architecture.	SBAC-PAD	2002	DBLP DOI BibTeX RDF
12	Cheng Zou, Lingfeng Li, Guowei Cai, Ruoyin Lin	Fixed-Point Landing Method for Unmanned Aerial Vehicles Using Multi-Sensor Pattern Detection.	Unmanned Syst.	2024	DBLP DOI BibTeX RDF
12	Zhen Li 0016, Zhaoqi Gao, Fengyuan Sun, Jinghuai Gao, Wei Zhang	Instantaneous Frequency Extraction for Nonstationary Signals via a Squeezing Operator with a Fixed-Point Iteration Method.	Remote. Sens.	2024	DBLP DOI BibTeX RDF
12	Quoc Tran-Dinh	From Halpern's fixed-point iterations to Nesterov's accelerated interpretations for root-finding problems.	Comput. Optim. Appl.	2024	DBLP DOI BibTeX RDF
12	David Fernández-Duque, Quentin Gougeon	Fixed point logics and definable topological properties.	Math. Struct. Comput. Sci.	2024	DBLP DOI BibTeX RDF
12	Manuel Brosch, Matthias Probst, Matthias Glaser, Georg Sigl	A Masked Hardware Accelerator for Feed-Forward Neural Networks With Fixed-Point Arithmetic.	IEEE Trans. Very Large Scale Integr. Syst.	2024	DBLP DOI BibTeX RDF
12	Ajay Kumar, Balwant Singh Thakur, Mihai Postolache	Dynamic stepsize iteration process for solving split common fixed point problems with applications.	Math. Comput. Simul.	2024	DBLP DOI BibTeX RDF
12	Muhammad Waseem Asghar, Mujahid Abbas, Behzad Djafari Rouhani	The AA-Viscosity Algorithm for Fixed-Point, Generalized Equilibrium and Variational Inclusion Problems.	Axioms	2024	DBLP DOI BibTeX RDF
12	Doaa Filali, Mohammad Dilshad, Lujain Saud Muaydhid Alyasi, Mohammad Akram	Inertial Iterative Algorithms for Split Variational Inclusion and Fixed Point Problems.	Axioms	2024	DBLP DOI BibTeX RDF
12	Seong-Hoon Cho	Fixed Point Theorems for Set-Valued Contractions in Metric Spaces.	Axioms	2024	DBLP DOI BibTeX RDF
12	Gonca Durmaz Güngör, Ishak Altun	An Existence Result for Second-Order Boundary-Value Problems via New Fixed-Point Theorems on Quasi-Metric Space.	Symmetry	2024	DBLP DOI BibTeX RDF
12	Nikita Dubey, Satish Shukla, Rahul Shukla	On Graphical Symmetric Spaces, Fixed-Point Theorems and the Existence of Positive Solution of Fractional Periodic Boundary Value Problems.	Symmetry	2024	DBLP DOI BibTeX RDF
12	Alexander J. Zaslavski	Fixed Point and Convergence Results for Contractive-Type Self-Mappings of Metric Spaces with Graphs.	Symmetry	2024	DBLP DOI BibTeX RDF
12	Boyu Li, Kai Li, Jiajun Zhou, Yuan Ren, Wei Mao 0002, Hao Yu 0001, Ngai Wong	A Reconfigurable Processing Element for Multiple-Precision Floating/Fixed-Point HPC.	IEEE Trans. Circuits Syst. II Express Briefs	2024	DBLP DOI BibTeX RDF
12	Monther Alrwashdeh, Balázs Czifra, Zsolt Kollár	Analysis of Quantization Noise in Fixed-Point HDFT Algorithms.	IEEE Signal Process. Lett.	2024	DBLP DOI BibTeX RDF