This paper presents a taxonomy of parallel and distributed debug-gers based on execution replay. Programming of distributed and parallel systems is a complex task. Amongst the many factors contributing to this complexity, the nondeterminacy of these systems is an important one. Execution replay is a technique developed to facilitate the debugging of nondeterministic programs. Execution replay h...

In this paper we describe a method to search for environmental sounds in unstructured databases with user-submitted material. The goal of the project is to facilitate the design of soundscapes in virtual environments. We analyze the use of a Support Vector Machine (SVM) as a learning algorithm to classify sounds according to a general sound events taxonomy based on ecological acoustics. In our ...

Performance metrics and evaluation criteria are used to develop a novel taxonomy which classifies barrier mechanisms into categories ranging from simple Static-Binding Idle-Tasking (SBIT) methods to robust Dynamic-Binding Any-Tasking (DBAT) methods. Such capabilities include support for multiple barriers, reconfigurable and reusable synchronization resources, and provisions for dynamic process...

This paper presents a novel approach for inducing lexical taxonomies automatically from text. We recast the learning problem as that of inferring a hierarchy from a graph whose nodes represent taxonomic terms and edges their degree of relatedness. Our model takes this graph representation as input and fits a taxonomy to it via combination of a maximum likelihood approach with a Monte Carlo Samp...

In this study we address the problem of answering queries over a peer-to-peer system of taxonomybased sources. A taxonomy states subsumption relationships between negation-free DNF formulas on terms and negation-free conjunctions of terms. To the end of laying the foundations of our study, we first consider the centralized case, deriving the complexity of the decision problem and of query evalu...

This paper describes a semantic search tool based on our experience in using a new lexical domain ontology for aerospace integrated with an open source general purpose ontology to support aerospace engineers in the timely semantic retrieval of the knowledge. The semantic search module represents an integrated tool dedicated to the semantic search, extraction and classification of information an...

This paper addresses the problem of how to construct re-nements of speciications formally and incrementally. The key idea is to use a taxonomy of abstract design concepts, each represented by a design theory. An abstract design concept is applied by constructing a speciication morphism from its design theory to a requirement specii-cation. Procedures for propagating constraints, computing colim...

The building block hypothesis implies that the epistatic property of a given problem must be connected well to the linkage property of the employed representation and crossover operator in the design of genetic algorithms. A good handling of building blocks has much to do with topological linkages of genes in the chromosome. In this paper, we provide a taxonomy of the approaches that exploit to...

Association rules (AR) are a class of patterns which describe regularities in a set of transactions. When items of transactions are organized in a taxonomy, AR can be associated with a level of the taxonomy since they contain only items at that level. A drawback of multiple level AR mining is represented by the generation of redundant rules which do not add further information to that expressed...

The sharing of association rules is often beneficial in industry, but requires privacy safeguards. One may decide to disclose only part of the knowledge and conceal strategic patterns which we call restrictive rules. These restrictive rules must be protected before sharing since they are paramount for strategic decisions and need to remain private. To address this challenging problem, we propos...