找回密碼
 To register

QQ登錄

只需一步,快速開始

掃一掃,訪問微社區(qū)

打印 上一主題 下一主題

Titlebook: Languages for System Specification; Selected Contributio Christoph Grimm Book 2004 Springer Science+Business Media New York 2004 Embedded S

[復制鏈接]
查看: 10403|回復: 51
樓主
發(fā)表于 2025-3-21 19:38:04 | 只看該作者 |倒序瀏覽 |閱讀模式
書目名稱Languages for System Specification
副標題Selected Contributio
編輯Christoph Grimm
視頻videohttp://file.papertrans.cn/582/581205/581205.mp4
圖書封面Titlebook: Languages for System Specification; Selected Contributio Christoph Grimm Book 2004 Springer Science+Business Media New York 2004 Embedded S
描述Contributions on UML address the application of UML in the specification of embedded HW/SW systems. C-Based System Design embraces the modeling of operating systems, modeling with different models of computation, generation of test patterns, and experiences from case studies with SystemC. Analog and Mixed-Signal Systems covers rules for solving general modeling problems in VHDL-AMS, modeling of multi-nature systems, synthesis, and modeling of Mixed-Signal Systems with SystemC. Languages for formal methods are addressed by contributions on formal specification and refinement of hybrid, embedded and real-time stems. .Together with articles on new languages such as SystemVerilog and Software Engineering in Automotive Systems the contributions selected for this book embrace all aspects of languages and models for specification, design, modeling and verification of systems. Therefore, the book gives an excellent overview of the actual state-of-the-art and the latest research results.
出版日期Book 2004
關鍵詞Embedded System; Hardware; SystemC; SystemVerilog; VHDL; architecture; embedded systems; formal method; mode
版次1
doihttps://doi.org/10.1007/b116586
isbn_softcover978-1-4419-5457-2
isbn_ebook978-1-4020-7991-7
copyrightSpringer Science+Business Media New York 2004
The information of publication is updating

書目名稱Languages for System Specification影響因子(影響力)




書目名稱Languages for System Specification影響因子(影響力)學科排名




書目名稱Languages for System Specification網(wǎng)絡公開度




書目名稱Languages for System Specification網(wǎng)絡公開度學科排名




書目名稱Languages for System Specification被引頻次




書目名稱Languages for System Specification被引頻次學科排名




書目名稱Languages for System Specification年度引用




書目名稱Languages for System Specification年度引用學科排名




書目名稱Languages for System Specification讀者反饋




書目名稱Languages for System Specification讀者反饋學科排名




單選投票, 共有 0 人參與投票
 

0票 0%

Perfect with Aesthetics

 

0票 0%

Better Implies Difficulty

 

0票 0%

Good and Satisfactory

 

0票 0%

Adverse Performance

 

0票 0%

Disdainful Garbage

您所在的用戶組沒有投票權限
沙發(fā)
發(fā)表于 2025-3-21 21:46:22 | 只看該作者
板凳
發(fā)表于 2025-3-22 02:50:19 | 只看該作者
A Unified Approach to Code Generation from Behavioral Diagramsrmal semantics given as structural operational rules and it supports semantic variations. It can be used to uniformly describe the behavior of a combination of several diagrams and as a bridge from UML models to animation and production code.
地板
發(fā)表于 2025-3-22 08:27:25 | 只看該作者
On Hardware Description in ECLware. In this paper, we propose several approaches to synthesizing these parts into hardware without extending the language. As a consequence, the resulting environment enables a true HW/SW codesign for small and medium-size systems.
5#
發(fā)表于 2025-3-22 10:54:19 | 只看該作者
6#
發(fā)表于 2025-3-22 15:39:04 | 只看該作者
7#
發(fā)表于 2025-3-22 19:06:38 | 只看該作者
Platform-Independent Design for Embedded Real-Time Systemsned and illustrated by examples. Finally, a platform-independent approach (POOSL[8, 9] + Rotalumis[20]) is introduced to remedy these design problems for embedded real-time systems. Initial experiments have been performed that confirm the advantages of this approach.
8#
發(fā)表于 2025-3-22 22:19:40 | 只看該作者
9#
發(fā)表于 2025-3-23 02:59:10 | 只看該作者
A Case Study: SystemC-Based Design of an Industrial Exposure Control Unitctivities, e.g. hardware synthesis. The case study includes a comparison of the C and SystemC implementation, an analysis and a discussion of the refinement and implementation process. The fixed-point to integer data type conversion was found to be a critical task within the design process, and an automated solution is provided.
10#
發(fā)表于 2025-3-23 06:08:23 | 只看該作者
 關于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學 Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點評 投稿經驗總結 SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學 Yale Uni. Stanford Uni.
QQ|Archiver|手機版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-6 08:56
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權所有 All rights reserved
快速回復 返回頂部 返回列表
黔东| 家居| 嘉禾县| 怀仁县| 朔州市| 密云县| 宁强县| 元江| 华蓥市| 池州市| 会理县| 米泉市| 望都县| 红河县| 宝坻区| 云林县| 洪洞县| 杭锦旗| 乌拉特前旗| 高安市| 东山县| 化德县| 靖边县| 宜昌市| 大洼县| 神农架林区| 保康县| 呼图壁县| 鄂托克前旗| 大邑县| 广灵县| 勐海县| 玉田县| 龙门县| 景东| 卢龙县| 镶黄旗| 嵊州市| 九龙坡区| 衢州市| 九台市|