1727 search results - page 121 / 346 » A Technique for Large Automated Mechanism Design Problems |
173
click to vote
USENIX
2008
15 years 8 months ago
2008
Network emulation is valuable largely because of its ability to study applications running on real hosts and "somewhat real" networks. However, conservatively allocating...
173
click to vote
COMPGEOM
2006
ACM
16 years 13 days ago
2006
ACM
We investigate a new class of geometric problems based on the idea of online error correction. Suppose one is given access to a large geometric dataset though a query mechanism; f...
166
click to vote
DATE
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper addresses the problem of efficient functional simulation of synchronous digital systems. A technique based on the use of Decision Diagrams (DD) for representing the fun...
187
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
Trends in the semiconductor industry towards extensive design and code reuse motivate a need for adequate Intellectual Property Protection (IPP) schemes. We offer a new general IP...
175
click to vote
DAC
2010
ACM
15 years 9 months ago
2010
ACM
Post-silicon validation is used to detect and fix bugs in integrated circuits and systems after manufacture. Due to sheer design complexity, it is nearly impossible to detect and ...