Login / Signup
Towards amalgamating high-level synthesis and proof systems.
Mats Larsson
Published in:
Microprocess. Microprogramming (1994)
Keyphrases
</>
high level synthesis
distributed systems
management system
retrieval systems
computing systems
computer vision
image processing
optimal solution
intelligent systems
complex systems