3052 search results - page 11 / 611 » On the Verification of the Gravity Model Used for Mobility M... |
SIES
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract--Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which...
17
Voted
CSE
2009
IEEE
14 years 5 days ago
2009
IEEE
—We analyze the anonymous communication patterns of 2.5 million customers of a Belgian mobile phone operator. With these communications, we construct a social network of customer...
DAC
2008
ACM
14 years 8 months ago
2008
ACM
C++ based verification methodologies are now emerging as the preferred method for SOC design. However most of the verification involving the C++ models are simulation based. The c...
EOR
2010
13 years 7 months ago
2010
In the Attractive Traveling Salesman Problem the vertex set is partitioned into facility vertices and customer vertices. A maximum profit tour must be constructed on a subset of t...
AEI
1999
13 years 7 months ago
1999
Ensuring that the content of a rule-base, which is being encoded, is free from problems of consistency, completeness, and conciseness, is necessary to avoid any performance errors...