The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Fixed-point (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1958-1972 (16) 1973-1976 (17) 1977-1980 (19) 1981-1982 (19) 1983-1984 (24) 1985-1986 (25) 1987 (19) 1988 (22) 1989 (22) 1990 (28) 1991 (39) 1992 (33) 1993 (40) 1994 (38) 1995 (39) 1996 (21) 1997 (50) 1998 (41) 1999 (76) 2000 (88) 2001 (84) 2002 (115) 2003 (106) 2004 (147) 2005 (181) 2006 (204) 2007 (199) 2008 (234) 2009 (210) 2010 (139) 2011 (167) 2012 (194) 2013 (140) 2014 (134) 2015 (98) 2016 (96) 2017 (119) 2018 (126) 2019 (177) 2020 (173) 2021 (174) 2022 (174) 2023 (168) 2024 (54)
Publication types (Num. hits)
article(2411) book(4) incollection(35) inproceedings(1812) phdthesis(27)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1221 occurrences of 843 keywords

Results
Found 4289 publication records. Showing 4289 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
81Isao Yamada, Masahiro Yukawa, Masao Yamagishi Minimizing the Moreau Envelope of Nonsmooth Convex Functions over the Fixed Point Set of Certain Quasi-Nonexpansive Mappings. Search on Bibsonomy Fixed-Point Algorithms for Inverse Problems in Science and Engineering The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
81Andrzej Cegielski, Yair Censor Opial-Type Theorems and the Common Fixed Point Problem. Search on Bibsonomy Fixed-Point Algorithms for Inverse Problems in Science and Engineering The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
79Xi Chen 0001, Xiaotie Deng Matching algorithmic bounds for finding a Brouwer fixed point. Search on Bibsonomy J. ACM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Approximate fixed point, Sperner's lemma, fixed point theorem, Lipschitz function
70Jérôme Boulanger, Peter Elbau, Carsten Pontow, Otmar Scherzer Non-Local Functionals for Imaging. Search on Bibsonomy Fixed-Point Algorithms for Inverse Problems in Science and Engineering The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
70Simeon Reich, Shoham Sabach Existence and Approximation of Fixed Points of Bregman Firmly Nonexpansive Mappings in Reflexive Banach Spaces. Search on Bibsonomy Fixed-Point Algorithms for Inverse Problems in Science and Engineering The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
70Warren L. Hare Identifying Active Manifolds in Regularization Problems. Search on Bibsonomy Fixed-Point Algorithms for Inverse Problems in Science and Engineering The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
70Jonathan M. Borwein, Brailey Sims The Douglas-Rachford Algorithm in the Absence of Convexity. Search on Bibsonomy Fixed-Point Algorithms for Inverse Problems in Science and Engineering The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
70Frank Deutsch, Hein Hundal Arbitrarily Slow Convergence of Sequences of Linear Operators: A Survey. Search on Bibsonomy Fixed-Point Algorithms for Inverse Problems in Science and Engineering The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
70Heinz H. Bauschke, Mason S. Macklem, Xianfu Wang Chebyshev Sets, Klee Sets, and Chebyshev Centers with Respect to Bregman Distances: Recent Results and Open Problems. Search on Bibsonomy Fixed-Point Algorithms for Inverse Problems in Science and Engineering The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
70Patrick L. Combettes, Jean-Christophe Pesquet Proximal Splitting Methods in Signal Processing. Search on Bibsonomy Fixed-Point Algorithms for Inverse Problems in Science and Engineering The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
70Genaro López, Victoria Martín-Márquez Approximation Methods for Nonexpansive Type Mappings in Hadamard Manifolds. Search on Bibsonomy Fixed-Point Algorithms for Inverse Problems in Science and Engineering The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
70Adi Ben-Israel, Yuri Levin The Newton Bracketing Method for Convex Minimization: Convergence Analysis. Search on Bibsonomy Fixed-Point Algorithms for Inverse Problems in Science and Engineering The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
70Amir Beck, Marc Teboulle A Linearly Convergent Algorithm for Solving a Class of Nonconvex/Affine Feasibility Problems. Search on Bibsonomy Fixed-Point Algorithms for Inverse Problems in Science and Engineering The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
70Bryan Gardiner, Yves Lucet Graph-Matrix Calculus for Computational Convex Analysis. Search on Bibsonomy Fixed-Point Algorithms for Inverse Problems in Science and Engineering The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
70Liangjin Yao The Brézis-Browder Theorem Revisited and Properties of Fitzpatrick Functions of Order n. Search on Bibsonomy Fixed-Point Algorithms for Inverse Problems in Science and Engineering The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
70Heinz H. Bauschke, Sarah M. Moffat, Xianfu Wang Self-Dual Smooth Approximations of Convex Functions via the Proximal Average. Search on Bibsonomy Fixed-Point Algorithms for Inverse Problems in Science and Engineering The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
70Jonathan M. Borwein, D. Russell Luke Entropic Regularization of the ℓ 0 Function. Search on Bibsonomy Fixed-Point Algorithms for Inverse Problems in Science and Engineering The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
70Radu Ioan Bot, Ernö Robert Csetnek A Comparison of Some Recent Regularity Conditions for Fenchel Duality. Search on Bibsonomy Fixed-Point Algorithms for Inverse Problems in Science and Engineering The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
70Julian P. Revalski Regularization Procedures for Monotone Operators: Recent Advances. Search on Bibsonomy Fixed-Point Algorithms for Inverse Problems in Science and Engineering The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
68Hyesook Lim, Changhoon Yim, Earl E. Swartzlander Jr. Finite Word-Length Effects Of An Unified Systolic Array For 2-D DCT/IDCT. Search on Bibsonomy ASAP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF finite word-length effects, unified systolic array, fixed-point error analysis, inverse discrete cosine transform, fixed-point rounding-errors, minimum word-length, fixed-point error, discrete cosine transforms, discrete cosine transform, systolic arrays, digital simulation, error analysis, simulation results, roundoff errors, closed form expressions, truncation-errors
66Daniel Ménard, Daniel Chillet, François Charot, Olivier Sentieys Automatic floating-point to fixed-point conversion for DSP code generation. Search on Bibsonomy CASES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF digital signal processing systems, floating-point to fixed-point conversion, quantization noise, code generation, DSP, fixed-point
63Xi Chen 0001, Xiaotie Deng On algorithms for discrete and approximate brouwer fixed points. Search on Bibsonomy STOC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Sperner's lemma, approximate fixed point, fixed point theorem, Lipschitz function
60Holger Keding, Markus Willems, Martin Coors, Heinrich Meyr FRIDGE: A Fixed-Point Design and Simulation Environment. Search on Bibsonomy DATE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF FRIDGE, interpolative approach, fixed-C, assignment-time instantiation, simulation, design, interpolation, quantization, fixed-point
60Tor M. Aamodt, Paul Chow Compile-time and instruction-set methods for improving floating- to fixed-point conversion accuracy. Search on Bibsonomy ACM Trans. Embed. Comput. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF fractional multiplication, Compilation, digital signal processing, scaling, fixed-point, signal-to-noise ratio
56Lance Saldanha, Roman L. Lysecky Hardware/software partitioning of floating point software applications to fixed-pointed coprocessor circuits. Search on Bibsonomy CODES+ISSS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF floating point to fixed conversion, floating point, fixed point, hardware/software partitioning
54Behzad Akbarpour, Abdelkader Dekdouk, Sofiène Tahar Formalization of Cadence SPW Fixed-Point Arithmetic in HOL. Search on Bibsonomy IFM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF SPW, Theorem-Proving, Signal Processing, Floating-point, Fixed-point, HOL
53Shierly Wijaya, Antonio Cantoni A java simulation tool for fixed-point system design. Search on Bibsonomy SimuTools The full citation details ... 2009 DBLP  DOI  BibTeX  RDF fixed-point algorithm, data flow graph (DFG), digital design, automation tool
52Venkatesh Ramaiyan, Anurag Kumar 0001, Eitan Altman Fixed point analysis of single cell IEEE 802.11e WLANs: uniqueness, multistability and throughput differentiation. Search on Bibsonomy SIGMETRICS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF EDCF analysis, QoS in wireless LANs, performance of wireless LANs, short term unfairness
52Saurabh Srivastava 0001, Sumit Gulwani Program verification using templates over predicate abstraction. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF constraint-based fixed-point, iterative fixed-point, quantified invariants, template invariants, predicate abstraction, weakest preconditions, smt solvers
52T. Y. Tang, Yiu Sang Moon, K. C. Chan Efficient implementation of fingerprint verification for mobile embedded systems using fixed-point arithmetic. Search on Bibsonomy SAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF embedded systems, fingerprint, fixed-point arithmetic
49Behzad Akbarpour, Sofiène Tahar, Abdelkader Dekdouk Formalization of Fixed-Point Arithmetic in HOL. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF theorem-proving, floating-point arithmetic, fixed-point arithmetic, HOL
48Haishu Lu Continuous Selection Theorems and Fixed Point Theorems for Fuzzy Mappings in FC-Spaces. Search on Bibsonomy FSKD (6) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF transfer open-valued, unity partition, Tychonoff fixed point theorem, FC-spaces, fixed point, continuous selection
48Venkatesh Ramaiyan, Anurag Kumar 0001, Eitan Altman Fixed point analysis of single cell IEEE 802.11e WLANs: uniqueness and multistability. Search on Bibsonomy IEEE/ACM Trans. Netw. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF performance of wireless LANs, saturation throughput analysis of EDCA, short term unfairness
47Varsha Mainkar, Kishor S. Trivedi Sufficient Conditions for Existence of a Fixed Point in Stochastic Reward Net-Based Iterative Models. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Stochastic Petri nets, sufficient conditions, fixed-point iteration, existence
46Sanghamitra Roy, Prithviraj Banerjee An algorithm for converting floating-point computations to fixed-point in MATLAB based FPGA design. Search on Bibsonomy DAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF quantization, quantizer, floating point, fixed point
46Changchun Shi, Robert W. Brodersen Automated fixed-point data-type optimization tool for signal processing and communication systems. Search on Bibsonomy DAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF optimization, FPGA, digital signal processing, ASIC, communication systems, fixed-point arithmetic
43Luoyi Fu, Xinbing Wang, Qian Zhang 0001 Unified fixed point analysis of IEEE 802.11(e) WLAN under saturated and unsaturated conditions. Search on Bibsonomy IWCMC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF fixed point analysis, renewal-reward theorem, unsaturated condition
43Gregory L. McColm Guarded Quantification in Least Fixed Point Logic. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF game representations of logics, game theoretic semantics, guarded quantification, least fixed point logic, positive elementary induction
42Chun Te Ewe, Peter Y. K. Cheung, George A. Constantinides Dual Fixed-Point: An Efficient Alternative to Floating-Point Computation. Search on Bibsonomy FPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
41Martin Grohe, Stephan Kreutzer, Nicole Schweikardt The Expressive Power of Two-Variable Least Fixed-Point Logics. Search on Bibsonomy MFCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
41Tomás Gedeon, Christina Hayes, Richard Swanson Genericity of the Fixed Point Set for the Infinite Population Genetic Algorithm. Search on Bibsonomy FOGA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF generic property, Genetic algorithm, fixed point, transverse, transversality
40Behzad Akbarpour, Sofiène Tahar Modeling System C Fixed-Point Arithmetic in HOL. Search on Bibsonomy ICFEM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
40Dominik Stoffel, Wolfgang Kunz Record & play: a structural fixed point iteration for sequential circuit verification. Search on Bibsonomy ICCAD The full citation details ... 1997 DBLP  DOI  BibTeX  RDF circuit resynthesis, circuit retiming, combinational verification techniques, instruction queue, iterative circuit array, local circuit transformation, sequential circuit verification, sequential logic equivalence checking, structural fixed point iteration, time frame equivalence, logic testing, finite state machine, logic design
39Pierre America, Jan J. M. M. Rutten Solving Reflexive Domain Equations in a Category of Complete Metric Spaces. Search on Bibsonomy MFPS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF complete metric spaces, converging towers, contracting functors, Banach's fixed-point theorem, category theory, domain equations
38Xi Chen 0001, Xiaotie Deng A Simplicial Approach for Discrete Fixed Point Theorems. Search on Bibsonomy Algorithmica The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Sperner’s lemma, Direction-preserving map, Simplicial structure, Fixed point theorem
38Dafa Li Quantum fixed-point search algorithm with general phase shifts. Search on Bibsonomy Frontiers Comput. Sci. China The full citation details ... 2008 DBLP  DOI  BibTeX  RDF amplitude amplification, the fixed-point quantum search algorithm, quantum computing
38Hassan Hassan 0002, Olivier Brun, Jean-Marie Garcia, David Gauchard Integration of streaming and elastic traffic: a fixed point approach. Search on Bibsonomy SimuTools The full citation details ... 2008 DBLP  DOI  BibTeX  RDF streaming traffic, quality of service, fixed point, elastic traffic
38Atsushi Ohori, Isao Sasano Lightweight fusion by fixed point promotion. Search on Bibsonomy POPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF fusion, fixed point, inlining
38Mayer Goldberg A Variadic Extension of Curry's Fixed-Point Combinator. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF fixed-point combinators, applicative order, variadic functions, Scheme, lambda-calculus, fixed points
38Thomas L. Magnanti, Georgia Perakis Solving variational inequality and fixed point problems by line searches and potential optimization. Search on Bibsonomy Math. Program. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Fixed point problems, Averaging schemes, Nonexpansive maps, Strongly-f-monotone maps, Variational inequalities
38Michael B. Smyth, Rueiher Tsaur AFPP vs FPP. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF almost fixed point property, inverse limits, Kakutani theorem, power structures, topological graphs, dendrites
37Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato Analyzing recursive programs using a fixed-point calculus. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF recursive systems, model-checking, abstraction, logic, software verification, mu-calculus
37Hai-Feng Guo Mode-Directed Fixed Point Computation. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
37Stephan Kreutzer Partial Fixed-Point Logic on Infinite Structures. Search on Bibsonomy CSL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
37Kohtaro Tadaki Fixed Point Theorems on Partial Randomness. Search on Bibsonomy LFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF partial randomness, Chaitin’s ? number, algorithmic information theory, thermodynamic quantities, fixed point theorem, Algorithmic randomness
36Sanghamitra Roy, Prith Banerjee An Algorithm for Trading Off Quantization Error with Hardware Resources for MATLAB-Based FPGA Design. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2005 DBLP  DOI  BibTeX  RDF field programmable gate arrays, Automation, quantization, floating-point arithmetic, fixed-point arithmetic
35Xi Chen 0001, Shang-Hua Teng Paths Beyond Local Search: A Tight Bound for Randomized Fixed-Point Computation. Search on Bibsonomy FOCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35Roland Carl Backhouse Galois Connections and Fixed Point Calculus. Search on Bibsonomy Algebraic and Coalgebraic Methods in the Mathematics of Program Construction The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
35Christophe Roland, R. Varadhan, C. E. Frangakis Squared polynomial extrapolation methods with cycling: an application to the positron emission tomography problem. Search on Bibsonomy Numer. Algorithms The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Fixed-point methods, Polynomial extrapolation methods, Nonlinear systems, Linear systems, Squaring
35Pratul Dublish, S. N. Maheshwari Expressibility of Bounded-Arity Fixed-Point Query Hierarchies. Search on Bibsonomy PODS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
34Enrico Formenti, Benoît Masson, Theophilos Pisokas On Symmetric Sandpiles. Search on Bibsonomy ACRI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF SOC systems, sandpiles, fixed point dynamics, discrete dynamical systems
34R. Baker Kearfott Interval Fixed Point Theory. Search on Bibsonomy Encyclopedia of Optimization The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Automatic result verification, Global optimization, Interval computations, Fixed point iteration
34Lai-Jiu Lin 0001, Wei-Shih Du Systems of equilibrium problems with applications to new variants of Ekeland's variational principle, fixed point theorems and parametric optimization problems. Search on Bibsonomy J. Glob. Optim. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF ?-function, Quasi-distance, Ekeland’s variational principle, Flower petal theorem, Maximal element theorem, Minimax theorem, Minimization theorem, Semi-infinite problem, Generalized Schauder’s fixed point theorem, Equilibrium problem
34Yves Bertot, Vladimir Komendantsky Fixed point semantics and partial recursion in Coq. Search on Bibsonomy PPDP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF least fixed point semantics, non-terminating functions, program extraction, the Knaster-Tarski theorem, automated theorem proving
34Mingyan Liu, John S. Baras Fixed point approximation for multirate multihop loss networks with state-dependent routing. Search on Bibsonomy IEEE/ACM Trans. Netw. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF fixed point approximation, least loaded routing, state-dependent routing, performance modeling, blocking probability, multihop, multirate, loss network
34Michael Z. Spivey, Warren B. Powell Some Fixed-Point Results for the Dynamic Assignment Problem. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF dynamic assignment problem, fixed point
34Antoni W. Mazurkiewicz Semantics of concurrent systems: a modular fixed-point trace approach. Search on Bibsonomy European Workshop on Applications and Theory in Petri Nets The full citation details ... 1984 DBLP  DOI  BibTeX  RDF fixed point method, Petri nets, synchronization, modularity, traces, Concurrent systems, concurrent processes, system composition
33Izumi Takeuti Effective Fixed Point Theorem over a Non-computably Separable Metric Space. Search on Bibsonomy CCA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
33Martin Grohe Bounded-Arity Hierarchies in Fixed-Point Logics. Search on Bibsonomy CSL The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
33Martin Grohe Definable Tree Decompositions. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF fixed point logic, descriptive complexity, tree decomposition
32Bo Hu 0006, Malgorzata Marek-Sadowska Multilevel fixed-point-addition-based VLSI placement. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Anuj Dawar, Erich Grädel, Stephan Kreutzer Inflationary fixed points in modal logic. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Fixed-point logics, complexity, modal logic, decidability, expressive power
32Zoltán Ésik, Hans Leiß Greibach Normal Form in Algebraically Complete Semirings. Search on Bibsonomy CSL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Greibach normal form, pre-fixed-point induction, Conway algebra, algebraically complete semirings, context-free languages, Kleene algebra, equational theory
32Monk-Ping Leong, M. Y. Yeung, C. K. Yeung, Chi-Wing Fu, Pheng-Ann Heng, Philip Heng Wai Leong Automatic Floating to Fixed Point Translation and its Application to Post-Rendering 3D Warping. Search on Bibsonomy FCCM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
31Erich Grädel, Igor Walukiewicz Guarded Fixed Point Logic. Search on Bibsonomy LICS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
31Henrik Reif Andersen, Bart Vergauwen Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion. Search on Bibsonomy CAV The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
31Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir Open answer set programming with guarded programs. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF fixed-point logic, open domains, Answer set programming
31Sridhar Rajagopal, Srikrishna Bhashyam, Joseph R. Cavallaro, Behnaam Aazhang Efficient VLSI Architectures for Multiuser Channel Estimation in Wireless Base-Station Receivers. Search on Bibsonomy J. VLSI Signal Process. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF multiuser channel estimation, VLSI, DSP, fixed-point, dependence graphs, W-CDMA, real-time implementation
30Andrew Polonsky Fixed point combinators as fixed points of higher-order fixed point generators. Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2020 DBLP  BibTeX  RDF
30Lance Saldanha, Roman L. Lysecky Float-to-fixed and fixed-to-float hardware converters for rapid hardware/software partitioning of floating point software applications to static and dynamic fixed point coprocessors. Search on Bibsonomy Des. Autom. Embed. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
30Jinyan Li 0001, Haiquan Li Using Fixed Point Theorems to Model the Binding in Protein-Protein Interactions. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
30Markus Willems, Volker Bürsgens, Holger Keding, Thorsten Grötker, Heinrich Meyr System Level Fixed-Point Design Based on an Interpolative Approach. Search on Bibsonomy DAC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
30Mark G. Arnold, Thomas A. Bailey, John R. Cowles, Colin D. Walter Fast Fourier Transforms Using the Complex Logarithmic Number System. Search on Bibsonomy J. VLSI Signal Process. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Fast Fourier Transform (FFT), addition, logarithmic number system (LNS), fixed-point arithmetic, complex numbers, polar coordinates
30Md. Rezwanul Ahsan, Muhammad Ibn Ibrahimy, Othman Omran Khalifa VHDL Modelling of Fixed-point DWT for the Purpose of EMG Signal Denoising. Search on Bibsonomy CICSyN The full citation details ... 2011 DBLP  DOI  BibTeX  RDF Daubechies, VHDL, DWT, Fixed-point, Electromyography
30Martin Grohe Fixed-Point Definability and Polynomial Time on Graphs with Excluded Minors. Search on Bibsonomy LICS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF graph minor theory, fixed-point logic, graph canonisation, descriptive complexity
30George Isac Equivalence Between Nonlinear Complementarity Problem and Fixed Point Problem. Search on Bibsonomy Encyclopedia of Optimization The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Fixed point problem, Nonlinear complementarity problem
30Gabriel Caffarena, Juan A. López, Gerardo Leyva, Carlos Carreras, Octavio Nieto-Taladriz Optimized Architectural Synthesis of Fixed-Point Datapaths. Search on Bibsonomy ReConFig The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Embedded Multipliers, Fixed-Point, Architectural Synthesis
30Nilanjan Banerjee, Jung Hwan Choi, Kaushik Roy 0001 A process variation aware low power synthesis methodology for fixed-point FIR filters. Search on Bibsonomy ISLPED The full citation details ... 2007 DBLP  DOI  BibTeX  RDF fixed-point FIR filters, variation aware, low-power, synthesis
30Stephen A. Edwards Using program specialization to speed SystemC fixed-point simulation. Search on Bibsonomy PEPM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF fixed-point simulation, prespec, tempo, Simulation, SystemC, program specialization
30Aditya Kanade, Uday P. Khedker, Amitabha Sanyal Heterogeneous Fixed Points with Application to Points-To Analysis. Search on Bibsonomy APLAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
29Ray C. C. Cheung, Dong-U Lee, Oskar Mencer, Wayne Luk, Peter Y. K. Cheung Automating custom-precision function evaluation for embedded processors. Search on Bibsonomy CASES The full citation details ... 2005 DBLP  DOI  BibTeX  RDF embedded systems, reconfigurable computing, fixed-point arithmetic, function evaluation
29Katja Ihsberner Roundoff error analysis of fast DCT algorithms in fixed point arithmetic. Search on Bibsonomy Numer. Algorithms The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 65T50, 65G50
29Joan Carletta, Robert J. Veillette, Frederick W. Krach, Zhengwei Fang Determining appropriate precisions for signals in fixed-point IIR filters. Search on Bibsonomy DAC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF finite word length effects, infinite impulse response filter, field programmable gate array, design methodology
28Linsheng Zhang, Yan Zhang 0066, Wenbiao Zhou Floating-point to Fixed-point Transformation Using Extreme Value Theory. Search on Bibsonomy ACIS-ICIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
28Altaf Abdul Gaffar, Oskar Mencer, Wayne Luk, Peter Y. K. Cheung Unifying Bit-Width Optimisation for Fixed-Point and Floating-Point Designs. Search on Bibsonomy FCCM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
28Mike Reed Order, Topology, and Recursion Induction in CSP. Search on Bibsonomy 25 Years Communicating Sequential Processes The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
28Ilkka Niemelä On the Complexity of the Decision Problem in Propositional Nonmonotonic Logic. Search on Bibsonomy CSL The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
28Kalyan Kuppuswamy, Daniel C. Lee 0001 An analytic approach to efficiently computing call blocking probabilities for multiclass WDM networks. Search on Bibsonomy IEEE/ACM Trans. Netw. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF knapsack approximation, multiclass fixed-point approximation, optical WDM networks, performance evaluation, blocking probability, loss networks
28Jules Desharnais, Bernhard Möller Least Reflexive Points of Relations. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF least reflexive point, greatest reflexive point, inflationary relation, lattice, relation, partial order, fixed point
27Xi Chen 0001, Xiaoming Sun 0001, Shang-Hua Teng Quantum Separation of Local Search and Fixed Point Computation. Search on Bibsonomy COCOON The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 4289 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license