8874 search results - page 84 / 1775 » A New Implementation of Automath |
119
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We present a new very fast tree-code which runs on massively parallel Graphical Processing Units (GPU) with NVIDIA CUDA architecture. The tree-construction and calculation of mult...
120
Voted
PVLDB
2008
15 years 3 months ago
2008
Many stream-processing systems enforce an order on data streams during query evaluation to help unblock blocking operators and purge state from stateful operators. Such in-order p...
114
Voted
SPRINGSIM
2008
15 years 5 months ago
2008
Background: Implementation of medical interventions may vary with organization and available capacity. The influence of this source of variability on the cost-effectiveness can be...
135
click to vote
WISA
2009
Springer
15 years 10 months ago
2009
Springer
Power analysis has shown to be successful in breaking symmetric cryptographic algorithms implemented on low resource devices. Prompted by the breaking of many protected implementat...
139
click to vote
DEBU
2010
15 years 3 months ago
2010
Databases supporting time dependent and continuously changing geometries, called moving objects databases, have been studied for about 15 years. The field has been flourishing and...