WOTUG
2008
14 years 1 months ago
2008
CSP processes have a static view of their environment
WOTUG
2008
14 years 1 months ago
2008
Abstract. This paper considers the issues involved in translating specifications described in the CSP B formal method into Handel-C. There have previously been approaches to transl...
WOTUG
2008
14 years 1 months ago
2008
Most motion control systems for mechatronic systems are implemented on digital computers. In this paper we present an FPGA based solution implemented on a low cost Xilinx Spartan I...
WOTUG
2008
14 years 1 months ago
2008
WOTUG
2008
14 years 1 months ago
2008
Abstract. Distributing process-oriented programs across a cluster of machines requires careful attention to the effects of network latency. The MPI standard, widely used for cluste...
WOTUG
2008
14 years 1 months ago
2008
Writing concurrent programs in languages that lack explicit support for concurrency can often be awkward and difficult. Haskell's monads provide a way to explicitly specify se...
WOTUG
2008
14 years 1 months ago
2008
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...
WOTUG
2008
14 years 1 months ago
2008
WOTUG
2008
14 years 1 months ago
2008
Abstract. The Santa Claus problem provides an excellent exercise in concurrent programming and can be used to show the simplicity or complexity of solving problems using a particul...
TMFCS
2008
14 years 1 months ago
2008