5762 search results - page 679 / 1153 » R-tree: A Hardware Implementation |
209
click to vote
CAV
2006
Springer
15 years 11 months ago
2006
Springer
Many multithreaded programs employ concurrent data types to safely share data among threads. However, highly-concurrent algorithms for even seemingly simple data types are difficul...
169
click to vote
MICRO
2008
IEEE
15 years 7 months ago
2008
IEEE
Verification of chip multiprocessor memory systems remains challenging. While formal methods have been used to validate protocols, simulation is still the dominant method used to ...
186
click to vote
INTEGRATION
2007
15 years 7 months ago
2007
The Data Encryption Standard (DES) is a cipher that is still used in a broad range of applications, from smartcards, where it is often implemented as a tamperresistant embedded co...
267
click to vote
MOBISYS
2011
ACM
14 years 10 months ago
2011
ACM
Clock synchronization is critical for Wireless Sensor Networks (WSNs) due to the need of inter-node coordination and collaborative information processing. Although many message pa...
302
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
Purely functional programs should run well on parallel hardware because of the absence of side effects, but it has proved hard to realise this potential in practice. Plenty of pap...