238 search results - page 6 / 48 » Conflicts and Fair Testing |
105
click to vote
CAV
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We describe an interpolant-based approach to test generation and model checking for sequential programs. The method generates Floyd/Hoare style annotations of the program...
105
click to vote
ANOR
2008
15 years 1 months ago
2008
Abstract We consider the problem of coordinating the operations of two supply chain partners: a foreign shipping company and a domestic port. The two partners have conflicting busi...
122
click to vote
PPOPP
2009
ACM
16 years 2 months ago
2009
ACM
In Software Transactional Memory (STM), contention management refers to the mechanisms used to ensure forward progress-to avoid livelock and starvation, and to promote throughput ...
109
click to vote
GLOBECOM
2008
IEEE
15 years 2 months ago
2008
IEEE
—Conflict free spectrum allocation for secondary users in cognitive networks is a challenging problem, since the accessible spectrum is shared among users. The problem becomes to...
116
click to vote
ARGMAS
2006
Springer
15 years 3 months ago
2006
Springer
Social influences play an important part in the actions that an individual agent may perform within a multi-agent society. However, the incomplete knowledge and the diverse and co...