851 search results - page 21 / 171 » Synthesis of Distributed Systems from Knowledge-Based Specif... |
118
click to vote
SIGSOFT
2008
ACM
16 years 3 months ago
2008
ACM
Synthesis of system configurations from a given set of features is an important and very challenging problem. This paper makes a step towards this goal by describing an efficient ...
107
click to vote
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
We describe how to take a set of interaction traces produced by different pairs of players in a two-player repeated game, and combine them into a composite strategy. We provide an...
118
Voted
RE
2007
Springer
15 years 8 months ago
2007
Springer
Customer-reported field failures provide valuable information for the requirements of the next release. Without a systematic approach, the requirements of the next release may not...
130
Voted
DATE
1999
IEEE
15 years 7 months ago
1999
IEEE
In this paper, we present a system synthesis algorithm, called MOCSYN, which partitions and schedules embedded system specifications to intellectual property cores in an integrate...
117
Voted
ISORC
2003
IEEE
15 years 8 months ago
2003
IEEE
Composition of a system is driven by the (a) identification and specification of basic components, and (b) specification of the interactions across the components, i.e., the commu...