385 search results - page 19 / 77 » Semi-automatic Distributed Synthesis |
DAC
1999
ACM
14 years 2 months ago
1999
ACM
IPCHINOOK is a design tool for distributed embedded systems. It gains leverage from the use of a carefully chosen set of design ions that raise the level of designer interaction d...
OPODIS
2008
13 years 11 months ago
2008
We focus on automated revision techniques for adding Unity properties to distributed programs. We show that unlike centralized programs, where multiple safety properties along with...
FSTTCS
2004
Springer
14 years 3 months ago
2004
Springer
This paper deals with distributed control problems by means of distributed games played on Mazurkiewicz traces. The main difference with other notions of distributed games recentl...
ICASSP
2010
IEEE
13 years 10 months ago
2010
IEEE
We present an analytical approach targeting the physical reproduction of sound fields by means of linear distributions loudspeakers. Unlike with conventional analytical approache...
DATE
2000
IEEE
14 years 2 months ago
2000
IEEE
We present an approach to bus access optimization and schedulability analysis for the synthesis of hard real-time distributed embedded systems. The communication model is based on...