279 search results - page 56 / 56 » Invariant Patterns for Program Reasoning |
MSR
2006
ACM
13 years 11 months ago
2006
ACM
Various static analysis tools will analyze a software artifact in order to identify potential defects, such as misused APIs, race conditions and deadlocks, and security vulnerabil...
CGO
2009
IEEE
13 years 9 months ago
2009
IEEE
Message passing is a very popular style of parallel programming, used in a wide variety of applications and supported by many APIs, such as BSD sockets, MPI and PVM. Its importance...
BMCBI
2005
13 years 5 months ago
2005
Background: Good statistical models for analyzing and simulating multilocus recombination data exist but are not accessible to many biologists because their use requires reasonabl...
KDD
2012
ACM
11 years 8 months ago
2012
ACM
Multi-label learning arises in many real-world tasks where an object is naturally associated with multiple concepts. It is well-accepted that, in order to achieve a good performan...