Login / Signup

Increasing the size of atomic instruction blocks using control flow assertions.

Sanjay J. PatelTony TungSatarupa BoseMatthew M. Crum
Published in: MICRO (2000)
Keyphrases
  • control flow
  • data flow
  • memory hierarchy
  • block size
  • process model
  • variable size
  • data sets
  • databases
  • decision trees
  • training data
  • modeling language
  • software testing
  • reactive systems
  • transition systems