CRACS Publicatons

Export 10 results:
Sort by: Author Title [ Year  (Desc)]
Filters: Taxonomy Term is Journals and Year is 2016  [Clear All Filters]
João Santos and Ricardo Rocha, "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.
Flávio Cruz and Ricardo Rocha and Seth C. Goldstein, "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.
Miguel Araújo and Stephan Guennemann and Spiros Papadimitriou and Christos Faloutsos and Prithwish Basu et al., "Discovery of "comet" communities in temporal and labeled graphs COM2", in Knowledge and Information Systems, vol. 46, pp.657–677, March 2016.
Miguel Areias and Ricardo Rocha, "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.
Carlos A. Martínez-Angeles and Haicheng Wu and Inês Dutra and Vítor Santos Costa and Jorge Buenabad-Chávez, "Relational Learning with GPUs: Accelerating Rule Coverage", in International Journal of Parallel Programming, Springer US, vol. 44, pp.663–685, June 2016.
Luís Lopes and Francisco Martins, "A Safe-By-Design Programming Language for Wireless Sensor Networks", in Journal of Systems Architecture, vol. 63, pp.16–32, February 2016.
José Carlos Paiva and José Paulo Leal and Ricardo Queirós, "Gamification of Learning Activities with the Odin service", in Computer Science and Information Systems, vol. 13, pp.809–826, 2016.
António Pinto and Ricardo Costa, "Hash-chain-based authentication for IoT", in Advances in Distributed Computing and Artificial Intelligence Journal, Salamanca University Press, vol. 5, pp.43–57, 2016.