27 search results - page 2 / 6 » Synthesis of Safe Message-Passing Systems |
CORR
2010
Springer
13 years 4 months ago
2010
Springer
– This paper addresses the problem of forbidden states of non safe Petri Net (PN) modelling discrete events systems. To prevent the forbidden states, it is possible to use condit...
ECRTS
2003
IEEE
13 years 10 months ago
2003
IEEE
CONCUR
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. We apply the theory of asynchronous automata to the synthesis problem of closed distributed systems. We use safe asynchronous automata as implementation model, and charac...
ASPDAC
2009
ACM
13 years 12 months ago
2009
ACM
Abstract— This paper presents synthesis of Hardware Dependent Software (HdS) for multicore and many-core designs using Embedded System Environment (ESE). ESE is a tool set, devel...
SEUS
2008
IEEE
13 years 11 months ago
2008
IEEE
Abstract— This paper presents SW synthesis using Embedded System Environment (ESE), a tool set for design of multicore embedded systems. We propose a classification of multicore...