Modeling Embedded Systems and SoC's: Concurrency and Time in Models of Computation (Hardcover)
暫譯: 嵌入式系統與系統單晶片建模：計算模型中的併發性與時間 (精裝版)
Axel Jantsch
- 出版商: Morgan Kaufmann
- 出版日期: 2003-06-03
- 售價: $1,000
- 貴賓價: 9.8 折 $980
- 語言: 英文
- 頁數: 351
- 裝訂: Hardcover
- ISBN: 1558609253
- ISBN-13: 9781558609259
-
相關分類:
嵌入式系統
下單後立即進貨 (約5~7天)
買這商品的人也買了...
-
Visual C++ 6 教學手冊 (Beginning Visual C++ 6)$580$458 -
資訊系統分析、設計與製作$490$387 -
Modern Information Retrieval$1,150$1,127 -
計算機組織與設計--軟硬體界面第二版 (Computer Organization & Design, 2/e)$680$537 -
SQL Server 2000 設計實務$650$553 -
LPI Linux 資格檢定 (LPI Linux Certification in a Nutshell)$880$695 -
Cryptography and Network Security Principles and Practices, 3/e$1,030$1,009 -
作業系統概念 (Operating System Concepts, 6/e Windows XP Update)$780$741 -
資料庫系統原理第三版 (Fundamentals of Database Systems, 3/e)$760$600 -
ASP.NET 程式設計徹底研究$590$466 -
STRUTS 實作手冊(Struts in Action: Building Web Applications with the Leading Java Framework)$690$538 -
程式設計專家手冊 (The Practice of Programming)$420$332 -
有效溝通立即上手 (Communicating Effectively)$280$266 -
數位影像處理 (Digital Image Processing, 2/e)$820$804 -
鳥哥的 Linux 私房菜－伺服器架設篇$750$638 -
Computer Networks and Internets with Internet Applications, 4/e$980$960 -
鳥哥的 Linux 私房菜─基礎學習篇增訂版$560$476 -
Eclipse 實作手冊─活用 Java 整合開發環境 (Eclipse in Action: A Guide for the Java Developer)$450$351 -
專案管理實務入門－引導專案成功的52條準則$280$218 -
人月神話：軟體專案管理之道 (20 週年紀念版)(The Mythical Man-Month: Essays on Software Engineering, Anniversary Edition, 2/e)$480$379 -
JSP 2.0 技術手冊$750$593 -
CCNA 認證教戰手冊 Exam 640-801 (CCNA Cisco Certified Network Associate Study Guide, 4/e)$780$663 -
密碼學與網路安全－原理與實務 (Cryptography and Network Security: Principles and Practices, 3/e)$680$537 -
Project 2003 徹底研究
$690$538 -
ASP.NET 徹底研究進階技巧─高階技巧與控制項實作$650$507
商品描述
This book addresses the need for developing organizing principles for understanding, assessing, and comparing different models of computation. First, Author Axel Jantsch identifies the representation of time as the essential feature for distinguishing these models. Given this conceptual framework, he then presents a single formalism for representing very different models, allowing them to be easily compared. As a result, designers, students, and researchers are able to identify the role and the features of the "right" model of computation for the task at hand.
Preface
1. Introduction
2. Behavior and Concurrency
3. The Untimed Model of Computation
4. The Synchronous Model of Computation
5. The Timed Model of Computation
6. MoC Interfaces
7. Tightly Coupled Process Networks
8. Nondeterminism and Probability
9. Applications
10. Concluding Remarks
商品描述(中文翻譯)
這本書針對發展組織原則以理解、評估和比較不同計算模型的需求進行探討。首先，作者 Axel Jantsch 確定時間的表徵是區分這些模型的基本特徵。在這個概念框架下，他提出了一種單一的形式化方法來表示非常不同的模型，使它們能夠輕鬆比較。因此，設計師、學生和研究人員能夠識別出適合當前任務的「正確」計算模型的角色和特徵。
目錄
前言
1. 介紹
2. 行為與併發
3. 無時間計算模型
4. 同步計算模型
5. 有時間計算模型
6. MoC 介面
7. 緊密耦合的過程網絡
8. 非確定性與概率
9. 應用
10. 總結評論
