| |
Reviews about "Modes Of Computation (F.1.2)":
|
Date Reviewed |
Conditioning in probabilistic programming
Olmedo F., Gretz F., Jansen N., Kaminski B., Katoen J., Mciver A. ACM Transactions on Programming Languages and Systems 40(1): 1-50, 2018. Type: Article
|
Jun 13 2018 |
Discrete probability models and methods: probability on graphs and trees, Markov chains and random fields, entropy and coding
Brémaud P., Springer International Publishing, New York, NY, 2017. 559 pp. Type: Book (978-3-319434-75-9)
|
Feb 21 2018 |
An introduction to online computation: determinism, randomization, advice
Komm D., Springer International Publishing, New York, NY, 2016. 349 pp. Type: Book (978-3-319427-47-8)
|
Oct 3 2017 |
A survey on thread-level speculation techniques
Estebanez A., Llanos D., Gonzalez-Escribano A. ACM Computing Surveys 49(2): 1-39, 2016. Type: Article
|
Sep 2 2016 |
Semantics of probabilistic processes: an operational approach
Deng Y., Springer Publishing Company, Incorporated, New York, NY, 2015. 249 pp. Type: Book (978-3-662451-97-7)
|
Oct 20 2015 |
The BonaFide C analyzer: automatic loop-level characterization and coverage measurement
Aldea S., Llanos D., Gonzalez-Escribano A. The Journal of Supercomputing 68(3): 1378-1401, 2014. Type: Article
|
Jul 13 2015 |
Parallel actor monitors: disentangling task-level parallelism from data partitioning in the actor model
Scholliers C., Tanter E., De Meuter W. Science of Computer Programming 8052-64, 2014. Type: Article
|
Apr 4 2014 |
more...
|
|
|
|
