11 search results - page 3 / 3 » Synchronizing Cardinality-Based Feature Models and Their Spe... |
POPL
2011
ACM
12 years 8 months ago
2011
ACM
A number of deterministic parallel programming models with strong safety guarantees are emerging, but similar support for nondeterministic algorithms, such as branch and bound sea...