Sciweavers

12015 search results - page 25 / 2403
» Interactive Algorithms 2005
Sort
View
IICS
2005
Springer
14 years 2 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