國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Semantic foundations for heterogeneo...

Passerone, Roberto.

Semantic foundations for heterogeneous systems.

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Semantic foundations for heterogeneous systems.
作者:	Passerone, Roberto.
面頁冊數:	323 p.
附註:	Chair: Alberto L. Sangiovanni-Vincentelli.
附註:	Source: Dissertation Abstracts International, Volume: 65-09, Section: B, page: 4746.
Contained By:	Dissertation Abstracts International65-09B.
標題:	Engineering, Electronics and Electrical.
電子資源:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3146975
ISBN:	0496053639

Semantic foundations for heterogeneous systems.
Passerone, Roberto.

Semantic foundations for heterogeneous systems. - 323 p.

Chair: Alberto L. Sangiovanni-Vincentelli.

Thesis (Ph.D.)--University of California, Berkeley, 2004.

Agent Algebra is a formal framework that can be used to uniformly present and reason about the characteristics and the properties of the different models of computation used in a design, and about their relationships. This is accomplished by defining an algebra that consists of a set of denotations, called agents, for the elements of a model, and of the main operations that the model provides to compose and to manipulate agents. Different models of computation are constructed as distinct instances of the algebra. However, the framework takes advantage of the common algebraic structure to derive results that apply to all models in the framework, and to relate different models using structure-preserving maps. (Abstract shortened by UMI.)

ISBN: 0496053639Subjects--Topical Terms:

226981
Engineering, Electronics and Electrical.

Semantic foundations for heterogeneous systems.
LDR:03338nmm _2200289 _450 001 162925
005 20051017073537.5
008 090528s2004 eng d
020 $a 0496053639
035 $a 00149426
040 $a UnM $c UnM
100 0 $a Passerone, Roberto. $3 228071
245 1 0 $a Semantic foundations for heterogeneous systems.
300 $a 323 p.
500 $a Chair: Alberto L. Sangiovanni-Vincentelli.
500 $a Source: Dissertation Abstracts International, Volume: 65-09, Section: B, page: 4746.
502 $a Thesis (Ph.D.)--University of California, Berkeley, 2004.
520 # $a Agent Algebra is a formal framework that can be used to uniformly present and reason about the characteristics and the properties of the different models of computation used in a design, and about their relationships. This is accomplished by defining an algebra that consists of a set of denotations, called agents, for the elements of a model, and of the main operations that the model provides to compose and to manipulate agents. Different models of computation are constructed as distinct instances of the algebra. However, the framework takes advantage of the common algebraic structure to derive results that apply to all models in the framework, and to relate different models using structure-preserving maps. (Abstract shortened by UMI.)
520 # $a The ability to incorporate increasingly sophisticated functionality makes the design of electronic embedded systems complex. Many factors, beside the traditional considerations of cost and performance, contribute to making the design and the implementation of embedded systems a challenging task. The inevitable interactions of an embedded system with the physical world require that its parts be described by multiple formalisms of heterogeneous nature. Because these formalisms evolved in isolation, system integration becomes particularly problematic. In addition, the computation, often distributed across the infrastructure, is frequently controlled by intricate communication mechanisms. This, and other safety concerns, demand a higher degree of confidence in the correctness of the design that imposes a limit on design productivity.
520 # $a The key to addressing the complexity problem and to achieve substantial productivity gains is a rigorous design methodology that is based on the effective use of decomposition and multiple levels of abstraction. Decomposition relies on models that describe the effect of hierarchically composing different concurrent parts of the system. An abstraction is the relationship between two representations of the same system that expose different levels of detail. To maximize their benefit, these techniques require a semantic foundation that provides the ability to formally describe and relate a wide range of concurrency models. This Dissertation proposes one such semantic foundation in the form of an algebraic framework called Agent Algebra.
590 $a School code: 0028.
650 # 0 $a Engineering, Electronics and Electrical. $3 226981
650 # 0 $a Computer Science. $3 212513
690 $a 0544
690 $a 0984
710 0 # $a University of California, Berkeley. $3 212474
773 0 # $g 65-09B. $t Dissertation Abstracts International
790 $a 0028
790 1 0 $a Sangiovanni-Vincentelli, Alberto L., $e advisor
791 $a Ph.D.
792 $a 2004
856 4 0 $u http://libsw.nuk.edu.tw:81/login?url=http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3146975 $z http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3146975