Sciweavers

3096 search results - page 478 / 620
» The Generalized FITC Approximation
Sort
View
ICCSA
2005
Springer
15 years 10 months ago
Improved Location Management Scheme Based on Autoconfigured Logical Topology in HMIPv6
Abstract. Though some studies involving general micro-mobility exist, micromobility research concerning a mobile node (MN) moving between Mobile Anchor Points (MAP) is lacking. In ...
Jongpil Jeong, Hyunsang Youn, Hyunseung Choo, Euns...
MFCS
2005
Springer
15 years 10 months ago
Coloring Sparse Random k-Colorable Graphs in Polynomial Expected Time
Abstract. Feige and Kilian [5] showed that finding reasonable approximative solutions to the coloring problem on graphs is hard. This motivates the quest for algorithms that eithe...
Julia Böttcher
TLCA
2005
Springer
15 years 10 months ago
Continuity and Discontinuity in Lambda Calculus
This paper studies continuity of the normal form and the context operators as functions in the infinitary lambda calculus. We consider the Scott topology on the cpo of the finite...
Paula Severi, Fer-Jan de Vries
132
Voted
UC
2005
Springer
15 years 10 months ago
On Computational Complexity of Counting Fixed Points in Symmetric Boolean Graph Automata
Abstract. We study computational complexity of counting the fixed point configurations (FPs) in certain classes of graph automata viewed as discrete dynamical systems. We prove t...
Predrag T. Tosic, Gul A. Agha
ACMMSP
2004
ACM
101views Hardware» more  ACMMSP 2004»
15 years 10 months ago
Metrics and models for reordering transformations
Irregular applications frequently exhibit poor performance on contemporary computer architectures, in large part because of their inefficient use of the memory hierarchy. Runtime ...
Michelle Mills Strout, Paul D. Hovland