533 search results - page 8 / 107 » Protocol synthesis from timed and structured specifications |
DATE
1999
IEEE
15 years 1 months ago
1999
IEEE
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
101
click to vote
GECCO
2006
Springer
15 years 1 months ago
2006
Springer
An automated design synthesis system based on a multi-objective genetic algorithm (MOGA) has been developed for the optimization of surface-micromachined MEMS devices. A hierarchi...
CSREAESA
2004
14 years 10 months ago
2004
In this paper we present an algorithm for automatic extraction of system behavior from a structural Verilog specification. The algorithm generates a series-parallel poset expressi...
106
click to vote
EUROMICRO
1999
IEEE
15 years 1 months ago
1999
IEEE
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...
ESAW
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Current approaches to multi-agent interaction involve specifying protocols as sets of possible interactions, and hard-coding decision mechanisms into agent programs in or...