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...

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, tripled coincidence points of mappings satisfying  -contractive conditions in the framework of partially ordered gb-metric spaces are obtained. our results extend the results of aydi et al. [h. aydi, e. karapnar and w. shatanawi, tripled xed point results in generalized metric space, j. applied math., volume 2012, article id 314279, 10 pages]. moreover, some examples of the mai...

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...

The given article describes the implicit fractional dierential equation with anti-periodic boundary conditionsin frame of Caputo-Katugampola derivative. We obtain an analogous integral thegiven problem and prove existence uniqueness results such a using Banach andKrasnoselskii xed point theorems. Further, by applying generalized Gronwall inequality, Ulam-Hyersstability are discussed. To show ee...

The paper deals with the analysis of pair di usion models in semiconductor technology. The underlying model contains reaction-drift-di usion equations for the mobile point defects and dopant-defect pairs as well as reaction equations for immobile dopants which are coupled with a nonlinear Poisson equation for the chemical potential of the electrons. For homogeneous structures we present an exis...

photo paper on fi bre base support. Characteristics • ADOX MCC is an all-purpose B/W enlarging paper, whose contrast can be varied with colour fi lters. • If the standard contrast control fi lters are used, it is possible to vary the contrast simply, without the trouble of converting the exposure times. • The contrast range is similar to that of conventional fi xed-contrast papers. ADOX MCC can...