This paper presents a principled approach for optimizing iterative (or recur-sive) programs. The approach formulates a loop body as a function f and a change operation , incrementalizes f with respect to , and adopts an incrementalized loop body to form a new loop that is more eecient. Three general optimizations are performed as part of the adoption; they systematically handle initializations,...

This paper concerns methods to check for atomic-set serializability violations in concurrent Java programs. The straightforward way to encode a reentrant lock is to model it with a context-free language to track the number of successive lock acquisitions. We present a construction that replaces the context-free language that describes a reentrant lock by a regular language that describes a non-...

We present a bit-vector algorithm that uniformly combines code motion and strength reduction, avoids superruous register pressure due to unnecessary code motion, and is as eecient as standard unidirectional analyses. The point of this algorithm is to combine the concept of lazy code motion of 1] with the concept of unifying code motion and strength reduction of 2, 3, 4]. This results in an algo...

in this work, the strength of cold roll bond of the commercially pure titanium (cp ti) sheet and the effect of tio2 nanoparticles on bond strength was investigated. through the accumulative roll bonding process, which is considered among the important severe plastic deformation processes, the creation of suitable bonds plays a significance role in the ultimate strength of the bond. thus, resear...

Even though there exist lots of documents on Finite Element Strength Reduction Method, cohesion and internal friction angle in these materials are reduced through the same reduction factor, which fails to reflect either of their safe reserving quality or the quality to precisely match slope failure process and mechanism. As is known, the exterior angle circumcircle yield criterion DP1 of the ge...

It is shown that an event sample from the Monte Carlo simulation of a random cascading α model with fixed dynamical fluctuation strength is intermittent but not chaotic, while the variance of dy-namical fluctuation strength in different events will result in both the intermittency and the chaoticity behavior. This shows that fractality and chaoticity are two connected but different features of ...

A light weight, simple design NMR apparatus consists of 24 identical magnets arranged inHalbach array was designed and built. The homogeneity of the magnetic field B0 can be improved bydividing a long magnets into several rings. The size of the useful volume depends on both the gapbetween each ring and some others shim magnets. Our aim is to enhance the sensitive volume and toma...

An assignment of positive integer weights to the edges of a simple graph G is called irregular if the weighted degrees of the vertices are all different. The irregularity strength, s(G), is the maximal edge weight, minimized over all irregular assignments, and is set to infinity if no such assignment is possible. In this paper, we determine the exact value s(T ) for trees T in which every two v...

We analyze the strength of ties through three different clustering algorithms applied to co-authorship social networks from three different research areas. This study reveals if tie strength metrics can be used to evaluate clusters quality. We obtain different results for each algorithm and observe that Markov cluster algorithm provides the best results for co-authorship social networks. Also, ...