Lasagne: a static binary translator for weak memory model architectures.
Rodrigo C. O. RochaDennis SprokholtMartin FinkRedha GouicemTom SpinkSoham ChakrabortyPramod BhatotiaPublished in: PLDI (2022)
Keyphrases
- probabilistic model
- neural network model
- computational model
- analytical model
- information retrieval
- decision making
- high level
- objective function
- real time
- theoretical analysis
- theoretical framework
- mathematical model
- em algorithm
- prediction model
- formal model
- experimental data
- markov chain
- input data
- information systems
- neural network