concurrency.cc
c.cc: About
http://concurrency.cc/about.html
We are a group of educators and researchers exploring the development of tools that make parallel programming more accessible to more people. Our hope is that concurrency.cc will serve the community of developers surrounding parallel and concurrent languages on large, server-class systems all the way down to the humble Arduino and other low-cost embedded platforms. Was originally designed under the guidance of David May. Implemented by the fine people at Inmos Ltd. And shepherded by Professor Peter Welch.
dickpountain.com
PriPar Machines - dick pountain's pages
http://www.dickpountain.com/home/computing/pripar-machines
Limits of Computing (1997). Parallel Course (July 1994). The Oberon Language (1990). The Oberon System (1992). The Taos Operating System (1991). I wrote a user manual for the Occam concurrent programming language for Inmos, and I've always kept up an interest in parallel processing. Occam more or less ceased to be used after Inmos stopped production of the Transputer and then closed down, but there has been a recent revival from an interesting source. A group of teachers and students of. Each of which ca...
wotug.org
WoTUG - Reference Material
http://www.wotug.org/reference.shtml
The group maintains reference material on parallel processing, Java and real time computing. Most of it has been published at various conferences, some at the various tutorial sessions and workshops which we have organised. Papers from our database. Including Abstracts and in some cases Full texts. For the groups publications. For books on the subject. Describing languages and systems. Page last modified on 6th April 2008. Comments on these web pages should be addressed to: www at wotug.org.
csp-consortium.org
CSP-Consortiam CSPとは
http://www.csp-consortium.org/csp/index.html
CSPとはCommunicating Sequential Processesの訳でOxford大学のTony Hoareが1979年に考案したもので、並列処理で必要とされる基本的な動作を記述するプロセス代数です。 Transputerが無くなった今でも、occamの思想はC,C#,C ,Java,Haskell,Python, Handel-C, XCなど多くのプログラミング言語にCSPモデルがライブラリとして準備されました。 SEQ(P0, ., Pn). IF( b0, P0), .(bn,Pn). CASE e (e1 P1, e2 P2, ., ELSE Pn ). PAR(P0, ., Pn). ALT( g0, P0), .(gn, Pn). PRI(P1, P2, ., Pn). Tim , TIMER? C/C /Javaのような逐次処理プログラミング技法では複雑でリアルタイム性の高い並列処理 特に入出力 、更に割り込み処理にイベント駆動、時間駆動等を実現するには非常に難しい。 形式手法のツールは(Z, B, VDMなど)数多くありますが、これらは仕様記述言語であります。
csp-consortium.org
CSP-Consortiam 関連(団体)サイト リンク
http://www.csp-consortium.org/profile/link.html
jadud.com
jadud.com
http://www.jadud.com/personal.html
Teaching, research, etc. Contents licensed CC BY-SA. Matt lives in Berea, Kentucky. And this might get updated at some point. Open projects where I spend my time, professionally and otherwise. The Craft of Electronics. URL: http:/ craftofelectronics.org/. An open course design for active learning in digital and home electronics. Parallel Programming for the Arduino. URL: http:/ concurrency.cc/. Tools and documentation for exploring parallel programming in occam-pi on the Arduino.
wotug.org
WoTUG - CPA 2014
http://www.wotug.org/cpa2014
Communicating Process Architectures 2014. Communicating Process Architectures 2014. The 36th WoTUG conference on concurrent and parallel systems, takes place from Sunday August 24th to Wednesday August 27th 2014 and is hosted by the Department of Computer Science, University of Oxford. Accommodation and evening Fringe. Sessions will be at St. Anne's College. A few minutes walk from the Department. For information on CPA's areas of interest, please see the Call for Papers. 70 per night). A limited num...
wotug.org
WoTUG Conferences
http://www.wotug.org/conference.shtml
WoTUG Conference Proceedings are published by IOS Press. As part of their Concurrent Systems Engineering Series. And (earlier) Transputer and Occam Engineering Series. University of Kent, UK, August 23rd, 2015. University of Oxford, UK, August 24th, 2014. Edinburgh Napier University, Scotland, August 25th, 2013. University of Abertay Dundee, Scotland, August 26th, 2012. University of Limerick, Ireland, June 19th, 2011. Technische Universiteit Eindhoven, The Netherlands, November 1st, 2009. WoTUG has also...