Communicating Process Architectures Conference最新文献_第3页

An Investigation into Distributed Channel Mobility Support for Communicating Process Architectures 面向通信进程体系结构的分布式通道移动支持研究

Communicating Process Architectures Conference Pub Date : 1900-01-01 DOI: 10.3233/978-1-60750-065-0-205

K. Chalmers, J. Kerridge

引用次数: 0

RRABP: Point-to-Point Communication over Unreliable Components RRABP:不可靠组件上的点对点通信

Communicating Process Architectures Conference Pub Date : 1900-01-01 DOI: 10.3233/978-1-58603-907-3-203

B. Sputh, O. Faust, A. Allen

引用次数: 1

CONPASU-tool: A Concurrent Process Analysis Support Tool based on Symbolic Computation CONPASU-tool:一个基于符号计算的并发进程分析支持工具

Communicating Process Architectures Conference Pub Date : 1900-01-01 DOI: 10.3233/978-1-60750-774-1-341

Yoshinao Isobe

引用次数: 0

Engineering Emergence: an occam-pi Adventure 工程涌现:奥坎-皮历险记

Communicating Process Architectures Conference Pub Date : 1900-01-01 DOI: 10.3233/978-1-60750-065-0-403

P. Welch, K. Wallnau, M. Klein

引用次数: 1

How to Soar with CSP 如何与CSP一起腾飞

Communicating Process Architectures Conference Pub Date : 1900-01-01 DOI: 10.3233/978-1-58603-907-3-15

C. O'Halloran

引用次数: 0

Shared-Clock Methodology for Time-Triggered Multi-Cores 时间触发多核的共享时钟方法

Communicating Process Architectures Conference Pub Date : 1900-01-01 DOI: 10.3233/978-1-58603-907-3-149

K. F. Athaide, M. Pont, Devaraj Ayavoo

{"title":"Shared-Clock Methodology for Time-Triggered Multi-Cores","authors":"K. F. Athaide, M. Pont, Devaraj Ayavoo","doi":"10.3233/978-1-58603-907-3-149","DOIUrl":"https://doi.org/10.3233/978-1-58603-907-3-149","url":null,"abstract":"The co-operative design methodology has significant advantages when used in safety-related systems. Coupled with the time-triggered architecture, the methodology can result in robust and predictable systems. Nevertheless, use of a cooperative design methodology may not always be appropriate especially when the system possesses tight resource and cost constraints. Under relaxed constraints, it might be possible to maintain a co-operative design by introducing additional software processing cores to the same chip. The resultant multi-core microcontroller then requires suitable design methodologies to ensure that the advantages of timetriggered co-operative design are maintained as far as possible. This paper explores the application of a time-triggered distributed-systems protocol, called “sharedclock”, on an eight-core microcontroller. The cores are connected in a mesh topology with no hardware broadcast capabilities and three implementations of the shared-clock protocol are examined. The custom multi-core system and the network interfaces used for the study are also described. The network interfaces share higher level serialising logic amongst channels, resulting in low hardware overhead when increasing the number of channels.","PeriodicalId":246267,"journal":{"name":"Communicating Process Architectures Conference","volume":"42 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":"127173124","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

Evaluating an Emergent Behaviour Algorithm in JCSP for Energy Conservation in Lighting Systems 一种用于照明系统节能的JCSP紧急行为算法评价

Communicating Process Architectures Conference Pub Date : 1900-01-01 DOI: 10.3233/978-1-60750-774-1-143

A. Kosek, A. Syed, J. Kerridge

引用次数: 1

YASS: a Scaleable Sensornet Simulator for Large Scale Experimentation 用于大规模实验的可伸缩传感器模拟器

Communicating Process Architectures Conference Pub Date : 1900-01-01 DOI: 10.3233/978-1-58603-907-3-411

Jonathan Tate, Iain Bate

引用次数: 1

Experiments in Multicore and Distributed Parallel Processing using JCSP 基于JCSP的多核分布式并行处理实验

Communicating Process Architectures Conference Pub Date : 1900-01-01 DOI: 10.3233/978-1-60750-774-1-131

J. Kerridge

{"title":"Experiments in Multicore and Distributed Parallel Processing using JCSP","authors":"J. Kerridge","doi":"10.3233/978-1-60750-774-1-131","DOIUrl":"https://doi.org/10.3233/978-1-60750-774-1-131","url":null,"abstract":"It is currently very difficult to purchase any form of computer system be it, notebook, laptop, desktop server or high performance computing system that does not contain a multicore processor. Yet the designers of applications, in general, have very little experience and knowledge of how to exploit this capability. Recently, the Scottish Informatics and Computer Science Alliance (SICSA) issued a challenge to investigate the ability of developers to parallelise a simple Concordance algorithm. Ongoing work had also shown that the use of multicore processors for applications that have internal parallelism is not as straightforward as might be imagined. Two applications are considered: calculating π using Monte Carlo methods and the SICSA Concordance application. The ease with which parallelism can be extracted from a single application using both single multicore processors and distributed networks of such multicore processors is investigated. It is shown that naïve application of parallel programming techniques does not produce the desired results and that considerable care has to be taken if multicore systems are to result in improved performance. Meanwhile the use of distributed systems tends to produce more predictable and reasonable benefits resulting from parallelisation of applications.","PeriodicalId":246267,"journal":{"name":"Communicating Process Architectures Conference","volume":"31 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":"122301703","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

Hydra: A Python Framework for Parallel Computing Hydra:并行计算的Python框架

Communicating Process Architectures Conference Pub Date : 1900-01-01 DOI: 10.3233/978-1-60750-065-0-311

Waide B. Tristram, K. Bradshaw

引用次数: 1