] Filters: Taxonomy Term is Journals and Year is 2016 [Clear All Filters]
, "On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores", in Theory and Practice of Logic Programming, Special issue for 32nd International Conference on Logic Programming (ICLP 2016), vol. 16, pp.899–915 , October 2016.
, "Declarative Coordination of Graph-Based Parallel Programs", in ACM SIGPLAN Notices -- PPoPP 2016 (Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming), ACM, vol. 51, pp.Article nº 4, March 2016.
, "Discovery of "comet" communities in temporal and labeled graphs COM2", in Knowledge and Information Systems, vol. 46, pp.657–677, March 2016.
, "Distinguishing Two Probability Ensembles with One Sample from each Ensemble", in Theory of Computing Systems, vol. 59, pp.517–531, March 2016.
, "A Lock-Free Hash Trie Design for Concurrent Tabled Logic Programs", in International Journal of Parallel Programming, Springer US, vol. 44, pp.386–406, June 2016.
, "Relational Learning with GPUs: Accelerating Rule Coverage", in International Journal of Parallel Programming, Springer US, vol. 44, pp.663–685, June 2016.
, "A Safe-By-Design Programming Language for Wireless Sensor Networks", in Journal of Systems Architecture, vol. 63, pp.16–32, February 2016.
, "Gamification of Learning Activities with the Odin service", in Computer Science and Information Systems, vol. 13, pp.809–826, 2016.
, "Hash-chain-based authentication for IoT", in Advances in Distributed Computing and Artificial Intelligence Journal, Salamanca University Press, vol. 5, pp.43–57, 2016.
, "Report on FSCD 2016: 1st International Conference on Formal Structures for Computation and Deduction", in SIGLOG News, vol. 3, pp.50–54, 2016.