Hierarchical Agent Monitored Parallel On-Chip System: A Novel Design Paradigm and its Formal Specification

E-ISSN： 1947-3184|1|2|86-105

ISSN： 1947-3176

Source： International Journal of Embedded and Real-Time Communication Systems (IJERTCS), Vol.1, Iss.2, 2010-04, pp. : 86-105

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Formal specification of parallel SIMD execution

By Farrell C.A. Kieronska D.H.

Theoretical Computer Science, Vol. 169, Iss. 1, 1996-11 ,pp. : 39-65

Elsevier

Access to resources Recommend Favorite

On-chip electrometer using MEMS parallel-plate pull-in sensing

By Webb Russell Y. MacDonald Noel C.

International Journal of Intelligent Systems Technologies and Applications, Vol. 3, Iss. 1-2, 2007-06 ,pp. : 149-162

Inderscience Publishers

Access to resources Recommend Favorite

Specification, Validation, and Synthesis of Email Agent Controllers: A Case Study in Function Rich Reactive System Design

By Hall R.J.

Automated Software Engineering, Vol. 9, Iss. 3, 2002-08 ,pp. : 233-261

Springer Publishing Company

Access to resources Recommend Favorite

An automated system for product specification and design

By Wei Chiu-Chi Liu Ping-Hung Chen Chie-Bein

Assembly Automation, Vol. 20, Iss. 3, 2000-03 ,pp. : 225-233

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Hardware/software codesign of on-chip communication architecture for application-specific multiprocessor system-on-chip

By Zergainoh Nacer-Eddine Baghdadi Amer Jerraya Ahmed

International Journal of Embedded Systems, Vol. 1, Iss. 1-2, 2006-01 ,pp. : 112-124

Inderscience Publishers

Access to resources Recommend Favorite