8874 search results - page 281 / 1775 » A New Implementation of Automath |
182
click to vote
CCS
2007
ACM
16 years 26 days ago
2007
ACM
As computing models change, so too do the demands on storage. Distributed and virtualized systems introduce new vulnerabilities, assumptions, and performance requirements on disks...
157
click to vote
FCCM
2005
IEEE
16 years 9 days ago
2005
IEEE
As technology sizes decrease and die area increases, designers are creating increasingly complex computing systems using FPGAs. To reduce design time for new products, the reuse o...
149
click to vote
NCA
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper presents a new algorithm for a reconfigurable distributed domain-oriented atomic object service, called DO-RAMBO, which stands for Domain-Oriented Reconfigurable Atom...
173
click to vote
WORDS
2005
IEEE
16 years 8 days ago
2005
IEEE
Writing a new scheduler and integrating it into an existing OS is a daunting task, requiring the understanding of multiple low-level kernel mechanisms. Indeed, implementing a new ...
183
click to vote
BCS
2008
15 years 8 months ago
2008
: There is a rich literature of approaches to image feature extraction in computer vision. Many sophisticated approaches exist for low- and high-level feature extraction but can be...