WOTUG 2008 | Sciweavers

34

WOTUG
2007

104views Computer Science» more WOTUG 2007»

14 years 1 months ago

This paper presents the extended and re-integrated JCSP library of CSP packages for Java. It integrates the differing advances made by Quickstone’s JCSP Network Edition and the �...

Peter H. Welch, Neil Brown, James Moores, Kevin Ch...

claim paper

Read More »

30

click to vote

WOTUG
2007

127views Computer Science» more WOTUG 2007»

The Core Language of Aldwych

14 years 1 months ago

Download www.dcs.qmul.ac.uk

Matthew M. Huntbach

claim paper

Read More »

24

click to vote

WOTUG
2007

116views Computer Science» more WOTUG 2007»

Components with Symbolic Transition Systems: A Java Implementation of Rendezvous

14 years 1 months ago

Download www.emn.fr

Fabrício Fernandes, Robin Passama, Jean-Cla...

claim paper

Read More »

28

click to vote

WOTUG
2007

160views Computer Science» more WOTUG 2007»

C++CSP2: A Many-to-Many Threading Model for Multicore Architectures

14 years 1 months ago

Download www.twistedsquare.com

Abstract. The advent of mass-market multicore processors provides exciting new opportunities for parallelism on the desktop. The original C++CSP – a library providing concurrency...

Neil Brown

claim paper

Read More »

36

click to vote

WOTUG
2007

131views Computer Science» more WOTUG 2007»

Modeling and Analysis of the AMBA Bus Using CSP and B

14 years 1 months ago

Download www.computing.surrey.ac.uk

Abstract. In this paper, we present a formal model and analysis of the AMBA Advanced High-performance Bus (AHB) on-chip bus. The model is given in CSP B—an integration of the pro...

Alistair A. McEwan, Steve Schneider

claim paper

Read More »

30

click to vote

WOTUG
2007

87views Computer Science» more WOTUG 2007»

A Native Transterpreter for the LEGO Mindstorms RCX

14 years 1 months ago

Download www.transterpreter.org

The LEGO Mindstorms RCX is a widely deployed educational robotics platform. This paper presents a concurrent operating environment for the Mindstorms RCX, implemented natively usin...

Jonathan Simpson, Christian L. Jacobsen, Matthew C...

claim paper

Read More »

33

click to vote

WOTUG
2007

85views Computer Science» more WOTUG 2007»

A Process-Oriented Architecture for Complex System Modelling

14 years 1 months ago

Download kar.kent.ac.uk

Abstract. A ﬁne-grained massively-parallel process-oriented model of platelets (potentially artiﬁcial) within a blood vessel is presented. This is a CSP inspired design, expres...

Carl G. Ritson, Peter H. Welch

claim paper

Read More »

44

click to vote

WOTUG
2007

84views Computer Science» more WOTUG 2007»

A Process Oriented Approach to USB Driver Development

14 years 1 months ago

Download kar.kent.ac.uk

Abstract. Operating-systems are the core software component of many modern computer systems, ranging from small specialised embedded systems through to large distributed operating-...

Carl G. Ritson, Fred R. M. Barnes

claim paper

Read More »

33

click to vote

WOTUG
2007

99views Computer Science» more WOTUG 2007»

Compiling occam to C with Tock

14 years 1 months ago

Download offog.org

Adam T. Sampson

claim paper

Read More »

56

click to vote

WOTUG
2007

166views Computer Science» more WOTUG 2007»

Concurrency Control and Recovery Management for Open e-Business Transactions

14 years 1 months ago

Download www.computing.surrey.ac.uk

Concurrency control mechanisms such as turn-taking, locking, serialization, transactional locking mechanism, and operational transformation try to provide data consistency when con...

Amir R. Razavi, Sotiris Moschoyiannis, Paul J. Kra...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers