网上购物 货比三家
您现在的位置:快乐比价网 > 图书 > 其它 > 其它 > 商品详情

Embedded Software 嵌入式软件

分享到:
Embedded Software 嵌入式软件

最 低 价:¥274.50

定 价:¥465.30

作 者:ThomasA.Henzinger 著

出 版 社:湖南文艺出版社

出版时间:2001-10-1

I S B N:3540426736

价格
274.50元

商品详情

编辑推荐

内容简介

The LNCS series reports state-of-the-art results in computer science research,development,and education,at a high level and in both printed and electronic form.Enjoying tight cooperation with the R&D community,with numerous individuals,as well as with prestigious organizations and societies,LNCS has grown into the most comprehensive computer science research forum available.
The scope of LNCS including its subseries LNAI spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields.The type of material published traditionally includes.
—proceedings (published in time for the respective conference)
—post-proceedings (consisting of thoroughly revised final full papers)
—research monographs(which may be based on outstanding PhD work,research projects,technical reports,etc.).

作者简介

目录

Heterogeneous Modeling Support for Embedded Systems Design
Hierarchical Hybrid Modeling of Embedded Systems
Some Synchronization Issues When Designing Embedded Systems from Components
Synchronous Programming Techniques for Embedded Systems: Present and Future
From Requirements to Validated Embedded Systems
Usage Scenarios for an Automated Model Compiler
Embedded Control: From Asynchrony to Synchrony and Back
Verification of Embedded Software: Problems and Perspectives
A Network-Centric Approach to Embedded Software for Tiny Devices
Storage Allocation for Real-Time, Embedded Systems
Interface Theories for Component-Based Design
Giotto: A Time-Triggered Language for Embedded Programming
Directions in Functional Programming for Real(-Time) Applications
Rate-Based Resource Allocation Models for Embedded Systems
The Temporal Specification of Interfaces in Distributed Real-Time Systems
System-Level Types for Component-Based Design
Embedded Software Implementation Tools for Fully Programmable Application Specific Systems
Compiler Optimizations for Adaptive EPIC Processors
Embedded Software Market Transformation through Reusable Frameworks
An End-to-End Methodology for Building Embedded Systems
An Implementation of Scoped Memory for Real-Time Java
Bus Architectures for Safety-Critical Embedded Systems
Using Multiple Levels of Abstractions in Embedded Software Design
Hierarchical Approach for Design of Multi-vehicle Multi-modal Embedded Software
Adaptive and Reflective Middleware for Distributed Real-Time and Embedded Systems
Modeling Real-Time Systems Challenges and Work Directions
VEST - A Toolset for Constructing and
Analyzing Component Based Embedded Systems
Embedded Software: Challenges and Opportunities
Embedded Software in Network Processors - Models and Algorithms
……
Author Index

商品评论(0条)

暂无评论!

您的浏览历史

loading 内容加载中,请稍后...