Login / Signup
Specification-Based Test Program Generation for ARM VMSAv8-64 Memory Management Units.
Mikhail M. Chupilko
Alexander S. Kamkin
Artem Kotsynyak
Alexander Protsenko
Sergey A. Smolov
Andrei Tatarnikov
Published in:
MTV (2015)
Keyphrases
</>
memory management
operating system
test cases
hardware implementation
test suite
garbage collection
data structure
multi dimensional
parallel processing
software testing
deductive databases
program execution
control flow
parallel computation
database
general purpose
data warehouse
computer vision