« earlier | later » Page 13 of 18
Objectives | GGCC edit / delete
Project adding static analysis facilities to GCC. Perhaps we might be able to do occam-style analysis of C/C++ this way -- alias checking should certainly be trivial.
to compiler concurrency research ... on 31 May 2008
Worth getting a position paper about process-oriented programming into?
to concurrency conference research ... on 01 April 2008
ice08:ice08 [1st Interaction and Concurrency Experience (ICE'08)] edit / delete
Worth targetting something about barriers or poison to.
to concurrency conference research ... on 01 April 2008
Atomic_ops project edit / delete
Portable atomic ops library. Might be useful for CCSP/C++CSP porting?
to concurrency research software ... on 24 March 2008
Prof. Hugo R. Simpson edit / delete
MASCOT: a process-oriented design methodology from the MoD in the late 70s/early 80s. Includes a manual.
to concurrency process-oriented research ... on 03 March 2008
Another transputer-a-like.
to concurrency microprocessor research ... on 27 February 2008
deep darc » ybox2 edit / delete
Using a Parallax Propeller CPU with a cheapie Microchip SPI/Ethernet bridge -- the latter looks interesting at $3...
to concurrency electronics networking ... on 27 January 2008
JMB's Python CSP framework.
to concurrency csp python research software ... on 20 December 2007
Gérard Boudol's Home Page edit / delete
Some concurrency-related papers, including "Non-interference for concurrent programs".
to concurrency papers research ... on 03 November 2007
Geraint Jones' Publications edit / delete
Includes the 1987 "On Guards" paper, which describes why occam didn't permit output guards.
to concurrency occam research ... on 27 October 2006
« earlier | later » Page 13 of 18
tasty by Adam Sampson.