Search results for "fixed-point iteration"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	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
2	Tugrul Dayar, Akin Meriç	Kronecker representation and decompositional analysis of closed queueing networks with phase-type service distributions and arbitrary buffer sizes.	Annals OR	2008	DBLP DOI BibTeX RDF	Phase-type service distribution, Kronecker representation, Multilevel method, Closed queueing network, Network decomposition, Fixed-point iteration
2	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
2	Mihai Anitescu, Gary D. Hart	A fixed-point iteration approach for multibody dynamics with contact and small friction.	Math. Program.	2004	DBLP DOI BibTeX RDF
2	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
2	Anup K. Ahluwalia, Mukesh Singhal	Performance Analysis of the Communication Architecture of the Connection Machine.	IEEE Trans. Parallel Distrib. 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
2	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
1	Zhanfei Zuo	Three-Step Fixed Point Iteration for Generalized Multivalued Mapping in Banach Spaces.	J. Applied Mathematics	2012	DBLP DOI BibTeX RDF
1	Emanuele Galligani	Lagged diffusivity fixed point iteration for solving steady-state reaction diffusion problems.	Int. J. Comput. Math.	2012	DBLP DOI BibTeX RDF
1	Nikola Vucic, Martin Schubert	Fixed point iteration for max-min sir balancing with general interference functions.	ICASSP	2011	DBLP DOI BibTeX RDF
1	Xue Jiang, Wen-Jun Zeng, En Cheng	A Fast Fixed Point Iteration Algorithm for Sparse Channel Estimation.	CMC	2011	DBLP DOI BibTeX RDF
1	Tewfik Kernane, Zohrh A. Raizah	Fixed Point Iteration for Estimating the Parameters of Extreme Value Distributions.	Communications in Statistics - Simulation and Computation	2009	DBLP DOI BibTeX RDF
1	Dokkyun Yi, Do-Hyung Kim, Eunyoun Kim, Sung-Dae Yang	Convergence of a fixed point iteration method for the OSV model.	Applied Mathematics and Computation	2009	DBLP DOI BibTeX RDF
1	A. Berlinet, Ch. Roland	Parabolic acceleration of the EM algorithm.	Statistics and Computing	2009	DBLP DOI BibTeX RDF	Restart strategies, Linear mixed model, Multivariate Student distribution, Stability, Convergence, EM algorithm, Acceleration, Fixed point iteration, Finite mixture
1	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
1	Alexandre Brandwajn, Thomas Begin	Preliminary Results on a Simple Approach to G/G/c-Like Queues.	ASMTA	2009	DBLP DOI BibTeX RDF	general arrivals, general service times, steady-state queue length distribution, simple efficient semi-numerical solution, Multi-server queue
1	Armin Heindl, Gilles Pokam	An Analytic Model for Optimistic STM with Lazy Locking.	ASMTA	2009	DBLP DOI BibTeX RDF
1	Eva Magnusson, Torbjörn Ekman, 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
1	Yuying Shi	Convergence of Fixed Point Iteration for Modified Restoration Problems.	Journal of Mathematical Imaging and Vision	2008	DBLP DOI BibTeX RDF
1	Anthony Almudevar	Approximate Fixed Point Iteration with an Application to Infinite Horizon Markov Decision Processes.	SIAM J. Control and Optimization	2008	DBLP DOI BibTeX RDF
1	Holger Boche, Martin Schubert	A superlinearly and globally convergent algorithm for power control and resource allocation with general interference functions.	IEEE/ACM Trans. Netw.	2008	DBLP DOI BibTeX RDF	multi-user channels, resource allocation, power control, interference suppression
1	Jean-Louis Giavitto, Olivier Michel, Antoine Spicher	Spatial Organization of the Chemical Paradigm and the Specification of Autonomic Systems.	Software-Intensive Systems and New Computing Paradigms	2008	DBLP DOI BibTeX RDF
1	Gernot Schaller	A fixed point iteration for computing the matrix logarithm	CoRR	2007	DBLP BibTeX RDF
1	Yuying Shi, Qianshun Chang, Jing Xu	Convergence of fixed point iteration for deblurring and denoising problem.	Applied Mathematics and Computation	2007	DBLP DOI BibTeX RDF
1	Nathan D. Cahill, J. Alison Noble, David J. Hawkes, Lawrence A. Ray	Fast Fluid Registration with Dirichlet Boundary Conditions: A Transform-Based Approach.	ISBI	2007	DBLP DOI BibTeX RDF
1	Martin Schubert, Holger Boche	A Generic Approach to QoS-Based Transceiver Optimization.	IEEE Transactions on Communications	2007	DBLP DOI BibTeX RDF
1	Damon Hyde, Eric L. Miller, Dana H. Brooks, Vasilis Ntziachristos	A Statistical Approach to Inverting the Born Ratio.	IEEE Trans. Med. Imaging	2007	DBLP DOI BibTeX RDF
1	Thorsten Suttorp, Christian Igel	Resilient Approximation of Kernel Classifiers.	ICANN	2007	DBLP DOI BibTeX RDF
1	Weerayuth Nilsrakoo, Satit Saejung	A new three-step fixed point iteration scheme for asymptotically nonexpansive mappings.	Applied Mathematics and Computation	2006	DBLP DOI BibTeX RDF
1	Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna	Fixed Point Iteration for Computing the Time Elapse Operator.	HSCC	2006	DBLP DOI BibTeX RDF
1	Simone Fiori	Neural Systems with Numerically-Matched Input-Output Statistic: Variate Generation.	Neural Processing Letters	2006	DBLP DOI BibTeX RDF	look-up-table based neural systems, pseudo-random samples generation, probability density function, fixed-point iteration
1	Damon Hyde, Eric L. Miller, Dana H. Brooks, Vasilis Ntziachristos	A statistical method for inverting the Born ratio.	ISBI	2006	DBLP DOI BibTeX RDF
1	Tim Kröger, Inga Altrogge, Tobias Preusser, Philippe L. Pereira, Diethard Schmidt, Andreas Weihusen, Heinz-Otto Peitgen	Numerical Simulation of Radio Frequency Ablation with State Dependent Material Parameters in Three Space Dimensions.	MICCAI	2006	DBLP DOI BibTeX RDF
1	Somyot Plubtieng, Rabian Wangkeeree	Fixed point iteration for asymptotically quasi-nonexpansive mappings in Banach spaces.	Int. J. Math. Mathematical Sciences	2005	DBLP DOI BibTeX RDF
1	David M. Nicol, Guanhua Yan	Simulation of Network Traffic at Coarse Timescales.	PADS	2005	DBLP DOI BibTeX RDF
1	Ting Yu, Ying Wu	Decentralized Multiple Target Tracking Using Netted Collaborative Autonomous Trackers.	CVPR	2005	DBLP DOI BibTeX RDF
1	Andrés Bruhn, Joachim Weickert	Towards Ultimate Motion Estimation: Combining Highest Accuracy with Real-Time Performance.	ICCV	2005	DBLP DOI BibTeX RDF
1	Jiann-Horng Lin, Jong-Wen Cheng	Adaptive fuzzy identification of nonlinear dynamical systems based on quantum mechanics.	IRI	2005	DBLP DOI BibTeX RDF
1	Peter Bazan, Reinhard German	Approximate Analysis of Stochastic Models by Self-Correcting Aggregation.	QEST	2005	DBLP DOI BibTeX RDF
1	Janet Meiling Wang, Omar Hafiz, Pinhong Chen	A non-iterative model for switching window computation with crosstalk noise.	ASP-DAC	2004	DBLP DOI BibTeX RDF
1	Gabrio Caimi, Dan Burkolter, Thomas Herrmann	Finding Delay-Tolerant Train Routings through Stations.	OR	2004	DBLP DOI BibTeX RDF
1	Frank Schmiedle, Rolf Drechsler, Bernd Becker	Exact Routing with Search Space Reduction.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	forced cells, MDDs, Detailed routing, fixed point iteration
1	John Quigley, Lesley Walls	Confidence intervals for reliability-growth models with small sample-sizes.	IEEE Transactions on Reliability	2003	DBLP DOI BibTeX RDF
1	Gianfranco Ciardo, Radu Siminiceanu	Structural Symbolic CTL Model Checking of Asynchronous Systems.	CAV	2003	DBLP DOI BibTeX RDF
1	Frédéric Besson, Thomas de Grenier de Latour, Thomas P. Jensen	Secure calling contexts for stack inspection.	PPDP	2002	DBLP DOI BibTeX RDF	constraints, language based security, linear temporal logic, static program analysis, stack inspection
1	Mark S. Squillante, Yanyong Zhang, Anand Sivasubramaniam, Natarajan Gautam, Hubertus Franke, José E. Moreira	Modeling and analysis of dynamic coscheduling in parallel and distributed environments.	SIGMETRICS	2002	DBLP DOI BibTeX RDF
1	Zhen Liu, Mark S. Squillante, Joel L. Wolf	On maximizing service-level-agreement profits.	ACM Conference on Electronic Commerce	2001	DBLP DOI BibTeX RDF
1	Zhen Liu, Mark S. Squillante, Joel L. Wolf	On maximizing service-level-agreement profits.	SIGMETRICS Performance Evaluation Review	2001	DBLP DOI BibTeX RDF
1	Hairong Sun, James J. Han, Haim Levendel	A Generic Availability Model for Clustered Computing System.	PRDC	2001	DBLP DOI BibTeX RDF
1	Miguel Á. Carreira-Perpiñán	Mode-Finding for Mixtures of Gaussian Distributions.	IEEE Trans. Pattern Anal. Mach. Intell.	2000	DBLP DOI BibTeX RDF	maximization algorithms, mode finding, bump finding, error bars, sparseness, Gaussian mixtures
1	Curtis R. Vogel, Mary E. Oman	Fast, robust total variation-based reconstruction of noisy, blurred images.	IEEE Transactions on Image Processing	1998	DBLP DOI BibTeX RDF
1	Max Hailperin	Introducing fixed-point iteration early in a compiler course.	SIGCSE	1997	DBLP DOI BibTeX RDF
1	Thomas P. Jensen	Disjunctive Program Analysis for Algebraic Data Types.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	abstract interpretaton, binding-time and data-flow analysis, nonstandard type systems, lambda calculus, strictness analysis
1	Michael Huth, Marta Z. Kwiatkowska	Quantitative Analysis and Model Checking.	LICS	1997	DBLP DOI BibTeX RDF
1	J. Peter Veltkamp, Ruud van Damme	Fixed Point Iteration on Pointsymmetric Interference Graphs.	Perform. Eval.	1994	DBLP DOI BibTeX RDF
1	Torben Amtoft	Local Type Reconstruction by Means of Symbolic Fixed Point Iteration.	ESOP	1994	DBLP DOI BibTeX RDF
1	Gwo-Chung Tai, Can E. Korman, Isaak D. Mayergoyz	A parallel-in-time method for the transient simulation of SOI devices with drain current overshoots.	IEEE Trans. on CAD of Integrated Circuits and Systems	1994	DBLP DOI BibTeX RDF
1	Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa	A Practical Data Flow Framework for Array Reference Analysis and its Use in Optimizations.	PLDI	1993	DBLP DOI BibTeX RDF
1	Hanne Riis Nielson, Flemming Nielson	Bounded Fixed-Point Iteration.	J. Log. Comput.	1992	DBLP DOI BibTeX RDF
1	Hanne Riis Nielson, Flemming Nielson	Bounded Fixed Point Iteration.	POPL	1992	DBLP DOI BibTeX RDF
1	Flemming Nielson, Hanne Riis Nielson	Finiteness Conditions for Fixed Point Iteration.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF
1	Lorrie A. Tomek, Kishor S. Trivedi	Fixed Point Iteration in Availability Modeling.	Fault-Tolerant Computing Systems	1991	DBLP BibTeX RDF
1	Thomas J. Marlowe, Barbara G. Ryder	An Efficient Hybrid Algorithm for Incremental Data Flow Analysis.	POPL	1990	DBLP DOI BibTeX RDF