Login / Signup
SPRINT: A Tool to Generate Concurrent Transaction-Level Models from Sequential Code.
Johan Cockx
Kristof Denolf
Bart Vanhoof
Richard 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