Results 261 to 270 of about 165,452 (304)
Some of the next articles are maybe not open access.
LEC Vulnerability on Constant Propagation
2021 22nd International Symposium on Quality Electronic Design (ISQED), 2021LEC is the most widely used tool for formal equivalence verification and ECO generation, but there are gaps in modeling of constant in LEC which can lead to silicon bugs even though the verification has passed. This issue is observed in designs which have gone through ECO’s.
Sandeep Kumar Srivastav +3 more
openaire +1 more source
Interprocedural constant propagation
Proceedings of the 1986 SIGPLAN symposium on Compiler construction, 1986In a compiling system that attempts to improve code for a whole program by optimizing across procedures, the compiler can generate better code for a specific procedure if it knows which variables will have constant values, and what those values will be, when the procedure is invoked.
David Callahan +3 more
openaire +2 more sources
Propagation of Constants and Assertions
ACM SIGPLAN Notices, 1994Constant propagation is a well-known data flow analysis time calculations and deletion of unreachable code. In this paper, constant propagation is generalized to allow propagation of a wider class of assertions. Along this class includes controlling expressions of assignments.
openaire +1 more source
Propagation Errors in Elastic-Constant Inversion
Physica Status Solidi (a), 1981Physical-property tensors obtained through matrix inversion may inherit large errors, which may be asymmetric. Analysis of the cubic-symmetry elastic-constant case where stiffnesses (Cij's) are converted to compliances (Sij's), and vice versa, shows dramatic error-propagation, depending on the C12/C11 ratio. Tensoren physikalischer Eigenschaften,
H. M. Ledbetter +2 more
openaire +1 more source
Parameter Based Constant Propagation
2012JavaScript is nowadays the lingua franca of web browsers. This programming language is not only the main tool that developers have to implement the client side of web applications, but it is also the target of frameworks such as Google Web Toolkit. Given this importance, it is fundamental that JavaScript programs can be executed efficiently.
Péricles Rafael Oliveira Alves +3 more
openaire +1 more source
CONSTANT PROPAGATION IN A HIERARCHICAL INTERMEDIATE PROGRAM REPRESENTATION
International Journal of High Speed Computing, 1999A crucial problem in parallelizing compiler design is the choice of a suitable Intermediate Representation (IR) to make parallelism detection and extraction easy and possible. Dependence graphs have long been recognized as useful tools for this aim.
M Giordano +3 more
openaire +5 more sources
Calibration for time domain propagation constant measurements on power cables
IEEE Transactions on Instrumentation and Measurement, 2003 A method has been developed for characterizingthe wave propagation properties of medium voltage (MV) powercables. It delivers the complex propagation constant of lossy cabletransmission lines as a function of frequency.
R Eriksson
exaly +2 more sources
1998
Constant propagation (CP) is a powerful, practically relevant optimization of sequential programs. However, systematic adaptions to the parallel setting are still missing. In fact, because of the computational complexity paraphrased by the catch-phrase “state explosion problem”, the successful transfer of sequential techniques is currently restricted ...
openaire +1 more source
Constant propagation (CP) is a powerful, practically relevant optimization of sequential programs. However, systematic adaptions to the parallel setting are still missing. In fact, because of the computational complexity paraphrased by the catch-phrase “state explosion problem”, the successful transfer of sequential techniques is currently restricted ...
openaire +1 more source
Reduction of neural network circuits by constant and nearly constant signal propagation
Proceedings of the 32nd Symposium on Integrated Circuits and Systems Design, 2019This work focuses on optimizing circuits representing neural networks (NNs) in the form of and-inverter graphs (AIGs). The optimization is done by analyzing the training set of the neural network to find constant bit values at the primary inputs. The constant values are then propagated through the AIG, which results in removing unnecessary nodes ...
Augusto Andre Souza Berndt +3 more
openaire +1 more source
Beam propagation constants for a radial laser array
Applied Optics, 1998The beam quality of a radial laser array, quantified in terms of the M(2) propagation constant, is determined as a function of array element configuration. A lower bound on array M(2) is estimated for both phase-locked and nonphase-locked conditions.
J D, Strohschein +2 more
openaire +2 more sources