4029 search results - page 641 / 806 » Experience with Software Watermarking |
79
Voted
DSN
2002
IEEE
15 years 3 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
88
Voted
IPPS
2002
IEEE
15 years 3 months ago
2002
IEEE
Multiple memory module architecture enjoys higher memory access bandwidth and thus higher performance. Two key problems in gaining high performance in this kind of architecture ar...
85
Voted
ISCAS
2002
IEEE
15 years 3 months ago
2002
IEEE
Multiple memory module architecture offers higher performance by providing potentially doubled memory bandwidth. Two key problems in gaining high performance in this kind of archi...
80
Voted
WMTE
2002
IEEE
15 years 3 months ago
2002
IEEE
Our research aims at defining models and software tools in order to provide learners with a training memory. This memory is a computer-based space where a learner can organize and...
94
Voted
SIGMOD
2010
ACM
15 years 3 months ago
2010
ACM
It is amazingly easy to get meaningless results when measuring flash devices, partly because of the peculiarity of flash memory, but primarily because their behavior is determin...