6274 search results - page 618 / 1255 » Proofs, Programs, Processes |
216
click to vote
JSW
2006
15 years 7 months ago
2006
Abstract-- Leveraging service oriented programming paradigm would significantly affect the way people build software systems. However, to achieve this goal a solid software design ...
189
click to vote
PPL
2008
15 years 7 months ago
2008
The latency of broadcast/reduction operations has a significant impact on the performance of SIMD processors. This is especially true for associative programs, which make extensiv...
174
click to vote
TAP
2008
Springer
15 years 7 months ago
2008
Springer
This article presents the generation and test case execution under the framework Focal. In the programming language Focal, all properties of the program are written within the sour...
205
click to vote
CORR
2004
Springer
15 years 7 months ago
2004
Springer
We describe a scheme for moving living code between a set of distributed processes coordinated with unification based Linda operations, and its application to building a comprehen...
170
click to vote
IJCV
2002
15 years 7 months ago
2002
This paper describes a new algorithm for disparity estimation using trinocular stereo. The three cameras are placed in a right angled configuration. A graph is then constructed wh...