Sciweavers

3356 search results - page 41 / 672
» Determining Consensus Numbers
Sort
View
SIGSOFT
2009
ACM
14 years 9 months ago
Asserting and checking determinism for multithreaded programs
The trend towards processors with more and more parallel cores is increasing the need for software that can take advantage of parallelism. The most widespread method for writing p...
Jacob Burnim, Koushik Sen
MFCS
2004
Springer
14 years 2 months ago
Crossing Number Is Hard for Cubic Graphs
It was proved by [Garey and Johnson, 1983] that computing the crossing number of a graph is an NP-hard problem. Their reduction, however, used parallel edges and vertices of very h...
Petr Hlinený
COLING
1994
13 years 10 months ago
Countability and Number in Japanese to English Machine Translation
This paper presents a heuristic method that uses information in the Japanese text along with knowledge of English countability and number stored in transfer dictionaries to determ...
Francis Bond, Kentaro Ogura, Satoru Ikehara
COMBINATORICA
2006
91views more  COMBINATORICA 2006»
13 years 8 months ago
The Number Of Orientations Having No Fixed Tournament
Let T be a fixed tournament on k vertices. Let D(n, T) denote the maximum number of orientations of an n-vertex graph that have no copy of T. We prove that D(n, T) = 2tk-1(n) for ...
Noga Alon, Raphael Yuster
SIAMDM
2008
140views more  SIAMDM 2008»
13 years 8 months ago
Bounds for the Real Number Graph Labellings and Application to Labellings of the Triangular Lattice
We establish new lower and upper bounds for the real number graph labelling problem. As an application, we completely determine the optimum spans of L(p, q)-labellings of the infin...
Daniel Král, Petr Skoda