6171 search results - page 669 / 1235 » The FrameNet Data and Software |
190
click to vote
ARCS
2008
Springer
15 years 9 months ago
2008
Springer
Due to increasing complexity of modern real-time image processing applications, classical hardware development at register transfer level becomes more and more the bottleneck of te...
179
click to vote
HIPEAC
2010
Springer
15 years 9 months ago
2010
Springer
We present Offload, a programming model for offloading parts of a C++ application to run on accelerator cores in a heterogeneous multicore system. Code to be offloaded is enclosed ...
205
click to vote
ISSTA
2010
ACM
15 years 9 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
195
click to vote
EUROPAR
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Now that large radiotelescopes like SKA, LOFAR, or ASKAP, become available in different parts of the world, radioastronomers foresee a vast increase in the amount of data...
185
click to vote
IESA
2007
15 years 8 months ago
2007
The dissemination of e-Business solutions among small and medium sized enterprises (SMEs) is still very low due to various reasons. In the course of the GENESIS project, we aim at ...