34 resultados para Program Refinement


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Knowledge Systems Institute Graduate School

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Association for Computing Machinery, ACM; IEEE; IEEE Computer Society; SIGSOFT

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A refined version of the edge-to-edge matching model is described here. In the original model, the matching directions were obtained from the planes with all the atomic centers that were exactly in the plane, or the distance from the atomic center to the plane which was less than the atomic radius. The direction-matching pairs were the match of straight rows-straight rows and zigzag rows-zigzag rows. In the refined model, the matching directions were obtained from the planes with all the atomic centers that were exactly in the plane.

Relevância:

20.00% 20.00%

Publicador: