Paper Details

db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"

%T Portable CSP Based Design for Embedded Multi\-Core Systems
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
%A Bernhard H.C. Sputh, Oliver Faust, Alastair R. Allen
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
%E Peter H. Welch, Jon Kerridge, Frederick R. M. Barnes
%B Communicating Process Architectures 2006
%X Modern lifestyle depends on embedded systems. They are
   everywhere: sometimes they are hidden and at other times
   they are handled as a fashion accessory. In order to serve
   us better they have to do more and more tasks at the same
   time. This calls for sophisticated mechanisms to handle
   concurrency. In this paper we present CSP (Communicating
   Sequential Processes) as a method which helps to solve a
   number of problems of embedded concurrent systems. To be
   specific, we describe implementations of the commstime
   benchmark in multithreaded, multiprocessor and architecture
   fusion systems. An architecture fusion system combines
   machine and hardware\-logic architectures. Our results are
   twofold. First, architecture fusion systems outperform all
   the other systems we tested. Second, we implemented all the
   systems without a change in the design philosophy. The
   second point is the more important result, because it shows
   the power of CSP based design methods.

If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.

Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.