Results 1  10
of
109
Detecting Causal Relationships in Distributed Computations: In Search of the Holy Grail
 In search of the holy grail. Distributed Computing
, 1994
"... : The paper shows that characterizing the causal relationship between significant events is an important but nontrivial aspect for understanding the behavior of distributed programs. An introduction to the notion of causality and its relation to logical time is given; some fundamental results conce ..."
Abstract

Cited by 204 (4 self)
 Add to MetaCart
: The paper shows that characterizing the causal relationship between significant events is an important but nontrivial aspect for understanding the behavior of distributed programs. An introduction to the notion of causality and its relation to logical time is given; some fundamental results concerning the characterization of causality are presented. Recent work on the detection of causal relationships in distributed computations is surveyed. The issue of observing distributed computations in a causally consistent way and the basic problems of detecting global predicates are discussed. To illustrate the major difficulties, some typical monitoring and debugging approaches are assessed, and it is demonstrated how their feasibility is severely limited by the fundamental problem to master the complexity of causal relationships. Keywords: Distributed Computation, Causality, Distributed System, Causal Ordering, Logical Time, Vector Time, Global Predicate Detection, Distributed Debugging, ...
Static Scheduling Algorithms for Allocating Directed Task Graphs to Multiprocessors
, 1999
"... Devices]: Modes of ComputationParallelism and concurrency General Terms: Algorithms, Design, Performance, Theory Additional Key Words and Phrases: Automatic parallelization, DAG, multiprocessors, parallel processing, software tools, static scheduling, task graphs This research was supported ..."
Abstract

Cited by 204 (4 self)
 Add to MetaCart
Devices]: Modes of ComputationParallelism and concurrency General Terms: Algorithms, Design, Performance, Theory Additional Key Words and Phrases: Automatic parallelization, DAG, multiprocessors, parallel processing, software tools, static scheduling, task graphs This research was supported by the Hong Kong Research Grants Council under contract numbers HKUST 734/96E, HKUST 6076/97E, and HKU 7124/99E. Authors' addresses: Y.K. Kwok, Department of Electrical and Electronic Engineering, The University of Hong Kong, Pokfulam Road, Hong Kong; email: ykwok@eee.hku.hk; I. Ahmad, Department of Computer Science, The Hong Kong University of Science and Technology, Clear Water Bay, Hong Kong. Permission to make digital / hard copy of part or all of this work for personal or classroom use is granted without fee provided that the copies are not made or distributed for profit or commercial advantage, the copyright notice, the title of the publication, and its date appear, and notice is given that copying is by permission of the ACM, Inc. To copy otherwise, to republish, to post on servers, or to redistribute to lists, requires prior specific permission and / or a fee. 2000 ACM 03600300/99/12000406 $5.00 ACM Computing Surveys, Vol. 31, No. 4, December 1999 1.
Complexity and Algorithms for Reasoning About Time: A GraphTheoretic Approach
, 1992
"... Temporal events are regarded here as intervals on a time line. This paper deals with problems in reasoning about such intervals when the precise topological relationship between them is unknown or only partially specified. This work unifies notions of interval algebras in artificial intelligence ..."
Abstract

Cited by 86 (11 self)
 Add to MetaCart
Temporal events are regarded here as intervals on a time line. This paper deals with problems in reasoning about such intervals when the precise topological relationship between them is unknown or only partially specified. This work unifies notions of interval algebras in artificial intelligence with those of interval orders and interval graphs in combinatorics. The satisfiability, minimal labeling, all solutions and all realizations problems are considered for temporal (interval) data. Several versions are investigated by restricting the possible interval relationships yielding different complexity results. We show that even when the temporal data comprises of subsets of relations based on intersection and precedence only, the satisfiability question is NPcomplete. On the positive side, we give efficient algorithms for several restrictions of the problem. In the process, the interval graph sandwich problem is introduced, and is shown to be NPcomplete. This problem is als...
Tractability of Parameterized Completion Problems on Chordal, Strongly Chordal and Proper Interval Graphs
, 1994
"... We study the parameterized complexity of three NPhard graph completion problems. The MINIMUM FILLIN problem is to decide if a graph can be triangulated by adding at most k edges. We develop O(c m) and O(k mn + f(k)) algorithms for this problem on a graph with n vertices and m edges. Here f(k ..."
Abstract

Cited by 40 (5 self)
 Add to MetaCart
We study the parameterized complexity of three NPhard graph completion problems. The MINIMUM FILLIN problem is to decide if a graph can be triangulated by adding at most k edges. We develop O(c m) and O(k mn + f(k)) algorithms for this problem on a graph with n vertices and m edges. Here f(k) is exponential in k and the constants hidden by the bigO notation are small and do not depend on k. In particular, this implies that the problem is fixedparameter tractable (FPT). The PROPER
Utility Representation of an Incomplete Preference Relation
 Journal of Economic Theory
, 2002
"... We consider the problem of representing a (possibly) incomplete preference relation by means of a vectorvalued utility function. Continuous and semicontinuous representation results are reported in the case of preference relations that are, in a sense, not “too incomplete. ” These results generaliz ..."
Abstract

Cited by 38 (4 self)
 Add to MetaCart
We consider the problem of representing a (possibly) incomplete preference relation by means of a vectorvalued utility function. Continuous and semicontinuous representation results are reported in the case of preference relations that are, in a sense, not “too incomplete. ” These results generalize some of the classical utility representation theorems of the theory of individual choice, and paves the way towards developing a consumer theory that realistically allows individuals to exhibit some “indecisiveness ” on occasion.
Preferences for multiattributed alternatives: Traces, Dominance, and Numerical Representations
 JOURNAL OF MATHEMATICAL PSYCHOLOGY
, 2002
"... This paper analyzes conjoint measurement models allowing for intransitive and/or incomplete preferences. This analysis is based on the study of marginal traces induced on coordinates by the preference relation and uses conditions guaranteeing that these marginal traces are complete. Within the ..."
Abstract

Cited by 25 (14 self)
 Add to MetaCart
This paper analyzes conjoint measurement models allowing for intransitive and/or incomplete preferences. This analysis is based on the study of marginal traces induced on coordinates by the preference relation and uses conditions guaranteeing that these marginal traces are complete. Within the
Wavelength assignment and generalized interval graph coloring
 In Proceedings of the 14th Annual ACMSIAM Symposium on Discrete Algorithms
, 2003
"... Abstract In this paper we study wavelength assignment on an optical linesystem without wavelength conversion. Consider a set of undirected demands along the line. Each demand is carried on a wavelength and any two overlapping demands require distinct wavelengths. Suppose _ wavelengths are available ..."
Abstract

Cited by 25 (4 self)
 Add to MetaCart
Abstract In this paper we study wavelength assignment on an optical linesystem without wavelength conversion. Consider a set of undirected demands along the line. Each demand is carried on a wavelength and any two overlapping demands require distinct wavelengths. Suppose _ wavelengths are available in the system. We define `(e), the load on link e, to be the smallest integer such that `(e) _ is at least the number of demands passing through e. Hence, `(e) is the minimum number of fibers required on e in order to support all demands. We present a polynomialtime wavelength assignment algorithm that guarantees each wavelength appears at most `(e) times on each link e. (This generalizes the wellknown fact that interval graphs are perfect.) In the presence of MOADMs (mesh optical add/drop multiplexers), devices that multiplex distinct wavelengths from different fibers into a new fiber, we only need to deploy `(e) fibers per link. On the other hand, if each demand has to stay on a single fiber, as is the case without MOADMs, we show that some links may require more than `(e) fibers. In fact, we show that it is NPcomplete to decide if a set of demands can be carried on a given set of fibers, or if there exists a set of fibers with a given total length that can carry all the demands.
An Introduction to Hyperplane Arrangements
 Lecture notes, IAS/Park City Mathematics Institute
, 2004
"... ..."
From decision theory to decision aiding methodology (my very personal version of this history and some related reflections)
, 2003
"... ..."
On Interprocess Communication and the Implementation of MultiWriter Atomic Registers
, 1995
"... Two protocols for implementing nwriter mreader atomic registers with 1writer mreader atomic registers are described. In order to give complete proofs, a theory of interprocess communication is presented rst. The correctness of a protocol that implements an atomic register is proved here in t ..."
Abstract

Cited by 17 (7 self)
 Add to MetaCart
Two protocols for implementing nwriter mreader atomic registers with 1writer mreader atomic registers are described. In order to give complete proofs, a theory of interprocess communication is presented rst. The correctness of a protocol that implements an atomic register is proved here in two stages: (1) A formulation of higherlevel speci cations and a proof that the protocol satises these specications.