Hierarchical Agent Monitored Parallel On-Chip System: A Novel Design Paradigm and its Formal Specification.
Liang GuangJuha PlosilaJouni IsoahoHannu TenhunenPublished in: Int. J. Embed. Real Time Commun. Syst. (2010)
Keyphrases
- formal specification
- object oriented design
- specification languages
- design methodology
- specification language
- intelligent agents
- formal methods
- single chip
- multiagent systems
- circuit design
- computer architecture
- model checking
- design process
- building blocks
- process algebra
- physical design
- design methodologies
- parallel computing
- software design
- case study
- software development
- programming language
- data warehouse
- multi agent