531 search results - page 38 / 107 » Formal Methods for Networks on Chips |
CN
1998
14 years 9 months ago
1998
A brief explanation is given of the language ANISE (Architectural Notions In Service Engineering) that can be used to describe generic services as well as telecommunications servi...
ASPDAC
2008
ACM
14 years 11 months ago
2008
ACM
- We present a topology synthesis method for high performance System-on-Chip (SoC) design. Our method provides an optimal topology of on-chip communication network for the given ba...
ACSAC
2002
IEEE
15 years 2 months ago
2002
IEEE
The Solar Trust Model provides a method by which the sender of a message can be authenticated, and the level of trust that can be placed in the sender of the message or the messag...
ENTCS
2002
14 years 9 months ago
2002
In this paper we describe the use of the rewriting logic based Maude tool to model and analyze mammalian signaling pathways. We discuss the representation of the underlying biolog...
ICTAI
2009
IEEE
14 years 7 months ago
2009
IEEE
We address the problem of merging qualitative constraints networks (QCNs). We point out a merging algorithm which computes a consistent QCN representing a global view of the input...