• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

SPRINT: A Tool to Generate Concurrent Transaction-Level Models from Sequential Code.

Johan CockxKristof DenolfBart VanhoofRichard Stahl
Published in: EURASIP J. Adv. Signal Process. (2007)
Keyphrases
  • complex systems
  • database
  • probabilistic model
  • concurrent programs
  • information systems
  • prior knowledge
  • hidden markov models
  • process model
  • experimental data
  • program understanding