Sciweavers

4074 search results - page 189 / 815
» Abstract Graph Transformation
Sort
View
COCOON
2007
Springer
15 years 6 months ago
Improved Exact Algorithms for Counting 3- and 4-Colorings
Abstract. We introduce a generic algorithmic technique and apply it on decision and counting versions of graph coloring. Our approach is based on the following idea: either a graph...
Fedor V. Fomin, Serge Gaspers, Saket Saurabh
STACS
1995
Springer
15 years 6 months ago
The Number of Views of Piecewise-Smooth Algebraic Objects
Abstract. A solid object in 3-dimensional space may be described by a collection of all its topologically distinct 2-dimensional appearances, its aspect graph. In this paper, we st...
Sylvain Petitjean
IPL
2008
110views more  IPL 2008»
15 years 2 months ago
Reduction of stochastic parity to stochastic mean-payoff games
Abstract. A stochastic graph game is played by two players on a game graph with probabilistic transitions. We consider stochastic graph games with -regular winning conditions speci...
Krishnendu Chatterjee, Thomas A. Henzinger
106
Voted
ECEASST
2008
87views more  ECEASST 2008»
15 years 2 months ago
The GP Programming System
Abstract: We describe the programming system for the graph-transformation lan, focusing on the implementation of its compiler and abstract machine. We also compare the system'...
Greg Manning, Detlef Plump
99
Voted
GTTSE
2007
Springer
15 years 8 months ago
Model Transformations for the Compilation of Multi-processor Systems-on-Chip
With the increase of amount of transistors which can be contained on a chip and the constant expectation for more sophisticated applications, the design of Systems-on-Chip (SoC) is...
Éric Piel, Philippe Marquet, Jean-Luc Dekey...