2171 search results - page 29 / 435 » A Generic Process Algebra |
MODELS
2010
Springer
13 years 7 months ago
2010
Springer
MSCS
2008
13 years 8 months ago
2008
We model micro-architectures with non-pipelined instruction processing and pipelined instruction processing, using Maurer machines, basic thread algebra and program algebra. We sho...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
In this paper, an intersection theory for generic differential polynomials is presented. The intersection of an irreducible differential variety of dimension d and order h with a g...
SAJ
2000
13 years 8 months ago
2000
This paper presents algebraic results that are important for the extended tyft/tyxt format [12, 13] which can be used to describe many different process algebras. This format is b...
TSP
2010
13 years 3 months ago
2010
Detection and estimation problems in multiple-input multiple-output (MIMO) radar have recently drawn considerable interest in the signal processing community. Radar has long been a...