Continuing recent architectural trends that rely on branch predictions, value predictions, speculative execution, and reuse of results from instruction execution, we investigate the reuse of results from previous function invocations. In this paper we show that for integer benchmarks, it is possible to eliminate some function invocations since the same function is executed repeatedly with the s...

Background: Previous preclinical findings reported that Strontium ranelate increases the secretion of osteoprotegerin (OPG) protein as well as mRNA levels and down-regulates both RANKL protein and mRNA expression in primary human osteoblasts; this increase in the OPG/RANKL ratio is known to negatively affect osteoclastogenesis. Objectives: The objective of the present study is to assess the eff...

Let (M, L) be a polarized manifold. The aim of this paper is to establish a connection between the generators of the graded algebra ⊕ i≥1 H (M, iL) and the very ampleness of the line bundle rL. Some applications are given.

This article presents a technique for proving problems hard for classes of the polynomial hierarchy or for PSPACE. The rationale of this technique is that some problem restrictions are able to simulate existential or universal quantifiers. If this is the case, reductions from Quantified Boolean Formulae (QBF) to these restrictions can be transformed into reductions from QBFs having one more qua...

where the coecients a; b; c; m are random and satisfy some conditions to be speci®ed later, the function u ˆ u…x; t; x† is supposed to be nonnegative, u; u are the ®rst and second derivatives of u with respect to x 2 R, and du is Itoà 's stochastic di€erential of u with respect to t. Actually, equation (0.1) has to be understood in a certain generalized sense since, for instance, the series Pr...

C. Arpesella, H. O. Back, M. Balata, G. Bellini, J. Benziger, S. Bonetti, A. Brigatti, B. Caccianiga, L. Cadonati, F. Calaprice, C. Carraro, G. Cecchet, A. Chavarria, M. Chen, F. Dalnoki-Veress, D. DÁngelo, A. de Bari, A. de Bellefon, H. de Kerret, A. Derbin, M. Deutsch, A. di Credico, G. di Pietro, R. Eisenstein, F. Elisei, A. Etenko, R. Fernholz, K. Fomenko, R. Ford, D. Franco, B. Freudiger, ...

The goal of this work is to develop a general framework for transparently managing the interactions and dependencies among input files, development tools, and output files. By unobtrusively monitoring the execution of unmodified programs, we are able to track process lineage—each process's parent, children, input files, and output files, and file dependency—for each file, the sequence of operat...