198 search results - page 28 / 40 » HW SW implementation from abstract architecture models |
74
Voted
DAC
2009
ACM
15 years 4 months ago
2009
ACM
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...
IPOM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In this paper we present a policy-based architecture for aggregating (grooming) IP/MPLS flows (packet-based LSPs) within lightpaths taking into account the possibility o...
UPP
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. System family engineering seeks to exploit the commonalities among systems from a given problem domain while managing the variabilities among them in a systematic way. In...
CORR
2002
Springer
14 years 9 months ago
2002
Springer
In this thesis I present a virtual laboratory which implements five different models for controlling animats: a rule-based system, a behaviour-based system, a concept-based system...
ISPDC
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract. Grid architectures are execution environments that are known to be at the same time distributed, parallel, heterogeneous and dynamic. While current tools focus solutions ...