Sciweavers

9532 search results - page 394 / 1907
» Logic, Graphs, and Algorithms
Sort
View
DAC
1998
ACM
16 years 7 months ago
Efficient Coloring of a Large Spectrum of Graphs
We have developed a new algorithm and software for graph coloring by systematically combining several algorithm and software development ideas that had crucial impact on the algor...
Darko Kirovski, Miodrag Potkonjak
ESOP
2010
Springer
16 years 4 months ago
Formal Verification of Coalescing Graph-Coloring Register Allocation
Iterated Register Coalescing (IRC) is a widely used heuristic for performing register allocation via graph coloring. Many implementations in existing compilers follow (more or less...
Andrew W. Appel, Benoît Robillard, Sandrine ...
ISAAC
2005
Springer
131views Algorithms» more  ISAAC 2005»
16 years 9 days ago
Orthogonal Drawings of Series-Parallel Graphs with Minimum Bends
In an orthogonal drawing of a planar graph G, each vertex is drawn as a point, each edge is drawn as a sequence of alternate horizontal and vertical line segments, and any two edge...
Xiao Zhou, Takao Nishizeki
SWAT
1994
Springer
117views Algorithms» more  SWAT 1994»
15 years 11 months ago
Improved Approximations of Independent Sets in Bounded-Degree Graphs
Abstract. Finding maximum independent sets in graphs with bounded maximum degree is a well-studied NP-complete problem. We introduce an algorithm schema for improving the approxim...
Magnús M. Halldórsson, Jaikumar Radh...
273
Voted
DIAGRAMS
2008
Springer
15 years 8 months ago
Extremes Are Better: Investigating Mental Map Preservation in Dynamic Graphs
Research on effective algorithms for efficient graph layout continues apace, and faster technology has led to increasing research on algorithms for the depiction of dynamic graphs ...
Helen C. Purchase, Amanjit Samra