2756 search results - page 277 / 552 » Computation-Centric Memory Models |
167
click to vote
TCSV
2002
15 years 4 months ago
2002
Abstract--The emerging video coding standard MPEG-4 enables various content-based functionalities for multimedia applications. To support such functionalities, as well as to improv...
163
click to vote
PVLDB
2010
15 years 3 months ago
2010
Many DBMS products in the market provide built in encryption support to deal with the security concerns of the organizations. This solution is quite effective in preventing data ...
172
click to vote
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
There is building interest in using FPGAs as accelerators for high-performance computing, but existing systems for programming them are so far inadequate. In this paper we propose...
148
Voted
AIRS
2010
Springer
15 years 2 months ago
2010
Springer
Machine learning algorithms in various forms are now increasingly being used on a variety of portable devices, starting from cell phones to PDAs. They often form a part of standard...
156
Voted
NFM
2011
14 years 12 months ago
2011
Program verifiers based on first-order theorem provers model the program heap as a collection of mutable maps. In such verifiers, preserving unmodified facts about the heap acr...