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

Proceedings of Workshop on Programming Models for Massively Parallel Computers最新文献

筛选
英文 中文
A test bed for experimenting with visualization of parallel programs 一个用于并行程序可视化实验的试验台
Proceedings of Workshop on Programming Models for Massively Parallel Computers Pub Date : 1993-09-20 DOI: 10.1109/PMMP.1993.315561
F. Arefi, M. Evangelist, M. Milani
{"title":"A test bed for experimenting with visualization of parallel programs","authors":"F. Arefi, M. Evangelist, M. Milani","doi":"10.1109/PMMP.1993.315561","DOIUrl":"https://doi.org/10.1109/PMMP.1993.315561","url":null,"abstract":"Because of the lack of the software tools to assist with concurrent programming, programming for parallel computers has been a significant technical problem for a diverse range of users. We are concentrating on techniques that allow computing and non-computing experts to define what they need and then automatically generate the specified visual language. Consequently, our visual language research aims at the development of a test bed for conducting experiments in language design and speeding up the implementation process for tools to assist in parallel computing.<<ETX>>","PeriodicalId":220365,"journal":{"name":"Proceedings of Workshop on Programming Models for Massively Parallel Computers","volume":"28 1 Suppl 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116567924","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
Formal methods for concurrent systems design: a survey 并发系统设计的形式化方法:综述
Proceedings of Workshop on Programming Models for Massively Parallel Computers Pub Date : 1993-09-20 DOI: 10.1109/PMMP.1993.315559
W. Reisig
{"title":"Formal methods for concurrent systems design: a survey","authors":"W. Reisig","doi":"10.1109/PMMP.1993.315559","DOIUrl":"https://doi.org/10.1109/PMMP.1993.315559","url":null,"abstract":"Concurrency is frequently employed as a means to increase the performance of computing systems: a conventional sequential program is designed, to be parallelised later on. This contribution is intended to show that concurrent systems can also differ essentially from conventional, sequential systems, with respect to the kind of problems to be solved, and even to the principal limits of capability and performance. This paper surveys particular concepts and properties of concurrent systems, followed by a choice of models that more or less reflect those properties. Finally, the author discusses a typical example of an algorithm for concurrent systems.<<ETX>>","PeriodicalId":220365,"journal":{"name":"Proceedings of Workshop on Programming Models for Massively Parallel Computers","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125760478","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}
引用次数: 2
An evaluation of coarse grain dataflow code generation strategies 粗粒度数据流代码生成策略的评价
Proceedings of Workshop on Programming Models for Massively Parallel Computers Pub Date : 1900-01-01 DOI: 10.1109/PMMP.1993.315554
Wim Böhm, W. Najjar, Bhanu Shankar, L. Roh
{"title":"An evaluation of coarse grain dataflow code generation strategies","authors":"Wim Böhm, W. Najjar, Bhanu Shankar, L. Roh","doi":"10.1109/PMMP.1993.315554","DOIUrl":"https://doi.org/10.1109/PMMP.1993.315554","url":null,"abstract":"Presents top-down and bottom-up methods for generating coarse grain dataflow or multithreaded code, and evaluates their effectiveness. The top-down technique generates clusters directly from the intermediate data dependence graph used for compiler optimizations. Bottom-up techniques coalesce fine-grain dataflow code into clusters. We measure the resulting number of clusters executed, cluster size, and number of inputs per cluster, for Livermore and Purdue benchmarks. The top-down method executes less clusters and instructions, but incurs a higher number of matches per cluster, which exemplifies the need for efficient matching of more than two inputs per cluster.","PeriodicalId":220365,"journal":{"name":"Proceedings of Workshop on Programming Models for Massively Parallel Computers","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132713785","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}
引用次数: 14
首页 上一页
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学术文献互助群
群 号：604180095
Book学术官方微信