Results 11 to 20 of about 165,452 (304)
On the Complexity of Constant Propagation [PDF]
, 2001 Constant propagation (CP) is one of the most widely used optimizations in practice (cf. [9]). Intuitively, it addresses the problem of statically detecting whether an expression always evaluates to a unique constant at run-time. Unfortunately, as proved by different authors [4, 16], CP is in general undecidable even if the interpretation of branches is
Markus Müller-Olm, Oliver Rüthing
openaire +2 more sources
Constant Propagation on Predicated Code
J. Univers. Comput. Sci., 2003 JUCS - Journal of Universal Computer Science Volume Nr.
Knoop,Jens, Rüthing,Oliver
openaire +4 more sources
Strategies for Source-to-Source Constant Propagation
Electronic Notes in Theoretical Computer Science, 2002 AbstractData-flow optimizations are usually implemented on low-level intermediate representations. This is not appropriate for source-to-source optimizations, which reconstruct a source level program after transformation. In this paper we show how constant propagation, a well known data-flow optimization problem, can be implemented on abstract syntax ...
Karina Olmos, Eelco Visser
openaire +4 more sources
Buoyancy-driven crack propagation: the limit of large fracture toughness [PDF]
, 2007 We study steady vertical propagation of a crack filled with buoyant viscous fluid through an elastic solid with large effective fracture toughness. For a crack fed by a constant flux Q, a non-dimensional fracture toughness K=Kc/(3μQm3/2)1/4 describes the
Roper, S.M. +3 more
core +1 more source
Lifetime evaluation of concrete structures under sustained post-peak loading [PDF]
, 2005 Experimental tests on crack propagation in concrete under constant post-peak loading are simulated using the finite element method and the cohesive crack model, in both Mode I and Mixed-mode conditions.
Silvio Valente +3 more
core +1 more source
The effect of the gravitational constant variation on the propagation of gravitational waves
Physics Letters B, 2023 Since the first detection of gravitational waves, they have been used to investigate various fundamental problems, including the variation of physical constants.
Jiachen An +4 more
doaj +1 more source
Transverse electric surface waves in ferrite medium surrounded by plasma layers
Journal of the European Optical Society-Rapid Publications, 2020 The theoretical analysis of transverse electric surface waves in ferrite medium surrounded by isotropic plasma layers is presented in this manuscript. Maxwell’s equations in differential form are used, and we impose the boundary conditions to acquire the
M. Umair +4 more
doaj +1 more source
Surface Wave Attenuation in Multilayer Structures With Lossy Media and Impedance Surfaces
IEEE Access, 2021 A methodology to analyze the attenuation constant of surface wave propagating in general multilayer structures is proposed. The multilayer structure may include any number of layers, that can be made up of lossy dielectric, magnetic-material, and ...
Varsha Mishra +2 more
doaj +1 more source
Buoyancy-driven crack propagation from an over-pressured source [PDF]
, 2005 The propagation of a liquid-filled crack from an over-pressured source into a semi-infinite uniform elastic solid is studied. The fluid is lighter than the solid and propagates due to its buoyancy and to the source over-pressure.
Roper, S.M. +3 more
core +1 more source
Seismic pulse propagation with constant Q and stable probability distributions
Annals of Geophysics, 1997 The one-dimensional propagation of seismic waves with constant Q is shown to be governed by an evolution equation of fractional order in time, which interpolates the heat equation and the wave equation.
M. Tomirotti, F. Mainardi
doaj +1 more source