发布求助
文献互助 智能选刊 最新文献

International ITG Workshop on Smart Antennas最新文献

筛选
英文 中文
Synthesis of Directionality Information for Functional Logic Programs 功能逻辑程序的方向性信息综合
International ITG Workshop on Smart Antennas Pub Date : 1993-09-22 DOI: 10.1007/3-540-57264-3_38
Johan Boye, J. Paakki, J. Maluszynski
{"title":"Synthesis of Directionality Information for Functional Logic Programs","authors":"Johan Boye, J. Paakki, J. Maluszynski","doi":"10.1007/3-540-57264-3_38","DOIUrl":"https://doi.org/10.1007/3-540-57264-3_38","url":null,"abstract":"","PeriodicalId":355511,"journal":{"name":"International ITG Workshop on Smart Antennas","volume":"264 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133466872","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 23
Demonstration: Static Analysis of AKL 演示:AKL的静态分析
International ITG Workshop on Smart Antennas Pub Date : 1993-09-22 DOI: 10.1007/3-540-57264-3_48
Dan Sahlin, Thomas Sjöland
{"title":"Demonstration: Static Analysis of AKL","authors":"Dan Sahlin, Thomas Sjöland","doi":"10.1007/3-540-57264-3_48","DOIUrl":"https://doi.org/10.1007/3-540-57264-3_48","url":null,"abstract":"","PeriodicalId":355511,"journal":{"name":"International ITG Workshop on Smart Antennas","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116862735","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Reflections on Program Optimization 关于程序优化的思考
International ITG Workshop on Smart Antennas Pub Date : 1993-09-22 DOI: 10.1007/3-540-57264-3_40
P. Hudak
{"title":"Reflections on Program Optimization","authors":"P. Hudak","doi":"10.1007/3-540-57264-3_40","DOIUrl":"https://doi.org/10.1007/3-540-57264-3_40","url":null,"abstract":"","PeriodicalId":355511,"journal":{"name":"International ITG Workshop on Smart Antennas","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125212274","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Fast Abstract Interpretation Using Sequential Algorithms 使用顺序算法的快速抽象解释
International ITG Workshop on Smart Antennas Pub Date : 1993-09-22 DOI: 10.1007/3-540-57264-3_28
Alex Ferguson, John Hughes
{"title":"Fast Abstract Interpretation Using Sequential Algorithms","authors":"Alex Ferguson, John Hughes","doi":"10.1007/3-540-57264-3_28","DOIUrl":"https://doi.org/10.1007/3-540-57264-3_28","url":null,"abstract":"","PeriodicalId":355511,"journal":{"name":"International ITG Workshop on Smart Antennas","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115826315","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 13
Combining Dependability with Architectural Adatability by Means of the SIGNAL Language 利用SIGNAL语言将可靠性与体系结构适应性相结合
International ITG Workshop on Smart Antennas Pub Date : 1993-09-22 DOI: 10.1007/3-540-57264-3_32
Olivier Maffeïs, P. Guernic
{"title":"Combining Dependability with Architectural Adatability by Means of the SIGNAL Language","authors":"Olivier Maffeïs, P. Guernic","doi":"10.1007/3-540-57264-3_32","DOIUrl":"https://doi.org/10.1007/3-540-57264-3_32","url":null,"abstract":"","PeriodicalId":355511,"journal":{"name":"International ITG Workshop on Smart Antennas","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122599039","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Semantics and Analysis of Linda-Based Languages 基于linda语言的语义与分析
International ITG Workshop on Smart Antennas Pub Date : 1993-09-22 DOI: 10.1007/3-540-57264-3_30
Régis Cridlig, É. Goubault
{"title":"Semantics and Analysis of Linda-Based Languages","authors":"Régis Cridlig, É. Goubault","doi":"10.1007/3-540-57264-3_30","DOIUrl":"https://doi.org/10.1007/3-540-57264-3_30","url":null,"abstract":"","PeriodicalId":355511,"journal":{"name":"International ITG Workshop on Smart Antennas","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114846835","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 34
Avoiding Repeated Tests in Pattern Matching 避免模式匹配中的重复测试
International ITG Workshop on Smart Antennas Pub Date : 1993-09-22 DOI: 10.1007/3-540-57264-3_36
Peter Thiemann
{"title":"Avoiding Repeated Tests in Pattern Matching","authors":"Peter Thiemann","doi":"10.1007/3-540-57264-3_36","DOIUrl":"https://doi.org/10.1007/3-540-57264-3_36","url":null,"abstract":"","PeriodicalId":355511,"journal":{"name":"International ITG Workshop on Smart Antennas","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121906693","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
Usage Analysis with Natural Reduction Types 自然还原类型的使用分析
International ITG Workshop on Smart Antennas Pub Date : 1993-09-22 DOI: 10.1007/3-540-57264-3_46
David A. Wright, C. Baker-Finch
{"title":"Usage Analysis with Natural Reduction Types","authors":"David A. Wright, C. Baker-Finch","doi":"10.1007/3-540-57264-3_46","DOIUrl":"https://doi.org/10.1007/3-540-57264-3_46","url":null,"abstract":"","PeriodicalId":355511,"journal":{"name":"International ITG Workshop on Smart Antennas","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131058650","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 23
Optimization Techniques for General Purpose Fixpoint Algorithms - Practical Efficiency for the Abstract Interpretation of Prolog 通用定点算法的优化技术。Prolog抽象解释的实际效率
International ITG Workshop on Smart Antennas Pub Date : 1993-09-22 DOI: 10.1007/3-540-57264-3_26
B. L. Charlier, Olivier Degimbe, L. Michel, Pascal Van Hentenryck
{"title":"Optimization Techniques for General Purpose Fixpoint Algorithms - Practical Efficiency for the Abstract Interpretation of Prolog","authors":"B. L. Charlier, Olivier Degimbe, L. Michel, Pascal Van Hentenryck","doi":"10.1007/3-540-57264-3_26","DOIUrl":"https://doi.org/10.1007/3-540-57264-3_26","url":null,"abstract":"","PeriodicalId":355511,"journal":{"name":"International ITG Workshop on Smart Antennas","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133975990","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 23
Compiling FX on the CM-2 在CM-2上编译FX
International ITG Workshop on Smart Antennas Pub Date : 1993-09-22 DOI: 10.1007/3-540-57264-3_31
J. Talpin, P. Jouvelot
{"title":"Compiling FX on the CM-2","authors":"J. Talpin, P. Jouvelot","doi":"10.1007/3-540-57264-3_31","DOIUrl":"https://doi.org/10.1007/3-540-57264-3_31","url":null,"abstract":"","PeriodicalId":355511,"journal":{"name":"International ITG Workshop on Smart Antennas","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114390903","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信