10055 search results - page 283 / 2011 » Structured programming using processes |
108
click to vote
ICIP
2006
IEEE
16 years 2 months ago
2006
IEEE
In this paper we propose a set of algorithms that combine the anisotropic smoothing using the heat kernel with the outlier rejection capability of robust statistics. The proposed ...
230
click to vote
PADL
2009
Springer
16 years 1 months ago
2009
Springer
Analysis of biological data often involves large data sets and computationally expensive algorithms. Databases of biological data continue to grow, leading to an increasing demand ...
138
click to vote
CCECE
2006
IEEE
15 years 6 months ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
107
click to vote
ICS
2010
Tsinghua U.
15 years 2 months ago
2010
Tsinghua U.
As the number of I/O-intensive MPI programs becomes increasingly large, many efforts have been made to improve I/O performance, on both software and architecture sides. On the sof...
140
click to vote
TSE
2010
14 years 7 months ago
2010
Statistical testing has been shown to be more efficient at detecting faults in software than other methods of dynamic testing such as random and structural testing. Test data are g...