16190 search results - page 2471 / 3238 » Applicative programming with effects |
145
click to vote
ICPP
2003
IEEE
15 years 11 months ago
2003
IEEE
We present a tensor product formulation for Hilbert space-filling curves. Both recursive and iterative formulas are expressed in the paper. We view a Hilbert space-filling curve...
153
click to vote
INFOVIS
2003
IEEE
15 years 11 months ago
2003
IEEE
In visualising multidimensional data, it is well known that different types of data require different types of algorithms to process them. Data sets might be distinguished accordi...
118
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we overview general hardware architecture and a programming model of SRC-6ETM reconfigurable computers, and compare the performance of the SRC-6E machine vs. Intel...
152
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
The paper presents Heterogeneous MPI (HMPI), an extension of MPI for programming high-performance computations on heterogeneous networks of computers. It allows the application pr...
154
click to vote
ISQED
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...