936 search results - page 67 / 188 » The Synthesis Problem of Netcharts |
117
click to vote
FORMATS
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, we focus on the synthesis of secure timed systems which are given by timed automata. The security property that the system must satisfy is a non-interference propert...
141
click to vote
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper, we present a methodology for customized communication architecture synthesis that matches the communication requirements of the target application. This is an impor...
135
click to vote
ISQED
2005
IEEE
15 years 9 months ago
2005
IEEE
Reliability decisions taken early in system design can bring significant benefits in terms of design quality. This paper presents a 0-1 integer linear programming (ILP) formulatio...
119
click to vote
EVOW
2010
Springer
15 years 8 months ago
2010
Springer
In this paper we report on the synthesis of sounds using cellular automata, specifically the multitype voter model. The mapping process adopted is based on digital signal processin...
ISCAS
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper proposes a new approach to the synthesis of low coefficient sensitivity digital filters using Genetic Programming (GP). GP is applied to the synthesis problem by establi...