4604 search results - page 53 / 921 » Concurrency in Synchronous Systems |
MMS
1998
13 years 9 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...
RTAS
2009
IEEE
14 years 4 months ago
2009
IEEE
—We define a family of execution policies for a programming model called PTIDES (Programming Temporally Integrated Distributed Embedded Systems). A PTIDES application (factory a...
MEMOCODE
2008
IEEE
14 years 4 months ago
2008
IEEE
Equivalence checking is a classical verification method determining if a finite-state concurrent system (protocol) satisfies its desired external behaviour (service) by compari...
DATE
2007
IEEE
14 years 4 months ago
2007
IEEE
Network-on-Chip (NoC) is generally regarded as the most promising solution for the future on-chip communication scheme in gigascale integrated circuits. As traditional debug archi...
GPCE
2007
Springer
14 years 3 months ago
2007
Springer
Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchrono...