首页 > 最新文献

Parallel Processing Letters最新文献

英文 中文
The systolic reconfigurable mesh 收缩可重构网格
IF 0.4 Q4 COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS Pub Date : 2004-09-01 DOI: 10.1142/S0129626404001921
M. Eshaghian-Wilner, Russ Miller
In this paper, we introduce the Systolic Reconfigurable Mesh (SRM), which combines aspects of the reconfigurable mesh with that of systolic arrays. Every processor controls a local switch that can be reconfigured during every clock cycle in order to control the physical connections between its four bi-directional bus lines. Data is input on one side of the systolic reconfigurable mesh and output from another side, one row/column per unit time. Efficient algorithms are presented for intermediate-level vision tasks, including histograming, connectivity, convexity, and proximity.
在本文中,我们介绍了收缩可重构网格(SRM),它结合了收缩阵列的可重构网格的各个方面。每个处理器控制一个本地开关,该开关可以在每个时钟周期内重新配置,以控制其四条双向总线之间的物理连接。数据在收缩可重构网格的一侧输入,从另一侧输出,每单位时间一行/列。提出了用于中级视觉任务的高效算法,包括直方图、连通性、凸性和接近性。
{"title":"The systolic reconfigurable mesh","authors":"M. Eshaghian-Wilner, Russ Miller","doi":"10.1142/S0129626404001921","DOIUrl":"https://doi.org/10.1142/S0129626404001921","url":null,"abstract":"In this paper, we introduce the Systolic Reconfigurable Mesh (SRM), which combines aspects of the reconfigurable mesh with that of systolic arrays. Every processor controls a local switch that can be reconfigured during every clock cycle in order to control the physical connections between its four bi-directional bus lines. Data is input on one side of the systolic reconfigurable mesh and output from another side, one row/column per unit time. Efficient algorithms are presented for intermediate-level vision tasks, including histograming, connectivity, convexity, and proximity.","PeriodicalId":44742,"journal":{"name":"Parallel Processing Letters","volume":"33 1","pages":"146-150"},"PeriodicalIF":0.4,"publicationDate":"2004-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87501301","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}
引用次数: 11
Hierarchical Peer-To-Peer Systems 分层点对点系统
IF 0.4 Q4 COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS Pub Date : 2003-08-26 DOI: 10.1142/S0129626403001574
L. Garcés-Erice, E. Biersack, K. Ross, P. Felber, G. Urvoy-Keller
Structured peer-to-peer (P2P) lookup services organize peers into a flat overlay network and offer distributed hash table (DHT) functionality. Data is associated with keys and each peer is responsible for a subset of the keys. In hierarchical DHTs, peers are organized into groups, and each group has its autonomous intra-group overlay network and lookup service. Groups are organized in a top-level overlay network. To find a peer that is responsible for a key, the top-level overlay first determines the group responsible for the key; the responsible group then uses its intra-group overlay to determine the specific peer that is responsible for the key. We provide a general framework for hierarchical DHTs with scalable overlay management. We specifically study a two-tier hierarchy that uses Chord for the top level. Our analysis shows that by using the most reliable peers in the top level, the hierarchical design significantly reduces the expected number of hops. We also present a method to construct hierarchical DHTs that map well to the Internet topology and achieve short intra-group communication delay. The results demonstrate the feasibility of locality-based peer groups, which allow P2P systems to take full advantage of the hierarchical design.
结构化点对点(P2P)查找服务将对等点组织到一个平面覆盖网络中,并提供分布式哈希表(DHT)功能。数据与密钥相关联,每个对等体负责密钥的一个子集。在分层dht中,对等体被组织成组,每个组都有其自治的组内覆盖网络和查找服务。组在顶层覆盖网络中组织。为了找到负责密钥的对等体,顶层覆盖层首先确定负责密钥的组;负责的组然后使用其组内覆盖来确定负责密钥的特定对等体。我们提供了一个具有可扩展覆盖管理的分层dht的通用框架。我们专门研究了使用Chord作为顶层的两层层次结构。我们的分析表明,通过在顶层使用最可靠的对等体,分层设计显着减少了期望的跳数。我们还提出了一种构造分层dht的方法,该方法可以很好地映射到互联网拓扑结构并实现短的组内通信延迟。结果证明了基于位置的对等组的可行性,使P2P系统能够充分利用分层设计的优势。
{"title":"Hierarchical Peer-To-Peer Systems","authors":"L. Garcés-Erice, E. Biersack, K. Ross, P. Felber, G. Urvoy-Keller","doi":"10.1142/S0129626403001574","DOIUrl":"https://doi.org/10.1142/S0129626403001574","url":null,"abstract":"Structured peer-to-peer (P2P) lookup services organize peers into a flat overlay network and offer distributed hash table (DHT) functionality. Data is associated with keys and each peer is responsible for a subset of the keys. In hierarchical DHTs, peers are organized into groups, and each group has its autonomous intra-group overlay network and lookup service. Groups are organized in a top-level overlay network. To find a peer that is responsible for a key, the top-level overlay first determines the group responsible for the key; the responsible group then uses its intra-group overlay to determine the specific peer that is responsible for the key. We provide a general framework for hierarchical DHTs with scalable overlay management. We specifically study a two-tier hierarchy that uses Chord for the top level. Our analysis shows that by using the most reliable peers in the top level, the hierarchical design significantly reduces the expected number of hops. We also present a method to construct hierarchical DHTs that map well to the Internet topology and achieve short intra-group communication delay. The results demonstrate the feasibility of locality-based peer groups, which allow P2P systems to take full advantage of the hierarchical design.","PeriodicalId":44742,"journal":{"name":"Parallel Processing Letters","volume":"11 1","pages":"1230-1239"},"PeriodicalIF":0.4,"publicationDate":"2003-08-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81311228","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}
引用次数: 282
Cost Optimality And Predictability Of Parallel Programming With Skeletons 框架并行编程的成本最优性和可预测性
IF 0.4 Q4 COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS Pub Date : 2003-08-26 DOI: 10.1142/S0129626403001525
H. Bischof, S. Gorlatch, E. Kitzelmann
Skeletons are reusable, parameterized components with well-defined semantics and pre-packaged efficient parallel implementation. This paper develops a new, provably cost-optimal implementation of the DS (double-scan) skeleton for the divide-and-conquer paradigm. Our implementation is based on a novel data structure called plist (pointed list); implementation’s performance is estimated using an analytical model. We demonstrate the use of the DS skeleton for parallelizing a tridiagonal system solver and report experimental results for its MPI implementation on a Cray T3E and a Linux cluster: they confirm the performance improvement achieved by the cost-optimal implementation and demonstrate its good predictability by our performance model.
骨架是可重用的、参数化的组件,具有良好定义的语义和预先打包的高效并行实现。本文开发了一种新的、可证明成本最优的DS(双重扫描)框架实现,用于分治范例。我们的实现基于一种名为plist(点列表)的新颖数据结构;使用分析模型估计实现的性能。我们演示了DS框架用于并行化三对角线系统求解器的使用,并报告了其在Cray T3E和Linux集群上的MPI实现的实验结果:它们证实了成本最优实现所实现的性能改进,并通过我们的性能模型证明了其良好的可预测性。
{"title":"Cost Optimality And Predictability Of Parallel Programming With Skeletons","authors":"H. Bischof, S. Gorlatch, E. Kitzelmann","doi":"10.1142/S0129626403001525","DOIUrl":"https://doi.org/10.1142/S0129626403001525","url":null,"abstract":"Skeletons are reusable, parameterized components with well-defined semantics and pre-packaged efficient parallel implementation. This paper develops a new, provably cost-optimal implementation of the DS (double-scan) skeleton for the divide-and-conquer paradigm. Our implementation is based on a novel data structure called plist (pointed list); implementation’s performance is estimated using an analytical model. We demonstrate the use of the DS skeleton for parallelizing a tridiagonal system solver and report experimental results for its MPI implementation on a Cray T3E and a Linux cluster: they confirm the performance improvement achieved by the cost-optimal implementation and demonstrate its good predictability by our performance model.","PeriodicalId":44742,"journal":{"name":"Parallel Processing Letters","volume":"93 1","pages":"682-693"},"PeriodicalIF":0.4,"publicationDate":"2003-08-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78598008","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
Almost work-optimal pram erew decoders of LZ compressed text 几乎工作优化程序新的解码器的LZ压缩文本
IF 0.4 Q4 COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS Pub Date : 2003-03-25 DOI: 10.1142/S0129626404001933
S. Agostino
We show nearly work-optimal parallel decoding algorithms which run on the PRAM EREW in O(log n) time with O(n/(log n)1/2) processors for text compressed with LZ1 and LZ2 methods, where n is the length of the output string. We also present pseudo work-optimal PRAM EREW decoders for finite window compression and LZ2 compression requiring logarithmic time with O(dn) work, where d is the window size and the alphabet size respectively. Finally, we observe that PRAM EREW decoders requiring O(log n) time and O(n/log n) processors are possible with the non-conservative assumption that the computer word length is O(log2 n) bits.
对于使用LZ1和LZ2方法压缩的文本,我们展示了近乎工作优化的并行解码算法,该算法使用O(n/(log n)1/2)处理器在0 (log n)时间内运行在PRAM EREW上,其中n是输出字符串的长度。我们还提出了用于有限窗口压缩和LZ2压缩的伪工作最优PRAM EREW解码器,需要O(dn)工作的对数时间,其中d分别是窗口大小和字母表大小。最后,我们观察到需要O(log n)时间和O(n/log n)处理器的PRAM EREW解码器在计算机字长为O(log2 n)位的非保守假设下是可能的。
{"title":"Almost work-optimal pram erew decoders of LZ compressed text","authors":"S. Agostino","doi":"10.1142/S0129626404001933","DOIUrl":"https://doi.org/10.1142/S0129626404001933","url":null,"abstract":"We show nearly work-optimal parallel decoding algorithms which run on the PRAM EREW in O(log n) time with O(n/(log n)1/2) processors for text compressed with LZ1 and LZ2 methods, where n is the length of the output string. We also present pseudo work-optimal PRAM EREW decoders for finite window compression and LZ2 compression requiring logarithmic time with O(dn) work, where d is the window size and the alphabet size respectively. Finally, we observe that PRAM EREW decoders requiring O(log n) time and O(n/log n) processors are possible with the non-conservative assumption that the computer word length is O(log2 n) bits.","PeriodicalId":44742,"journal":{"name":"Parallel Processing Letters","volume":"74 1","pages":"422"},"PeriodicalIF":0.4,"publicationDate":"2003-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85061595","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}
引用次数: 9
Nondeterminism Analysis on Supercomputers and Clusters 超级计算机和集群的不确定性分析
IF 0.4 Q4 COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS Pub Date : 2001-09-01 DOI: 10.1016/s0129-6264(01)00056-7
D. Kranzlmüller
{"title":"Nondeterminism Analysis on Supercomputers and Clusters","authors":"D. Kranzlmüller","doi":"10.1016/s0129-6264(01)00056-7","DOIUrl":"https://doi.org/10.1016/s0129-6264(01)00056-7","url":null,"abstract":"","PeriodicalId":44742,"journal":{"name":"Parallel Processing Letters","volume":"11 1","pages":"251-266"},"PeriodicalIF":0.4,"publicationDate":"2001-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"56429996","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
ON THE NECESSITY OF FORMAL MODELS FOR REAL-TIME PARALLEL COMPUTATIONS* 论实时并行计算形式化模型的必要性*
IF 0.4 Q4 COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS Pub Date : 2001-06-01 DOI: 10.1016/S0129-6264(01)00064-6
S. Bruda, S. Akl
{"title":"ON THE NECESSITY OF FORMAL MODELS FOR REAL-TIME PARALLEL COMPUTATIONS*","authors":"S. Bruda, S. Akl","doi":"10.1016/S0129-6264(01)00064-6","DOIUrl":"https://doi.org/10.1016/S0129-6264(01)00064-6","url":null,"abstract":"","PeriodicalId":44742,"journal":{"name":"Parallel Processing Letters","volume":"11 1","pages":"353-361"},"PeriodicalIF":0.4,"publicationDate":"2001-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"56429612","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
DENOTATIONAL SEMANTICS OF AN HPF-LIKE DATA-PARALLEL LANGUAGE MODEL 类hpf数据并行语言模型的指称语义
IF 0.4 Q4 COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS Pub Date : 2001-06-01 DOI: 10.1016/S0129-6264(01)00065-8
M. Guo
{"title":"DENOTATIONAL SEMANTICS OF AN HPF-LIKE DATA-PARALLEL LANGUAGE MODEL","authors":"M. Guo","doi":"10.1016/S0129-6264(01)00065-8","DOIUrl":"https://doi.org/10.1016/S0129-6264(01)00065-8","url":null,"abstract":"","PeriodicalId":44742,"journal":{"name":"Parallel Processing Letters","volume":"11 1","pages":"363-374"},"PeriodicalIF":0.4,"publicationDate":"2001-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"56429713","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
Editorial Note 编辑注意
IF 0.4 Q4 COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS Pub Date : 2001-01-01 DOI: 10.4202/app.2008.0214
Michel Cosnard, Ulrich Finger, Jean-Luc Gaudiot
Author’s name in Latin alphabet, using the author’s own transliteration, repeated in brackets in ISO 9:1995 translitera− tion, date, title of the paper translated into English, followed by: [in Russian], title of the journal in ISO 9:1995 transliteration. The International Standard ISO 9:1995, a univocal system of one character for one character equivalents for Cyrillic and Latin alphabets does not require any knowledge of Russian language.
作者的拉丁字母姓名,使用作者自己的音译,在括号中重复ISO 9:95音译,日期,论文的标题翻译成英文,后面是:[俄语],期刊的名称在ISO 9:95音译。国际标准ISO 9:1995,一个字符对应一个字符的西里尔字母和拉丁字母的单一系统,不需要任何俄语知识。
{"title":"Editorial Note","authors":"Michel Cosnard, Ulrich Finger, Jean-Luc Gaudiot","doi":"10.4202/app.2008.0214","DOIUrl":"https://doi.org/10.4202/app.2008.0214","url":null,"abstract":"Author’s name in Latin alphabet, using the author’s own transliteration, repeated in brackets in ISO 9:1995 translitera− tion, date, title of the paper translated into English, followed by: [in Russian], title of the journal in ISO 9:1995 transliteration. The International Standard ISO 9:1995, a univocal system of one character for one character equivalents for Cyrillic and Latin alphabets does not require any knowledge of Russian language.","PeriodicalId":44742,"journal":{"name":"Parallel Processing Letters","volume":"36 1","pages":"356 - 356"},"PeriodicalIF":0.4,"publicationDate":"2001-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81536500","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}
引用次数: 1
Compiling Data-Parallel Programs to a Distributed Runtime Environment with Thread Isomigration 使用线程等迁移将数据并行程序编译到分布式运行时环境
IF 0.4 Q4 COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS Pub Date : 2000-06-01 DOI: 10.1142/S0129626400000202
Gabriel Antoniu, L. Bougé, R. Namyst, Christian Pérez
The compilation of data-parallel languages is traditionally targeted to low-level runtime environments: abstract processors are mapped onto static system processes, which directly address the low-level communication library. Alternatively, we propose to map each HPF abstract processor onto a "lightweight process" (thread) which can be dynamically migrated between nodes together with the data it manages, under the supervision of some external scheduler. We discuss the pros and cons of such an approach and the facilities which must be provided by the multithreaded runtime. We describe a prototype HPF compiling system built along these lines, based on the Adaptor HPF compiler and using the PM2 multithreaded runtime environment.
数据并行语言的编译传统上是针对低级运行时环境的:抽象处理器被映射到静态系统进程,后者直接处理低级通信库。或者,我们建议将每个HPF抽象处理器映射到一个“轻量级进程”(线程)上,该进程可以在一些外部调度器的监督下,与其管理的数据一起在节点之间动态迁移。我们讨论了这种方法的优点和缺点,以及多线程运行时必须提供的功能。我们描述了一个基于Adaptor HPF编译器并使用PM2多线程运行时环境的原型HPF编译系统。
{"title":"Compiling Data-Parallel Programs to a Distributed Runtime Environment with Thread Isomigration","authors":"Gabriel Antoniu, L. Bougé, R. Namyst, Christian Pérez","doi":"10.1142/S0129626400000202","DOIUrl":"https://doi.org/10.1142/S0129626400000202","url":null,"abstract":"The compilation of data-parallel languages is traditionally targeted to low-level runtime environments: abstract processors are mapped onto static system processes, which directly address the low-level communication library. Alternatively, we propose to map each HPF abstract processor onto a \"lightweight process\" (thread) which can be dynamically migrated between nodes together with the data it manages, under the supervision of some external scheduler. We discuss the pros and cons of such an approach and the facilities which must be provided by the multithreaded runtime. We describe a prototype HPF compiling system built along these lines, based on the Adaptor HPF compiler and using the PM2 multithreaded runtime environment.","PeriodicalId":44742,"journal":{"name":"Parallel Processing Letters","volume":"56 1","pages":"1756-1762"},"PeriodicalIF":0.4,"publicationDate":"2000-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80423172","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
Experiments with Program Parallelization Using Archetypes and Stepwise Refinement 基于原型和逐步细化的程序并行化实验
IF 0.4 Q4 COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS Pub Date : 1999-12-01 DOI: 10.1142/S0129626499000451
Berna L. Massingill
Parallel programming continues to be difficult and errorprone, whether starting from specifications or from an existing sequential program. This paper presents (1) a methodology for parallelizing sequential applications and (2) experiments in applying the methodology. The methodology is based on the use of stepwise refinement together with what we call parallel programming archetypes (briefly, abstractions that capture common features of classes of programs), in which most of the work of parallelization is done using familiar sequential tools and techniques, and those parts of the process that cannot be addressed with sequential tools and techniques are addressed with formally-justified transformations. The experiments consist of applying the methodology to sequential application programs, and they provide evidence that the methodology produces correct and reasonably efficient programs at reasonable human-effort cost. Of particular interest is the fact that the aspect of the methodology that is most completely formally justified is the aspect that in practice was the most trouble-free.
无论是从规范还是从现有的顺序程序开始,并行编程仍然是困难和容易出错的。本文提出了(1)并行化顺序应用程序的方法和(2)应用该方法的实验。该方法基于逐步细化的使用以及我们称之为并行编程原型(简单地说,捕获程序类的共同特征的抽象),其中并行化的大部分工作是使用熟悉的顺序工具和技术完成的,而那些不能用顺序工具和技术处理的过程部分是用正式证明的转换处理的。实验结果表明,该方法能以合理的人力成本生成正确、合理、高效的程序。特别令人感兴趣的事实是,方法论中最完全得到正式证明的方面是实践中最没有问题的方面。
{"title":"Experiments with Program Parallelization Using Archetypes and Stepwise Refinement","authors":"Berna L. Massingill","doi":"10.1142/S0129626499000451","DOIUrl":"https://doi.org/10.1142/S0129626499000451","url":null,"abstract":"Parallel programming continues to be difficult and errorprone, whether starting from specifications or from an existing sequential program. This paper presents (1) a methodology for parallelizing sequential applications and (2) experiments in applying the methodology. The methodology is based on the use of stepwise refinement together with what we call parallel programming archetypes (briefly, abstractions that capture common features of classes of programs), in which most of the work of parallelization is done using familiar sequential tools and techniques, and those parts of the process that cannot be addressed with sequential tools and techniques are addressed with formally-justified transformations. The experiments consist of applying the methodology to sequential application programs, and they provide evidence that the methodology produces correct and reasonably efficient programs at reasonable human-effort cost. Of particular interest is the fact that the aspect of the methodology that is most completely formally justified is the aspect that in practice was the most trouble-free.","PeriodicalId":44742,"journal":{"name":"Parallel Processing Letters","volume":"1982 1","pages":"844-856"},"PeriodicalIF":0.4,"publicationDate":"1999-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82208338","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
期刊
Parallel Processing Letters
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1