142 search results - page 1 / 29 » Abstraction-guided synthesis of synchronization |
MMS
1998
13 years 4 months ago
1998
This paper describes an event–based synchronization mechanism, which is at the core of the inter– media synchronization in the upcoming standard for Multimedia Presentation, PR...
FAC
2008
13 years 4 months ago
2008
Given deterministic interfaces P and Q, we investigate the problem of synthesising an interface R such that P composed with R refines Q. We show that a solution exists iff P and Q ...
IFIP
2010
Springer
12 years 11 months ago
2010
Springer
Abstract In this paper, we describe an automatic synthesis procedure that distributes synchronous programs on a set of desynchronized processing elements. Our distribution procedur...
EURODAC
1995
IEEE
13 years 8 months ago
1995
IEEE
This paper describes an approach for VHDL-based communication and synchronization synthesis. This design step transforms a system level VHDL description into an RT-level descripti...
ICCAD
1994
IEEE
13 years 9 months ago
1994
IEEE
We present in this paper a novel control synthesis technique for system-level specifications that are better described as a set of concurrent synchronous descriptions, their synch...