掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库（机构版）
更多产品
首页
成为会员
我要充值
退出
我的积分：
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局（GPO）
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业；运输
化学；冶金
纺织；造纸
固定建筑物
机械工程；照明；加热；武器；爆破
物理
电学
人类生活必需品
作业；运输
化学；冶金
纺织；造纸
固定建筑物
机械工程；照明；加热；武器；爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
IEEE Real-Time Systems Symposium
IEEE Real-Time Systems Symposium
召开年：
2014
召开地：
Rome(IT)
出版时间：
-
会议文集：
-
会议论文
热门论文
全部论文
全选（
0
）
清除
导出
1.
Exploring the Multitude of Real-Time Multi-GPU Configurations
机译：
探索多种实时多GPU配置
作者：
Elliott Glenn /A/.
;
Anderson James H.
会议名称：
《IEEE Real-Time Systems Symposium》
|
2014年
关键词：
graphics processing units;
processor scheduling;
real-time systems;
CPU organization;
GPUSync;
computational capacity;
graphics processing units;
power efficiency;
real-time GPU management framework;
real-time multi GPU configurations;
real-time schedulability;
Engines;
Graphics processing units;
Processor scheduling;
Protocols;
Real-time systems;
Scheduling;
Switches;
gpgpu;
operating systems;
real time systems;
schedulability;
2.
A Framework for Automated Competitive Analysis of On-line Scheduling of Firm-Deadline Tasks
机译：
工期任务在线调度的自动化竞争分析框架
作者：
Chatterjee Krishnendu
;
Pavlogiannis Andreas
;
Kossler Alexander
;
Schmid Ulrich
会议名称：
《IEEE Real-Time Systems Symposium》
|
2014年
关键词：
scheduling;
task analysis;
automated competitive analysis;
clairvoyant scheduler;
competitive ratio;
firm-deadline real-time tasks;
flexible framework;
labeled transition system;
limit-average constraints;
liveness;
multiobjective graphs;
online scheduling algorithms;
optimal algorithms;
optional safety;
Algorithm design and analysis;
Real-time systems;
Safety;
Schedules;
Scheduling;
Scheduling algorithms;
Vectors;
3.
Real-Time Reachability for Verified Simplex Design
机译：
经验证的单纯形设计的实时可达性
作者：
Bak Slawomir
;
Johnson Taylor T.
;
Caccamo Marco
;
Lui Sha
会议名称：
《IEEE Real-Time Systems Symposium》
|
2014年
关键词：
computer architecture;
continuous systems;
control engineering computing;
discrete systems;
large-scale systems;
nonlinear systems;
optimisation;
reachability analysis;
safety;
complex control algorithms;
real-time reachability;
simplex architecture;
unverifiable complex controller;
verified safety controller;
verified simplex design;
verified switching logic;
Automata;
Ellipsoids;
Face;
Real-time systems;
Safety;
Switches;
hybrid systems;
model checking;
online;
reachability computation;
real-time reachability;
verification;
4.
Approximate Response Time Analysis of Real-Time Task Graphs
机译：
实时任务图的近似响应时间分析
作者：
Nan Guan
;
Chuancai Gu
;
Stigge Martin
;
Qingxu Deng
;
Wang Yi
会议名称：
《IEEE Real-Time Systems Symposium》
|
2014年
关键词：
computational complexity;
directed graphs;
scheduling;
IBF analysis;
RBF analysis;
approximate response time analysis;
digraph real-time task model;
dual-task systems;
graph-based real-time task models;
pseudo-polynomial complexity;
randomly generated task sets;
real-time task graphs;
speedup factor;
static-priority scheduling;
Analytical models;
Complexity theory;
Context modeling;
Interference;
Radio frequency;
Real-time systems;
Time factors;
DRT;
real-time systems;
response time analysis;
speedup factor;
task graphs;
5.
Deriving Unbounded Proof of Linear Hybrid Automata from Bounded Verification
机译：
从有界验证中推导线性混合自动机的无穷证明
作者：
Dingbao Xie
;
Lei Bu
;
Xuandong Li
会议名称：
《IEEE Real-Time Systems Symposium》
|
2014年
关键词：
automata theory;
formal verification;
graph theory;
reachability analysis;
temporal logic;
BACH bounded LHA checker;
BMC procedure;
IIS path segment;
LHA model;
LTL formulas;
UC path segment;
behavior space;
bounded continuous state space;
bounded model checking;
bounded verification;
constraint mapping;
constraint set;
discrete part;
full state space model checking;
general unbounded verification;
graph structure;
infeasible path segment encoding;
linear hybrid automata;
linear temporal logic formulas;
off-the-shelf LTL model checking techniques;
path segments;
real time hybrid systems;
semantical elements;
system model;
target location;
transition system;
unbounded proof;
unbounded reachability argument;
unsatisfiable constraint cores;
Acceleration;
Automata;
Labeling;
Model checking;
Reachability analysis;
Real-time systems;
Scalability;
Bounded Model Checking;
Linear Hybrid Automata;
Unbounded Proof Induction;
Unsatisfiable Core;
6.
Fixed-Relative-Deadline Scheduling of Hard Real-Time Tasks with Self-Suspensions
机译：
具有自悬浮的硬实时任务的固定-相对-截止期限调度
作者：
Jian-Jia Chen
;
Cong Liu
会议名称：
《IEEE Real-Time Systems Symposium》
|
2014年
关键词：
approximation theory;
computational complexity;
processor scheduling;
real-time systems;
EDA;
EDF;
FRD scheduling;
NP-hard problem;
RM;
approximation algorithm;
fixed-relative-deadline scheduling;
hard real-time task;
linear-time schedulability test;
pseudo-polynomial-time;
real-time systems;
resource augmentation factors;
self-suspension delay;
speed-up factor;
suspension-oblivious approach;
uniprocessor;
Real-time systems;
Schedules;
Scheduling;
Scheduling algorithms;
Silicon;
Suspensions;
Fixed-Relative-Deadline Scheduling;
Resource Augmentation;
Self-Suspensions;
7.
Independence Thresholds: Balancing Tractability and Practicality in Soft Real-Time Stochastic Analysis
机译：
独立阈值：在软实时随机分析中平衡可操作性和实用性
作者：
Rui Liu
;
Mills Alex F.
;
Anderson James H.
会议名称：
《IEEE Real-Time Systems Symposium》
|
2014年
关键词：
real-time systems;
stochastic processes;
video coding;
MPEG decoding;
balancing practicality;
balancing tractability;
closed-form analysis;
compromising analysis assumptions;
independence thresholds;
probabilistically independent;
resource sharing;
soft real-time multiprocessor schedulers;
soft real-time stochastic analysis;
statistical independence tests;
stochastic dependencies;
stochastic response-time analysis;
task execution times;
tunable per-task parameter;
worst-case provisioning;
Context;
Random variables;
Real-time systems;
Resource management;
Servers;
Stochastic processes;
Time factors;
8.
Improving Control Performance by Minimizing Jitter in RT-WiFi Networks
机译：
通过最小化RT-WiFi网络中的抖动来提高控制性能
作者：
Quan Leng
;
Yi-Hung Wei
;
Song Han
;
Mok Aloysius K.
;
Wenlong Zhang
;
Tomizuka Masayoshi
会议名称：
《IEEE Real-Time Systems Symposium》
|
2014年
关键词：
data structures;
jitter;
networked control systems;
quality of service;
telecommunication network management;
telecommunication network topology;
trees (mathematics);
wireless LAN;
QoS parameters;
RT-WiFi network management problem;
S-tree;
communication jitter;
control performance;
data link layer communication schedule;
data structure;
delivery latency;
dynamic network topology;
flexible network manager;
jitter minimization;
network dynamics;
static network topology;
wireless networked control systems;
Harmonic analysis;
Heuristic algorithms;
Jitter;
Real-time systems;
Schedules;
Wireless communication;
Wireless sensor networks;
9.
Fast on Average, Predictable in the Worst Case: Exploring Real-Time Futexes in LITMUSRT
机译：
平均速度快，最坏情况下可预测：在LITMUSRT中探索实时漩涡
作者：
Spliet Roy
;
Vanga Manohar
;
Brandenburg Bjorn B.
;
Dziadek Sven
会议名称：
《IEEE Real-Time Systems Symposium》
|
2014年
关键词：
Linux;
concurrency control;
operating system kernels;
protocols;
FMLP+;
LITMUS;
Linux kernel;
MPCP;
PCP;
PIP;
priority inheritance protocol;
real-time futexes;
real-time locking protocols;
uncontended lock operations;
Boosting;
Context;
Kernel;
Linux;
Program processors;
Protocols;
Real-time systems;
multiprocessor real-time systems;
real-time locking;
real-time operating systems;
userspace synchronization;
10.
Towards Cyber-Physical Systems in Social Spaces: The Data Reliability Challenge
机译：
迈向社交空间中的网络物理系统：数据可靠性挑战
作者：
Shiguang Wang
;
Dong Wang
;
Lu Su
;
Kaplan Lance
;
Abdelzaher Tarek F.
会议名称：
《IEEE Real-Time Systems Symposium》
|
2014年
关键词：
cybernetics;
humanities;
sensors;
state estimation;
CPS feedback loops;
CPS topic;
background noise distribution;
crowd-sensing systems;
cyber-physical systems;
data reliability challenge;
disaster response systems;
error distribution;
multivalued variables;
smart grid;
social spaces;
state estimation;
state estimators;
transportation systems;
Accuracy;
Computational modeling;
Estimation;
Joints;
Software reliability;
Trajectory;
11.
A Synchronous IPC Protocol for Predictable Access to Shared Resources in Mixed-Criticality Systems
机译：
混合关键系统中可预测访问共享资源的同步IPC协议
作者：
Brandenburg Bjorn B.
会议名称：
《IEEE Real-Time Systems Symposium》
|
2014年
关键词：
protocols;
LITMUSRT;
MC-IPC protocol;
mixed-criticality systems;
novel synchronous multiprocessor IPC protocol;
paramount isolation requirements;
real-time locking approaches;
synchronous IPC protocol;
Bandwidth;
Context;
Delays;
Interference;
Protocols;
Real-time systems;
Servers;
IPC;
freedom-from-interference;
inter-process communication;
logical isolation;
mixed-criticality;
multiprocessors;
real-time synchronization;
temporal isolation;
12.
FLOPSYNC-2: Efficient Monotonic Clock Synchronisation
机译：
FLOPSYNC-2：高效的单调时钟同步
作者：
Terraneo Federico
;
Rinaldi Luigi
;
Maggio Martina
;
Papadopoulos Alessandro Vittorio
;
Leva Alberto
会议名称：
《IEEE Real-Time Systems Symposium》
|
2014年
关键词：
microcontrollers;
power aware computing;
synchronisation;
telecommunication computing;
thermal stresses;
wireless sensor networks;
FLOPSYNC-2;
Miosix;
WSN;
clock monotonicity;
control-theoretical principles;
efficient monotonic clock synchronisation;
eight-hop network;
external hardware assistance;
local node clocks;
low power consumption;
microcontroller operating system;
node clock monotonicity;
sub-μA consumption overhead;
sub-μs standard deviation;
thermal stress;
time synchronisation;
wireless sensor networks;
Crystals;
Heating;
Jitter;
Stress;
Synchronization;
Thermal stresses;
Wireless sensor networks;
Clock synchronisation;
feedback control;
wireless sensor networks;
13.
Generalized Decision Aggregation in Distributed Sensing Systems
机译：
分布式传感系统中的广义决策聚合
作者：
Lu Su
;
Qi Li
;
Shaohan Hu
;
Shiguang Wang
;
Jing Gao
;
Hengchang Liu
;
Abdelzaher Tarek F.
;
Jiawei Han
;
Xue Liu
;
Yan Gao
;
Kaplan Lance
会议名称：
《IEEE Real-Time Systems Symposium》
|
2014年
关键词：
decision making;
distributed sensors;
sensor fusion;
GDA;
decision making;
distributed sensing systems;
distributed sensor nodes;
generalized decision aggregation;
Accuracy;
Linear programming;
Optimization;
Reliability;
Sensors;
Vectors;
Vehicles;
Crowd Sensing;
Decision Aggregation;
Distributed Sensing System;
Participatory Sensing;
Social Sensing;
14.
Real-Time Discharge/Charge Rate Management for Hybrid Energy Storage in Electric Vehicles
机译：
电动汽车混合动力储能的实时放电/充电率管理
作者：
Kim EunHee
;
Shin Kang G.
;
Jinkyu Lee
会议名称：
《IEEE Real-Time Systems Symposium》
|
2014年
关键词：
battery management systems;
electric vehicles;
energy storage;
regenerative braking;
scheduling;
battery cells;
battery management system;
electric vehicles;
energy storage system;
hybrid energy storage;
real-time discharge/charge rate management;
regenerative braking system;
Batteries;
Capacitors;
Discharges (electric);
Inductors;
Switches;
Vehicles;
battery management system;
electric vehicles;
hybrid energy storage;
15.
Bursty-Interference Analysis Techniques for Analyzing Complex Real-Time Task Models
机译：
突发干扰分析技术，用于分析复杂的实时任务模型
作者：
Cong Liu
;
Jian-Jia Chen
会议名称：
《IEEE Real-Time Systems Symposium》
|
2014年
关键词：
real-time systems;
task analysis;
bursty-interference analysis techniques;
classical sporadic task model;
complex real-time cyber-physical systems;
complex real-time task models;
complex task models;
deferrable server task models;
expressive formal models;
expressive real-time task models;
prior analysis methods;
rate-monotonic scheduling;
rate-monotonic utilization bounds;
self-suspending task model;
system designers;
uniprocessor utilization-based schedulability tests;
uniprocessors;
Analytical models;
Computational modeling;
Interference;
Real-time systems;
Schedules;
Servers;
Suspensions;
bursty-interference analysis;
deferrable server;
real-time systems;
scheduling;
self-suspension;
16.
Integrating Cache-Related Pre-Emption Delays into Analysis of Fixed Priority Scheduling with Pre-Emption Thresholds
机译：
将与缓存相关的抢先延迟整合到具有抢先阈值的固定优先级调度分析中
作者：
Bril Reinder J.
;
Altmeyer Sebastian
;
Van Heuvel Martijn M. H. P.
;
Davis Robert /I/.
;
Behnam Moris
会议名称：
《IEEE Real-Time Systems Symposium》
|
2014年
关键词：
cache storage;
scheduling;
CRPD;
FPPS;
FPTS;
cache-related preemption delays;
constrained deadlines;
fixed priority preemptive scheduling analysis;
fixed-priority preemption threshold scheduling;
optimal threshold assignment algorithm;
sporadic task schedulability analysis;
Bismuth;
Delays;
Equations;
Job shop scheduling;
Real-time systems;
Standards;
Time factors;
CRPD;
cache-related pre-emption delay;
fixed-priority scheduling;
pre-emption thresholds;
17.
vMPCP: A Synchronization Framework for Multi-core Virtual Machines
机译：
vMPCP：多核虚拟机的同步框架
作者：
Hyoseung Kim
;
Shige Wang
;
Rajkumar R.
会议名称：
《IEEE Real-Time Systems Symposium》
|
2014年
关键词：
multiprocessing systems;
synchronisation;
virtual machines;
virtualisation;
CPU cores;
VCPU budget replenish policy;
VCPU budget supply policies;
blocking time reduction;
deferrable server policies;
hypervisor;
multicore real-time systems;
multicore virtual machines;
optional budget overrun;
periodic server policies;
synchronization framework;
task schedulability analyses;
vMPCP;
virtual CPU;
virtualization-unaware multicore synchronization protocol;
Multicore processing;
Protocols;
Real-time systems;
Servers;
Synchronization;
Virtual machine monitors;
Virtualization;
multi-core;
real-time;
shared resource;
synchronization;
virtualization;
18.
On the Complexity of Worst-Case Blocking Analysis of Nested Critical Sections
机译：
嵌套关键截面的最坏情况阻塞分析的复杂性
作者：
Wieder Alexander
;
Brandenburg Bjorn B.
会议名称：
《IEEE Real-Time Systems Symposium》
|
2014年
关键词：
computational complexity;
multiprocessing systems;
processor scheduling;
reachability analysis;
real-time systems;
FIFO-ordered locks;
NP-hard problem;
classic sporadic task model;
global scheduling;
multiple-choice matching problem;
multiprocessors;
partitioned scheduling;
polynomial time;
priority-ordered locks;
reachability problem;
recurrent real-time systems;
spin-based locks;
suspension-based locks;
worst-case blocking analysis;
Analytical models;
Bismuth;
Delays;
Optimization;
Program processors;
Real-time systems;
Schedules;
Blocking Analysis;
Complexity;
Multiprocessor;
NP-Hardness;
Nested Locks;
Real-Time;
19.
Adaptive Mixed Criticality Scheduling with Deferred Preemption
机译：
延迟优先的自适应混合临界调度
作者：
Burns A.
;
Davis Robert /I/.
会议名称：
《IEEE Real-Time Systems Symposium》
|
2014年
关键词：
safety-critical software;
scheduling;
AMC scheduling;
adaptive mixed criticality scheduling;
deferred preemption;
nonpreemptive regions;
schedulability analysis;
task execution;
Algorithm design and analysis;
Bismuth;
Equations;
Processor scheduling;
Standards;
Switches;
Time factors;
fixed priority;
mixed criticality systems;
scheduling;
20.
Predictable Communication and Migration in the Quest-V Separation Kernel
机译：
Quest-V分离内核中可预测的通信和迁移
作者：
Ye Li
;
West Richard
;
Zhuoqun Cheng
;
Missimer Eric
会议名称：
《IEEE Real-Time Systems Symposium》
|
2014年
关键词：
distributed shared memory systems;
multi-threading;
multiprocessing systems;
safety-critical software;
I-O devices;
Quest-V separation kernel;
communication channels;
distributed system;
machine physical memory;
predictable communication;
process migration;
safety-critical systems;
Communication channels;
Hardware;
Instruction sets;
Kernel;
Message systems;
Monitoring;
Real-time systems;
process migration;
real-time communication;
separation kernel;
virtualization;
21.
The Frame Packing Problem for CAN-FD
机译：
CAN-FD的框架包装问题
作者：
Bordoloi Unmesh D.
;
Samii Soheil
会议名称：
《IEEE Real-Time Systems Symposium》
|
2014年
关键词：
computational complexity;
controller area networks;
optimisation;
CAN with flexible data rate;
CAN-FD;
bandwidth utilization optimization;
best-case transmission times;
frame packing problem;
pseudo-polynomial time;
temporal constraints;
worst-case transmission times;
Bandwidth;
Bit rate;
Optimization;
Payloads;
Protocols;
Standards;
Switches;
22.
Scheduling Mixed-Criticality Implicit-Deadline Sporadic Task Systems upon a Varying-Speed Processor
机译：
在变速处理器上调度混合关键性隐式截止期限零星任务系统
作者：
Baruah Sunandan
;
Zhishan Guo
会议名称：
《IEEE Real-Time Systems Symposium》
|
2014年
关键词：
processor scheduling;
MC workload;
assurance levels;
critical workload components;
independent implicit-deadline sporadic tasks;
mixed-criticality implicit-deadline sporadic task system scheduling;
platform resources;
preemptive uniprocessor;
processor speed;
task execution uncertainty;
task execution unpredictability;
varying-speed processor;
Clocks;
Degradation;
Optimal scheduling;
Processor scheduling;
Schedules;
Scheduling;
Uncertainty;
23.
Time-Reversibility of Schedulability Tests
机译：
可调度性测试的时间可逆性
作者：
Jinkyu Lee
会议名称：
《IEEE Real-Time Systems Symposium》
|
2014年
关键词：
divide and conquer methods;
processor scheduling;
real-time systems;
EDF;
LCFS;
RTA;
divide-and-conquer approach;
earliest deadline first;
last-come first-served;
multiprocessor platform;
real-time scheduling;
real-time tasks;
response-time analysis;
schedulability test time-reversibility;
time-reversed scheduling algorithm;
Interference;
Optimal scheduling;
Real-time systems;
Scheduling;
Scheduling algorithms;
Silicon;
Time factors;
divide-and-conquer apporoach;
real-time scheduling;
schedulability analysis;
time-reversibility;
24.
Gemini: A Non-invasive, Energy-Harvesting True Power Meter
机译：
双子座：无创，节能的真功率计
作者：
Campbell Bradford
;
Dutta Pranab
会议名称：
《IEEE Real-Time Systems Symposium》
|
2014年
关键词：
energy harvesting;
power measurement;
power meters;
AC voltage distribution;
Gemini;
apparent power metering;
circuit breaker;
contact less metering;
current measurement acquisitions;
energy harvesting;
noninvasive meters;
power metering space;
reactive power metering;
real power metering;
submetering loads;
Current measurement;
Current transformers;
Energy measurement;
Monitoring;
Power measurement;
Sensors;
Voltage measurement;
energy-harvesting;
power metering;
wireless sensing;
25.
PTEC: A System for Predictive Thermal and Energy Control in Data Centers
机译：
PTEC：数据中心的预测性热能控制系统
作者：
Jinzhu Chen
;
Rui Tan
;
Guoliang Xing
;
Xiaorui Wang
会议名称：
《IEEE Real-Time Systems Symposium》
|
2014年
关键词：
computational fluid dynamics;
computer centres;
cooling;
fans;
power aware computing;
power control;
system recovery;
temperature sensors;
wireless sensor networks;
CFD simulations;
PTEC;
air circulation systems;
baseline thermal control strategies;
circulation energy consumption;
cold air supply rates;
computational fluid dynamics simulations;
cooling energy consumption;
cooling systems;
data centers;
energy consumption;
monitoring utilities;
power sensor;
predictive thermal and energy control;
server built-in sensors;
server hardware failure rate;
server inlet temperatures;
server internal fans;
server overheating;
temperature evolution;
temperature sensor;
temperature setpoints;
temporal variations;
wireless sensor network;
Energy consumption;
Fans;
Power demand;
Servers;
Temperature distribution;
Temperature measurement;
Temperature sensors;
data center;
predictive control;
thermal management;
wireless sensor network;
26.
Battery- and Aging-Aware Embedded Control Systems for Electric Vehicles
机译：
电动汽车电池和老化感知嵌入式控制系统
作者：
Wanli Chang
;
Probstl Alma
;
Goswami Debkalpa
;
Zamani Mahdi
;
Chakraborty Shiladri
会议名称：
《IEEE Real-Time Systems Symposium》
|
2014年
关键词：
Pareto optimisation;
ageing;
distributed control;
electric vehicles;
embedded systems;
feedback;
gradient methods;
machine control;
power system reliability;
secondary cells;
stochastic processes;
stochastic programming;
EV reliability;
Pareto front;
QoC;
aging-aware optimization framework;
battery usage;
battery-aware optimization framework;
biobjective optimization problem;
delay measurement;
distributed nondominated solution;
electric motor control;
electric vehicle;
embedded control system;
feedback control loop;
gradient-based method;
in-vehicle E-E architecture;
in-vehicle electrical-electronic architecture;
in-vehicle embedded platform;
on-chip monitor;
quality of control;
stochastic method;
Aging;
Batteries;
Control systems;
Delays;
Optimization;
Process control;
Transistors;
battery rate capacity effect;
electric vehicle;
embedded control system;
processor aging;
27.
Wi-Sleep: Contactless Sleep Monitoring via WiFi Signals
机译：
Wi-Sleep：通过WiFi信号进行非接触式睡眠监控
作者：
Xuefeng Liu
;
Jiannong Cao
;
Shaojie Tang
;
Jiaqi Wen
会议名称：
《IEEE Real-Time Systems Symposium》
|
2014年
关键词：
biomedical telemetry;
catalysis;
medical signal processing;
patient monitoring;
pneumodynamics;
sleep;
wireless LAN;
wireless sensor networks;
CSI;
Wi-sleep;
WiFi signals;
bedrooms;
body movement;
contactless sleep monitoring;
fine-grained sleep information;
fine-grained wireless channel state information;
human body;
low-light environments;
off-the-shelf WiFi devices;
person respiration;
rhythmic patterns;
rollovers;
sleeping postures;
vision-based sleep monitoring systems;
Acceleration;
IEEE 802.11 Standards;
Monitoring;
Sleep apnea;
Tracking;
Wireless communication;
Wireless sensor networks;
28.
CapNet: A Real-Time Wireless Management Network for Data Center Power Capping
机译：
CapNet：用于数据中心功率封顶的实时无线管理网络
作者：
Saifullah Abusayeed
;
Sankar S.
;
Jie Liu
;
Chenyang Lu
;
Chandra Ranveer
;
Priyantha Bodhi
会议名称：
《IEEE Real-Time Systems Symposium》
|
2014年
关键词：
cloud computing;
computer centres;
data communication;
power aware computing;
protocols;
telecommunication computing;
telecommunication network management;
telecommunication network reliability;
telecommunication power management;
wireless sensor networks;
CapNet;
DCM power capping event detection;
cloud service;
data collection;
event-driven protocol;
real-time wireless sensor network automated power management;
server cluster;
time-critical data center management function reliability;
Aggregates;
IEEE 802.15 Standards;
Power demand;
Protocols;
Real-time systems;
Servers;
Wireless communication;
29.
Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software
机译：
时序效应对控制软件闭环特性的形式化分析
作者：
Frehse Goran
;
Hamann Arne
;
Quinton Sophie
;
Woehrle Matthias
会议名称：
《IEEE Real-Time Systems Symposium》
|
2014年
关键词：
automata theory;
formal verification;
closed-loop properties;
computational complexity;
control software;
electromechanical braking system;
formal analysis;
functional analysis;
hybrid automata;
hybrid systems;
model checking;
standard model checkers;
state-of-the art timing models;
timing behavior;
timing effects;
Analytical models;
Automata;
Computational modeling;
Software;
Time factors;
Timing;
30.
MC-Fluid: Fluid Model-Based Mixed-Criticality Scheduling on Multiprocessors
机译：
MC-Fluid：在多处理器上基于流体模型的混合关键性调度
作者：
Jaewoo Lee
;
Kieu-My Phan
;
Xiaozhe Gu
;
Jiyeon Lee
;
Easwaran Arvind
;
Insik Shin
;
Insup Lee
会议名称：
《IEEE Real-Time Systems Symposium》
|
2014年
关键词：
computational complexity;
processor scheduling;
MC-DP-Fair algorithm;
MC-Fluid;
criticality-dependent execution rate;
fluid model-based mixed-criticality scheduling algorithm;
mixed-criticality system;
multiprocessor MC scheduling;
nonfluid schedule;
optimal assignment algorithm;
polynomial complexity;
schedulability condition;
schedulability properties;
Fluids;
Job shop scheduling;
Optimal scheduling;
Program processors;
Real-time systems;
Scheduling algorithms;
mixed-criticality;
multiprocessor scheduling;
schedulability analysis;
scheduling algorithm;
31.
A Wormhole NoC Protocol for Mixed Criticality Systems
机译：
混合关键性系统的Wormhole NoC协议
作者：
Burns A.
;
Harbin J.
;
Indrusiak L.S.
会议名称：
《IEEE Real-Time Systems Symposium》
|
2014年
关键词：
multiprocessor interconnection networks;
network-on-chip;
protocols;
WPMC protocol;
bus-based architectures;
credit-based flow control protocols;
cycle accurate simulator;
message-set generation;
mixed criticality systems;
multicore platforms;
network-on-chip protocols;
scenario-based verification;
schedulable resource;
scheduling model;
temporal behaviour;
wormhole NoC protocol;
wormhole switching;
Interference;
Ports (Computers);
Routing;
Routing protocols;
Switches;
System-on-chip;
fixed priority;
mixed criticality;
network on chip;
scheduling;
wormhole routing;
32.
A Dual-Criticality Memory Controller (DCmc): Proposal and Evaluation of a Space Case Study
机译：
双临界存储控制器（DCmc）：空间案例研究的建议和评估
作者：
Jalle Javier
;
Quinones Eduardo
;
Abella Jaume
;
Fossati Luca
;
Zulianello Marco
;
Cazorla Francisco J.
会议名称：
《IEEE Real-Time Systems Symposium》
|
2014年
关键词：
DRAM chips;
memory architecture;
multiprocessing systems;
real-time systems;
DCmc;
co-running payload applications;
contention control;
control applications;
criticality level;
dual-criticality memory controller;
high-bandwidth goals;
high-performance banks;
high-performance requirements;
interaction control;
main memory access;
memory locality;
multicore cycle-accurate simulator;
multicore dual-criticality systems;
real-time requirements;
request scheduler policy;
space domain;
tight WCET estimates;
timing bounds;
virtually divided memory banks;
Aerospace electronics;
Equations;
Interference;
Memory management;
Payloads;
Real-time systems;
Timing;
Memory controller;
Mixed-criticality;
Multicore;
Real-time;
33.
Linux's Processor Affinity API, Refined: Shifting Real-Time Tasks Towards Higher Schedulability
机译：
完善了Linux的处理器亲和力API：将实时任务转移到更高的可调度性
作者：
Cerqueira Felipe
;
Gujarati Arpan
;
Brandenburg Bjorn B.
会议名称：
《IEEE Real-Time Systems Symposium》
|
2014年
关键词：
Linux;
application program interfaces;
linear programming;
processor scheduling;
real-time systems;
API compatibility;
Linux processor affinity;
Linux-like systems;
LynxOS;
QNX;
VxWorks;
assignment problem;
constrained processor affinities;
high-priority tasks shifting;
higher schedulability;
job priority constraints;
linear programming;
nonschedulability;
operations-research context;
priority-based scheduling;
real-time operating systems;
real-time task shifting;
shifting-aware schedulability analysis;
user-specified processor affinities;
vertex-weighted bipartite matchings;
Bipartite graph;
Context;
Dynamic scheduling;
Linux;
Processor scheduling;
Real-time systems;
Runtime;
multiprocessor real-time scheduling;
processor affinities;
schedulability analysis;
vertex-weighted bipartite matching;
意见反馈
回到顶部
回到首页
