Login / Signup

System-level modelling of dynamic reconfigurable designs using functional programming abstractions.

Bahram N. UchevlerKjetil SvarstadJan KuperChristiaan Baaij
Published in: ISQED (2013)
Keyphrases
  • functional programming
  • quantifier elimination
  • high level
  • object oriented programming
  • functional language
  • artificial intelligence
  • data warehouse
  • execution model