Results 11 to 20 of about 4,199,573 (346)
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
, 2023 AbstractA quantum circuit is often executed on the initial state where each qubit is in the zero state. Therefore, we propose to perform a symbolic execution of the circuit. Our approach simulates groups of entangled qubits exactly up to a given complexity.
Yanbin Chen, Yannick Stade
openaire +1 more source
Constant propagation with conditional branches [PDF]
ACM Transactions on Programming Languages and Systems, 1985 Constant propagation is a well-known global flow analysis problem. The goal of constant propagation is to discover values that are constant on all possible executions of a program and to propagate these constant values as far foward through the program as possible.
Mark N. Wegman, F. Kenneth Zadeck
openaire +1 more source
Search of mode wavelengths in planar waveguides by using Fourier transform of wave equation
Semiconductor Physics, Quantum Electronics & Optoelectronics, 2016 The article describes a numerical method based on Fourier transform for studying propagating optical waves in dielectric planar waveguides. The inverse problem to the known direct one in waveguide investigation is proposed, namely a search of light ...
V.M. Fitio
doaj +1 more source
Analysis of Sound Absorbing Properties of Activated Carbon Fiber Felts Based on Density Change
Nantong Daxue xuebao. Ziran kexue ban, 2021 In order to study the sound absorbing properties of activated carbon fiber felts, three kinds of activated carbon fiber felts with different densities were selected, and the double channel acoustic analyzer with impedance tube was used to test the ...
SHEN Yue, YAN Xuefeng, LIU Qixia
doaj +1 more source
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
St. Petersburg Polytechnical University Journal: Physics and Mathematics, 2021 The aim of the work is to study bent multimode fiber with parabolic refractive index profile. For that, second-order corrections to propagation constants of longitudinally perturbed arbitrary dielectric waveguide’s modes were found using perturbation ...
Markvart Aleksandr +2 more
doaj +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