3239 search results - page 521 / 648 » A Logical Process Calculus |
110
Voted
ISCIS
2004
Springer
15 years 6 months ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
120
click to vote
PDP
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract—Load balancing algorithms are an essential component of parallel computing reducing the response time of applications. Frequently, balancing algorithms have a centralize...
117
click to vote
COMPSAC
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper introduces an object-passing model for parallel and distributed application development. Object passing provides the object-oriented application developer with powerful...
115
click to vote
ICTAI
2003
IEEE
15 years 6 months ago
2003
IEEE
One of the main reasons behind unfruitful software development projects is that it is often too late to correct the problems by the time they are detected. It clearly indicates th...
101
Voted
PDP
2003
IEEE
15 years 6 months ago
2003
IEEE
Abstract. In this work an architecture of an automatically tuned linear algebra library proposed in previous works is extended in order to adapt it to platforms where both the CPU ...