4 search results - page 1 / 1 » Towards a formal theory of on chip communications in the ACL... |
ACL2
2006
ACM
13 years 10 months ago
2006
ACM
FMCAD
2004
Springer
13 years 8 months ago
2004
Springer
We present a functional approach, based on the ACL2 logic, for the specification of system on a chip communication architectures. Our decomposition of the communications allows the...
FAC
2008
13 years 4 months ago
2008
This paper presents a formal model and a systematic approach to the validation of communication tures at a high level of abstraction. This model is described mathematically by a fu...
ARGMAS
2004
Springer
13 years 10 months ago
2004
Springer
This paper compares within the MAS framework two separate threads in the formal study of epistemic change: belief revision and argumentation theories. Belief revision describes how...