掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops
IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
WORNUS 2011 Message from the Workshop Co-chairs
机译:
Wordus 2011来自车间联合椅子的消息
作者:
{missing}
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
2.
Publisher's Information
机译:
出版商的信息
作者:
{missing}
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
3.
Copyright Page
机译:
版权页面
作者:
{missing}
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
4.
Title Page i
机译:
标题页I.
作者:
{missing}
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
5.
AMICS 2011 Message from the Workshop Co-chairs
机译:
AMICS 2011来自Workshop Co-Chairs的消息
作者:
{missing}
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
6.
MoBE-RTS 2011 Message from the Workshop Co-chairs
机译:
Mobe-RTS 2011来自车间合作社的消息
作者:
{missing}
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
7.
Title Page iii
机译:
标题Page III
作者:
{missing}
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
8.
SORT 2011 Message from the Workshop Co-chairs
机译:
从车间联合椅子上排序2011消息
作者:
{missing}
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
9.
Author Index
机译:
作者索引
作者:
{missing}
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
10.
Architectural Design Patterns for Flight Software
机译:
飞行软件的建筑设计模式
作者:
Fant Julie Street
;
Gomaa Hassan
;
Pettit Robert G.
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
关键词:
UML;
distributed real-time;
embedded software;
software architectural design patterns;
space flight software;
11.
Suitability of Hypervisor and MPSoC Architectures for the Execution Environment of an Integrated Embedded System
机译:
适用于集成嵌入式系统的执行环境的管理程序和MPSOC架构的适用性
作者:
Azkarate-askasua M.
;
Martinez I.
;
Iturbe X.
;
Obermaisser R.
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
关键词:
Embedded;
Hypervisor;
Integrated;
MPSoC;
12.
MultiChipSat Fault-Tolerant Architecture
机译:
多码率容错架构
作者:
McCormack Matthew M.
;
Saenz-Otero Alvar
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
关键词:
Aerospace electronics;
fault tolerance;
redundancy;
reliability engineering;
13.
Developing Mechanisms for Determining 'Good Enough' in SORT Systems
机译:
开发机制,用于确定“足够好”的排序系统
作者:
Bellman Kirstie L.
;
Nelson Phyllis R.
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
关键词:
Computational Reection;
Experimental Testbed;
Real-Time Systems;
Self-Organizing Systems;
Wrapping Infrastruc- ture;
14.
Using a Local Prefetch Strategy to Obtain Temporal Time Predictability
机译:
使用局部预取策略获取时间时间可预测性
作者:
Cilku Bekim
;
Puschner Peter
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
关键词:
memory hierarchies;
prefetching;
time predictability;
timing analysis;
15.
Live Streaming of Medical Data - The Fontane Architecture for Remote Patient Monitoring and Its Experimental Evaluation
机译:
医疗数据的直播 - 远程患者监测的Fontane架构及其实验评价
作者:
Schacht Alexander
;
Wierschke Robert
;
Wolf Martin
;
von Lowis Martin
;
Polze Andreas
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
16.
Task-Level Probabilistic Scheduling Guarantees for Dependable Real-Time Systems - A Designer Centric Approach
机译:
任务级概率调度保证可靠的实时系统 - 设计人员以中心的方法
作者:
Aysan Huseyin
;
Dobrin Radu
;
Punnekkat Sasikumar
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
关键词:
Fault tolerance;
Real-time systems;
Schedulability analysis;
Time redundancy;
17.
A Lazy Algorithm for Distributed Priority Assignment in Real-Time Systems
机译:
一种实时系统中分布式优先级分配的延迟算法
作者:
Neukirchner Moritz
;
Stein Steffen
;
Ernst Rolf
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
关键词:
Admission Control;
Constraint Satisfaction;
Real-time;
Scheduling;
Self-Configuration;
18.
Vision-Based Autonomous Landing for Small-Scale Unmanned Rotorcraft
机译:
基于视觉的小型无人旋翼飞机自主降落
作者:
Jeon Dongwoon
;
Cho Kiho
;
Kim Doo-Hyun
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
关键词:
Auto-landing;
Rotorcraft;
UAV;
Vision;
19.
Analyzing Embedded Systems Code for Mixed-Critical Systems Using Hybrid Memory Representations
机译:
使用混合存储器表示分析混合关键系统的嵌入式系统代码
作者:
Beckschulze Eva
;
Brauer Jorg
;
Stollenwerk Andre
;
Kowalewski Stefan
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
关键词:
memory model;
software partitioning;
static analysis;
20.
Abstract Infrastructure for Real Systems: Reflection and Autonomy in Real Time
机译:
真实系统的抽象基础设施:实时反思和自主权
作者:
Landauer Christopher
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
关键词:
Computational Reflection;
Experimental Testbed;
Real-Time Systems;
Self-Organizing Systems;
Wrapping Infrastructure;
21.
Product Model Derivation by Model Transformation in Software Product Lines
机译:
软件产品线模型转换的产品模型推导
作者:
Tawhid Rasha
;
Petriu Dorina C.
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
关键词:
ATL;
Feature Mapping;
MARTE;
SPL;
UML;
22.
Proving Memory Separation in a Microkernel by Code Level Verification
机译:
通过代码级别验证证明Microkernel中的内存分离
作者:
Baumann Christoph
;
Bormer Thorsten
;
Blasum Holger
;
Tverdyshev Sergey
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
关键词:
deductive verification;
memory separation;
microkernel;
23.
Component-Based Hazard Analysis for Mechatronic Systems
机译:
机电系统的组分危害分析
作者:
Priesterjahn Claudia
;
Sondermann-Wolke Christoph
;
Tichy Matthias
;
Holscher Christian
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
关键词:
Failure Analysis;
Fault trees;
Mechatronics;
Modeling;
System analysis;
design;
24.
Performance Analysis of Time-Triggered Ether-Networks Using Off-the-Shelf-Components
机译:
使用离子组件的时间触发的醚网络性能分析
作者:
Bartols Florian
;
Steinbach Till
;
Korf Franz
;
Schmidt Thomas C.
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
关键词:
TTEthernet;
benchmarking;
components-off-the-shelf;
end-to-end latency;
real-time Ethernet;
real-time Linux;
time-triggered;
25.
Method and Tools for Mixed-Criticality Real-Time Applications within PharOS
机译:
PHAROS中混合关键性实时应用的方法和工具
作者:
Lemerre Matthieu
;
Ohayon Emmanuel
;
Chabrol Damien
;
Jan Mathieu
;
Jacques Marie-Benedicte
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
26.
Self-Organizing Real-Time Service Dissemination and Collection Using Mobile Agents for Mobile Ad Hoc Networks
机译:
使用移动代理商进行自我组织的实时服务传播和集合,用于移动临时网络
作者:
Ohta Tomoyuki
;
Hashimoto Takeshi
;
Kakuda Yoshiaki
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
关键词:
MANETs;
Mobile Agents;
Service Discovery;
27.
Towards Dependability-Aware Design of Hardware Systems Using Extended Program State Machines
机译:
朝着使用扩展程序状态机的硬件系统的可靠性感知设计
作者:
Gruttner Kim
;
Herrholz Andreas
;
Kuhne Ulrich
;
Grosse Daniel
;
Rettberg Achim
;
Nebel Wolfgang
;
Drechsler Rolf
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
28.
Synthesis of Static Communication Schedules for Mixed-Criticality Systems
机译:
混合界定系统静态通信时间表的合成
作者:
Steiner Wilfried
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
关键词:
SMT-solving;
mixed-criticality;
network;
rate-constrained;
real-time;
time-triggered;
29.
Model-Based Hardware Generation and Programming - The MADES Approach
机译:
基于模型的硬件生成和编程 - 疯狂的方法
作者:
Gray Ian
;
Matragkas Nikos
;
Audsley Neil C.
;
Indrusiak Leandro Soares
;
Kolovos Dimitris
;
Paige Richard
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
关键词:
Embedded Systems;
Epsilon;
MADES;
Model Driven Engineering;
Real-Time Systems;
30.
Ordering of Time-Dependent Tasks for Self-Organized Resource Scheduling
机译:
对自组织资源调度的时间相关任务的排序
作者:
Pacher Mathias
;
Brinkschulte Uwe
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
关键词:
Time-dependent tasks;
formal modeling;
self-organization;
task ordering;
31.
Intelligent Agent Software Development Using AUML and the Descartes Specification Language
机译:
智能代理软件开发使用AUML和DESCARTES规范语言
作者:
Subburaj Vinitha Hannah
;
Urban Joseph
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
关键词:
formal methods;
intelligent software agent design;
specification languages;
32.
Middleware Support for a Self-Configurable Wireless Sensor Network
机译:
用于自配置无线传感器网络的中间件支持
作者:
Gotz Marcelo
;
Rettberg Achim
;
Podolski Ina
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
关键词:
Middleware;
Reconfigurable Computing;
33.
Virtual Software Execution Environments for Distributed Embedded Control Systems
机译:
用于分布式嵌入式控制系统的虚拟软件执行环境
作者:
Nakamoto Yukikazu
;
Yabuuchi Kenji
;
Osaki Tatsunori
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
关键词:
MATLAB/Simulink;
QEMU;
distributed embedded control systems;
simulators;
34.
An Invariant Preserving Transformation for PLC Models
机译:
PLC型号不变保存转换
作者:
Blech Jan Olaf
;
Hattendorf Anton
;
Huang Jia
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
关键词:
BIP;
Invariants;
PLC;
Transformation;
Verification;
35.
Self-Reconfiguration for Fault-Tolerant FlexRay Networks
机译:
用于容错FlexRay网络的自我重新配置
作者:
Klobedanz Kay
;
Koenig Andreas
;
Mueller Wolfgang
;
Rettberg Achim
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
关键词:
Automotive Systems;
Fault-Tolerant;
FlexRay;
Networks;
Self-Reconfiguration;
36.
A Survey of Security Concepts for Common Operating Environments
机译:
常用操作环境安全概念调查
作者:
Loyall Joseph
;
Rohloff Kurt
;
Pal Partha
;
Atighetchi Michael
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
关键词:
Adaptive Survivability;
Cross Domain;
Multi-Level Security;
Service-Oriented Architecture;
37.
A Service Discovery Approach for Testing Dynamic SOAs
机译:
一种用于测试动态SOA的服务发现方法
作者:
Ceccarelli Andrea
;
Vieira Marco
;
Bondavalli Andrea
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
关键词:
discovery;
self-organization;
service oriented architecture;
system evolution;
testing;
38.
Dependability Concerns in Model-Driven Engineering
机译:
模型驱动工程中的可靠性问题
作者:
Montecchi Leonardo
;
Lollini Paolo
;
Bondavalli Andrea
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
关键词:
conceptual model;
dependability analysis;
engineering languages;
intermediate dependability model;
state-based methods;
39.
Accurate Temperature Measurements for Medical Research Using Body Sensor Networks
机译:
使用体传感器网络的医学研究精确温度测量
作者:
Boano Carlo Alberto
;
Lasagni Matteo
;
Romer Kay
;
Lange Tanja
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
关键词:
Body Sensor Networks;
Circadian Rhythms;
Medical Research;
Skin Temperature;
Temperature;
40.
Analytical Model for the Optimization of Self-Organizing Image Processing Systems Utilizing Cellular Automata
机译:
利用蜂窝自动机的自组织图像处理系统优化分析模型
作者:
Reichenbach Marc
;
Schmidt Michael
;
Fey Dietmar
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
关键词:
analytical model;
cellular automatam ParCA;
41.
Self-Organized Cooperation in Swarm Robotics
机译:
在群体机器人学中自组织合作
作者:
Khaluf Yara
;
Mathews Emi
;
Rammig Franz J.
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
关键词:
motion control;
object tracking;
swarm robots;
time synchronization;
42.
Timely Virtual Machine Migration for Pro-active Fault Tolerance
机译:
及时虚拟机迁移为主动容错
作者:
Polze Andreas
;
Troger Peter
;
Salfner Felix
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
关键词:
failure prediction;
live migration;
meta-learning;
monitoring;
virtualization;
43.
Knowledge Representation and Awareness in Autonomic Service-Component Ensembles - State of the Art
机译:
自主服务部件集合中的知识表示和意识 - 艺术技术
作者:
Vassev Emil
;
Hinchey Mike
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
关键词:
ASCENS;
awareness;
knowledge representation;
44.
Using Transactional Memory to Synchronize an Adaptive Garbage Collector in Real-Time Java
机译:
使用事务内存在实时Java中同步自适应垃圾收集器
作者:
Higuera-Toledano M. Teresa
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
关键词:
Garbage Collection;
Memory Management;
Real-Time Java;
Synchronization Paradigms;
Transactional Memory;
45.
Challenges for Creating Highly Dependable Service Based Systems
机译:
创建高可靠服务的系统的挑战
作者:
Banerjee Sean
;
Srikanth Hema
;
Cukic Bojan
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
关键词:
Dependable Systems;
Software Analytics;
Software Dependability;
Software as a Service;
46.
Optimization of Time-Partitions for Mixed-Criticality Real-Time Distributed Embedded Systems
机译:
优化混合关键性实时分布式嵌入式系统的时间分区
作者:
Tamas-Selicean Domitian
;
Pop Paul
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2011年
关键词:
mixed-criticality;
real-time systems;
temporal-partitioning;
47.
Towards Formalized Model-Based Requirements for a Seamless Design Approach in Safety-Critical Systems Development
机译:
在安全关键系统开发中实现无缝设计方法的正式模型的要求
作者:
Walter Stefan
;
Rettberg Achim
;
Kreutz Marcio
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2015年
关键词:
SysML;
TADL;
UML;
model-based design;
safety-critical systems;
48.
A Time-Predictable Instruction-Cache Architecture that Uses Prefetching and Cache Locking
机译:
使用预取和缓存锁定的时间可预测的指令 - 缓存架构
作者:
Cilku Bekim
;
Prokesch Daniel
;
Puschner Peter
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2015年
关键词:
cache;
predictability;
prefetching;
single-path code;
49.
A Mobile Agent Migration Mechanism for Information Dissemination Scheme in VANETs Considering Entrance and Exit of Mobile Nodes
机译:
考虑移动节点入口和退出的Vanets信息传播方案的移动代理迁移机制
作者:
Hashimoto Takeshi
;
Tsuji Takuya
;
Aoki Junichi
;
Ohta Tomoyuki
;
Kakuda Yoshiaki
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2015年
关键词:
Information Dissemination;
VANET;
50.
Addressing Non-functional Requirements for Embedded Applications with Platform Based Aspect Design
机译:
解决基于平台的方面设计的嵌入式应用程序的非功能性要求
作者:
Resmerita Stefan
;
Poelzleitner Anton
;
Lukesch Stefan
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2015年
关键词:
aspect oriented modeling;
embedded software;
model based development;
non-functional requirements;
platform based design;
51.
A Timed-Automata Based Middleware for Time-Critical Multicore Applications
机译:
基于时间的自动机基于中间版,用于时间关键的多核应用
作者:
Socci Dario
;
Poplavko Peter
;
Bensalem Saddek
;
Bozga Marius
;
Bourgos Paraskevas
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2015年
关键词:
Code generation;
Middleware;
Multicore;
Time-Critical;
timed-automata;
52.
Integrated Analysis of Temporal Behavior of Component-Based Distributed Real-Time Embedded Systems
机译:
基于组件的分布式实时嵌入式系统的时间行为综合分析
作者:
Kumar Pranav Srinivas
;
Karsai Gabor
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2015年
关键词:
analysis;
based;
colored petri nets;
distributed;
real-time;
schedulability;
timing;
53.
Integer Range Analysis for Whiley on Embedded Systems
机译:
嵌入式系统上的整数范围分析
作者:
Pearce David J.
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2015年
关键词:
Integer range analysis;
compilers;
embedded systems;
54.
Models of Communication for Multicore Processors
机译:
多核处理器的通信模型
作者:
Schoeberl Martin
;
Sorensen Rasmus Bo
;
Sparso Jens
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2015年
关键词:
multicore communication;
real-time systems;
time-predictable systems;
55.
Global and Thread-Local Activation of Contextual Program Execution Environments
机译:
全全局和线程 - 语境程序执行环境激活
作者:
Raab Markus
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2015年
关键词:
context oriented programming;
customization;
multi-core;
persistency;
ubiquitous computing;
56.
Stack Caching Using Split Data Caches
机译:
使用拆分数据缓存堆栈缓存
作者:
Nielsen Carsten
;
Schoeberl Martin
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2015年
关键词:
cache memory;
microprocessors;
stack caching;
57.
A Time-Triggered Constraint-Based Calculus for Avionic Systems
机译:
用于航空系统的基于时间触发的基于约束的微积分
作者:
Hamadou Sardaouna
;
Mullins John
;
Gherbi Abdelouahed
;
Beji Sofiene
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2015年
关键词:
Avionic embedded systems;
Flight Management System;
Formal model;
Integrated Modular Avionics;
Real-time constraint-based calculus;
Time-Triggered Ethernet;
58.
Design Methodology and Run-Time Management for Predictable Many-Core Systems
机译:
用于可预测的许多核心系统的设计方法和运行时管理
作者:
Wildermann Stefan
;
Weichslgartner Andreas
;
Teich Jurgen
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2015年
关键词:
Many-core systems;
design space exploration;
run-time management;
timing predictability;
59.
An Inter-Cluster Communication Scheme for Self-Organized Transmission Power Control in MANET Clustering
机译:
MANET聚类中自组织传输功率控制的群集间通信方案
作者:
Kobayashi Keita
;
Kakuda Yoshiaki
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2015年
关键词:
Clustering;
Mobile Ad Hoc Network (MANET);
Node Density;
One-way Communication Link;
Self-Organization;
Transmission Power Control;
60.
Design and Evaluation of a Bio-Inspired, Distributed Middleware for a Multiple Mixed-Core System on Chip
机译:
用于芯片多混合核心系统的生物启发,分布式中间件的设计与评估
作者:
Lund Andreas
;
Betting Benjamin
;
Brinkschulte Uwe
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2015年
关键词:
Artificial Hormone System;
Decentralized;
Heterogeneous System-on-Chip;
Hierarchical;
Multi-Agent;
Organic Computing;
Reliability;
61.
Optimised Adaptation of Mixed-Criticality Systems with Periodic Tasks on Uniform Multiprocessors in Case of Faults
机译:
故障情况下均匀多处理器周期性任务的混合关键系统优化适应
作者:
Kirner Raimund
;
Iacovelli Saverio
;
Zolda Michael
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2015年
关键词:
fault tolerance;
mixed criticality;
real time;
scheduling;
62.
Towards a Framework for Self-Adaptive Reliable Network Services in Highly-Uncertain Environments
机译:
朝着高度不确定的环境中自适应可靠的网络服务框架
作者:
Ceccarelli A.
;
Gramp
;
#x00F8
;
nbamp
;
#x00E6
;
k J.
;
Montecchi L.
;
Schwefel H.-P.
;
Bondavalli A.
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2010年
关键词:
ODDR;
adaptive model generation;
decision;
diagnosis;
measurement uncertainty;
monitoring;
pervasive systems;
63.
Message from MoBE-RTES 2010 Co-chairs
机译:
来自Mobe-RTES 2010的消息联合椅
作者:
(missing)
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2010年
64.
Author Index
机译:
作者索引
作者:
(missing)
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2010年
65.
Publisher's Information
机译:
出版商的信息
作者:
(missing)
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2010年
66.
Towards a Model-Based Refinement Process for Contractual State Machines
机译:
迈向合同状态机的基于模型的细化过程
作者:
Harbird L.
;
Galloway A.
;
Paige R.F.
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2010年
关键词:
contracts;
reactive systems;
refinement patterns;
state machines;
67.
Experimental Reliability Analysis of Multi-UAV Simulation with TMO-Based Distributed Architecture and Global Time Synchronization
机译:
基于TMO的分布式架构和全局时间同步的多UAV模拟实验可靠性分析
作者:
Seung-Hwa Song
;
Doo-Hyun Kim
;
Chun-Hyon Chang
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2010年
关键词:
Global time synchronization;
Multiple UAV simulation;
Periodicity guarantee;
TMO HILS;
68.
Advanced Protected Services - A Concept Paper on Survivable Service-Oriented Systems
机译:
高级受保护的服务 - 可生存的服务型系统上的概念纸张
作者:
Pal P.
;
Atighetchi M.
;
Loyall J.
;
Gronosky A.
;
Payne C.
;
Hillman R.
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2010年
关键词:
service-oriented architecture;
survivability;
69.
Copyright Page
机译:
版权页面
作者:
(missing)
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2010年
70.
Polychronous Analysis of Timing Constraints in UML MARTE
机译:
UML Marte中计时约束的多晶分析
作者:
Huafeng Yu
;
Talpin J.-P.
;
Besnard L.
;
Gautier T.
;
Mallet F.
;
Andreamp
;
#x0301
;
C.
;
de Simone R.
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2010年
关键词:
CCSL;
MARTE;
Polychrony;
TimeSquare;
clock calculus;
simulation;
71.
Adaptive Distributed Service Discovery for Dependable Service Integration
机译:
自适应分布式服务发现,可用于可靠的服务集成
作者:
Lu Liu
;
Jie Xu
;
Kaigui Wu
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2010年
关键词:
peer-to-peer;
service integration;
service-oriented archiectures;
72.
Managing Variable and Cooperative Time Behavior
机译:
管理变量和合作时间行为
作者:
Bellman K.L.
;
Landauer C.
;
Nelson P.R.
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2010年
73.
Real-Time Distribution of Time-Dependant Tasks in Heterogeneous Environments
机译:
异构环境中的时间依赖任务的实时分布
作者:
Pacher M.
;
Brinkschulte U.
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2010年
关键词:
Multi-stage distributed control loops;
realtime task distribution;
74.
Optimisation of Energy Consumption of Soft Real-Time Applications by Workload Prediction
机译:
工作量预测优化软实时应用的能耗
作者:
Kluge F.
;
Uhrig S.
;
Mische J.
;
Satzger B.
;
Ungerer T.
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2010年
关键词:
EmbeddedProcessor;
Energy Efficiency;
Real-time;
Scheduling;
75.
Consistency Challenges in Self-Organizing Distributed Hard Real-Time Systems
机译:
自组织分布式硬实时系统中的一致性挑战
作者:
Stein S.
;
Neukirchner M.
;
Schrom H.
;
Ernst R.
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2010年
76.
Towards Scalability and Reliability of Autonomic Systems on Chip
机译:
朝着芯片上自主系统的可扩展性和可靠性
作者:
Zeppenfeld J.
;
Bouajila A.
;
Herkersdorf A.
;
Stechele W.
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2010年
关键词:
autonomic;
machine learning;
self-healing;
self-organization;
77.
A Scalable, Self-Adaptive Architecture for Remote Patient Monitoring
机译:
可扩展,自适应架构,用于远程患者监控
作者:
Polze A.
;
Troamp
;
#x0308
;
ger P.
;
Hentschel U.
;
Heinze T.
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2010年
关键词:
middleware;
real-time;
self-adaptive;
tele-medicine;
78.
Developing Self-Managing Embedded Systems with ASSL
机译:
使用ASSL开发自我管理的嵌入式系统
作者:
Vassev E.
;
Hinchey M.
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2010年
关键词:
ASSL;
embedded systems;
reactive systems;
self-management;
79.
Providing Guidance in an Interdisciplinary Model-Based Design Process
机译:
在基于跨学科的模型的设计过程中提供指导
作者:
Gacamp
;
#x030C
;
nik J.
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2010年
关键词:
automotive;
formal reasoning;
process formalization;
safety;
traceability;
80.
Policy-Based Reprogramming for Wireless Sensor Networks
机译:
基于策略的无线传感器网络重新编程
作者:
Sang Hoon Lee
;
Choi L.
;
Yunmook Nah
;
Seungki Hong
;
Jong-Arm Jun
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2010年
关键词:
network management;
policy;
reprogramming;
sensor network;
81.
Message from SORT 2010 Workshop Co-chairs
机译:
来自SORT 2010 Workshop Co-椅子的消息
作者:
(missing)
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2010年
82.
Flexible Resource Management for Self-X Systems: An Evaluation
机译:
Self-X系统的灵活资源管理:评估
作者:
Oberthuamp
;
#x0308
;
r S.
;
Zaremba L.
;
Lichte H.S.
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2010年
关键词:
Real-time;
Resource Management;
Self-X;
83.
A Self-Organizing Distributed Reinforcement Learning Algorithm to Achieve Fair Bandwidth Allocation for Priority-Based Bus Communication
机译:
一种自组织分布式强化学习算法,实现优先基于总线通信的公平带宽分配
作者:
Ziermann T.
;
Muamp
;
#x0308
;
hleis N.
;
Wildermann S.
;
Teich J.
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2010年
关键词:
bus-based communication;
multi-agent reinforcement learning;
self-organizing;
84.
Locality-Aware Extension of pi-Calculus to Model Self-Organizing Behavior in Massively Distributed Embedded Systems
机译:
PI-COMPULA的位置感知扩展到大型分布式嵌入式系统中的自组织行为模型
作者:
Orfanus D.
;
Janacik P.
;
Wagner F.R.
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2010年
关键词:
Process algebra;
ad hoc networks;
clustering;
emergence;
locality awareness;
pi-calculus;
self-organization;
wireless sensor networks;
85.
Architecture-Driven Development of Embedded Systems with ACOL
机译:
ACOL嵌入式系统的建筑驱动开发
作者:
Langsweirdt D.
;
Bouckeamp
;
#x0301
;
N.
;
Berbers Y.
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2010年
关键词:
ACOL;
Architecture-Driven Development;
Embedded Systems;
86.
An Industrial Case Study Using an MBE Approach: From Architecture to Safety Analysis
机译:
使用MBE方法的工业案例研究:从架构到安全分析
作者:
Dalpez S.
;
Passerone R.
;
Cancila D.
;
Terrier F.
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2010年
关键词:
model-based safety engineering;
preliminary hazard analysis;
railway application domain;
reliability analysis;
87.
Proposing a Hybrid Software Execution Environment for Distributed Embedded Systems
机译:
为分布式嵌入式系统提出混合软件执行环境
作者:
Nakamoto Y.
;
Yabuuchi K.
;
Osaki T.
;
Kishida T.
;
Hara T.
;
Abe I.
;
Kitamura A.
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2010年
关键词:
CORBA;
QEMU;
distributed embedded systems;
simulators;
88.
Title Page iii
机译:
标题页III
作者:
(missing)
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2010年
89.
On the Requirements for Quality Composability Modeling and Analysis
机译:
关于质量可塑性建模和分析的要求
作者:
Briones J.F.
;
de Miguel M.
;
Silva J.P.
;
Alonso A.
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2010年
关键词:
MARTE UML profile;
composability analysis;
modeling languages;
non-functional properties;
90.
Real-Time Self-Organizing Autonomous Clustering for Mobile Ad Hoc Networks
机译:
用于移动临时网络的实时自组织自主聚类
作者:
Kakuda Y.
;
Ohta T.
;
Oda R.
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2010年
关键词:
Adaptability;
Clustering;
Mobile Ad Hoc Network;
Routing;
Scalability;
Self-organized Control;
91.
Towards a Time-Predictable Hierarchical Memory Architecture - Prefetching Options to be Explored
机译:
朝着时间可预测的分层内存架构 - 要探索的预取选项
作者:
Cilku B.
;
Puschner P.
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2010年
关键词:
memory hierarchies;
time predictability;
timing analysis;
92.
Message from WORNUS 2010 Workshop Chair
机译:
来自Wornus 2010车间椅子的消息
作者:
(missing)
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2010年
93.
Structuring of an Adaptive Multi-channel Audio-Play System Based on the TMO Scheme
机译:
基于TMO方案的自适应多通道音频播放系统的结构
作者:
Kim K.H.
;
Tianran Zhou
;
Kyu-Sik Park
;
Seok-Pil Lee
;
Tae-Beom Lim
;
Kyoung-Ro Yoon
;
Doohyun Kim
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2010年
关键词:
AMAS;
TCoDA;
TMO;
audio;
channel reformation;
global time;
listener localization;
94.
Fault Tolerant Scheduling on Controller Area Network (CAN)
机译:
控制器区域网络上的容错调度(CAN)
作者:
Aysan H.
;
Dobrin R.
;
Punnekkat S.
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2010年
关键词:
fault tolerance;
real-time systems;
time redundancy;
95.
Title Page i
机译:
标题页I.
作者:
(missing)
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2010年
96.
Realizing Real-Time Centroid Detection of Multiple Objects with Marching Pixels Algorithms
机译:
实现具有游行像素算法的多个对象的实时质心检测
作者:
Fey D.
;
Komann M.
;
Reichenbach M.
;
Seidler R.
会议名称:
《IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops》
|
2010年
关键词:
Emergent computing;
cellular automaton;
low-level image processing;
parallel processor chip architectures;
smart CMOS;
vision chips;
意见反馈
回到顶部
回到首页