4772 search results - page 350 / 955 » An approach to interface synthesis |
189
click to vote
FASE
2003
Springer
16 years 24 days ago
2003
Springer
Scenarios are powerful tools to model and analyze software systems. However, since they do not provide a complete description of the system, but just some possible execution paths,...
210
click to vote
GECCO
2003
Springer
16 years 24 days ago
2003
Springer
A fundamental aspect of many evolutionary approaches to synthesis of complex systems is the need to compose atomic elements into useful higher-level building blocks. However, the ...
174
click to vote
ISLPED
1997
ACM
15 years 11 months ago
1997
ACM
In this paper1 we propose a novel approach to synthesis for low power under tight timing constraints. Starting from a mapped netlist, we apply a powerful generalized matching algo...
230
click to vote
BIRTHDAY
2007
Springer
15 years 11 months ago
2007
Springer
We present a verification methodology for cooperating traffic agents covering analysis of cooperation strategies, realization of strategies through control, and implementation of c...
237
click to vote
ECTEL
2007
Springer
15 years 11 months ago
2007
Springer
Currently, large amounts of research exist into the design and implementation of adaptive systems. The complex task of authoring of such systems, or their evaluation, is addressed ...