Feature Diagram Formalization Based on Directed Hypergraphs
Miguel A. Laguna, José M. Marqués, Guillermo Rodríguez-Cano (2011)
Computer Science and Information Systems
Similarity:
Miguel A. Laguna, José M. Marqués, Guillermo Rodríguez-Cano (2011)
Computer Science and Information Systems
Similarity:
Adam Meissner (2011)
International Journal of Applied Mathematics and Computer Science
Similarity:
A computation rule determines the order of selecting premises during an inference process. In this paper we empirically analyse three particular computation rules in a tableau-based, parallel reasoning system for the ALC description logic, which is built in the relational programming model in the Oz language. The system is constructed in the lean deduction style, namely, it has the form of a small program containing only basic mechanisms, which assure soundness and completeness of reasoning....
Horacio González-Vélez, Maryam Kontagora (2011)
International Journal of Applied Mathematics and Computer Science
Similarity:
This work analyses the performance of Hadoop, an implementation of the MapReduce programming model for distributed parallel computing, executing on a virtualisation environment comprised of 1 + 16 nodes running the VMWare workstation software. A set of experiments using the standard Hadoop benchmarks has been designed in order to determine whether or not significant reductions in the execution time of computations are experienced when using Hadoop on this virtualisation platform on a...
Mladen Stanojević, Dušan Velašević (1995)
The Yugoslav Journal of Operations Research
Similarity:
Popovici, Mircea (2001)
Analele Ştiinţifice ale Universităţii “Ovidius" Constanţa. Seria: Matematică
Similarity:
Sérgio Areias, Daniela da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto (2011)
Computer Science and Information Systems
Similarity:
Ricardo Dias, João Lourenço, Gonçalo Cunha (2008)
Computer Science and Information Systems
Similarity:
Ivan Luković, Aleksandar Popović, Jovo Mostić, Sonja Ristić (2010)
Computer Science and Information Systems
Similarity:
Zoran Djurić, Miodrag Manić (2003)
The Yugoslav Journal of Operations Research
Similarity:
Jiří Vaníček (1997)
Kybernetika
Similarity: