Title | ||
---|---|---|
An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment |
Abstract | ||
---|---|---|
In this paper we present a strategy for combining processes belonging to the same hardware or software component (cluster), in the context of hardware/software partitioning of a system. The strategy takes as input an occam description of a system. This description is the parallel composition of the system components in a predefined form, together with annotations that indicate how the processes, in each cluster, must be combined: by serialisation or by parallelisation. The description given as input can be seen as a binary tree. The strategy to combine processes is based on the reduction of possible configurations in that tree, by using transformation rules which are provable from an algebraic semantics of occam. |
Year | DOI | Venue |
---|---|---|
1998 | 10.1007/3-540-49253-4_23 | AMAST |
Keywords | Field | DocType |
software component,software partitioning environment,occam description,predefined form,algebraic approach,transformation rule,parallel composition,algebraic semantics,binary tree,possible configuration,combining processes,system component | Programming language,Algebraic number,Program transformation,Computer science,Binary tree,Theoretical computer science,occam,Software,Component-based software engineering,Hardware software,Distributed computing,Algebraic semantics | Conference |
Volume | ISSN | ISBN |
1548 | 0302-9743 | 3-540-65462-3 |
Citations | PageRank | References |
3 | 0.48 | 7 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Leila Silva | 1 | 78 | 10.11 |
Augusto Sampaio | 2 | 501 | 43.38 |
Edna Barros | 3 | 18 | 3.64 |
Juliano Iyoda | 4 | 61 | 9.21 |