Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,808,008 papers from all fields of science
Search
Sign In
Create Free Account
occam
Known as:
Occam 2.1
, OCCAM2
, Occam programming language
Expand
occam is a concurrent programming language that builds on the communicating sequential processes (CSP) process algebra, and shares many of its…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
42 relations
Amsterdam Compiler Kit
Assignment (computer science)
Blocking (computing)
Channel (programming)
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Exploring multiple 3D inversion scenarios for enhanced interpretation of marine CSEM data: an iterative migration analysis of the Shtokman gas field
M. Zhdanov
,
E. Velikhov
,
M. Cuma
,
G. Wilson
,
N. Black
,
A. Gribenko
2010
Corpus ID: 17560199
Michael S. Zhdanov, Evgeny P. Velikhov, Martin Cuma, Glenn Wilson, Noel Black and Alexander Gribenko argue that the key to…
Expand
2009
2009
Sex Games People Play: Intimacy Blocks, Games, and Scripts
S. Karpman
2009
Corpus ID: 147397394
This paper draws from the presentation “Sex Games People Play” before an audience of 80 at the World TA 2005 Summer Conference in…
Expand
Review
2000
Review
2000
Resource sharing estimation by Petri nets in PISH hardware/software co-design system
P. Maciel
,
E. Barros
,
Monique Silveira da Silva
,
F. C. Filho
Smc conference proceedings. ieee international…
2000
Corpus ID: 14683609
The article presents two approaches for computing the number of functional units in a hardware/software codesign context. The…
Expand
1999
1999
User-defined data types and operators in occam
David C. M. Wood
,
James Moores
1999
Corpus ID: 61969420
This paper describes the addition of user-defined monadic and dyadic operators to occam* [1], together with some libraries that…
Expand
1994
1994
Denotational semantics for occam2‚ Part 2
B. Roscoe
1994
Corpus ID: 61149110
1993
1993
Occam algorithms for computing visual motion
H. Schweitzer
Vision
1993
Corpus ID: 30865073
By drawing an analogy with machine learning, the author proposes to define visual motion as a predictor that can accurately…
Expand
1988
1988
Planar Convex Hull Algorithms in Theory and Practice
A. M. Day
Computer graphics forum (Print)
1988
Corpus ID: 12730586
Sequential and parallel planar convex hull algorithms, their applications and some of the problems encountered on implementations…
Expand
1988
1988
Integrating Explanation-Based and Empirical Learning Methods in OCCAM
M. Pazzani
EWSL
1988
Corpus ID: 1439663
Author(s): Pazzani, Michael J. | Abstract: This paper discusses an approach to integrating empirical and explanation based…
Expand
1987
1987
Occam Programming: A Practical Approach
J. Kerridge
1987
Corpus ID: 60847980
The syntax and semantics of occam The design of occam programs Process control applications Data processing applications…
Expand
1984
1984
Signal processing with occam and the transputer
R. Taylor
1984
Corpus ID: 62177871
The transputer and its programming language occam offer a new approach to digital system design. The transputer is a computer on…
Expand