3639 search results - page 446 / 728 » Experiments on IPv6 Testing |
101
click to vote
ICCAD
2005
IEEE
15 years 12 months ago
2005
IEEE
The presence of unknown values in the simulation result is a key barrier to effective output response compaction in practice. This paper proposes a simple circuit module, called a...
106
click to vote
ICCAD
2002
IEEE
15 years 12 months ago
2002
IEEE
Within the verification community, there has been a recent increase in interest in Quantified Boolean Formula evaluation (QBF) as many interesting sequential circuit verification ...
152
click to vote
SOSP
2003
ACM
15 years 12 months ago
2003
ACM
The LOCKSS project has developed and deployed in a worldwide test a peer-to-peer system for preserving access to journals and other archival information published on the Web. It c...
130
click to vote
IUI
2009
ACM
15 years 12 months ago
2009
ACM
We present a novel image classification technique for detecting multiple objects (called subobjects) in a single image. In addition to image classifiers, we apply spatial relati...
102
click to vote
ESSOS
2010
Springer
15 years 12 months ago
2010
Springer
Protecting users in the ubiquitous online world is becoming more and more important, as shown by web application security – or the lack thereof – making the mainstream news. On...