3931 search results - page 602 / 787 » Separation logic and abstraction |
211
click to vote
PVM
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. A large number of MPI implementations are currently available, each of which emphasize different aspects of high-performance computing or are intended to solve a speciï¬...
210
click to vote
SSPR
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. We investigate a number of approaches to pose invariant face recognition. Basically, the methods involve three sequential functions for capturing nonlinear manifolds of f...
184
click to vote
WER
2004
Springer
16 years 23 days ago
2004
Springer
At present, the early phase of Requirements Engineering is a new research area in the Software Engineering field. This phase is concerned with the analysis of the organizational c...
174
click to vote
HICSS
2003
IEEE
16 years 22 days ago
2003
IEEE
Abstract— This paper presents a framework for verifying compilation tools for parametrised hardware libraries with placement information. Such libraries are captured in Pebble, a...
217
click to vote
RSP
2003
IEEE
16 years 21 days ago
2003
IEEE
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...