Search Sciweavers | Sciweavers

15254 search results - page 375 / 3051

» A k

135

click to vote

FMCAD
1998
Springer

85views Formal Methods» more FMCAD 1998»

An Assume-Guarantee Rule for Checking Simulation

15 years 11 months ago

Download network.ku.edu.tr

Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajama...

claim paper

Read More »

142

click to vote

ASYNC
1997
IEEE

85views Hardware» more ASYNC 1997»

A FIFO Ring Performance Experiment

15 years 11 months ago

Download labs.oracle.com

Charles E. Molnar, Ian W. Jones, William S. Coates...

claim paper

Read More »

154

click to vote

CVPR
1997
IEEE

116views Computer Vision» more CVPR 1997»

Rational Discrete Generalized Cylinders and their Application to Shape Recovery in Medical Images

15 years 11 months ago

Download www.cis.uab.edu

James P. Williams, Lawrence B. Wolff, John K. John...

claim paper

Read More »

129

click to vote

DCC
1997
IEEE

89views Computer Graphics» more DCC 1997»

Universal Transform Coding Based on Backward Adaptation

15 years 11 months ago

Download www.rle.mit.edu

Vivek K. Goyal, Jun Zhuang, Martin Vetterli

claim paper

Read More »

142

click to vote

MAS
1998
Springer

94views Communications» more MAS 1998»

The Safe-Tcl Security Model

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers