4029 search results - page 456 / 806 » Experience with Software Watermarking |
199
click to vote
SPIN
2009
Springer
16 years 1 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
186
click to vote
ACMSE
2009
ACM
16 years 1 months ago
2009
ACM
Most modern microprocessor-based systems provide support for superpages both at the hardware and software level. Judicious use of superpages can significantly cut down the number...
165
click to vote
C3S2E
2009
ACM
16 years 1 months ago
2009
ACM
The integer least squares problem arises from many applications such as communications, cryptography, and GPS. In this paper, we consider the sphere decoding method in communicati...
157
click to vote
SYSTOR
2009
ACM
16 years 1 months ago
2009
ACM
Apache is a large-scale industrial multi-process and multithreaded application, which uses lock-based synchronization. We report on our experience in modifying Apache’s cache mo...
138
click to vote
CODES
2008
IEEE
16 years 1 months ago
2008
IEEE
Architectures with software-writable parameters, or configurable architectures, enable runtime reconfiguration of computing platforms to the applications they execute. Such dynami...