1199 search results - page 104 / 240 » How to Compare the Power of Computational Models |
180
click to vote
ICPADS
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper is focused on the performance analysis, comparison and optimization of the most important distributed object models for Java: RMI (Remote Method Invocation) and RMI-IIO...
162
click to vote
DSN
2011
IEEE
14 years 6 months ago
2011
IEEE
— This paper describes a modeling framework for evaluating the impact of faults on the output of streaming ions. Our model is based on three abstractions: stream operators, strea...
167
click to vote
SPIN
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...
202
click to vote
SAC
2011
ACM
14 years 9 months ago
2011
ACM
We propose a novel approach and tool for collaborative software engineering and development. In model-based software engineering, the underlying data structure is a complex, direc...
156
click to vote
ICCVW
1999
Springer
15 years 10 months ago
1999
Springer
The parameters estimated by Structure from Motion SFM contain inherent indeterminacies which we call gauge freedoms. Under a perspective camera, shape and motion parameters are o...