Sciweavers

29152 search results - page 331 / 5831
» A Model of Computation for MapReduce
Sort
View
ASM
2010
ASM
15 years 8 months ago
AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications
Paolo Arcaini, Angelo Gargantini, Elvinia Riccoben...
CIE
2008
Springer
15 years 8 months ago
Adversarial Scheduling Analysis of Game-Theoretic Models of Norm Diffusion
Gabriel Istrate, Madhav V. Marathe, S. S. Ravi