We present techniques that allow strength reduction to be performed concurrently with partial redundancy elimination in the SSAPRE framework. By sharing the characteristics inherent to SSAPRE, the resulting strength reduction algorithm exhibits many interesting attributes. We compare various aspects of the new strength reduction algorithm with previous strength reduction algorithms. We also out...

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

For the design of steel and concrete structures, most modern international design codes allow the use of plastic stressstrain-diagrams for the analysis of the bending resistance of the cross-section in the ultimate limit state. Curiously, in Europe and most other parts of the world, timber structures are still designed for the ultimate limit state with the old, conservative concept of full elas...

We propose an overall measure of significance for a set of hypothesis tests. The tail strength is a simple function of the p-values computed for each of the tests. This measure is useful, for example, in assessing the overall univariate strength of a large set of features in microarray and other genomic and biomedical studies. It also has a simple relationship to the false discovery rate of the...

In this study, age hardenable material Aluminum alloy Al-7075-T6 (aged) was investigated for weldability. Al-7075-T6 plates were subjected to Al-7075-0 heat treatment and were joined with different welding parameters by means of friction stir welding method. After Joining, the parts which were subjected to tensile and bending tests were examined. As a result of the studies, it was observed that...

Decision-making in crisis management can benefit from routine monitoring of the (social) media to discover the mass opinion on highly sensitive crisis events. We present an experiment that analyzes Chinese microblog data (extracted from Weibo.cn) to measure sentiment strength and its change in relation to the recent PM 2.5 air pollution events. The data were analyzed using SentiStrength algorit...

An irregular assignment is a k -labeling of the edges : {1, 2, , } f E k → ... such that the vertex weights (label sums of edges incident with the vertex) are different for all vertices of G . The smallest k for which there is an irregular assignment is the irregularity strength. The notion of irregularity strength was introduced by Chartrand et al. [8] and studied by numerous authors, see [6,1...

b = a length L c = the cohesion intercept M L T Ip = the plasticity index P = a force M L T u = the pore fluid pressure ML T θ = an angle Angle μ1 = shear strength reduction factor related to time effects μ2 = shear strength reduction factor related to fissuring σ = the normal stress on a plane M L T τ = the shearing stress on a plane M L T φ = the angle of internal friction Angle ψ = an angle ...