1532 search results - page 137 / 307 » An Algebraic Process Calculus |
179
click to vote
FORTE
2009
15 years 2 months ago
2009
Orc was originally presented as a process calculus. It has now evolved into a full programming language, which we describe in this paper. The language has the structure and feel of...
207
click to vote
HYBRID
2011
Springer
14 years 4 months ago
2011
Springer
A wireless networked control systems (NCS) is a control system whose feedback path is realized over a wireless communication network. The stability of such systems can be problema...
160
click to vote
IPPS
1997
IEEE
15 years 8 months ago
1997
IEEE
Algebraic factorization is an extremely important part of any logic synthesis system but is computationally expensive. Hence it is important to look at parallel processing to spee...
121
click to vote
SIAMSC
2008
15 years 4 months ago
2008
With the rise in popularity of compatible finite element, finite difference and finite volume discretizations for the time domain eddy current equations, there has been a correspon...
174
click to vote
WER
2010
Springer
15 years 2 months ago
2010
Springer
Feature models are commonly used to capture the commonality and the variability of product families. There are several feature model notations that correspondingly depict the conce...