4353 search results - page 255 / 871 » Expressiveness of Process Algebras |
201
click to vote
ICMCS
2008
IEEE
16 years 1 months ago
2008
IEEE
Graphics and vision are approximate inverses of each other: ordinarily Graphics Processing Units (GPUs) are used to convert “numbers into pictures” (i.e. computer graphics). I...
163
click to vote
DATE
2007
IEEE
16 years 28 days ago
2007
IEEE
Individual Data Processing Units (DPUs) are commonly used for operational control and specific data processing of scientific space instruments. To overcome the limitations of trad...
171
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
To enable the development of automated support for the dynamics of design processes, a challenge is to model and analyse such dynamics in a formal manner. This paper contributes a ...
129
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Depth-bounded processes form the most expressive known fragment of the π-calculus for which interesting verification problems are still decidable. In this paper we develop an ade...
171
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, we present an approach for automatic synthesis of System on Chip (SoC) multiprocessor architectures for applications expressed as process networks. Our approach is ...