Search results for "fixed-point"

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