支持正确性证明的FFP函数计算单元

MICRO 22 Pub Date : 1989-08-01 DOI:10.1145/75362.75426

M. Alderighi, G. Sechi, R. Vaccaro, L. Verdoscia

{"title":"支持正确性证明的FFP函数计算单元","authors":"M. Alderighi, G. Sechi, R. Vaccaro, L. Verdoscia","doi":"10.1145/75362.75426","DOIUrl":null,"url":null,"abstract":"Constructing such systerns calls for powerful theoretical apparatus and technological tools to specify and implement all their different and numerous functions. Moreover, effective design methods are needed to ensure the strength of the final systems. Finally dedicated programming languages are required for the formal specification of complex operations, such as programs. Unfortunately operating complexity impairs:","PeriodicalId":365456,"journal":{"name":"MICRO 22","volume":"49 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1989-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"A computing unit for FFP function evaluation in support of correctness proofs\",\"authors\":\"M. Alderighi, G. Sechi, R. Vaccaro, L. Verdoscia\",\"doi\":\"10.1145/75362.75426\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Constructing such systerns calls for powerful theoretical apparatus and technological tools to specify and implement all their different and numerous functions. Moreover, effective design methods are needed to ensure the strength of the final systems. Finally dedicated programming languages are required for the formal specification of complex operations, such as programs. Unfortunately operating complexity impairs:\",\"PeriodicalId\":365456,\"journal\":{\"name\":\"MICRO 22\",\"volume\":\"49 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1989-08-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"MICRO 22\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/75362.75426\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"MICRO 22","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/75362.75426","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

摘要

构建这样的系统需要强大的理论设备和技术工具来指定和实现其所有不同的和众多的功能。此外，还需要有效的设计方法来保证最终系统的强度。最后，需要专门的编程语言来正式规范复杂的操作，如程序。不幸的是，操作复杂性削弱了:

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

A computing unit for FFP function evaluation in support of correctness proofs

Constructing such systerns calls for powerful theoretical apparatus and technological tools to specify and implement all their different and numerous functions. Moreover, effective design methods are needed to ensure the strength of the final systems. Finally dedicated programming languages are required for the formal specification of complex operations, such as programs. Unfortunately operating complexity impairs:

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

MICRO 22

自引率

0.00%

发文量