Search results for "fixed-point"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
27	Vincent J. DiGri, Jane E. King	The Share 709 System: Input-Output Translation.	J. ACM	1959	DBLP DOI BibTeX RDF
27	Tugrul Dayar, Akin Meriç	Kronecker representation and decompositional analysis of closed queueing networks with phase-type service distributions and arbitrary buffer sizes.	Ann. Oper. Res.	2008	DBLP DOI BibTeX RDF	Phase-type service distribution, Kronecker representation, Multilevel method, Closed queueing network, Network decomposition, Fixed-point iteration
27	Thomas Forster	Sharvy's Lucy and Benjamin Puzzle.	Stud Logica	2008	DBLP DOI BibTeX RDF	Bourbaki-Witt fixed point theorem, Incorrigible Knowledge, Supertask, Liar paradox, Common Knowledge
27	Constantin Paleologu, Felix Albu, Andrei Alexandru Enescu, Silviu Ciochina	Square-Root-Free QRD-LSL Adaptive Algorithm with Improved Numerical Robustness.	ICN	2008	DBLP DOI BibTeX RDF	QR-decomposition-based least-squares lattice (QRD-LSL), Adaptive filters, logarithmic number system (LNS), fixed-point arithmetic
27	Johan van Benthem	Modal Frame Correspondences and Fixed-Points.	Stud Logica	2006	DBLP DOI BibTeX RDF	Löb's Axiom, frame correspondence, modal ?-calculus, fixed-point
27	Dong-U Lee, Altaf Abdul Gaffar, Oskar Mencer, Wayne Luk	MiniBit: bit-width optimization via affine arithmetic.	DAC	2005	DBLP DOI BibTeX RDF	bit-width, simulated, FPGA, fixed-point, affine arithmetic, annealing
27	Sabine Glesner, Wolf Zimmermann	Natural semantics as a static program analysis framework.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	fixed-point program analyses, constraint solving, semantic analysis, compiler generators, static program analysis, Natural semantics
27	Aranyak Mehta, Scott Shenker, Vijay V. Vazirani	Profit-maximizing multicast pricing by approximating fixed points.	EC	2003	DBLP DOI BibTeX RDF	multicasting, fixed point, profit maximization
27	Michael S. Roddy	Fixed Points and Products: Width 3.	Order	2002	DBLP DOI BibTeX RDF	finite width, fixed point property, product, retract
27	Dewi Utami, Hadi Suwastio, Bambang Sumadjudin	FPGA Implementation of Digital Chaotic Cryptography.	EurAsia-ICT	2002	DBLP DOI BibTeX RDF	digital filter overflow, FPGA, cryptography, Chaos, fixed point
27	Vladimir Marbukh	Loss circuit switched communication network-performance analysis and dynamic routing.	Queueing Syst. Theory Appl.	1993	DBLP DOI BibTeX RDF	Loss circuit switched communication network, state-dependent dynamic routing, Fixed Point Model(FPM), catastrophic phenomena, bifurcation diagram of the network, performance analysis, blocking probability, metastability, trunk reservation
26	J. Dido, N. Géraudie, L. Loiseau, O. Payeur, Yvon Savaria, D. Poirier	A flexible floating-point format for optimizing data-paths and operators in FPGA based DSPs.	FPGA	2002	DBLP DOI BibTeX RDF	data-path optimization, floating-point/fixed-point conversion, hardware division, hyardware optimization, FPGA, floating-point, video-processing
26	Akitoshi Kawamura, Jirí Matousek 0001, Takeshi Tokuyama	Zone diagrams in Euclidean spaces and in other normed spaces.	SCG	2010	DBLP DOI BibTeX RDF	knaster-tarski fixed point theorem, zone diagrams
25	Ulrich Kohlenbach	On the Computational Content of the Krasnoselski and Ishikawa Fixed Point Theorems.	CCA	2000	DBLP DOI BibTeX RDF
25	Irina Perfilieva	Fixed Points and Solvability of Systems of Fuzzy Relation Equations.	IFSA (2)	2007	DBLP DOI BibTeX RDF	solvability of a system of equations, semilinear space, fixed point, Residuated lattice
25	Martín Hötzel Escardó	Joins in the Frame of Nuclei.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	nuclei, common fixed point, Hofmann-Mislove Theorem, locale, frame, compactness, closure operator
25	Ulrich Eckhardt	Root Images of Median Filters - Semi-topological Approach.	Theoretical Foundations of Computer Vision	2002	DBLP DOI BibTeX RDF	semi-topology, rank order filter, multi-dimensional filter, root image, fixed point, median filter
25	Marcello M. Bonsangue, Joost N. Kok	Semantics, Orderings and Recursion in the Weakest Precondition Calculus.	REX Workshop	1992	DBLP DOI BibTeX RDF	fixed point transformations, Smyth powerdomain, Egli-Milner powerdomain, refinement, deadlock, recursion, fixed points, backtracking, weakest preconditions, predicate transformers
24	Robert W. Numrich, Michael A. Heroux	A performance model with a fixed point for a molecular dynamics kernel.	Comput. Sci. Res. Dev.	2009	DBLP DOI BibTeX RDF
24	Imed Zaguia	Order Extensions and the Fixed Point Property.	Order	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 06A06, 06A07
24	Sven Kosub	Dichotomy Results for Fixed-Point Existence Problems for Boolean Dynamical Systems.	Math. Comput. Sci.	2008	DBLP DOI BibTeX RDF	algorithms and complexity, fixed points, Discrete dynamical systems
24	Javier Esparza, Stefan Kiefer, Michael Luttenberger	Derivation Tree Analysis for Accelerated Fixed-Point Computation.	Developments in Language Theory	2008	DBLP DOI BibTeX RDF
24	Xiaotie Deng	Fixed Point Computation and Equilibrium.	FAW	2008	DBLP DOI BibTeX RDF
24	Jinwen Ma, Lei Li	Automatic Straight Line Detection through Fixed-Point BYY Harmony Learning.	ICIC (1)	2008	DBLP DOI BibTeX RDF	Straight line detection, Automated model selection, Major principal component, Gaussian mixture, Bayesian Ying-Yang (BYY) harmony learning
24	Anurag Kumar 0001, Eitan Altman, Daniele Miorandi, Munish Goyal	New insights from a fixed-point analysis of single cell IEEE 802.11 WLANs.	IEEE/ACM Trans. Netw.	2007	DBLP DOI BibTeX RDF	performance of MAC protocols, wireless networks, CSMA/CA
24	Yoshito Ikemata, Akihito Sano, Hideo Fujimoto	Generation and Local Stabilization of Fixed Point Based on a Stability Mechanism of Passive Walking.	ICRA	2007	DBLP DOI BibTeX RDF
24	Ju-Ho Sohn, Jeong-Ho Woo, Jerald Yoo, Hoi-Jun Yoo	Design and test of fixed-point multimedia co-processor for mobile applications.	DATE Designers' Forum	2006	DBLP DOI BibTeX RDF
24	Debessay Fesehaye Kassa, Sabine Wittevrongel	Convergence of the Fixed Point Algorithm of Analytical Models of Reliable Internet Protocols (TCP).	International Conference on Computational Science (4)	2006	DBLP DOI BibTeX RDF
24	Katalin Bimbó	Admissibility of Cut in LC with Fixed Point Combinator.	Stud Logica	2005	DBLP DOI BibTeX RDF	structurally free logics, fked point combinator, (multiple) cut rule, elimination theorem, substructural logics, non-classical logics, combinatory logic
24	Anurag Kumar 0001, Eitan Altman, Daniele Miorandi, Munish Goyal	New insights from a fixed point analysis of single cell IEEE 802.11 WLANs.	INFOCOM	2005	DBLP DOI BibTeX RDF
24	Adrian Burian, Perttu Salmela, Jarmo Takala	Complex Fixed-Point Matrix Inversion Using Transport Triggered Architecture.	ASAP	2005	DBLP DOI BibTeX RDF
24	Dietmar Berwanger, Erich Grädel	Fixed-Point Logics and Solitaire Games.	Theory Comput. Syst.	2004	DBLP DOI BibTeX RDF
24	Mahesh Viswanathan 0001, Ramesh Viswanathan	A Higher Order Modal Fixed Point Logic.	CONCUR	2004	DBLP DOI BibTeX RDF
24	Joan Carletta, Robert J. Veillette, Frederick W. Krach, Zhengwei Fang	Implementation of digital fixed-point approximations to continuous-time IIR filters.	FPGA	2003	DBLP DOI BibTeX RDF
24	Stephan Kreutzer	Expressive Equivalence of Least and Inflationary Fixed-Point Logic.	LICS	2002	DBLP DOI BibTeX RDF
24	Stephan Kreutzer	Operational Semantics for Fixed-Point Logics on Constraint Databases.	LPAR	2001	DBLP DOI BibTeX RDF
24	Dan Sahlin	Finding the Least Fixed Point Using Wait-Declarations in Prolog.	PLILP	1990	DBLP DOI BibTeX RDF
24	Xiaohu Lv, Yongxin Liu	A bionic gait programming algorithm for hexapod robot.	ICIS	2009	DBLP DOI BibTeX RDF	fixed-point turning, hexapod robot, static stability, tripod gait
24	Miriam Leeser, Srdjan Coric, Eric L. Miller 0001, Haiqian Yu, Marc Trepanier	Parallel-Beam Backprojection: An FPGA Implementation Optimized for Medical Imaging.	J. VLSI Signal Process.	2005	DBLP DOI BibTeX RDF	FPGA, medical imaging, tomography, fixed point arithmetic, backprojection
24	René de Vogelaere	Algorithms: Algorithm 335: a set of basic input-output procedures.	Commun. ACM	1968	DBLP DOI BibTeX RDF	ALGOL 60, Berkeley style, decompose integer, decompose real, equivalent ALGOL statements, fixed point representation, input echo, input outpur array, input output Boolean, input output procedures, integer format, out integer, output channel interpretation, output documentation, procedures relationship, quality output, read real, real format, ALGOL, style, transput, input output, floating point representation, floating point representational
24	Anuj Dawar, David Richerby	A Fixed-Point Logic with Symmetric Choice.	CSL	2003	DBLP DOI BibTeX RDF
23	Andrew Y. Lin, Karl S. Gugel, José Carlos Príncipe	Feasibility of Fixed-Point Transversal Adaptive Filters in FPGA Devices with Embedded DSP Blocks.	IWSOC	2003	DBLP DOI BibTeX RDF
23	Calogero Vetro	Abstract Fixed-Point Theorems and Fixed-Point Iterative Schemes.	Symmetry	2022	DBLP DOI BibTeX RDF
23	Tomasz Piotrowski, Renato Luís Garrido Cavalcante	The Fixed Point Iteration of Positive Concave Mappings Converges Geometrically if a Fixed Point Exists: Implications to Wireless Systems.	IEEE Trans. Signal Process.	2022	DBLP DOI BibTeX RDF
23	Giulio Manzonetto, Andrew Polonsky, Alexis Saurin, Jakob Grue Simonsen	The fixed point property and a technique to harness double fixed point combinators.	J. Log. Comput.	2019	DBLP DOI BibTeX RDF
23	Jonathan M. Borwein, Guoyin Li 0001, Matthew K. Tam	Convergence Rate Analysis for Averaged Fixed Point Iterations in Common Fixed Point Problems.	SIAM J. Optim.	2017	DBLP DOI BibTeX RDF
23	Chirasak Mongkolkeha, Poom Kumam	Fixed Point and Common Fixed Point Theorems for Generalized Weak Contraction Mappings of Integral Type in Modular Spaces.	Int. J. Math. Math. Sci.	2011	DBLP DOI BibTeX RDF
23	Yasuhito Tanaka	Brouwer's fixed point theorem with sequentially at most one fixed point	CoRR	2011	DBLP BibTeX RDF
23	Ishak Altun, Bosko Damjanovic, Dragan Djoric	Fixed point and common fixed point theorems on ordered cone metric spaces.	Appl. Math. Lett.	2010	DBLP DOI BibTeX RDF
23	Lu-Chuan Ceng, Ngai-Ching Wong, Jen-Chih Yao	Fixed point solutions of variational inequalities for a finite family of asymptotically nonexpansive mappings without common fixed point assumption.	Comput. Math. Appl.	2008	DBLP DOI BibTeX RDF
23	Jean-Bernard Baillon, Stephen Simons	Almost-Fixed-Point and Fixed-Point Theorems for Discrete-Valued Maps.	J. Comb. Theory, Ser. A	1992	DBLP BibTeX RDF
23	Sorin Istrail	A Fixed-Point Theorem for Recursive-Enumerable Languages and Some Considerations About Fixed-Point Semantics of Monadic Programs.	ICALP	1979	DBLP DOI BibTeX RDF
23	Hilary A. Priestley	Ordered Sets and Complete Lattices.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction	2000	DBLP DOI BibTeX RDF
23	Julien Marot, Salah Bourennane	Fast tensor signal filtering using fixed point algorithm.	ICASSP	2008	DBLP DOI BibTeX RDF
23	Roland Carl Backhouse, Diethard Michaelis	Fixed-Point Characterisation of Winning Strategies in Impartial Games.	RelMiCS	2003	DBLP DOI BibTeX RDF
23	Rueiher Tsaur, Michael B. Smyth	"Continuous" Multifunctions in Discrete Spaces with Applications to Fixed Point Theory.	Digital and Image Geometry	2000	DBLP DOI BibTeX RDF
23	Tyng-Ruey Chuang, Benjamin Goldberg	A Syntactic Approach to Fixed Point Computation on Finite Domains.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF
23	Damian Niwinski	On Fixed-Point Clones (Extended Abstract).	ICALP	1986	DBLP DOI BibTeX RDF
23	Keiko Imai, Akitoshi Kawamura, Jirí Matousek 0001, Daniel Reem, Takeshi Tokuyama	Distance k-sectors exist.	SCG	2010	DBLP DOI BibTeX RDF	distance k-sectors, knaster-tarski fixed point theorem
23	Alain Berlinet, Christophe Roland	Parabolic acceleration of the EM algorithm.	Stat. Comput.	2009	DBLP DOI BibTeX RDF	Restart strategies, Linear mixed model, Multivariate Student distribution, Stability, Convergence, EM algorithm, Acceleration, Fixed point iteration, Finite mixture
23	Eva Magnusson, Torbjörn Ekman 0001, Görel Hedin	Demand-driven evaluation of collection attributes.	Autom. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Collection attributes, Circular attributes, Fixed-point computations, Attribute grammars, Source code analysis
23	S. H. Wang, J. Y. Fu	Stampacchia generalized vector quasi-equilibrium problem with set-valued mapping.	J. Glob. Optim.	2009	DBLP DOI BibTeX RDF	Generalized vector quasi-equilibrium problem, Set-valued mapping, C-convexity, Fixed point, Continuous selection
23	Jian Yu, Hui Yang, Chao Yu	Structural stability and robustness to bounded rationality for non-compact cases.	J. Glob. Optim.	2009	DBLP DOI BibTeX RDF	Robustness, Nash equilibrium, Multiobjective optimization, Fixed point, Bounded rationality, Structural stability
23	Takeyuki Tamura, Tatsuya Akutsu	Algorithms for Singleton Attractor Detection in Planar and Nonplanar AND/OR Boolean Networks.	Math. Comput. Sci.	2009	DBLP DOI BibTeX RDF	algorithm and planar graph, fixed point, Boolean network
23	Punit Rathod, Onkar Dabeer, Abhay Karandikar, Anirudha Sahoo	Characterizing the exit process of a non-saturated IEEE 802.11 wireless network.	MobiHoc	2009	DBLP DOI BibTeX RDF	exit-time distribution, fixed point analysis, ieee 802.11, bursty traffic
23	Piero Zappi, Elisabetta Farella, Luca Benini	Hidden Markov Models Implementation for Tangible Interfaces.	INTETAIN	2009	DBLP DOI BibTeX RDF	Hidden Markov Models, Tangible interfaces, Fixed point, Smart Object
23	Shengjie Li, Jing Zeng	Existences of solutions for generalized vector quasi-equilibrium problems.	Optim. Lett.	2008	DBLP DOI BibTeX RDF	Generalized vector quasi-equilibrium problem, Compactly open, Compactly closed, Upper semicontinuity, Fixed point theorem
23	Jian-Wen Peng	A novel proof of the existence of solutions for a new system of generalized mixed quasi-variational-like inclusions involving ( A , eta , m )-accretive operators.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	System of generalized mixed quasi-variational-like inclusions, (A, ?, m)-accretive operator, Relaxed cocoercive mapping, Fixed point theorem, Existence
23	Tofigh Allahviranloo, Mahmood Otadi, Maryam Mosleh	Iterative method for fuzzy equations.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Fixed point method, Fuzzy numbers, Nonlinear equations
23	Yuri Gurevich, Itay Neeman	DKAL: Distributed-Knowledge Authorization Language.	CSF	2008	DBLP DOI BibTeX RDF	Datalog with constraints, existential fixed-point logic, infon, security, access control, authorization, Datalog, information leakage, distributed knowledge
23	Atilla Eryilmaz, Peter Marbach, Asuman E. Ozdaglar	A fluid-flow model for backlog-based CSMA policies.	WICON	2008	DBLP DOI BibTeX RDF	backlog-based scheduling, fixed point analysis, wireless networks, distributed algorithms, throughput-optimality, carrier sense multiple access
23	René F. Reitsma, Stanislav Trubin, Eric N. Mortensen	Weight-proportional Space Partitioning Using Adaptive Voronoi Diagrams.	GeoInformatica	2007	DBLP DOI BibTeX RDF	area-weight proportional, optimization, Voronoi diagrams, adaptive algorithm, algorithm complexity, space partitioning, information space, fixed-point iteration, spatial resolution, quadtree decomposition
23	Yevgen Voronenko, Markus Püschel	Multiplierless multiple constant multiplication.	ACM Trans. Algorithms	2007	DBLP DOI BibTeX RDF	directed graph, FIR filter, Addition chains, fixed-point arithmetic, strength reduction
23	Jin Han Park, Jong Seo Park, Young Chel Kwun	Fixed Points in M-Fuzzy Metric Spaces.	ICFIE	2007	DBLP DOI BibTeX RDF	fuzzy metric space, Compatible mapping of type (*), Fixed point
23	Jin Han Park, Jong Seo Park, Young Chel Kwun	Common Fixed Points of Maps on Intuitionistic Fuzzy Metric Spaces.	ICFIE	2007	DBLP DOI BibTeX RDF	Common fixed point, Intuitionistic fuzzy metric space, Asymptotically commuting map
23	Javier Díaz 0001, Eduardo Ros 0001, Sonia Mota, Richard R. Carrillo	Image Processing Architecture for Local Features Computation.	ARC	2007	DBLP DOI BibTeX RDF	quadrature filters, local image phase, orientation and energy, Real-time image processing, fixed point arithmetic
23	Stefan Kiefer, Michael Luttenberger, Javier Esparza	On the convergence of Newton's method for monotone systems of polynomial equations.	STOC	2007	DBLP DOI BibTeX RDF	fixed-point equations, formal verification of software, probabilistic pushdown systems, Newton's method
23	Peter Scholz	Partitioning of perfect synchroneous reactive specifications to distributed processors using µ-charts.	Softw. Syst. Model.	2006	DBLP DOI BibTeX RDF	?-charts, Perfect synchrony, Fixed point semantics, Distributed systems, Partitioning, Statecharts, Reactive systems
23	Zvi Rosberg, Andrew Zalesky, Moshe Zukerman	Packet delay in optical circuit-switched networks.	IEEE/ACM Trans. Netw.	2006	DBLP DOI BibTeX RDF	fixed point approximation, circuit switching, packet delay, WDM network
23	Zhan Guo, Peter Nilsson 0001	A VLSI Architecture of the Square Root Algorithm for V-BLAST Detection.	J. VLSI Signal Process.	2006	DBLP DOI BibTeX RDF	square root algorithm, VLSI, wireless LAN, ASIC, MIMO, fixed-point, 3G, HSDPA, CORDIC, BLAST
23	Alden H. Wright, J. Neal Richter	Strong recombination, weak selection, and mutation.	GECCO	2006	DBLP DOI BibTeX RDF	bistability, gentic algorithms, stability, fixed point, crossover, recombination
23	Masahiro Nakano, Kazuhiro Ogata 0001, Masaki Nakamura 0001, Kokichi Futatsugi	Automating Invariant Verification of Behavioral Specifications.	QSIC	2006	DBLP DOI BibTeX RDF	fixed-point computation, lemma discovery, algebraic specification, rewriting, authentication protocols
23	Albert Danysh, Dimitri Tan	Architecture and Implementation of a Vector/SIMD Multiply-Accumulate Unit.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	data-path design, multiply-accumulate, Booth, Wallace, unsigned, multimedia, VLSI, Parallel, MAC, SIMD, vector, fixed-point, multiplier, high-speed arithmetic, signed, integer
23	Antje Nowack	A Guarded Fragment for Abstract State Machines.	J. Log. Lang. Inf.	2005	DBLP DOI BibTeX RDF	Datalog LITE, guarded fixed-point logic, computability, decidability, Abstract State Machines, expressive power, guarded fragment
23	Chee Kiat Ng, Marios Savvides, Pradeep K. Khosla	Real-Time Face Verification System on a Cell-Phone Using Advanced Correlation Filters.	AutoID	2005	DBLP DOI BibTeX RDF	minimum average correlation energy (MACE), face recogntion, face verification, fixed-point arithmetic, Correlation filters
23	Cheng-Shang Chang, Zhen Liu	A bandwidth sharing theory for a large number of HTTP-like connections.	IEEE/ACM Trans. Netw.	2004	DBLP DOI BibTeX RDF	fixed-point limit, World Wide Web (WWW), TCP, TCP/IP, HTTP, utility functions, bandwidth sharing
23	G. Robert Redinbo	Failure-Detecting Arithmetic Convolutional Codes and an Iterative Correcting Strategy.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	convolutional codes over integers, free modules, burst-correcting codes, real number codes, Algorithm-based fault tolerance, iterative decoding, fixed-point arithmetic, syndrome decoding
23	Endre Pap	Pseudo-analysis and nonlinear equations.	Soft Comput.	2002	DBLP DOI BibTeX RDF	Triangular conorm, Probabilistic metric space, Fuzzy metric space, Fixed point, Utility function, Triangular norm
23	Gang Xu, Sridhar Rajagopal, Joseph R. Cavallaro, Behnaam Aazhang	VLSI Implementation of the Multistage Detector for Next Generation Wideband CDMA Receivers.	J. VLSI Signal Process.	2002	DBLP DOI BibTeX RDF	multistage detector, CDMA, fixed-point, multiuser detection, interference cancellation, real-time implementation
23	Hong Gu	Generating Minimal Surfaces Subject to the Plateau Problems by Finite Element Method.	Numerical Methods and Application	2002	DBLP DOI BibTeX RDF	Plateau Problem, Variational form, Brouwer's fixed point theorem, Convexity
23	Bertrand Maury	A Fat Boundary Method for the Poisson Problem in a Domain with Holes.	J. Sci. Comput.	2001	DBLP DOI BibTeX RDF	multiple-connected domains, fixed point algorithms, finite element, domain decomposition, Poisson equation
23	Saeed Asgari, Truong Q. Nguyen, William A. Sethares	Wavelet-Based Fractal Transforms for Image Coding with No Search.	ICIP (2)	1997	DBLP DOI BibTeX RDF	wavelet-based fractal transforms, fractal coder, domain blocks, partitioning scheme, local time-frequency analysis, iterative construction, fixed point theory, nonlinear contractive mapping, simulations, image coding, image coding, multiresolution analysis, wavelet decomposition, entropy coding, multiresolution representation, iterated function systems, compression performance, uniform quantization
23	James L. Caldwell	Moving Proofs-As-Programs into Practice.	ASE	1997	DBLP DOI BibTeX RDF	proofs-as-programs, constructive type theory, correct-by-construction programs, inductive proofs, Nuprl rewrite system, fixed-point combinators, untyped lambda calculus, specifications, partial evaluation, lambda calculus, hierarchical verifications
23	Véronique Royer, Joachim Quantz	On Intuitionistic Query Answering in Description Bases.	CADE	1994	DBLP DOI BibTeX RDF	Intuitionistic Sequent Calculus, Least Fixed Point Semantics, Description Logics, Query Answering
23	Anup K. Ahluwalia, Mukesh Singhal	Performance Analysis of the Communication Architecture of the Connection Machine.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	interprocessor communication architecture, discrete-timeMarkov chain model, synchronous time-divisionmultiplexing, message arrivalrate, high performance parallelsystem, approximate Markov model, computerevaluation, parallel architectures, Markov processes, performance measures, parallel machines, response time, network architecture, communication delays, time division multiplexing, simulation study, interprocess communication, CM-2, performanceevaluation, Connection Machine, network operation, fixed-point iteration, message delay
23	Jan J. M. M. Rutten, Daniele Turi	On the Foundation of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders.	REX Workshop	1992	DBLP DOI BibTeX RDF	final semantics, non-well-founded sets, non-standard set theory, (F-)bisimulation, ordered F-bisimulation, concurrency, partial orders, metric spaces, fixed point, category, coalgebra, functor, domain equation
23	Michael G. Burke, Barbara G. Ryder	A Critical Analysis of Incremental Iterative Data Flow Analysis Algorithms.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	intraprocedural domains, critical analysis, incremental iterative data flow analysis algorithms, fixed point iteration solution, interprocedural domains, model, parallel algorithms, parallel programming
22	Pavle Belanovic, Markus Rupp	Automated Floating-Point to Fixed-Point Conversion with the Fixify Environment.	IEEE International Workshop on Rapid System Prototyping	2005	DBLP DOI BibTeX RDF
22	Mohamed G. Gouda, Hrishikesh B. Acharya	Nash Equilibria in Stabilizing Systems.	SSS	2009	DBLP DOI BibTeX RDF
22	Christoph H. Lampert, Oliver Wirjadi	Anisotropic Gaussian Filtering using Fixed Point Arithmetic.	ICIP	2006	DBLP DOI BibTeX RDF