Geodesic
Optimization of the Raster-Scan Circle-Drawing Algorithm Based on Predicate Transformers
Yugoslav journal of operations research, Tome 10 (2000) no. 2, p. 217 .

Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

An approach to the optimization of raster-scan circle-drawing algorithms is presented. The approach is based on the program transformation theory, which is a subset of Dijkstra's weakest precondition calculus. In this way, care of the correctness of the algorithm is incorporated in the optimization process. The authors propose that a designer and an implementor define the problem together, translating quality requirements and technology constraints into algorithm requirements. Then the standard solution should be explained and optimized in terms of weakest precondition. Thanks to the approach with an invariant and a bound function, it is possible to separate aspects concerning optimization and correctness. The method is illustrated by the optimization of an integer case circle algorithm.
Keywords: Algorithms, raster graphics, circle drawing. 
@article{YJOR_2000_10_2_a3,
     author = {Nedeljko Ostoji\'c and Du\v{s}an Star\v{c}evi\'c},
     title = {Optimization of the {Raster-Scan} {Circle-Drawing} {Algorithm} {Based} on {Predicate} {Transformers}},
     journal = {Yugoslav journal of operations research},
     pages = {217 },
     publisher = {mathdoc},
     volume = {10},
     number = {2},
     year = {2000},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/YJOR_2000_10_2_a3/}
}
TY  - JOUR
AU  - Nedeljko Ostojić
AU  - Dušan Starčević
TI  - Optimization of the Raster-Scan Circle-Drawing Algorithm Based on Predicate Transformers
JO  - Yugoslav journal of operations research
PY  - 2000
SP  - 217 
VL  - 10
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/YJOR_2000_10_2_a3/
LA  - en
ID  - YJOR_2000_10_2_a3
ER  - 
%0 Journal Article
%A Nedeljko Ostojić
%A Dušan Starčević
%T Optimization of the Raster-Scan Circle-Drawing Algorithm Based on Predicate Transformers
%J Yugoslav journal of operations research
%D 2000
%P 217 
%V 10
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/YJOR_2000_10_2_a3/
%G en
%F YJOR_2000_10_2_a3
Nedeljko Ostojić; Dušan Starčević. Optimization of the Raster-Scan Circle-Drawing Algorithm Based on Predicate Transformers. Yugoslav journal of operations research, Tome 10 (2000) no. 2, p. 217 . http://geodesic.mathdoc.fr/item/YJOR_2000_10_2_a3/