Sciweavers

1631 search results - page 32 / 327
» Uniform Distributed Synthesis
Sort
View
45
Voted
DATE
2007
IEEE
53views Hardware» more  DATE 2007»
15 years 7 months ago
Synthesis of task and message activation models in real-time distributed automotive systems
Wei Zheng, Marco Di Natale, Claudio Pinello, Paolo...
ATVA
2007
Springer
127views Hardware» more  ATVA 2007»
15 years 7 months ago
Distributed Synthesis for Alternating-Time Logics
Sven Schewe, Bernd Finkbeiner
92
Voted
FPL
2007
Springer
126views Hardware» more  FPL 2007»
15 years 7 months ago
A Behavioral Synthesis Approach for Distributed Memory FPGA Architectures
Ashutosh Pal, M. Balakrishnan
93
Voted
ETFA
2006
IEEE
15 years 6 months ago
Synthesis of Distributed Controllers by Means of a Monolithic Approach
Abstract. In this paper, reverse partially-marked safe net condition/event systems (RsNCES) are introduced, rules of their functioning are defined and convenient interpretation met...
Dirk Missal, Hans-Michael Hanisch