9110 search results - page 241 / 1822 » Formally-Based Design Evaluation |
151
click to vote
EUROPAR
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. The High Performance Fortran (HPF) benchmark suite HPFBench was designed for evaluating the HPF language and compilers on scalable architectures. The functionality of the...
174
click to vote
SIGGRAPH
1998
ACM
15 years 10 months ago
1998
ACM
In this paper we disprove the belief widespread within the computer graphics community that Catmull-Clark subdivision surfaces cannot be evaluated directly without explicitly subd...
166
click to vote
SIGIR
2010
ACM
15 years 10 months ago
2010
ACM
Whole page relevance defines how well the surface-level representation of all elements on a search result page and the corresponding holistic attributes of the presentation respon...
162
click to vote
CASES
2005
ACM
15 years 8 months ago
2005
ACM
Due to resource and power constraints, embedded processors often cannot afford dedicated floating-point units. For instance, the IBM PowerPC processor embedded in Xilinx Virtex-...
141
click to vote
BCSHCI
2007
15 years 8 months ago
2007
Information Visualisation (InfoVis) is defined as an ive visual representation of abstract data. We view the user’s interaction with InfoVis tools as an experience which is made...