Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 233,432,728 papers from all fields of science
Search
Sign In
Create Free Account
KRoC
KRoC, the Kent Retargetable occam Compiler, is an occam implementation that is based on the INMOS occam 2.1 compiler as a front-end and a…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
12 relations
Cygwin
DEC Alpha
Machine code
Microprocessor
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
Model checking concurrent assembly algorithms
Joseph Cordina
,
Stephen Fenech
,
Gordon J. Pace
2007
Corpus ID: 15804183
Model checking has been used in various domains, to enable automatic verification of properties for a given model. Especially in…
Expand
2007
2007
Multiprocessor Scheduling with Kroc
T. Sheen
,
A. Allen
,
S. Woo
2007
Corpus ID: 9938593
This paper outlines oc-X, a multiprocessor communication harness for KROC (the portable occam compiler). oc-X is designed to…
Expand
2007
2007
Peephole Optimisation of the Kroc Target Instruction Stream
M. Sheen
2007
Corpus ID: 15273386
This report details the implimentation of a peephole optimiser stage for KROC (Kent Retargetable Occam Compiler)(Wood and Welch…
Expand
2006
2006
Simulation of Skype Peer-to-peer Web Services Choreography Using Occam-Pi
The 8th IEEE International Conference on E…
2006
Corpus ID: 263877146
Complex Web services are very difficult to test and verify before deployment on a large scale. A semantically equivalent in…
Expand
2005
2005
The Academic Health Center in the 21st Century - Through Drama to Impact
R. Eaton
2005
Corpus ID: 68605180
Acknowledgement: This article was first presented as the Kroc Foundation Distinguished Lecture at the Western Regional Meeting of…
Expand
2000
2000
Post-Mortem Debugging in KRoC
David C. M. Wood
,
F. Barnes
2000
Corpus ID: 59802523
A simple post-mortem debugging facility has been added to KRoC [1], to identify and locate run-time errors, including deadlock…
Expand
2000
2000
An Experiment with Recursion in occam
David C. M. Wood
2000
Corpus ID: 60968158
An experimental version of KRoC [1] has been written that implements recursion in occam*, using Brinch Hansen’s algorithm for…
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
1998
1998
KRoC-Calling C Functions from occam
David C. M. Wood
1998
Corpus ID: 59840775
The parameters of an occam PROC are passed in consecuti ve locations at the start of the occam workspace of the process making…
Expand
1996
1996
Implementation of KRoC on Analog Devices' “SHARC” DSP
G. Otten
,
M. H. Schwirtz
,
R. Bruis
,
J. Broenink
,
A. Bakkers
1996
Corpus ID: 60585639
This paper summarises the experiences gained at the Control Laboratory of the University of Twente in porting the Kent…
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