in this paper, several xed point theorems for t-contraction of two maps on cone metric spaces under normality condition are proved. obtained results extend and generalize well-known comparable results in the literature.

Digital mobile systems are sensitive to power consumption, chip size and costs. Therefore they are realized using xed-point architectures, either dedicated HW or xed-point processors. On the other hand, system design starts from a oating-point description. These requirements have been the motivation for FRIDGE , a design environment for the speci cation, evaluation and implementation of xed-poi...

Berinde and Borcut [1] introduced the concept of triple fixed point and proof some related fixed point theorem with some applications. The aim of this paper is to extend the result of Berinde and Borcut [1]. Indeed, we introduced the definition of generalized g−Meir-Keeler type contractions and prove some tripled fixed point theorems under a generalized g−Meir-Keeler type contractive condition....

This utility software automatically converts a oating-point digital signal processing program written in C or C++ language to a xed-point program. The conversion is conducted by deening a new xed-point data class and utilizing the operator overloading characteristic of the C++ language. A generalized xed-point format which consists of the wordlength, integer wordlength, sign, overrow, and quati...

In this paper, we will establish some xed point results for two pairs of self mappings satisfying generalized contractive condition by using a new concept as weak subsequential continuity with compatibility of type (E) in metric spaces, as an application the existence of unique common solution for a system of functional equations arising in system programming is proved.

In this paper, we establish the existence and uniqueness of common coupled xed point results for three covariant mappings in bipolar metric spaces. Moreover, we give an illustration which presents the applicability of the achieved results also we provided applications to homotopy theory as well as integral equations.

In this paper, we have developed and analysed per models for recursive types, polymorphism, and subtyping. In developing our models, the emphasis has been on simplicity and on understanding the necessity of any conditions we impose on our structures. While similar structures have been given using the interpretation of constructive logic in a topos, the presentation of the models here is more di...