946 search results - page 124 / 190 » Process Algebra and Non-Interference |
PDP
2010
IEEE
14 years 3 months ago
2010
IEEE
—Two strategies of distribution of computations can be used to implement parallel solvers for dense linear algebra problems for Heterogeneous Computational Clusters of Multicore ...
ICASSP
2008
IEEE
14 years 3 months ago
2008
IEEE
We address the problem of similarity metric selection in pairwise affinity clustering. Traditional techniques employ standard algebraic context-independent sample-distance measur...
ICASSP
2008
IEEE
14 years 3 months ago
2008
IEEE
It is well-known that the discrete Fourier transform (DFT) of a finite length discrete-time signal samples the discrete-time Fourier transform of the same signal at equidistant p...
TASE
2007
IEEE
14 years 3 months ago
2007
IEEE
Design patterns capture expert design experience in generic design structure and behavior. A design pattern needs to be instantiated before using. It can be integrated with other ...
CALCO
2007
Springer
14 years 2 months ago
2007
Springer
We study the equational theory of Timed CCS as proposed by Wang Yi in CONCUR’90. Common to Wang Yi’s paper, we particularly focus on a class of linearly-ordered time domains ex...