536 search results - page 69 / 108 » A computer verified, monadic, functional implementation of t... |
FPGA
2004
ACM
15 years 5 months ago
2004
ACM
In this paper, we introduce a reconfigurable fabric based around a new class of circuit element: the hybrid Hall effect (HHE) magnetoelectronic device. Because they incorporate a ...
139
click to vote
HPTS
1993
15 years 3 months ago
1993
Elements of transaction processing become more and more accepted as a base for general purpose distributed computing.We have developed an action concept with an extended functiona...
100
click to vote
GI
2001
Springer
15 years 4 months ago
2001
Springer
Abstract—Advanced network and media applications such as multimedia streaming and Internet telephony are becoming an integral part of the Internet. Reservation protocols, such as...
111
click to vote
CGF
2006
14 years 12 months ago
2006
The most important technique to visualize 3D scalar data, as they arise e.g. in medicine from tomographic measurement, is direct volume rendering. A transfer function maps the sca...
107
click to vote
HEURISTICS
2002
14 years 11 months ago
2002
In this paper, we present the parallelization of tabu search on a network of workstations using PVM. Two parallelization strategies are integrated: functional decomposition strate...