Provably-Correct, Behavioural High-Level Synthesis of Program Accelerators via the Web.

Michael F. Dossis

Published in: J. Next Gener. Inf. Technol. (2010)

Keyphrases

provably correct
high level synthesis
website
web pages
web applications
formal methods
situation calculus
artificial intelligence
graphical models
computing systems
natural language
interval arithmetic