10159 search results - page 586 / 2032 » System Design Validation Using Formal Models |
178
click to vote
LCTRTS
2007
Springer
16 years 29 days ago
2007
Springer
This paper presents a tool for automatic synthesis of RTL interfaces for heterogeneous MPSoC from transaction level models (TLMs). The tool captures the communication parameters i...
188
click to vote
KDD
2002
ACM
16 years 7 months ago
2002
ACM
In the last several years, large OLAP databases have become common in a variety of applications such as corporate data warehouses and scientific computing. To support interactive ...
182
click to vote
IRI
2003
IEEE
16 years 3 days ago
2003
IEEE
Abstract – In order to fulfill the functional requirements of multimedia management systems while achieving the efficiency and reliability at the same time, we adopt the compone...
188
click to vote
WIAS
2010
15 years 5 months ago
2010
An autonomic system is a system capable of managing itself and adjusting its actions in the face of environmental changes. Autonomic systems are currently developed using ad-hoc ap...
171
click to vote
PDCN
2004
15 years 8 months ago
2004
In this paper, an efficient tool has been designed and implemented to design and analyze the communication networks. A network simulator in software is valuable for network manage...