Sciweavers

2735 search results - page 50 / 547
» Generalized Displacement Maps
Sort
View
SIAMJO
2010
85views more  SIAMJO 2010»
13 years 6 months ago
Metric Subregularity and Calmness for Nonconvex Generalized Equations in Banach Spaces
This paper concerns a generalized equation defined by a closed multifunction between Banach spaces, and we employ variational analysis techniques to provide sufficient and/or nece...
Xi Yin Zheng, Kung Fu Ng
PLDI
2004
ACM
14 years 1 months ago
A generalized algorithm for graph-coloring register allocation
Graph-coloring register allocation is an elegant and extremely popular optimization for modern machines. But as currently formulated, it does not handle two characteristics common...
Michael D. Smith, Norman Ramsey, Glenn H. Holloway
IPPS
1997
IEEE
13 years 12 months ago
Semantics and Implementation of a Generalized forall Statement for Parallel Languages
In this paper we present a generalized forall statement for parallel languages. The forall statement occurs in many (data) parallel languages and specifies which computations can...
Paul Dechering, Leo C. Breebaart, Frits Kuijlman, ...
AIIA
2007
Springer
13 years 9 months ago
Similarity-Guided Clause Generalization
Few works are available in the literature to define similarity criteria between First-Order Logic formulæ, where the presence of relations causes various portions of one descript...
Stefano Ferilli, Teresa Maria Altomare Basile, Nic...
COMPUTING
2007
127views more  COMPUTING 2007»
13 years 7 months ago
Analyzing a generalized Loop subdivision scheme
In this paper a class of subdivision schemes generalizing the algorithm of Loop is presented. The stencils have the same support as those from the algorithm of Loop, but allow a v...
Ingo Ginkel, Georg Umlauf