Reasoning about SMP in FreeBSD.

Published in: BSDCon (2003)

Keyphrases

parallel algorithm
qualitative reasoning
spatial reasoning
formal theory
neural network
real world
practical reasoning
artificial intelligence
social networks
computer vision
image processing
website
three dimensional
relational databases
probabilistic model
massively parallel