Sciweavers

5075 search results - page 729 / 1015
» Convergence
Sort
View
HYBRID
2003
Springer
15 years 12 months ago
Reachability Analysis of Nonlinear Systems Using Conservative Approximation
Abstract. In this paper we present an approach to approximate reachability computation for nonlinear continuous systems. Rather than studying a complex nonlinear system ˙x = g(x),...
Eugene Asarin, Thao Dang, Antoine Girard
ICCSA
2003
Springer
15 years 12 months ago
The Role of Multi-method Linear Solvers in PDE-based Simulations
The solution of large-scale, nonlinear PDE-based simulations typically depends on the performance of sparse linear solvers, which may be invoked at each nonlinear iteration. We pre...
Sanjukta Bhowmick, Lois C. McInnes, Boyana Norris,...
ICOIN
2003
Springer
15 years 12 months ago
ATFRC: Adaptive TCP Friendly Rate Control Protocol
Abstract. TFRC (TCP Friendly Rate Control) is a rate-based congestion control protocol for non-TCP flows. TFRC controls the sending rate by using the TCP throughput equation consi...
Seongho Cho, Heekyoung Woo, Jongwon Lee
IMR
2003
Springer
15 years 12 months ago
Multilevel Accelerated Optimization for Problems in Grid Generation
The quality of numerical simulations of processes that are modeled by partial differential equations strongly depends on the quality of the mesh that is used for their discretiza...
Markus Berndt, Mikhail J. Shashkov
ISAAC
2003
Springer
129views Algorithms» more  ISAAC 2003»
15 years 12 months ago
Polynomial Time Approximate Sampler for Discretized Dirichlet Distribution
Abstract. In this paper, we propose a Markov chain for sampling a random vector distributed according to a discretized Dirichlet distribution. We show that our Markov chain is rapi...
Tomomi Matsui, Mitsuo Motoki, Naoyuki Kamatani