Login / Signup

Managing Complexity through Abstraction: A Refinement-Based Approach to Formalize Instruction Set Architectures.

Fangfang YuanStephen WrightKerstin EderDavid May
Published in: ICFEM (2011)
Keyphrases
  • instruction set
  • application specific
  • floating point
  • level parallelism
  • computer science
  • computational complexity
  • wireless sensor networks
  • computer architecture
  • memory subsystem