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 paper investigates spatial panel data models with spatially and serially correlated disturbances. We …rst discuss the short panels and consider their estimation by both …xed e¤ects and random e¤ects speci…cations. With a between equation properly de…ned, the di¤erence of the random vs. …xed e¤ects models can be highlighted. We show that the random e¤ects estimate is a pooling of the within...

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

We investigate a random network design problem speci…ed by a complete graph with n nodes whose edges have associated …xed costs that are independent random variables, and variable costs associated that are also independent random variables. The objective is to …nd a spanning tree whose total …xed cost plus total variable cost is minimum, where the total variable cost is the sum of variable cost...

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

Subsampling the output of a Gibbs sampler in a non-systematic fashion can improve the e ciency of marginal estimators if the subsampling strategy is tied to the actual updates made. We illustrate this point by example, approximation, and asymptotics. The results hold both for random scan and xed scan Gibbs samplers.

It is often required in many elliptic curve cryptosystems to compute kG for a xed point G and a random integer k. In this paper we present improved algorithms for such elliptic scalar multiplication. Implementation results on Pentium II and Alpha 21164 microprocessors are also provided to demonstrate the presented improvements in actual implementations.

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