Integer Range Analysis for Whiley on Embedded Systems.

David J. Pearce

Published in: ISORC Workshops (2015)

Keyphrases

embedded systems
embedded devices
resource limited
low cost
artificial intelligence
data structure
relational databases
computing power
field programmable gate array