4131 search results - page 273 / 827 » Compactness in Topology and Computation |
146
click to vote
ARITH
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we motivate the concept of comparing VLSI adders based on their energy-delay trade-offs and present a technique for estimating the energy-delay space of various hig...
162
click to vote
FOSSACS
2003
Springer
15 years 12 months ago
2003
Springer
In previous work we have investigated a notion of approximate bisimilarity for labelled Markov processes. We argued that such a notion is more realistic and more feasible to compu...
155
click to vote
GCC
2003
Springer
15 years 12 months ago
2003
Springer
Peer-to-peer networking is a hot buzzword that has been sweeping through the computing industry over the past year or so. Gnutella, as one of the first operational pure P2P systems...
140
click to vote
CA
2002
IEEE
15 years 11 months ago
2002
IEEE
One of the most important task in surgical simulation is the ability to cut volumetric organs. Several algorithms have already been described but none of them can actually maintai...
157
click to vote
IPPS
1996
IEEE
15 years 10 months ago
1996
IEEE
This paper introduces a graph-partitioning generic methodology for developing deadlock-free wormhole routing in an arbitrary network. Further extension allows partial cyclic depen...