66 search results - page 14 / 14 » Hybrid Multiagent Systems with Timed Synchronization - Speci... |
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...