1784 search results - page 19 / 357 » Formal Models for Embedded System Design |
AOSE
2004
Springer
14 years 1 months ago
2004
Springer
While there are many useful models of agents and multi-agent systems, they are typically defined in an informal way and applied in an ad-hoc fashion. Consequently, multi-agent sys...
DATE
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper gives an overview of a transaction level modeling (TLM) design flow for straightforward embedded system design with SystemC. The goal is to systematically develop both...
DATE
2007
IEEE
14 years 2 months ago
2007
IEEE
ASPDAC
2007
ACM
13 years 12 months ago
2007
ACM
ICECCS
2009
IEEE
14 years 2 months ago
2009
IEEE
In this paper, we introduce the model REMES for formal modeling and analysis of embedded resources such as storage, energy, communication, and computation. The model is a state-ma...