Sciweavers

15254 search results - page 375 / 3051
» A k
Sort
View
FMCAD
1998
Springer
15 years 11 months ago
An Assume-Guarantee Rule for Checking Simulation
Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajama...
ASYNC
1997
IEEE
85views Hardware» more  ASYNC 1997»
15 years 11 months ago
A FIFO Ring Performance Experiment
Charles E. Molnar, Ian W. Jones, William S. Coates...
174
Voted
CVPR
1997
IEEE
15 years 11 months ago
Rational Discrete Generalized Cylinders and their Application to Shape Recovery in Medical Images
James P. Williams, Lawrence B. Wolff, John K. John...
DCC
1997
IEEE
15 years 11 months ago
Universal Transform Coding Based on Backward Adaptation
Vivek K. Goyal, Jun Zhuang, Martin Vetterli
157
Voted
MAS
1998
Springer
15 years 11 months ago
The Safe-Tcl Security Model
John K. Ousterhout, Jacob Y. Levy, Brent B. Welch