This paper describes a framework for modeling program behavior and applies it to optimizing prescient instruction prefetch–a novel technique that uses helper threads to improve singlethreaded application performance. Spawn-target pair selection is optimized by modeling program behavior with Markov chains and analyzing them with path expression mappings. Mappings for reaching, and posteriori pro...

Both children and adults are able to extract several intended word-referent mappings from a series of scenes containing multiple words and objects. Known as cross-situational learning, this ability is thought to be an important means of acquiring language. Proposed models of this ability range from hypothesis-testing accounts to associative accounts, but most formal models assume learners store...

Banach contraction principle is a fundamental result in fixed point theory and has been applied and extended in many different directions. In 2002, Branciari [3] obtained a fixed point theorem for a single mapping satisfying an analogue of Banach’s contraction principle for an integral type inequality. Aliouche [2] established a common fixed point theorem for weakly compatible mappings in symme...

We show that for a given C*-algebra A and for any pair of Hilbert A-modules {{M, 〈., .〉},N ⊆ M} every bounded A-linear mapping r : N → A can be continued to a bounded A-linear mapping r : M → A so that (i) ‖r‖ = ‖r‖, (ii) r restricted to N equals r and (iii) the extended mappings of N ′ form a Banach A-submodule of M wherein the extensions {r n : n ∈ N} of the standardly embedded mappings {rn =...

Azam et al. [1] introduced the concept of complex-valued metric spaces and obtained sufficient conditions for the existence of common fixed points of a pair of contractive type mappings involving rational expressions. Subsequently, several authors have studied the existence and uniqueness of the fixed points and common fixed points of self-mappings in view of contrasting contractive conditions....

*Correspondence: [email protected] 1Department of Mathematics, National University of Computer and Emerging Sciences, Lahore, Pakistan Full list of author information is available at the end of the article Abstract The aim of this paper is to introduce a class of multivalued mappings satisfying a Suzuki type generalized contractive condition in the framework of fuzzy metric spaces and to ...