Sciweavers

1201 search results - page 92 / 241
» Linear Probing and Graphs
Sort
View
108
Voted
CODES
2005
IEEE
15 years 6 months ago
Shift buffering technique for automatic code synthesis from synchronous dataflow graphs
This paper proposes a new efficient buffer management technique called shift buffering for automatic code synthesis from synchronous dataflow graphs (SDF). Two previous buffer man...
Hyunok Oh, Nikil D. Dutt, Soonhoi Ha
112
Voted
KDD
2009
ACM
185views Data Mining» more  KDD 2009»
16 years 1 months ago
On compressing social networks
Motivated by structural properties of the Web graph that support efficient data structures for in memory adjacency queries, we study the extent to which a large network can be com...
Flavio Chierichetti, Ravi Kumar, Silvio Lattanzi, ...
100
Voted
APPROX
2008
Springer
75views Algorithms» more  APPROX 2008»
15 years 3 months ago
On the Query Complexity of Testing Orientations for Being Eulerian
We consider testing directed graphs for being Eulerian in the orientation model introduced in [15]. Despite the local nature of the property of being Eulerian, it turns out to be ...
Eldar Fischer, Oded Lachish, Ilan Newman, Arie Mat...
91
Voted
BPM
2010
Springer
134views Business» more  BPM 2010»
15 years 2 months ago
A New Semantics for the Inclusive Converging Gateway in Safe Processes
We propose a new semantics for the inclusive converging gateway (also known as Or-join). The new semantics coincides with the intuitive, widely agreed semantics for Or-joins on sou...
Hagen Völzer
93
Voted
ESA
2010
Springer
172views Algorithms» more  ESA 2010»
15 years 2 months ago
Algorithmic Meta-theorems for Restrictions of Treewidth
Abstract. Possibly the most famous algorithmic meta-theorem is Courcelle's theorem, which states that all MSO-expressible graph properties are decidable in linear time for gra...
Michael Lampis