Sciweavers

12015 search results - page 25 / 2403
» Interactive Algorithms 2005
Sort
View
99
Voted
APPROX
2005
Springer
93views Algorithms» more  APPROX 2005»
15 years 8 months ago
Fractional Decompositions of Dense Hypergraphs
Raphael Yuster
120
Voted
IICS
2005
Springer
15 years 8 months ago
Compositional Constraints Generation for Concurrent Real-Time Loops with Interdependent Iterations
Abstract. In this paper we describe an assume/guarantee based execution constraints synthesis algorithm for concurrent threads executing on parallel platforms. Threads are loops wh...
Ismail Assayad, Sergio Yovine