6862 search results - page 932 / 1373 » Modeling Parallel Applications Performance on Heterogeneous ... |
158
click to vote
EMSOFT
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we propose a formal analysis approach to estimate the expected (average) data cache access time of an application across all possible program inputs. Towards this g...
168
click to vote
ISCAS
1999
IEEE
15 years 11 months ago
1999
IEEE
An FPGA-based reconfigurable system may contain boards of FPGAs which are reconfigured for different applications and must work correctly. This paper presents a novel approach for...
188
click to vote
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
— Typical embedded systems must perform rather complex control and communication tasks with severely restricted computing resources. Due to these contraints most systems are sing...
180
click to vote
ICCAD
2008
IEEE
16 years 3 months ago
2008
IEEE
Abstract— This paper addresses the problem of solving finite word-length (bit-vector) arithmetic with applications to equivalence verification of arithmetic datapaths. Arithmet...
205
click to vote
ICVS
2003
Springer
16 years 23 hour ago
2003
Springer
Abstract. We introduce the knowledge-based image interpretation system GeoAIDA and give examples for an image operator, extracting trees from aerial imagery. Moreover we present a ...