Concepedia

C. Renvoise

CR

1

Publications

376

Citations

1

H-Index

1979

Active since

Affiliations

Honeywell (France)(Current)

C. Renvoise is an author at Honeywell (France) specializing in parallel computing, parallel programming, and formal verification.

Top concepts

EngineeringFormal MethodsComputer ScienceInverse ProblemsProgram AnalysisSoftware AnalysisParallel ComputingFormal VerificationOperations ResearchComputer Engineering

Publications per year

1979–1979

1

Publications

1

Global optimization by suppression of partial redundancies

E. H. Morel, C. Renvoise · Communications of the ACM · 1979 · 376 citations · Full text

Mathematical Programming, Large-scale Global Optimization, Engineering +22

Rows per page

1–1 of 1