Sciweavers

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