1307 search results - page 21 / 262 » Follow the intellectual property |
CIE
2008
Springer
15 years 1 months ago
2008
Springer
We study the shrinking and separation properties (two notions well-known in descriptive set theory) for NP and coNP and show that under reasonable complexity-theoretic assumptions...
WINE
2009
Springer
15 years 6 months ago
2009
Springer
Following up on the work of Megiddo and Vazirani [10], who determined continuity properties of equilibrium prices and allocations for perhaps the simplest market model, Fisher’s ...
DAC
2000
ACM
15 years 4 months ago
2000
ACM
In many modern designs, timing is either a key optimization goal and/or a mandatory constraint. We propose the first intellectual property protection technique using watermarking ...
DAC
1999
ACM
15 years 4 months ago
1999
ACM
We present a methodology for the watermarking of synchronous sequential circuits that makes it possible to identify the authorship of designs by imposing a digital watermark on th...
130
click to vote
EMSOFT
2008
Springer
15 years 1 months ago
2008
Springer
Runtime property checking (as implemented in tools like Purify or Valgrind) checks whether a program execution satisfies a property. Active property checking extends runtime check...