Sciweavers

1966 search results - page 394 / 394
» Data Types In Computational Phonology
Sort
View
POPL
2011
ACM
12 years 8 months ago
Safe nondeterminism in a deterministic-by-default parallel language
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...
Robert L. Bocchino Jr., Stephen Heumann, Nima Hona...