944 search results - page 163 / 189 » A Survey on Counting Networks |
118
click to vote
CAP
2010
14 years 9 months ago
2010
Binary Decision Diagrams (BDDs) are widely used in formal verification. They are also widely known for consuming large amounts of memory. For larger problems, a BDD computation wi...
133
click to vote
COMPSAC
2011
IEEE
14 years 1 months ago
2011
IEEE
Abstract—Statistical fault localization techniques find suspicious faulty program entities in programs by comparing passed and failed executions. Existing studies show that such ...
101
click to vote
LOCA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. There is increasing interest in location-aware systems and applications. It is important for any designer of such systems and applications to understand the nature of use...
114
click to vote
CCR
2002
15 years 1 months ago
2002
This paper outlines our experience with the implementation and deployment of two MANET routing protocols on a five node, four hop, network. The work was prompted by the lack of pu...
100
click to vote
TON
2002
15 years 1 months ago
2002
In this paper we introduce and investigate a new" path optimization problem which we denote as the All Hops Optimal Path AHOP problem. The problem involves identifying, for a...