{"title":"自动生成并行算法","authors":"T. Beth","doi":"10.1109/PMMPC.1995.504349","DOIUrl":null,"url":null,"abstract":"In this talk we present the intrinsic connection between modelling the suitable data type by algebraic specification and the correct and efficient implementation of high-speed parallel algorithms in hardware or software. The design tool IDEAS developed at the author's institution representing the first such instrument for automatic parallel algorithm generation is described.","PeriodicalId":344246,"journal":{"name":"Programming Models for Massively Parallel Computers","volume":"87 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1995-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Automatic generation of parallel algorithms\",\"authors\":\"T. Beth\",\"doi\":\"10.1109/PMMPC.1995.504349\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this talk we present the intrinsic connection between modelling the suitable data type by algebraic specification and the correct and efficient implementation of high-speed parallel algorithms in hardware or software. The design tool IDEAS developed at the author's institution representing the first such instrument for automatic parallel algorithm generation is described.\",\"PeriodicalId\":344246,\"journal\":{\"name\":\"Programming Models for Massively Parallel Computers\",\"volume\":\"87 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1995-10-09\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Programming Models for Massively Parallel Computers\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/PMMPC.1995.504349\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Programming Models for Massively Parallel Computers","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/PMMPC.1995.504349","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
In this talk we present the intrinsic connection between modelling the suitable data type by algebraic specification and the correct and efficient implementation of high-speed parallel algorithms in hardware or software. The design tool IDEAS developed at the author's institution representing the first such instrument for automatic parallel algorithm generation is described.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
