1528 search results - page 45 / 306 » Performance Assertion Checking |
195
click to vote
ATVA
2011
Springer
14 years 2 months ago
2011
Springer
Even though the well-known nested-depth first search algorithm for LTL model checking provides good performance, it cannot benefit from the recent advent of multi-core computers....
118
click to vote
INFOCOM
2007
IEEE
15 years 8 months ago
2007
IEEE
—In recent literature, network coding has emerged as a promising information theoretic approach to improve the performance of both peer-to-peer and wireless networks. It has been...
128
click to vote
RTAS
2006
IEEE
15 years 8 months ago
2006
IEEE
A notable features of many proposed Wireless Sensor Networks (WSNs) deployments is their scale: hundreds to thousands of nodes linked together. In such systems, modeling the state...
132
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Max Restricted Path Consistency (maxRPC) is a local consistency for binary constraints that can achieve considerably stronger pruning than arc consistency. However, existing maxRPC...
127
click to vote
COMPSAC
2008
IEEE
15 years 8 months ago
2008
IEEE
Component-Based Development (CBD) of software, with its successes in enterprise computing, has the promise of being a good development model due to its cost effectiveness and pote...