{"title":"保持语义的同步程序微即时实现","authors":"Vinod Kumar, Kanchan Bokil, Ashwin Nivangune, Peeyush Jain","doi":"10.1109/ICIT.2008.61","DOIUrl":null,"url":null,"abstract":"Implementations of synchronous programs on distributed hardware modules are infeasible if the totality of hardware is viewed as a single monster circuit. The zero execution time semantics that govern the interaction between the system and the environment has to be adapted to the inter module interaction. This interaction is at micro-instants and the signals exchanged are tentative at the start and firm up to final values micro-instant by micro-instant. This micro-instant protocol is derived from Maliks iterative algorithm used to analyze cyclic digital circuits for being combinational.","PeriodicalId":184201,"journal":{"name":"2008 International Conference on Information Technology","volume":"84 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2008-12-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Semantics Preserving Micro-Instant Implementation of Synchronous Programs\",\"authors\":\"Vinod Kumar, Kanchan Bokil, Ashwin Nivangune, Peeyush Jain\",\"doi\":\"10.1109/ICIT.2008.61\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Implementations of synchronous programs on distributed hardware modules are infeasible if the totality of hardware is viewed as a single monster circuit. The zero execution time semantics that govern the interaction between the system and the environment has to be adapted to the inter module interaction. This interaction is at micro-instants and the signals exchanged are tentative at the start and firm up to final values micro-instant by micro-instant. This micro-instant protocol is derived from Maliks iterative algorithm used to analyze cyclic digital circuits for being combinational.\",\"PeriodicalId\":184201,\"journal\":{\"name\":\"2008 International Conference on Information Technology\",\"volume\":\"84 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2008-12-17\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2008 International Conference on Information Technology\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICIT.2008.61\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2008 International Conference on Information Technology","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICIT.2008.61","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Semantics Preserving Micro-Instant Implementation of Synchronous Programs
Implementations of synchronous programs on distributed hardware modules are infeasible if the totality of hardware is viewed as a single monster circuit. The zero execution time semantics that govern the interaction between the system and the environment has to be adapted to the inter module interaction. This interaction is at micro-instants and the signals exchanged are tentative at the start and firm up to final values micro-instant by micro-instant. This micro-instant protocol is derived from Maliks iterative algorithm used to analyze cyclic digital circuits for being combinational.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
