Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,190,204 papers from all fields of science
Search
Sign In
Create Free Account
Occam-π
Known as:
Occam-p
, Occam-pi
In computer science, occam-π (or occam-pi) is the name of a variant of the programming language occam developed by the Kent Retargetable occam…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
12 relations
Computer science
Concurrent computing
KRoC
List of concurrent and parallel programming languages
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Mobile CSP
J. Woodcock
,
A. Wellings
,
Ana Cavalcanti
Brazilian Symposium on Formal Methods
2015
Corpus ID: 23299681
We describe an extension of imperative CSP with primitives to declare new event names and to exchange them by message passing…
Expand
2013
2013
Energy-Efficient Synthetic-Aperture Radar Processing on a Manycore Architecture
Zain-ul-Abdin
,
A. Ahlander
,
B. Svensson
International Conference on Parallel Processing
2013
Corpus ID: 13990495
The next generation radar systems have high performance demands on the signal processing chain. Examples include the advanced…
Expand
2011
2011
Concurrent Event-driven Programming in occam-π for the Arduino
Christian L. Jacobsen
,
Matthew C. Jadud
,
Omer Kilic
,
Adam T. Sampson
Communicating Process Architectures Conference
2011
Corpus ID: 8675860
The success of the Arduino platform has made embedded programming widely accessible. The Arduino has seen many uses, for example…
Expand
2008
2008
Santa Claus - with Mobile Reindeer and Elves
P. Welch
,
J. Pedersen
Communicating Process Architectures Conference
2008
Corpus ID: 11318855
Mobile processes, along with mobile channels, enable process networks to be dynamic: they may change their size (number of…
Expand
2006
2006
Communicating complex systems
P. Welch
,
F. Barnes
,
Fiona A. C. Polack
IEEE International Conference on Engineering of…
2006
Corpus ID: 17857917
This paper presents efficient mechanisms for the direct implementation of formal models of highly concurrent dynamic systems. The…
Expand
Review
2006
Review
2006
pony – The occam-π Network Environment
M. Schweigler
,
Adam T. Sampson
2006
Corpus ID: 1792972
Although concurrency is generally perceived to be a ‘hard’ s ubject, it can in fact be very simple — provided that the underlying…
Expand
2006
2006
A Cell Transterpreter
Damian J. Dimmich
,
Christian L. Jacobsen
,
Matthew C. Jadud
Communicating Process Architectures Conference
2006
Corpus ID: 42333013
The Cell Broadband Engine is a hybrid processor which consists of a Pow- erPC core and eight vector co-processors on a single die…
Expand
2005
2005
Barrier Synchronisation for occam-pi
F. Barnes
,
P. Welch
,
Adam T. Sampson
International Conference on Parallel and…
2005
Corpus ID: 2241312
This paper introduces a safe language binding for CSP multiway events (barriers) that has been built into occampi (an extension…
Expand
2005
2005
Interfacing C and occam-pi
F. Barnes
Communicating Process Architectures Conference
2005
Corpus ID: 15355027
This paper describes an extension to the KRoC occam-π system that allows processes programmed in C to participate in occam…
Expand
2005
2005
Initial Experiences with occam-pi Simulations of Blood Clotting on the Minimum Intrusion Grid
P. Welch
,
B. Vinter
,
F. Barnes
International Conference on Parallel and…
2005
Corpus ID: 14829587
This paper describes our initial experiences of running simple blood-clot simulations on Grid infrastructure. The individual…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE