Displaying similar documents to “Quantitative Analysis for Symbolic Heap Bounds of CPS Software”

Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic

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....

Performance evaluation of MapReduce using full virtualisation on a departmental cloud

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...

GammaPolarSlicer

Sérgio Areias, Daniela da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto (2011)

Computer Science and Information Systems

Similarity: