搜索页_+Embedded+control+systems+

读者指南

远程访问

科技查新

公务邮箱

NSTL服务站

在“Springer”中，命中：617条，耗时：0.0939504 秒

1.Hierarchical control of multiple resources in distributed real-time and embedded systems

作者：Nishanth Shankaran ; Xenofon D. Koutsoukos ; Douglas C. Schmidt ; Yuan Xue and Chenyang Lu

关键词：Distributed systems ; Real ; time systems ; Embedded systems ; Adaptive systems ; Quality of service ; Hierarchical control

刊名：Real-Time Systems

出版时间：August, 2008

出版年：2008

2.Specification and Validation of Embedded Systems usingLUSTRE and ARGOS. Case Study: The Automatic Headlight LevelingSystem

作者：Gmehlich ; Rainer

关键词：embedded systems ; reactive systems ; synchronous languages ; model checking ; simulation

刊名：Design Automation for Embedded Systems

出版时间：2001

出版年：2001

3.An Integrated Approach to Scheduling in Safety-Critical Embedded Control Systems

作者：I. Bate and A. Burns

关键词：scheduling ; embedded control systems ; task attribute assignment ; managed change ; safety ; critical ; avionics

刊名：Real-Time Systems

出版时间：2003

出版年：2003

4.Specification of Embedded Control Systems Behaviour Using Actor Interface Automata

作者：Christo Angelov ; Feng Zhou ; Krzysztof Sierszecki

关键词：Distributed control systems ; component ; based design of embedded software ; domain ; specific frameworks ; distributed timed multitasking ; interface automata

刊名：Lecture Notes in Computer Science

出版时间：2011

出版年：2011

5.A development methodology for embedded systems based on RT-DEVS

作者：Angelo Furfaro and Libero Nigro

关键词：DEVS ; Real ; time constraints ; Embedded control systems ; Model continuity ; Temporal analysis ; Timed automata ; Model checking ; Java

刊名：Innovations in Systems and Software Engineering

出版时间：June, 2009

出版年：2009

6.The Efficient QoS Control in Distributed Real-Time Embedded Systems

作者：You-wei Yuan ; La-mei Yan ; Qing-ping Guo

关键词：Quality of Service (QoS) ; Real Time ; Embedded Systems ; Distributed Computation

刊名：Lecture Notes in Computer Science

出版时间：2005

出版年：2005

7.Component-based analysis of embedded control applications

作者：Christo Angelov (1) angelov@mci.sdu.dk
Wei Guan (1) wg@mci.sdu.dk
Nicolae Marian (1) nicolae@mci.sdu.dk
Feng Zhou (1) zhou@mci.sdu.dk
Krzysztof Sierszecki (1) ksi@mci.sdu.dk
S酶ren Top (1) top@mci.sdu.dk

关键词：Embedded control systems – ; Component ; based design – ; Domain ; specific frameworks – ; Model ; based analysis – ; Semantics ; preserving model transformation – ; Runtime observers

刊名：Innovations in Systems and Software Engineering

出版时间：March 2012

出版年：2012

8.Rapid-Prototyping of Embedded Systems via Reprogrammable Devices

作者：Stefano Cardelli ; Massimiliano Chiodo ; Paolo Giusto ; Attila Jurecska ; Luciano Lavagno ; Claudio Sanso猫 and Alberto Sangiovanni-Vincentelli

关键词：embedded systems ; rapid prototyping ; hardware/software co ; design ; field ; programmable inter ; connect ; software synthesis ; automotive electronics

刊名：Design Automation for Embedded Systems

出版时间：1998

出版年：1998

9.Extending the MaSE Methodology for the Development of Embedded Real-Time Systems

作者：Iman Badr ; Hisham Mubarak ; Peter G枚hner

关键词：Agent ; Oriented Software Development ; Real ; Time Systems ; Embedded Systems

刊名：Lecture Notes in Computer Science

出版时间：2008

出版年：2008

10.Resource access control for dynamic priority distributed real-time systems

作者：Chen Zhang and David Cordes

关键词：Synchronization ; Concurrency ; Scheduling ; Distributed systems ; Real ; time systems ; Embedded systems

刊名：Real-Time Systems

出版时间：October, 2006

出版年：2006

1

2

3

4

5

6

7

8

9

按检索点细分(617)

题名(28)

关键词(19)

文摘(437)

按出版年细分(617)

2000年及以前(75)

2001年(32)

2002年(27)

2003年(30)

2004年(39)

2005年(54)

2006年(51)

2007年(61)

2008年(66)

2009年(38)

2010年(46)

2011年(66)

2012年(32)

网站地图　|　常见问题　|　交通位置　|　联系我们　|　OA远程办公　|　English

© 2004-2018 中国地质图书馆版权所有京ICP备05064691号京公网安备11010802017129号

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700