Login / Signup
Verifying the performance of the PCI local bus using symbolic techniques.
Sérgio Vale Aguiar Campos
Edmund M. Clarke
Wilfredo R. Marrero
Marius Minea
Published in:
ICCD (1995)
Keyphrases
</>
high speed
model checking
symbolic representation
neural network
connectionist learning
neural learning
high level
data acquisition
direct memory access
symbolic reasoning
connectionist models
connectionist networks
face recognition
case study
computer vision
search engine
artificial intelligence