1532 search results - page 146 / 307 » An Algebraic Process Calculus |
140
click to vote
FASE
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Model-driven development is a field within software engineering in which software artifacts are represented as models in order to improve productivity, quality, and cost ...
143
click to vote
COMPUTING
2006
15 years 4 months ago
2006
We consider the problem of splitting a symmetric positive definite (SPD) stiffness matrix A arising from finite element discretization into the sum of edge matrices thereby assumi...
137
click to vote
FMSD
2006
15 years 4 months ago
2006
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc sy...
141
click to vote
FUIN
2006
15 years 4 months ago
2006
In a previous paper, we developed an algebraic theory about threads and multi-threading based on the assumption that a deterministic interleaving strategy determines how threads ar...
130
click to vote
ICFP
2004
ACM
16 years 4 months ago
2004
ACM
We present a process logic for the -calculus with the linear/affine type discipline (Berger et al. 2001; Berger et al. 2003; Honda and Yoshida 2002; Honda and Yoshida 2003; Honda ...