Login / Signup
A Formally-Verified Framework for Fair Synchronization in Kotlin Coroutines.
Nikita Koval
Dmitry Khalanskiy
Dan Alistarh
Published in:
CoRR (2021)
Keyphrases
</>
databases
special case
computational framework
real time
conceptual framework
computational model
main contribution
lightweight
semi supervised
probabilistic model
mobile robot
digital libraries
decision trees
feature selection
search engine
genetic algorithm
neural network
data sets