Login / Signup
Using C-XSC for High Performance Verified Computing.
Walter Krämer
Michael Zimmer
Werner Hofschuster
Published in:
PARA (2) (2010)
Keyphrases
</>
computer vision
data analysis
data intensive
high level
cooperative
low cost
probabilistic model
special case
information technology
preprocessing
object recognition
database
learning environment
website
search engine
genetic algorithm
neural network