Search results for "Fixed"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
49	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
46	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
46	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
44	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
44	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
44	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
44	Rodney G. Downey, Martin Grohe, Gerhard J. Woeginger	05301 Summary - Exact Algorithms and Fixed-Parameter Tractability.	Exact Algorithms and Fixed-Parameter Tractability	2005	DBLP BibTeX RDF
44	Rodney G. Downey, Martin Grohe, Gerhard J. Woeginger	05301 Abstracts Collection - Exact Algorithms and Fixed-Parameter Tractability.	Exact Algorithms and Fixed-Parameter Tractability	2005	DBLP BibTeX RDF
44	Peng-Jun Wan, Allalaghatta Pavan	TWDM Single-Hop Lightwave Networks Using Multiple Fixed Transceivers at Each Station.	LCN	1996	DBLP DOI BibTeX RDF	TWDM single-hop lightwave networks, multiple fixed transceivers, time and wavelength division multiplexing, single mode optical fiber, lightwave networks, optical passive star couplers, general hardware configuration, multiple fixed transmitters, fixed receivers, maximal concurrency, time division multiplexing
44	David J. Pritchard, Denis A. Nicole	Cube Connected Mobius Ladders: An Inherently Deadlock-Free Fixed Degree Network.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	deadlock-free fixed degree network, cube-connected Mobius ladders, deadlock-free routingstrategy, fixed node degree, fixed degree topology of size, transputernetworks, parallel algorithms, computational complexity, graph theory, topology, Cayley graph, multiprocessorinterconnection network, network diameter, multiprocessor interconnectionnetworks, interval routing
44	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
40	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
37	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
37	Warren L. Hare	Identifying Active Manifolds in Regularization Problems.	Fixed-Point Algorithms for Inverse Problems in Science and Engineering	2011	DBLP DOI BibTeX RDF
37	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
37	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
37	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
37	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
37	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
37	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
37	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
37	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
37	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
37	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
37	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
37	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
37	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
37	Rodney G. Downey, Martin Grohe, Gerhard J. Woeginger (eds.)	Exact Algorithms and Fixed-Parameter Tractability, 24.-27. July 2005	Exact Algorithms and Fixed-Parameter Tractability	2006	DBLP BibTeX RDF
36	Yassir Nawaz, Guang Gong	Distributing Fixed Time Slices in Heterogeneous Networks of Workstations (NOWs).	ISPA	2007	DBLP DOI BibTeX RDF	fixed work slices, fixed time slices, parallel processing, Networks of workstations
36	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
35	Gang Yao, Giorgio C. Buttazzo, Marko Bertogna	Feasibility Analysis under Fixed Priority Scheduling with Fixed Preemption Points.	RTCSA	2010	DBLP DOI BibTeX RDF	limiting preemption, fixed preemption point, scheduling, fixed priority
34	Davide Sangiorgi	On the origins of bisimulation and coinduction.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	greatest fixed points, Bisimulation, history, fixed points, coinduction
33	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
33	Michael González Harbour, Mark H. Klein, John P. Lehoczky	Timing Analysis for Fixed-Priority Scheduling of Hard Real-Time Systems.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	periodic task set, fixed-priority methods, serially executed subtasks, complex priority structure, nonpreemptible sections, scheduling, schedulability, real-time systems, robots, robotics, message passing, interrupts, interrupts, timing analysis, execution time, hard real-time systems, fixed-priority scheduling, precedence constraints, periodic tasks, message-passing systems, synchronization protocols, uniprocessor
33	Zbigniew Lonc, Miroslaw Truszczynski	Fixed-parameter complexity of semantics for logic programs.	ACM Trans. Comput. Log.	2003	DBLP DOI BibTeX RDF	Normal logic programs, fixed-parameter complexity, supported models, stable models
33	Georg Gottlob, Francesco Scarcello, Martha Sideri	Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning.	LPNMR	1999	DBLP DOI BibTeX RDF	Complexity, Logic Programming, Constraint Satisfaction, Nonmonotonic Reasoning, Fixed-parameter Tractability, Stable Models, Prime Implicants, Circumscription
33	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
32	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
31	Marcus Brazil, Martin Zachariasen	Steiner trees for fixed orientation metrics.	J. Glob. Optim.	2009	DBLP DOI BibTeX RDF	Normed plane, Fixed orientation metric, Fixed topology, Canonical form, Steiner tree problem
31	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
31	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
31	Steve Vestal	Fixed-Priority Sensitivity Analysis for Linear Compute Time Models.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	fixed-priority sensitivity analysis, linear computation time models, scheduling discipline, hard real-time periodic tasks, task scheduling feasibility, real-time verification, real-time benchmarking, real-time architectures, scheduling, real-time systems, computational complexity, formal verification, software components, real-time scheduling, sensitivity analysis, modules, schedulability analysis, software development process, rate monotonic scheduling, task decomposition, fixed-priority preemptive scheduling, uniprocessor
31	Daniel I. Katcher, Hiroshi Arakawa, Jay K. Strosnider	Engineering and Analysis of Fixed Priority Schedulers.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	timing correctness, validation process, blocking components, fixed priority scheduling algorithms, timer-driven scheduling, event-driven scheduling, optimal timer rate, schedulability, scheduling, real-time systems, real-time applications, operating systems (computers), fixed priority schedulers, operating system kernels, scheduling theory, hardware platforms
31	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
31	Ou He, Sheqin Dong, Jinian Bian, Satoshi Goto, Chung-Kuan Cheng	A novel fixed-outline floorplanner with zero deadspace for hierarchical design.	ICCAD	2008	DBLP DOI BibTeX RDF	floorplanner, soft modules, zero deadspace, fixed-outline
31	Jinjun Chen, Yun Yang 0001	Temporal dependency based checkpoint selection for dynamic verification of fixed-time constraints in grid workflow systems.	ICSE	2008	DBLP DOI BibTeX RDF	checkpoint selection, fixed-time constraints, grid workflows, temporal dependency
31	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
31	Zulkalnain Mohdyusof, Thomas R. Fischer	Subband image coding using a fixed-rate lattice vector quantizer.	ICIP	1995	DBLP DOI BibTeX RDF	subband image coding, fixed-rate lattice vector quantizer, entropy-coded lattice vector quantizer, error-free channel, variable length coder, single bit error, encoding rates, channel noise, performance, image coding, error analysis, image quality, error propagation, vector quantisation, entropy codes, lattice theory, degradation, macroblock, transmission error, binary symmetric channel
30	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
30	Aditya Kanade, Uday P. Khedker, Amitabha Sanyal	Heterogeneous Fixed Points with Application to Points-To Analysis.	APLAS	2005	DBLP DOI BibTeX RDF
29	Kwame Osei Boateng, Hiroshi Takahashi, Yuzo Takamatsu	General BIST-Amenable Method of Test Generation for Iterative Logic Arrays.	VTS	2000	DBLP DOI BibTeX RDF	fixed-coverage fixed-size test set, test generation, BIST, iterative logic arrays
28	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
28	Karl R. Abrahamson, John A. Ellis, Michael R. Fellows, Manuel E. Mata	On the Complexity of Fixed Parameter Problems (Extended Abstract)	FOCS	1989	DBLP DOI BibTeX RDF	fixed parameter problems, polynomially indexed relations, complexity, completeness, polynomial time, fixed-parameter tractability
28	Noga Alon, Shai Gutner	Linear Time Algorithms for Finding a Dominating Set of Fixed Size in Degenerated Graphs.	Algorithmica	2009	DBLP DOI BibTeX RDF	H-minor-free graphs, Degenerated graphs, Dominating set problem, Finding an induced cycle, Fixed-parameter tractable algorithms
28	Sung-Ho Yoon, Jin-Wan Park, Jun-Sang Park, Young-Seok Oh, Myung-Sup Kim	Internet Application Traffic Classification Using Fixed IP-Port.	APNOMS	2009	DBLP DOI BibTeX RDF	Traffic monitoring and analysis, Fixed IP-port, Traffic classification, Application identification
28	Tuan-Dung Nguyen, Thaere Eido, Tülin Atmaca	DCUM: dynamic creation of fixed-size containers in multiservice synchronous OPS ring networks.	SimuTools	2009	DBLP DOI BibTeX RDF	fixed-size optical payloads, quality of service (QoS) management, synchronous optical packet switching (OPS) networks, simulation
28	Song Chen 0001, Takeshi Yoshimura	A stable fixed-outline floorplanning method.	ISPD	2007	DBLP DOI BibTeX RDF	floorplanning, sequence pair, fixed-outline
28	Noga Alon, Shai Gutner	Linear Time Algorithms for Finding a Dominating Set of Fixed Size in Degenerated Graphs.	COCOON	2007	DBLP DOI BibTeX RDF	H-minor-free graphs, degenerated graphs, dominating set problem, finding an induced cycle, fixed-parameter tractable algorithms
28	Chua-Chin Wang, Gang-Neng Sung, Jia-Hao Li	Codec Design for Variable-Length to Fixed-Length Data Conversion for H.263.	IIH-MSP	2006	DBLP DOI BibTeX RDF	fixed-length, variable-length, compression, sparsity, H.263
28	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
28	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
28	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
28	Eric Brier, Christophe Clavier, Jean-Sébastien Coron, David Naccache	Cryptanalysis of RSA Signatures with Fixed-Pattern Padding.	CRYPTO	2001	DBLP DOI BibTeX RDF	fixed-pattern padding, affine redundancy, RSA signatures
28	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
28	Liming Cai, Xiuzhen Huang	Fixed-Parameter Approximation: Conceptual Framework and Approximability Results.	IWPEC	2006	DBLP DOI BibTeX RDF
26	Josep Ramon Morros, Ferran Marqués	Scalable Segmentation-Based Coding of Video Sequences Addressing Content-Based Functionalities.	ICIP (2)	1997	DBLP DOI BibTeX RDF	scalable segmentation-based coding, content-based functionalities, video scalability, region-based coding system, scaled layers, fixed bit-rate, fixed quality, content based manipulation, supervised mode, enhancement layer, unsupervised mode, algorithm, video coding, video sequences
26	W. Wright	Research report: information animation applications in the capital markets.	INFOVIS	1995	DBLP DOI BibTeX RDF	securities trading, information animation applications, securities market, securities industry, equity trading analytics, fixed income trading analytics, fixed-income risk viewing, three dimensional computer graphics, decision support systems, risk management, computer animation, data visualisation, visual design, financial data processing, decision-support tool, capital markets, 3D computer graphics
26	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
26	Andreas Turina, Tinne Tuytelaars, Theo Moons, Luc Van Gool	Grouping via the Matching of Repeated Patterns.	ICAPR	2001	DBLP DOI BibTeX RDF	Planar Homologies, Affinely Invariant Regions, Fixed Structures, Cascaded Hough Transform, Grouping, Projective Geometry
25	Reinder J. Bril, Johan J. Lukkien, Wim F. J. Verhaegh	Worst-case response time analysis of real-time tasks under fixed-priority scheduling with deferred preemption.	Real Time Syst.	2009	DBLP DOI BibTeX RDF	Level-i active period, Level-i busy period, Worst-case occupied time, Deferred preemption, Real-time systems, Fixed-priority scheduling, Periodic tasks, Worst-case response time
25	Lu-Chuan Ceng, Qamrul Hasan Ansari, Jen-Chih Yao	Viscosity approximation methods for generalized equilibrium problems and fixed point problems.	J. Glob. Optim.	2009	DBLP DOI BibTeX RDF	Viscosity approximation method, Generalized equilibrium problem, Nonexpansive mappings, Strong convergence, Fixed points
25	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
25	Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, Johan Jeuring	Generic programming with fixed points for mutually recursive datatypes.	ICFP	2009	DBLP DOI BibTeX RDF	mutually recursive datatypes, haskell, fixed points, datatype-generic programming
25	Timothy J. Williams	Distributed calculations on fixed-income securities: keynote.	SC-WHPCF	2009	DBLP DOI BibTeX RDF	distributed calculation, fixed-income securities, mortgage-backed securities, database, pricing, data cache, valuation
25	Stephen Hobson, Jim Austin	Improved Storage Capacity in Correlation Matrix Memories Storing Fixed Weight Codes.	ICANN (1)	2009	DBLP DOI BibTeX RDF	fixed weight codes, pattern recognition, Associative memory, storage capacity, correlation matrix memory
25	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
25	Sergio Cabello, Panos Giannopoulos, Christian Knauer, Günter Rote	Geometric clustering: fixed-parameter tractability and lower bounds with respect to the dimension.	SODA	2008	DBLP BibTeX RDF	clustering, complexity, lower bound, dimension, fixed-parameter tractability
25	Suhair Hafez Amer, John A. Hamilton Jr.	DSR and TORA in fixed and mobile wireless networks.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF	TORA, fixed wireless networks, MANET, DSR, OPNET
25	Zhenghao Zhang, Yuanyuan Yang	Optical Packet Switches Enhanced with Electronic Buffering and Fixed Wavelength Conversion.	ITC	2007	DBLP DOI BibTeX RDF	Slotted, Loss ratio, Fixed wavelength conversion, Buffering, Wavelength-division-multiplexing (WDM), Optical Packet Switching
25	Pål Grønsund, Paal Engelstad, Torbjørn Johnsen, Tor Skeie	The physical performance and path loss in a fixed WiMAX deployment.	IWCMC	2007	DBLP DOI BibTeX RDF	WiMAX deployment, fixed WiMAX, path loss model, physical analysis
25	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
25	Ou He, Sheqin Dong, Jinian Bian, Yuchun Ma, Xianlong Hong	An effective buffer planning algorithm for IP based fixed-outline SOC placement.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	buffer planning, very large scale integration (VLSI), floorplanning, fixed-outline
25	Vida Dujmovic, Michael R. Fellows, Michael T. Hallett, Matthew Kitching, Giuseppe Liotta, Catherine McCartin, Naomi Nishimura, Prabhakar Ragde, Frances A. Rosamond, Matthew Suderman, Sue Whitesides, David R. Wood	A Fixed-Parameter Approach to 2-Layer Planarization.	Algorithmica	2006	DBLP DOI BibTeX RDF	Sugiyama approach, NP-complete, Graph algorithms, Graph drawing, Planarization, Fixed-parameter tractability, Crossing minimization
25	Fred W. Glover	Parametric Ghost Image Processes for Fixed-Charge Problems: A Study of Transportation Networks.	J. Heuristics	2005	DBLP DOI BibTeX RDF	fixed-charge problems, ghost image processes, networks, tabu search, generalized networks
25	Bo Hu 0006, Yue Zeng, Malgorzata Marek-Sadowska	mFAR: fixed-points-addition-based VLSI placement algorithm.	ISPD	2005	DBLP DOI BibTeX RDF	placement, fixed points, force-directed
25	Italo Milanese, Carlo Alberto Licciardi	Fixed Mobile Convergence: 3 Words, Many Perspectives.	MATA	2005	DBLP DOI BibTeX RDF	Fixed Mobile Convergence (FMC), Session Initiation Protocol (SIP), Service Delivery Platform (SDP), Service Creation Environment (SCE)
25	Yvonne Hitchcock, Paul Montague, Gary Carter, Ed Dawson	The efficiency of solving multiple discrete logarithm problems and the implications for the security of fixed elliptic curves.	Int. J. Inf. Sec.	2004	DBLP DOI BibTeX RDF	Elliptic curve discrete logarithm problem (ecdlp), Baby-step giant-step method (bsgs), Pollards rho method, Fixed elliptic curve, Precomputation
25	Enrico Bini, Giorgio C. Buttazzo	Schedulability Analysis of Periodic Fixed Priority Systems.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF	Real-time systems and embedded, fixed priority scheduling, systems analysis and design
25	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
25	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
25	Jens Gramm, Rolf Niedermeier, Peter Rossmanith	Fixed-Parameter Algorithms for CLOSEST STRING and Related Problems.	Algorithmica	2003	DBLP DOI BibTeX RDF	Consensus word analysis, NP-complete, Exact algorithms, Fixed-parameter tractability
25	Han-Saem Yun, Jihong Kim 0001	On energy-optimal voltage scheduling for fixed-priority hard real-time systems.	ACM Trans. Embed. Comput. Syst.	2003	DBLP DOI BibTeX RDF	real-time systems, approximation algorithms, dynamic voltage scaling, Fixed-priority scheduling, fully polynomial time approximation scheme, variable voltage processor
25	Ching-Chih Han, Hung-Ying Tyan	A better polynomial-time schedulability test for real-time fixed-priority scheduling algorithm.	RTSS	1997	DBLP DOI BibTeX RDF	polynomial-time schedulability test, real-time fixed-priority scheduling algorithms, closed-form utilization, polynomial-time schedulability, processor scheduling, schedulability condition
25	Edward David Moreno Ordonez, Sergio Takeo Kofuji	Performance evaluation of the fixed sequential prefetching on a bus-based multiprocessor: preliminary results.	ISPAN	1996	DBLP DOI BibTeX RDF	fixed sequential prefetching, bus-based multiprocessor, sequential prefetching, OBL policy, performance evaluation, performance evaluation, Petri nets, Petri nets, shared memory systems, shared memory systems, cache storage, data prefetching
25	Martin Grohe, Stephan Kreutzer, Nicole Schweikardt	The Expressive Power of Two-Variable Least Fixed-Point Logics.	MFCS	2005	DBLP DOI BibTeX RDF
25	Pratul Dublish, S. N. Maheshwari	Expressibility of Bounded-Arity Fixed-Point Query Hierarchies.	PODS	1989	DBLP DOI BibTeX RDF
24	Teresa Franklin	Adventures in Agile Contracting: Evolving from Time and Materials to Fixed Price, Fixed Scope Contracts.	AGILE	2008	DBLP DOI BibTeX RDF
24	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
24	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
24	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