Sciweavers

9507 search results - page 13 / 1902
» Time-based language models
Sort
View
ERLANG
2009
ACM
15 years 4 months ago
Recent improvements to the McErlang model checker
Clara Benac Earle, Lars-Åke Fredlund
ESOP
2007
Springer
15 years 3 months ago
The Java Memory Model: Operationally, Denotationally, Axiomatically
Pietro Cenciarelli, Alexander Knapp, Eleonora Sibi...