Sciweavers

3483 search results - page 307 / 697
» Forward
Sort
View
EUROPAR
2000
Springer
15 years 10 months ago
BitValue Inference: Detecting and Exploiting Narrow Bitwidth Computations
We present a compiler algorithm called BitValue, which can discover both unused and constant bits in dusty-deck C programs. BitValue uses forward and backward dataflow analyses, ge...
Mihai Budiu, Majd Sakr, Kip Walker, Seth Copen Gol...
PKC
2000
Springer
107views Cryptology» more  PKC 2000»
15 years 10 months ago
Some Remarks on a Fair Exchange Protocol
Fair exchange turns out to be an increasingly importanttopic due to the rapid growth of electronic commerce. An exchange is deemed to be fair if at the end of exchange, either each...
Jianying Zhou, Robert H. Deng, Feng Bao
RT
2000
Springer
15 years 10 months ago
Wavelet Warping
We present wavelet warping -- a new class of forward 3D warping algorithms for image-based rendering. In wavelet warping most of the warping operation is performed in the wavelet d...
Iddo Drori, Dani Lischinski
ICDCS
1995
IEEE
15 years 10 months ago
A Distributed K-Mutual Exclusion Algorithm
This paper presents a token-based K-mutual exchsion algorithm. The algorithm uses K tokens and a dynamic forest structure for each token. This structure is used to forward token r...
Shailaja Bulgannawar, Nitin H. Vaidya
ICSE
1995
IEEE-ACM
15 years 10 months ago
The World and the Machine
As software developers we are engineers because we make useful machines. We are concerned both with the world, in which the machine serves a useful purpose, and with the machine i...
Michael Jackson