in this paper, we prove the existence of fixed point for chatterjea type mappings under $c$-distance in cone metric spaces endowed with a graph. the main results extend, generalized and unified some fixed point theorems on $c$-distance in metric and cone metric spaces.

Some necessary and sufficient conditions are given for the existence of a G-positive (G-repositive) solution to adjointable operator equations $AX=C,AXA^{left( astright) }=C$ and $AXB=C$ over Hilbert $C^{ast}$-modules, respectively. Moreover, the expressions of these general G-positive (G-repositive) solutions are also derived. Some of the findings of this paper extend some known results in the...

recently, cho et al. [y. j. cho, r. saadati, s. h. wang, common xed point theorems on generalized distance in ordered cone metric spaces, comput. math. appl. 61 (2011) 1254-1260] dened the concept of the c-distance in a cone metric space and proved some xed point theorems on c-distance. in this paper, we prove some new xed point and common xed point theorems by using the distance in ordere...

Generic types in C behave invariantly with respect to subtyping. We propose a system of type-safe variance for C that supports the declaration of covariant and contravariant type parameters on generic types. To support more widespread application of variance we also generalize the existing constraint mechanism with arbitrary subtype assertions on classes and methods. This extension is useful ev...

The performance of a database is greatly affected by the performance of its indexes. An industrial quality database typically has several indexes associated with it. Therefore, the design of a good quality index is essential to the success of any nontrivial database. Parallel to their significance, indexed data structures are inherently complex applications that require a lot of effort and cons...

Stream fusion [6] is a powerful technique for automatically transforming high-level sequence-processing functions into efficient implementations. It has been used to great effect in Haskell libraries for manipulating byte arrays, Unicode text, and unboxed vectors. However, some operations, like vector append, still do not perform well within the standard stream fusion framework. Others, like SI...

Recently, Cho et al. [Y. J. Cho, R. Saadati, S. H. Wang, Common xed point theorems on generalized distance in ordered cone metric spaces, Comput. Math. Appl. 61 (2011) 1254-1260] dened the concept of the c-distance in a cone metric space and proved some xed point theorems on c-distance. In this paper, we prove some new xed point and common xed point theorems by using the distance in ordered con...

Generalized Constant Propagation (GCP) statically estimates the ranges of variables throughout a program. GCP is a top-down compositional compiler analysis in the style of abstract intepretation. In this paper we present an implementation of both intraprocedural and interprocedural GCP within the context of the C language. We compare the accuracy and utility of GCP information for several versi...