Sciweavers

9507 search results - page 13 / 1902
» Time-based language models
Sort
View
97
Voted
ERLANG
2009
ACM
15 years 9 months ago
Recent improvements to the McErlang model checker
Clara Benac Earle, Lars-Åke Fredlund
91
Voted
ASPLOS
2010
ACM
15 years 9 months ago
Implementing the PGI Accelerator model
Michael Wolfe
102
Voted
ESOP
2007
Springer
15 years 9 months ago
The Java Memory Model: Operationally, Denotationally, Axiomatically
Pietro Cenciarelli, Alexander Knapp, Eleonora Sibi...