5525 search results - page 1005 / 1105 » Verification of Model Transformations |
101
click to vote
ICCAD
2000
IEEE
15 years 5 months ago
2000
IEEE
In this paper, we propose an approach for the analysis of power supply noise in the frequency domain for power/ground (P/G) networks of tree topologies. We model the P/G network a...
81
Voted
ICPR
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper presents a new method for the incremental integration of overlapped range images. It is assumed thatframe transformations between all pairs of views can be reliably com...
113
click to vote
IPPS
2000
IEEE
15 years 5 months ago
2000
IEEE
Effective utilization of cache memories is a key factor in achieving high performance in computing the Discrete Fourier Transform (DFT). Most optimizationtechniques for computing ...
94
Voted
SIGMETRICS
2000
ACM
15 years 5 months ago
2000
ACM
In this paper we analyze the performance of a TCP-like flow control in a lossy environment. The transmission rate in the control scheme that we consider has a linear growth rate;...
CRYPTO
2000
Springer
15 years 5 months ago
2000
Springer
We investigate the all-or-nothing encryption paradigm which was introduced by Rivest as a new mode of operation for block ciphers. The paradigm involves composing an all-or-nothing...