6709 search results - page 1039 / 1342 » Performance Modelling of the Computational Hardware: A Stati... |
200
click to vote
ESCIENCE
2006
IEEE
16 years 23 days ago
2006
IEEE
The core goal of resource management is to establish a mutual agreement between a resource producer and a resource consumer by which the provider agrees to supply a capability tha...
193
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
205
click to vote
CGI
1998
IEEE
15 years 11 months ago
1998
IEEE
State of the art multiresolution modeling allows to selectively refine a coarse mesh of an object on the visually important parts. In this way it is possible to render the geometr...
168
click to vote
SPAA
2005
ACM
16 years 8 days ago
2005
ACM
One approach in verifying the correctness of a multiprocessor system is to show that its execution results comply with the memory consistency model it is meant to implement. It ha...
206
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
In this paper, we propose a novel dense depth recovery method for a trinocular video sequence. Specifically, we contribute a novel trinocular stereo matching model, which can eff...