1448 search results - page 155 / 290 » From Requirements to Code Revisited |
140
click to vote
CVPR
1999
IEEE
15 years 8 months ago
1999
IEEE
We present a novel algorithm performing projective rectification which does not require explicit computation of the epipolar geometry, and specifically of the fundamental matrix. ...
137
click to vote
FTDCS
1999
IEEE
15 years 8 months ago
1999
IEEE
Open Distributed Systems are the dominating intellectual issue of the end of this century. Figuring out how to build those systems will become a central issue in distributed system...
123
click to vote
POPL
1998
ACM
15 years 8 months ago
1998
ACM
Memory expansions are classical means to extract parallelism from imperative programs. However, for dynamic control programs with general memory accesses, such transformations eit...
116
click to vote
POS
1998
Springer
15 years 8 months ago
1998
Springer
This paper describes the experience of porting a 25,000 line distributed Java [GJS97] program to version 0.3.5.1 of the orthogonally persistent programming environment PJama. The ...
129
click to vote
WDAG
1998
Springer
15 years 8 months ago
1998
Springer
We present fault detectors for transient faults, (i.e. corruptions of the memory of the processors, but not of the code of the processors). We distinguish fault detectors for tasks...