1163 search results - page 129 / 233 » Concurrent Subspaces Analysis |
123
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
Communication overhead is one of the most important factors affecting the performance of message passing multicomputers. We present evidence (through the analysis of several paral...
117
Voted
CAV
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Happen-before causal partial orders have been widely used in concurrent program verification and testing. This paper presents a parametric approach to happen-before causa...
150
Voted
FUIN
2006
15 years 3 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
246
Voted
DATE
2011
IEEE
14 years 7 months ago
2011
IEEE
In order to meet performance/low energy/integration requirements, parallel architectures (multithreaded cores and multi-cores) are more and more considered in the design of embedd...
176
Voted
CVPR
2009
IEEE
16 years 10 months ago
2009
IEEE
This paper covers a fundamental problem of local phase
based signal processing: the isotropic generalization of the
classical 1D analytic signal to two dimensions. The well
know...