Publication | Closed Access
Optimization of range checking
72
Citations
8
References
1982
Year
Unknown Venue
Mathematical ProgrammingProgram CheckingEngineeringVerificationComputer ArchitectureRange SearchingSoftware AnalysisLocalizationFormal VerificationHardware SecurityUncertainty QuantificationInterval AnalysisRange CheckingStatic CheckingCombinatorial OptimizationComputational GeometryRuntime VerificationComputer EngineeringComputer ScienceStrength ReductionCode MotionRange ImagingRun-time Range ChecksSignal ProcessingRuntime SystemStatic Program AnalysisProgram AnalysisSoftware TestingFormal Methods
An analysis is given for optimizing run-time range checks in regions of high execution frequency. These optimizations are accomplished using strength reduction, code motion and common subexpression elimination. Test programs, using the above optimizations, are used to illustrate run-time improvements.
| Year | Citations | |
|---|---|---|
Page 1
Page 1