Sciweavers

491 search results - page 12 / 99
» On cyclically orientable graphs
Sort
View
ENDM
2008
114views more  ENDM 2008»
13 years 8 months ago
Strong oriented chromatic number of planar graphs without cycles of specific lengths
A strong oriented k-coloring of an oriented graph G is a homomorphism from G to H having k vertices labelled by the k elements of an abelian additive group M, such that for any p...
Mickaël Montassier, Pascal Ochem, Alexandre P...
MOBIHOC
2008
ACM
14 years 8 months ago
Routing in a cyclic mobispace
A key challenge of routing in delay tolerant networks (DTNs) is to find routes that have high delivery rates and low endto-end delays. When oracles are not available for future co...
Cong Liu, Jie Wu
CAV
2012
Springer
270views Hardware» more  CAV 2012»
11 years 11 months ago
Automated Termination Proofs for Java Programs with Cyclic Data
Abstract. In earlier work, we developed a technique to prove termination of Java programs automatically: first, Java programs are automatically transformed to term rewrite systems...
Marc Brockschmidt, Richard Musiol, Carsten Otto, J...
PDCAT
2004
Springer
14 years 1 months ago
Stochastic DFS for Multiprocessor Scheduling of Cyclic Taskgraphs
DFS has previously been shown to be a simple and efficient strategy for removing cycles in graphs allowing the resulting DAGs to be scheduled using one of the many well-established...
Frode Eika Sandnes, Oliver Sinnen
DCG
2002
66views more  DCG 2002»
13 years 8 months ago
Generation of Oriented Matroids - A Graph Theoretical Approach
We discuss methods for the generation of oriented matroids and of isomorphism classes of oriented matroids. Our methods are based on single element extensions and graph theoretica...
Lukas Finschi, Komei Fukuda