Displaying similar documents to “An Overview of Some Truth Maintenance Systems”

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

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

Combination of mobile agent and evolutionary algorithm to optimize the client transport services

Hayfa Zgaya, Slim Hammadi, Khaled Ghédira (2008)

RAIRO - Operations Research

Similarity:

This paper presents a migration strategy for a set of mobile agents (MAs) in order to satisfy customers' requests in a transport network, through a multimodal information system. In this context, we propose an optimization solution which operates on two levels. The first one aims to constitute a set of MAs building their routes, called Workplans. At this level, Workplans must incorporate all nodes, representing information providers in the multimodal network, in order to explore it...

Application of a Java-based framework to parallel simulation of large-scale systems

Ewa Niewiadomska-Szynkiewicz, Maciej Żmuda, Maciej Żmuda (2003)

International Journal of Applied Mathematics and Computer Science

Similarity:

Large-scale systems, such as computer and telecommunication networks, complex control systems and many others, operate in inherently parallel environments. It follows that there are many opportunities to admit parallelism into both the algorithm of control implementation and simulation of the system operation considered. The paper addresses issues associated with the application of parallel discrete event simulation (PDES). We discuss the PDES terminology and methodology. Particular...

IctNeo system for jaundice management

C. Bielza, M. Gómez, S. Ríos-Insua, J. A. Fernández Del Pozo, P. García Barreno, S. Caballero, M. Sánchez Luna (1998)

Revista de la Real Academia de Ciencias Exactas Físicas y Naturales

Similarity:

Heuristic algorithms for optimization of task allocation and result distribution in peer-to-peer computing systems

Grzegorz Chmaj, Krzysztof Walkowiak, Michał Tarnawski, Michał Kucharzak (2012)

International Journal of Applied Mathematics and Computer Science

Similarity:

Recently, distributed computing system have been gaining much attention due to a growing demand for various kinds of effective computations in both industry and academia. In this paper, we focus on Peer-to-Peer (P2P) computing systems, also called public-resource computing systems or global computing systems. P2P computing systems, contrary to grids, use personal computers and other relatively simple electronic equipment (e.g., the PlayStation console) to process sophisticated computational...