408 search results - page 59 / 82 » Evaluation of SystemC Modelling of Reconfigurable Embedded S... |
139
Voted
QEST
2005
IEEE
15 years 9 months ago
2005
IEEE
We consider bisimulation and weak bisimulation relations in the context of the Labeled Markov Chains of Hansson and Jonsson, the Concurrent Labeled Markov Chains of Philippou, Lee...
128
Voted
SIGMETRICS
2004
ACM
15 years 9 months ago
2004
ACM
This paper develops and evaluates new share-based scheduling algorithms for differentiated service quality in network services, such as network storage servers. This form of resou...
133
Voted
TIP
2002
15 years 3 months ago
2002
Abstract-- We present a perceptual model for hiding a spreadspectrum watermark of variable amplitude and density in an image. The model takes into account the sensitivity and maski...
137
Voted
TPHOL
1999
IEEE
15 years 8 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
126
Voted
CVPR
1999
IEEE
15 years 8 months ago
1999
IEEE
We formulate stereo matching as an extremal surface extraction problem. This is made possible by embedding the disparity surface inside a volume where the surface is composed of v...