设为首页收藏本站
开启辅助访问 切换到窄版

 找回密码
 To register

QQ登录

只需一步，快速开始

扫一扫，访问微社区

  • ALL
  • Journals
  • Books

派博传思国际中心 »期刊书目

› BOOKS
› BOOKS with Alphabet H (Ha, Hb,Hc, Hd, He…... )

12345下一页
返回列表

Titlebook: Hardware-Software Co-Design of Embedded Systems; The POLIS Approach Felice Balarin,Massimiliano Chiodo,Bassam Tabbara Book 1997 Kluwer Acad

[复制链接]
查看: 17596|回复: 43
发表于 2025-3-21 18:50:15 | 显示全部楼层 |阅读模式
书目名称Hardware-Software Co-Design of Embedded Systems
副标题The POLIS Approach
编辑Felice Balarin,Massimiliano Chiodo,Bassam Tabbara
视频videohttp://file.papertrans.cn/425/424220/424220.mp4
丛书名称The Springer International Series in Engineering and Computer Science
图书封面Titlebook: Hardware-Software Co-Design of Embedded Systems; The POLIS Approach Felice Balarin,Massimiliano Chiodo,Bassam Tabbara Book 1997 Kluwer Acad
描述Embedded systems are informally defined as a collection ofprogrammable parts surrounded by ASICs and other standard components,that interact continuously with an environment through sensors andactuators. The programmable parts include micro-controllers andDigital Signal Processors (DSPs). .Embedded systems are often used in life-critical situations, wherereliability and safety are more important criteria than performance.Today, embedded systems are designed with an .ad hoc. approachthat is heavily based on earlier experience with similar products andon manual design. Use of higher-level languages such as C helpsstructure the design somewhat, but with increasing complexity it isnot sufficient. Formal verification and automatic synthesis ofimplementations are the surest ways to guarantee safety. .Thus, the POLIS system which is a co-design environment for embeddedsystems is based on a formal model of computation. .POLIS was initiated in 1988 as a research project at the University ofCalifornia at Berkeley and, over the years, grew into a full designmethodology with a software system supporting it. ..Hardware-Software Co-Design of Embedded Systems: The POLISApproach. is intended to gi
出版日期Book 1997
关键词Consumer Electronics; Hardware; Sensor; Software; algorithms; communication; complexity; computer-aided des
版次1
doihttps://doi.org/10.1007/978-1-4615-6127-9
isbn_softcover978-1-4613-7808-2
isbn_ebook978-1-4615-6127-9Series ISSN 0893-3405
issn_series 0893-3405
copyrightKluwer Academic Publishers 1997
The information of publication is updating

书目名称Hardware-Software Co-Design of Embedded Systems影响因子(影响力)




书目名称Hardware-Software Co-Design of Embedded Systems影响因子(影响力)学科排名




书目名称Hardware-Software Co-Design of Embedded Systems网络公开度




书目名称Hardware-Software Co-Design of Embedded Systems网络公开度学科排名




书目名称Hardware-Software Co-Design of Embedded Systems被引频次




书目名称Hardware-Software Co-Design of Embedded Systems被引频次学科排名




书目名称Hardware-Software Co-Design of Embedded Systems年度引用




书目名称Hardware-Software Co-Design of Embedded Systems年度引用学科排名




书目名称Hardware-Software Co-Design of Embedded Systems读者反馈




书目名称Hardware-Software Co-Design of Embedded Systems读者反馈学科排名




单选投票, 共有 0 人参与投票
1.jpg
 

0票 0%

Perfect with Aesthetics
2.jpg
 

0票 0%

Better Implies Difficulty
3.jpg
 

0票 0%

Good and Satisfactory
4.jpg
 

0票 0%

Adverse Performance
5.jpg
 

0票 0%

Disdainful Garbage
您所在的用户组没有投票权限
回忆录
回复

举报

发表于 2025-3-21 20:57:35 | 显示全部楼层
Felice Balarin,Massimiliano Chiodo,Paolo Giusto,Harry Hsieh,Attila Jurecska,Luciano Lavagno,Claudio The preceding discussions point to the need to ... To do so, we use an agent-based computer simulation, as an extension of the theoretical analysis developed in the preceding sections. In this chapter, we outline its basic structure and functioning, the experiments that have been run, and their results.
一美元
回复

举报

发表于 2025-3-22 02:11:57 | 显示全部楼层
Invertebrate
回复

举报

发表于 2025-3-22 05:06:59 | 显示全部楼层
使高兴
回复

举报

发表于 2025-3-22 12:08:22 | 显示全部楼层
药物
回复

举报

发表于 2025-3-22 16:36:02 | 显示全部楼层
Conclusions and Future Work,In this book we have described a complete co-design methodology for control-dominated embedded systems. The methodology is supported by a design environment and a set of tools including simulation, formal analysis and synthesis of both hardware and software.
Vital-Signs
回复

举报

发表于 2025-3-22 17:44:17 | 显示全部楼层
Interface Synthesis and the Real-Time Operating System,mplemented by the POLIS RTOS. We begin by describing the general problem of interface synthesis, then we analyze the philosophy and implementation of the RTOS, and show how to configure the RTOS for a specific processor. Finally we discuss the scheduling problem, and outline some new techniques for schedule validation.
correspondent
回复

举报

发表于 2025-3-23 00:13:44 | 显示全部楼层
Verification,totyping), physical simulation of an approximate implementation (called emulation), or computer simulation of a model, using mathematical techniques to construct the model (called simulation). Physical or virtual measurements are taken to assess the quality of the design.
暴行
回复

举报

发表于 2025-3-23 04:48:34 | 显示全部楼层
Interfacing to External Hardware and Software,r components that are not designed using POLIS. This is usually the case when a project is partially built on previous work, when some off-the-shelf components are used or when company policy requires using a commercial or in-house real-time kernel that may be preferred also to access features such as file or network I/O.
尽责
回复

举报

发表于 2025-3-23 08:15:53 | 显示全部楼层
978-1-4613-7808-2Kluwer Academic Publishers 1997
fledged
回复

举报

下一页 »
12345下一页
返回列表
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 吾爱论文网 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
QQ|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-8-11 21:25
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表