Sciweavers

7040 search results - page 1237 / 1408
» The Single Model Principle
Sort
View
FTCS
1993
94views more  FTCS 1993»
15 years 7 months ago
Balance Testing of Logic Circuits
We present a new test response compression method called cumulative balance testing (CBT)that extends both balance testing and accumulatorcompression testing. CBT uses an accumulat...
Krishnendu Chakrabarty, John P. Hayes
OSDI
1996
ACM
15 years 7 months ago
Online Data-Race Detection via Coherency Guarantees
We present the design and evaluation of an on-thefly data-race-detection technique that handles applications written for the lazy release consistent (LRC) shared memory model. We ...
Dejan Perkovic, Peter J. Keleher
IJCAI
1989
15 years 7 months ago
The Reason for the Benefits of Minimax Search
based on an abstract concept of quiescence. In the following we sketch this and a related model, describe the design of our experiments, and present the results of our simulation s...
Anton Scheucher, Hermann Kaindl
CRYPTO
2010
Springer
201views Cryptology» more  CRYPTO 2010»
15 years 7 months ago
Protecting Cryptographic Keys against Continual Leakage
Side-channel attacks have often proven to have a devastating effect on the security of cryptographic schemes. In this paper, we address the problem of storing cryptographic keys a...
Ali Juma, Yevgeniy Vahlis
CIVR
2008
Springer
141views Image Analysis» more  CIVR 2008»
15 years 7 months ago
Experiments in interactive video search by addition and subtraction
We have developed an interactive video search system that allows the searcher to rapidly assess query results and easily pivot off those results to form new queries. The system i...
John Adcock, Matthew L. Cooper, Jeremy Pickens
« Prev « First page 1237 / 1408 Last » Next »