2438 search results - page 460 / 488 » Consistent Gradient Operators |
160
click to vote
TYPES
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The aim of this work is to characterize constructive real numbers through a minimal axiomatization. We introduce, discuss and justify 16 constructive axioms. Then we addr...
182
click to vote
ISCA
1995
IEEE
15 years 10 months ago
1995
IEEE
Recent superscalar processors issue four instructions per cycle. These processors are also powered by highly-parallel superscalar cores. The potential performance can only be expl...
188
click to vote
VISUALIZATION
1991
IEEE
15 years 10 months ago
1991
IEEE
We describe a software system, TOPO, that numerically analyzes and graphically displays topological aspects of a three dimensional vector field, v, to produce a single, relativel...
203
click to vote
AFRICACRYPT
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. This article investigates the relevance of the theoretical framework on profiled side-channel attacks presented by F.-X. Standaert et al. at Eurocrypt 2009. The analyses ...
161
click to vote
ASPLOS
2010
ACM
15 years 9 months ago
2010
ACM
This paper proposes an efficient hardware/software system that significantly enhances software security through diversified replication on multi-cores. Recent studies show that a ...