{"title":"霍夫算法上保持正确性的变换","authors":"J.G. Samsom, L. Claesen, H. de Man","doi":"10.1109/CMPEUR.1992.218494","DOIUrl":null,"url":null,"abstract":"A formal method for the optimization of a specification in a guaranteed correct way is presented. As an example, the transformation from a behavioral specification of the Hough transform in an image space, towards an optimized specification, is presented. The transformations are meant to be used in an interactive environment. The main result presented is that, by using a limited set of transformations, an optimized description in terms of a silicon compiler can be derived in a guaranteed correct way.<<ETX>>","PeriodicalId":390273,"journal":{"name":"CompEuro 1992 Proceedings Computer Systems and Software Engineering","volume":"3 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1992-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"Correctness preserving transformations on the Hough algorithm\",\"authors\":\"J.G. Samsom, L. Claesen, H. de Man\",\"doi\":\"10.1109/CMPEUR.1992.218494\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A formal method for the optimization of a specification in a guaranteed correct way is presented. As an example, the transformation from a behavioral specification of the Hough transform in an image space, towards an optimized specification, is presented. The transformations are meant to be used in an interactive environment. The main result presented is that, by using a limited set of transformations, an optimized description in terms of a silicon compiler can be derived in a guaranteed correct way.<<ETX>>\",\"PeriodicalId\":390273,\"journal\":{\"name\":\"CompEuro 1992 Proceedings Computer Systems and Software Engineering\",\"volume\":\"3 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1992-05-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"CompEuro 1992 Proceedings Computer Systems and Software Engineering\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CMPEUR.1992.218494\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"CompEuro 1992 Proceedings Computer Systems and Software Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CMPEUR.1992.218494","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Correctness preserving transformations on the Hough algorithm
A formal method for the optimization of a specification in a guaranteed correct way is presented. As an example, the transformation from a behavioral specification of the Hough transform in an image space, towards an optimized specification, is presented. The transformations are meant to be used in an interactive environment. The main result presented is that, by using a limited set of transformations, an optimized description in terms of a silicon compiler can be derived in a guaranteed correct way.<>
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
