1844 search results - page 330 / 369 » Exploiting the Structure of Distributed Constraint Optimizat... |
CN
1999
14 years 11 months ago
1999
An optimization method is introduced for generating minimum-length test sequences taking into account timing constraints for FSM models of communication protocols. Due to active t...
124
click to vote
MM
2009
ACM
15 years 3 months ago
2009
ACM
Following the exponential growth of social media, there now exist huge repositories of videos online. Among the huge volumes of videos, there exist large numbers of near-duplicate...
108
click to vote
SCP
2010
14 years 9 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
102
Voted
SECON
2008
IEEE
15 years 5 months ago
2008
IEEE
—Many sensing systems remotely monitor/measure an environment at several sites, and then report these observations to a central site. We propose and investigate several practical...
115
click to vote
ICCAD
1999
IEEE
15 years 3 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...