1081 search results - page 16 / 217 » Hierarchical Heterogeneous Specifications |
TAGT
1998
Springer
14 years 19 days ago
1998
Springer
Graphs are a commonly used formalism for modeling many different kinds of static and dynamic data. In many applications, data modeling can be improved by using hierarchically struc...
JNSM
2010
13 years 3 months ago
2010
Cognitive Radio (CR) equipments are radio devices that support the smart facilities offered by future cognitive networks. Even if several categories of equipments exist (terminal,...
EUMAS
2006
13 years 9 months ago
2006
This paper explores a general model of economic exchange between heterogeneous agents representing firms, traders, or other socioeconomic entities, that self-organise into coaliti...
CODES
1998
IEEE
14 years 21 days ago
1998
IEEE
In this paper, the problem of automatically mapping large-grain dataflow programs onto heterogeneous hardware/softwarearchitectures is treated. Starting with a given hardware/soft...
CAV
2000
Springer
14 years 1 days ago
2000
Springer
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...