掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International conference on embedded software
International conference on embedded software
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Embedded software reliability for unreliable hardware
机译:
嵌入式软件对不可靠硬件的可靠性
作者:
Chen Jian-Jia
;
Shafique Muhammad
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Embedded software;
Embedded systems;
Hardware;
Real-time systems;
Software reliability;
2.
A general approach for expressing infeasibility in Implicit Path Enumeration Technique
机译:
隐式路径枚举技术中表达不可行性的一般方法
作者:
Raymond Pascal
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Avatars;
Cognition;
Concrete;
Image edge detection;
Integer linear programming;
Linear programming;
Radiation detectors;
Integer Linear Programming;
WCET;
infeasible path;
3.
On the existence of probe effect in multi-threaded embedded programs
机译:
关于多线程嵌入式程序中探针效应的存在
作者:
Song Young Wn
;
Lee Yann-Hang
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Analytical models;
Clocks;
Instruction sets;
Message systems;
Probes;
Timing;
event ordering;
multi-threaded program;
probe effect;
profiling;
reproducible execution;
software instrumentation;
4.
Energy efficient DVFS scheduling for mixed-criticality systems
机译:
混合关键系统的节能DVFS调度
作者:
Huang Pengcheng
;
Kumar Pratyush
;
Giannopoulou Georgia
;
Thiele Lothar
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Dynamic scheduling;
Energy consumption;
Minimization;
Program processors;
Runtime;
Safety;
Timing;
Criticality;
Energy;
Mixed;
Real-time;
Scheduling;
Voltage and Frequency Scaling;
5.
Parallel many-core avionics systems
机译:
并行多核航空电子系统
作者:
Panic Milos
;
Quinones Eduardo
;
Zavkov Pavel G.
;
Hernandez Carles
;
Abella Jaume
;
Cazorla Francisco J.
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Aerospace electronics;
Hardware;
Process control;
Program processors;
Real-time systems;
Timing;
6.
Supporting read/write applications in embedded real-time systems via suspension-aware analysis
机译:
通过悬浮感知分析支持嵌入式实时系统中的读/写应用程序
作者:
Tong Guangmo
;
Liu Cong
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Computational modeling;
Program processors;
Real-time systems;
Schedules;
Silicon;
Suspensions;
Writing;
I/O;
intensive applications;
scheduling algorithm;
timing validation;
7.
Task mapping in heterogeneous embedded systems for fast completion time
机译:
异构嵌入式系统中的任务映射可加快完成时间
作者:
Zhou Husheng
;
Liu Cong
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Algorithm design and analysis;
Central Processing Unit;
Embedded systems;
Graphics processing units;
Kernel;
Partitioning algorithms;
GPU;
heterogeneousus scheduling;
8.
Deductive control synthesis for alternating-time logics
机译:
交替时间逻辑的演绎控制综合
作者:
Dimitrova Rayna
;
Majumdar Rupak
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Automata;
Cognition;
Color;
Continuous time systems;
Lyapunov methods;
Safety;
Trajectory;
Barrier certificates;
Control synthesis;
Deductive proof systems;
Lyapunov functions;
9.
Synthesising optimal timing delays for Timed I/O Automata
机译:
综合定时I / O自动机的最佳定时延迟
作者:
Diciolla Marco
;
Peter Kim Chang Hwan
;
Kwiatkowska Marta
;
Mereacre Alexandru
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Automata;
Clocks;
Cost accounting;
Delays;
Indexes;
Pacemakers;
Time factors;
Cardiac Pacemakers;
Counting;
Parametric Synthesis;
10.
Blaming in component-based real-time systems
机译:
指责基于组件的实时系统
作者:
Gossier Gregor
;
Astefanoaei Lacramioara
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Automata;
Clocks;
Delays;
Indexes;
Real-time systems;
Safety;
Semantics;
Logical causality;
blaming;
failure;
model-checking;
timed automata;
11.
Real-time multi-core virtual machine scheduling in Xen
机译:
Xen中的实时多核虚拟机调度
作者:
Xi Sisu
;
Xu Meng
;
Lu Chenyang
;
Phan Linh T.X.
;
Gill Christopher
;
Sokolsky Oleg
;
Lee Insup
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Abstracts;
Analytical models;
Concrete;
Mathematical model;
Measurement;
Numerical models;
Trajectory;
Based Methods;
CEGAR;
Falsification;
Hybrid Systems;
Multiple Shooting;
Simulation;
12.
Infinite horizon safety controller synthesis through disjunctive polyhedral abstract interpretation
机译:
析取多面体抽象解释的无限视界安全控制器综合。
作者:
Ravanbakhsh Hadi
;
Sankaranarayanan Sriram
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Abstracts;
Computational modeling;
Lattices;
Safety;
Semantics;
Switches;
Abstract Interpretation;
Controller Synthesis;
Hybrid Systems;
Safety;
Switched Systems;
13.
Contract-based integration of cyber-physical analyses
机译:
基于合同的网络物理分析集成
作者:
Ruchkin Ivan
;
De Niz Dionisio
;
Chaki Sagar
;
Garlan David
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Algorithm design and analysis;
Analytical models;
Batteries;
Contracts;
Instruction sets;
Processor scheduling;
Runtime;
Cyber;
analysis;
analysis contracts;
battery scheduling;
model checking;
physical systems;
real-time scheduling;
thermal runaway;
virtual integration;
14.
Schedulability analysis of global memory-predictable scheduling
机译:
全局内存可预测调度的可调度性分析
作者:
Alhammad Ahmed
;
Pellizzoni Rodolfo
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Hardware;
Interference;
Multicore processing;
Processor scheduling;
Real-time systems;
Schedules;
Scheduling;
15.
CPSGrader: Synthesizing temporal logic testers for auto-grading an embedded systems laboratory
机译:
CPSGrader:合成时间逻辑测试仪,用于自动评估嵌入式系统实验室
作者:
Juniwal Garvit
;
Donze Alexandre
;
Jensen Jeff C.
;
Seshia Sanjit A.
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Collision avoidance;
Cost accounting;
Laboratories;
Robot kinematics;
Robot sensing systems;
16.
Real-time system support for hybrid structural simulation
机译:
实时系统支持混合结构仿真
作者:
Ferry David
;
Bunting Gregory
;
Maqhareh Amin
;
Prakash Arun
;
Dyke Shirley
;
Aqrawal Kunal
;
Gill Chris
;
Lu Chenyang
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Computational modeling;
Hardware;
Numerical models;
Parallel processing;
Program processors;
Real-time systems;
Sensors;
C.3 Special-Purpose and Application-Based Systems;
D.1 Programming Techniques: Parallel programming;
Real-time and embedded systems;
17.
Building high-performance smartphones via non-volatile memory: The swap approach
机译:
通过非易失性存储器构建高性能智能手机:交换方法
作者:
Zhong Kan
;
Wang Tianzheng
;
Zhu Xiao
;
Long Linbo
;
Liu Duo
;
Liu Weichen
;
Shao Zili
;
Sha Edwin H.-M.
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Ash;
Cows;
Memory management;
Nonvolatile memory;
Phase change materials;
Random access memory;
Smart phones;
18.
SiPTA: Signal processing for trace-based anomaly detection
机译:
SiPTA:用于基于迹线的异常检测的信号处理
作者:
Zeinali Zadeh Mohammad Mehdi
;
Salem Mahmoud
;
Kumar Neeraj
;
Cutulenco Greta
;
Fischmeister Sebastian
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Feature extraction;
Hidden Markov models;
Indexes;
Measurement;
Signal processing algorithms;
Time series analysis;
Training;
19.
Automated software testing of memory performance in embedded GPUs
机译:
嵌入式GPU中内存性能的自动化软件测试
作者:
Chattopadhyay Sudipta
;
Eles Petru
;
Peng Zebo
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Abstracts;
Graphics processing units;
Instruction sets;
Kernel;
Random access memory;
Schedules;
System-on-chip;
20.
Computing maximum blocking times with explicit path analysis under non-local flow bounds
机译:
在非本地流边界下通过显式路径分析计算最大阻塞时间
作者:
Kleinsorge Jan C.
;
Marwedel Peter
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Accuracy;
Analytical models;
Computational modeling;
Context;
Kernel;
Mathematical model;
Timing;
Path Analysis;
Static Analysis;
Worst;
case Execution Time;
21.
Robust strategy synthesis for probabilistic systems applied to risk-limiting renewable-energy pricing
机译:
适用于风险限制可再生能源定价的概率系统的鲁棒策略综合
作者:
Puggelli Alberto
;
Sangiovanni-Vincentelli Alberto L.
;
Seshia Sanjit A.
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Markov processes;
Optimization;
Pricing;
Probabilistic logic;
Quality of service;
Uncertainty;
Wind forecasting;
22.
Can we put concurrency back into redundant multithreading?
机译:
我们可以将并发放回冗余多线程中吗?
作者:
Dobe Bjorn
;
Hartig Hermann
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Benchmark testing;
Fault tolerance;
Hardware;
Instruction sets;
Libraries;
Multithreading;
Synchronization;
23.
P-YDS algorithm: An optimal extension of YDS algorithm to minimize expected energy for real-time jobs
机译:
P-YDS算法:YDS算法的最佳扩展,可最大程度地减少实时作业的预期能量
作者:
Kumar Pratyush
;
Thiele Lothar
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Algorithm design and analysis;
Energy consumption;
Interference;
Processor scheduling;
Program processors;
Real-time systems;
Schedules;
24.
Extending typical worst-case analysis using response-time dependencies to bound deadline misses
机译:
使用响应时间相关性将典型的最坏情况分析扩展到限定的期限未命中
作者:
Hammadeh Zain A.H.
;
Quinton Sophie
;
Ernst Rolf
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Analytical models;
Computational modeling;
Equations;
Interference;
Mathematical model;
Optimization;
Time factors;
25.
Precise piecewise affine models from input-output data
机译:
输入-输出数据的精确分段仿射模型
作者:
Alur Raieev
;
Singhania Nimit
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Analytical models;
Computational modeling;
Data models;
Linear regression;
Mathematical model;
Software;
Vectors;
26.
Exponentially timed SADF: Compositional semantics, reductions, and analysis
机译:
指数定时SADF:组成语义,归约和分析
作者:
Katoen Joost-Pieter
;
Wu Hao
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Detectors;
Kernel;
Markov processes;
Ports (Computers);
Probabilistic logic;
Semantics;
Synchronization;
Compositional semantics;
SADF;
State space reduction;
Stochastic model checking;
27.
Refinement calculus of reactive systems
机译:
反应系统的细化演算
作者:
Preoteasa Viorel
;
Tripakis Stavros
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Boolean algebra;
Calculus;
Input variables;
Lattices;
Semantics;
Syntactics;
Transforms;
28.
EDF as an arbitration policy for wormhoe-switched priority-preemptive NoCs — Myth or fact?
机译:
EDF作为针对虫害交换优先级NoC的仲裁策略-神话还是事实?
作者:
Nikolic Borislav
;
Petters Stefan M.
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Bismuth;
Delays;
Equations;
Interference;
Jitter;
Program processors;
Real-time systems;
Embedded Systems;
Multiprocessors;
NoCs;
Real;
Time Systems;
Wormhole Switching;
29.
Embedded software reliability for unreliable hardware
机译:
嵌入式软件可靠性适用于不可靠的硬件
作者:
Chen Jian-Jia
;
Shafique Muhammad
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Embedded software;
Embedded systems;
Hardware;
Real-time systems;
Software reliability;
30.
A general approach for expressing infeasibility in Implicit Path Enumeration Technique
机译:
一种在隐式路径枚举技术中表达不可行的一般方法
作者:
Raymond Pascal
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Avatars;
Cognition;
Concrete;
Image edge detection;
Integer linear programming;
Linear programming;
Radiation detectors;
Integer Linear Programming;
WCET;
infeasible path;
31.
On the existence of probe effect in multi-threaded embedded programs
机译:
关于多线程嵌入式程序探测效应的存在
作者:
Song Young Wn
;
Lee Yann-Hang
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Analytical models;
Clocks;
Instruction sets;
Message systems;
Probes;
Timing;
event ordering;
multi-threaded program;
probe effect;
profiling;
reproducible execution;
software instrumentation;
32.
Real-time system support for hybrid structural simulation
机译:
混合结构模拟的实时系统支持
作者:
Ferry David
;
Bunting Gregory
;
Maqhareh Amin
;
Prakash Arun
;
Dyke Shirley
;
Aqrawal Kunal
;
Gill Chris
;
Lu Chenyang
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Computational modeling;
Hardware;
Numerical models;
Parallel processing;
Program processors;
Real-time systems;
Sensors;
C.3 Special-Purpose and Application-Based Systems;
D.1 Programming Techniques: Parallel programming;
Real-time and embedded systems;
33.
Synthesising optimal timing delays for Timed I/O Automata
机译:
综合定时I / O自动机的最佳定时延迟
作者:
Diciolla Marco
;
Peter Kim Chang Hwan
;
Kwiatkowska Marta
;
Mereacre Alexandru
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Automata;
Clocks;
Cost accounting;
Delays;
Indexes;
Pacemakers;
Time factors;
Cardiac Pacemakers;
Counting;
Parametric Synthesis;
34.
SiPTA: Signal processing for trace-based anomaly detection
机译:
SIPTA:用于基于痕量异常检测的信号处理
作者:
Zeinali Zadeh Mohammad Mehdi
;
Salem Mahmoud
;
Kumar Neeraj
;
Cutulenco Greta
;
Fischmeister Sebastian
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Feature extraction;
Hidden Markov models;
Indexes;
Measurement;
Signal processing algorithms;
Time series analysis;
Training;
35.
P-YDS algorithm: An optimal extension of YDS algorithm to minimize expected energy for real-time jobs
机译:
P-YDS算法:YDS算法的最佳扩展,以最小化预期的实时作业的能量
作者:
Kumar Pratyush
;
Thiele Lothar
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Algorithm design and analysis;
Energy consumption;
Interference;
Processor scheduling;
Program processors;
Real-time systems;
Schedules;
36.
CPSGrader: Synthesizing temporal logic testers for auto-grading an embedded systems laboratory
机译:
CPSGRADER:综合颞逻辑测试仪进行自动分级嵌入式系统实验室
作者:
Juniwal Garvit
;
Donze Alexandre
;
Jensen Jeff C.
;
Seshia Sanjit A.
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Collision avoidance;
Cost accounting;
Laboratories;
Robot kinematics;
Robot sensing systems;
37.
Energy efficient DVFS scheduling for mixed-criticality systems
机译:
用于混合关键性系统的节能DVFS调度
作者:
Huang Pengcheng
;
Kumar Pratyush
;
Giannopoulou Georgia
;
Thiele Lothar
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Dynamic scheduling;
Energy consumption;
Minimization;
Program processors;
Runtime;
Safety;
Timing;
Criticality;
Energy;
Mixed;
Real-time;
Scheduling;
Voltage and Frequency Scaling;
38.
Robust strategy synthesis for probabilistic systems applied to risk-limiting renewable-energy pricing
机译:
适用于风险限制可再生能源定价的概率系统的鲁棒策略综合
作者:
Puggelli Alberto
;
Sangiovanni-Vincentelli Alberto L.
;
Seshia Sanjit A.
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Markov processes;
Optimization;
Pricing;
Probabilistic logic;
Quality of service;
Uncertainty;
Wind forecasting;
39.
Deductive control synthesis for alternating-time logics
机译:
交替时间逻辑的演绎控制合成
作者:
Dimitrova Rayna
;
Majumdar Rupak
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Automata;
Cognition;
Color;
Continuous time systems;
Lyapunov methods;
Safety;
Trajectory;
Barrier certificates;
Control synthesis;
Deductive proof systems;
Lyapunov functions;
40.
EDF as an arbitration policy for wormhoe-switched priority-preemptive NoCs — Myth or fact?
机译:
EDF作为Wormhoe-Switched Priority-Primeptive Nocs的仲裁政策 - 神话或事实?
作者:
Nikolic Borislav
;
Petters Stefan M.
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Bismuth;
Delays;
Equations;
Interference;
Jitter;
Program processors;
Real-time systems;
Embedded Systems;
Multiprocessors;
NoCs;
Real;
Time Systems;
Wormhole Switching;
41.
Extending typical worst-case analysis using response-time dependencies to bound deadline misses
机译:
使用响应时间依赖项扩展典型的最坏情况分析到绑定的截止日期未命中
作者:
Hammadeh Zain A.H.
;
Quinton Sophie
;
Ernst Rolf
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Analytical models;
Computational modeling;
Equations;
Interference;
Mathematical model;
Optimization;
Time factors;
42.
Task mapping in heterogeneous embedded systems for fast completion time
机译:
用于快速完成时间的异构嵌入式系统的任务映射
作者:
Zhou Husheng
;
Liu Cong
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Algorithm design and analysis;
Central Processing Unit;
Embedded systems;
Graphics processing units;
Kernel;
Partitioning algorithms;
GPU;
heterogeneousus scheduling;
43.
Building high-performance smartphones via non-volatile memory: The swap approach
机译:
通过非易失性存储器构建高性能智能手机:交换方法
作者:
Zhong Kan
;
Wang Tianzheng
;
Zhu Xiao
;
Long Linbo
;
Liu Duo
;
Liu Weichen
;
Shao Zili
;
Sha Edwin H.-M.
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Ash;
Cows;
Memory management;
Nonvolatile memory;
Phase change materials;
Random access memory;
Smart phones;
44.
Schedulability analysis of global memory-predictable scheduling
机译:
全球内存可预测调度的调度分析
作者:
Alhammad Ahmed
;
Pellizzoni Rodolfo
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Hardware;
Interference;
Multicore processing;
Processor scheduling;
Real-time systems;
Schedules;
Scheduling;
45.
Parallel many-core avionics systems
机译:
并行多核航空电子系统
作者:
Panic Milos
;
Quinones Eduardo
;
Zavkov Pavel G.
;
Hernandez Carles
;
Abella Jaume
;
Cazorla Francisco J.
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Aerospace electronics;
Hardware;
Process control;
Program processors;
Real-time systems;
Timing;
46.
Contract-based integration of cyber-physical analyses
机译:
基于合同的网络物理分析整合
作者:
Ruchkin Ivan
;
De Niz Dionisio
;
Chaki Sagar
;
Garlan David
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Algorithm design and analysis;
Analytical models;
Batteries;
Contracts;
Instruction sets;
Processor scheduling;
Runtime;
Cyber;
analysis;
analysis contracts;
battery scheduling;
model checking;
physical systems;
real-time scheduling;
thermal runaway;
virtual integration;
47.
Supporting read/write applications in embedded real-time systems via suspension-aware analysis
机译:
通过暂停感知分析支持嵌入式实时系统中的读/写应用程序
作者:
Tong Guangmo
;
Liu Cong
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Computational modeling;
Program processors;
Real-time systems;
Schedules;
Silicon;
Suspensions;
Writing;
I/O;
intensive applications;
scheduling algorithm;
timing validation;
48.
Automated software testing of memory performance in embedded GPUs
机译:
嵌入式GPU中的内存性能自动化软件测试
作者:
Chattopadhyay Sudipta
;
Eles Petru
;
Peng Zebo
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Abstracts;
Graphics processing units;
Instruction sets;
Kernel;
Random access memory;
Schedules;
System-on-chip;
49.
Real-time multi-core virtual machine scheduling in Xen
机译:
Xen的实时多核虚拟机调度
作者:
Xi Sisu
;
Xu Meng
;
Lu Chenyang
;
Phan Linh T.X.
;
Gill Christopher
;
Sokolsky Oleg
;
Lee Insup
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Abstracts;
Analytical models;
Concrete;
Mathematical model;
Measurement;
Numerical models;
Trajectory;
Based Methods;
CEGAR;
Falsification;
Hybrid Systems;
Multiple Shooting;
Simulation;
50.
Computing maximum blocking times with explicit path analysis under non-local flow bounds
机译:
在非局部流量界限下计算具有显式路径分析的最大阻止时间
作者:
Kleinsorge Jan C.
;
Marwedel Peter
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Accuracy;
Analytical models;
Computational modeling;
Context;
Kernel;
Mathematical model;
Timing;
Path Analysis;
Static Analysis;
Worst;
case Execution Time;
51.
Infinite horizon safety controller synthesis through disjunctive polyhedral abstract interpretation
机译:
无限的地平线安全控制器综合通过析取多面体抽象解释
作者:
Ravanbakhsh Hadi
;
Sankaranarayanan Sriram
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Abstracts;
Computational modeling;
Lattices;
Safety;
Semantics;
Switches;
Abstract Interpretation;
Controller Synthesis;
Hybrid Systems;
Safety;
Switched Systems;
52.
Exponentially timed SADF: Compositional semantics, reductions, and analysis
机译:
指数定时SADF:组成语义,减少和分析
作者:
Katoen Joost-Pieter
;
Wu Hao
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Detectors;
Kernel;
Markov processes;
Ports (Computers);
Probabilistic logic;
Semantics;
Synchronization;
Compositional semantics;
SADF;
State space reduction;
Stochastic model checking;
53.
Precise piecewise affine models from input-output data
机译:
从输入输出数据的精确分段仿射模型
作者:
Alur Raieev
;
Singhania Nimit
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Analytical models;
Computational modeling;
Data models;
Linear regression;
Mathematical model;
Software;
Vectors;
54.
Can we put concurrency back into redundant multithreading?
机译:
我们可以将并发送回冗余多线程吗?
作者:
Dobe Bjorn
;
Hartig Hermann
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Benchmark testing;
Fault tolerance;
Hardware;
Instruction sets;
Libraries;
Multithreading;
Synchronization;
55.
Refinement calculus of reactive systems
机译:
反应系统的细化微积分
作者:
Preoteasa Viorel
;
Tripakis Stavros
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Boolean algebra;
Calculus;
Input variables;
Lattices;
Semantics;
Syntactics;
Transforms;
56.
Blaming in component-based real-time systems
机译:
批责基于组件的实时系统
作者:
Gossier Gregor
;
Astefanoaei Lacramioara
会议名称:
《International conference on embedded software》
|
2014年
关键词:
Automata;
Clocks;
Delays;
Indexes;
Real-time systems;
Safety;
Semantics;
Logical causality;
blaming;
failure;
model-checking;
timed automata;
57.
Verifying network performance of cyber-physical systems with multiple runtime configurations
机译:
使用多个运行时配置验证网络 - 物理系统的网络性能
作者:
Manderscheid Martin
;
Weiss Gereon
;
Knorr Rudi
会议名称:
《International conference on embedded software》
|
2015年
关键词:
automobiles;
linear programming;
0-1 linear-fractional program;
CPS;
DSE;
accuracy analysis;
automotive systems;
computation time analysis;
cyber-physical systems;
design space exploration;
driving conditions;
heuristics;
integrated model;
multiple runtime configurations;
network performance analysis;
network performance verification;
network runtime configurations;
run-time variability spaces;
runtime variability;
runtime variability space;
smart cars;
worst-case analysis;
Data models;
Delays;
Integrated circuits;
Performance evaluation;
Ports (Computers);
Runtime;
Switches;
58.
Exp-HE: a family of fast exponentiation algorithms resistant to SPA, fault, and combined attacks
机译:
EXP-HE:一种快速指数算法抵抗水疗中心,故障和组合攻击
作者:
Moreno Carlos
;
Hasan M. Anwar
;
Fischmeister Sebastian
会议名称:
《International conference on embedded software》
|
2015年
关键词:
embedded systems;
fault tolerant computing;
public key cryptography;
statistical analysis;
ECC;
SPA;
computational efficiency;
cryptographic exponentiation algorithms;
elliptic curve scalar multiplication;
embedded devices;
embedded software;
exp-HE;
exponent bits;
fault attacks;
modular integer exponentiation;
non-intrusive attacks;
performance penalty;
physical access;
side-channel analysis;
signed-digit encoding;
simple power analysis;
statistical analysis;
Algorithm design and analysis;
Cryptography;
Encoding;
Optimization;
Resistance;
Sun;
Elliptic curve cryptography;
Embedded systems security;
Fault attacks;
Public-key cryptography;
Side-channel attacks;
59.
Using traffic phase shifting to improve AFDX link utilization
机译:
使用流量阶段转移来提高AFDX链接利用率
作者:
Mancuso Renato
;
Louis Andrew V.
;
Caccamo Marco
会议名称:
《International conference on embedded software》
|
2015年
关键词:
avionics;
local area networks;
protocols;
real-time systems;
telecommunication traffic;
AFDX protocol;
IEEE 802.3 standard;
TPS;
avionic full-duplex switched Ethernet;
bandwidth assignment;
bandwidth enforcement;
coarse granularity;
deterministic delivery guarantees;
fine-grained bandwidth control;
link utilization improvement;
logic time synchronization;
packet forwarding;
physical links;
real-time traffic;
traffic phase shifting;
traffic shaping;
transmission jitter;
Aerospace electronics;
Aggregates;
Bandwidth;
Jitter;
Mathematical model;
Noise measurement;
Standards;
60.
Managing gpu buffers for caching more apps in mobile systems
机译:
管理GPU缓冲区,用于缓存移动系统中的更多应用程序
作者:
Sejun Kwon
;
Sang-Hoon Kim
;
Jin-soo Kim
;
Jinkyu Jeong
会议名称:
《International conference on embedded software》
|
2015年
关键词:
cache storage;
graphics processing units;
mobile computing;
resource allocation;
GPU buffer management;
buffer allocation;
cached apps;
graphics processing units;
memory footprint reduction;
memory utilization;
modern mobile application;
resource constrained mobile system;
user perspective;
Androids;
Graphics processing units;
Humanoid robots;
Kernel;
Memory architecture;
Memory management;
Mobile communication;
61.
A framework for mining hybrid automata from input/output traces
机译:
来自输入/输出迹线的挖掘混合自动机的框架
作者:
Medhat Ramy
;
Ramesh S.
;
Bonakdarpour Borzoo
;
Fischmeister Sebastian
会议名称:
《International conference on embedded software》
|
2015年
关键词:
automata theory;
data mining;
embedded systems;
formal specification;
inference mechanisms;
input-output programs;
pattern clustering;
automata inference;
clustering step;
continuous system behavior;
embedded control systems;
event trace generation;
hybrid automata-based model mining;
input execution trace;
output execution trace;
readability;
segmentation step;
system comprehension;
Automata;
Clustering algorithms;
Control systems;
Engines;
Feature extraction;
Torque;
Training;
62.
Adaptive runtime shaping for mixed-criticality systems
机译:
混合关键性系统的自适应运行时整形
作者:
Biao Hu
;
Kai Huang
;
Gang Chen
;
Long Cheng
;
Knoll Alois
会议名称:
《International conference on embedded software》
|
2015年
关键词:
computational complexity;
quality of service;
safety-critical software;
O(n log(m)) complexity;
QoS;
adaptive runtime shaping;
mixed criticality system;
online overhead reduction;
Delays;
Monitoring;
Quality of service;
Radiation detectors;
Real-time systems;
Runtime;
Shape;
63.
Forward invariant cuts to simplify proofs of safety
机译:
前向不变的剪切以简化安全证明
作者:
Are?chiga Nikos
;
Kapinski James
;
Deshmukh Jyotirmoy V.
;
Platzer Andre?
;
Krogh Bruce
会议名称:
《International conference on embedded software》
|
2015年
关键词:
formal logic;
formal verification;
inference mechanisms;
safety-critical software;
theorem proving;
KeYmaera;
automatic verification approach;
complex system;
deductive verification tool;
differential dynamic logic;
forward invariant cut rule;
hybrid system;
inference rule;
numerical techniques;
proof calculus;
reasoning;
safety verification;
theorem prover;
Automata;
Automotive engineering;
Cognition;
Lyapunov methods;
Mathematical model;
Safety;
Semantics;
formal verification;
hybrid systems;
theorem provers;
64.
Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics software
机译:
在验证并发嵌入式航空电子软件的验证时,朝向工业使用声音静态分析
作者:
Mine? Antoine
;
Delmas David
会议名称:
《International conference on embedded software》
|
2015年
关键词:
C language;
avionics;
embedded systems;
multi-threading;
operating systems (computers);
program diagnostics;
ARINC 653 applications;
AstreeA;
POSIX threads applications;
academic setting;
airbus;
certification authorities;
concurrent embedded avionics software;
industrial setting;
industrial static analyzers;
operating system;
sequential C software;
software components;
sound static analysis;
Aerospace electronics;
Arrays;
Concrete;
Instruction sets;
Semantics;
Standards;
Static analysis;
abstract interpretation;
concurrent software;
embedded software;
65.
Data mining approach to temporal debugging of embedded streaming applications
机译:
数据挖掘方法嵌入式流应用的时间调试
作者:
Iegorov Oleg
;
Leroy Vincent
;
Termier Alexandre
;
Mehaut Jean-Francois
;
Santana Miguel
会议名称:
《International conference on embedded software》
|
2015年
关键词:
data flow analysis;
data mining;
directed graphs;
embedded systems;
program debugging;
quality of service;
QoS properties;
SATM;
actors;
application developer;
computational units;
data mining approach;
dataflow model;
directed graph;
embedded streaming applications;
execution traces;
multimedia decoding;
real-time deadlines;
software developers;
temporal debugging;
Data mining;
Data models;
Debugging;
Multimedia communication;
Quality of service;
Real-time systems;
Streaming media;
66.
A scalable algebraic method to infer quadratic invariants of switched systems
机译:
一种可扩展的代数方法,用于推断交换系统的二次异常
作者:
Allamigeon Xavier
;
Gaubert Ste?phane
;
Goubault Eric
;
Putot Sylvie
;
Stott Nikolas
会议名称:
《International conference on embedded software》
|
2015年
关键词:
formal verification;
linear matrix inequalities;
LMI;
basic algebraic operations;
canonical operator;
ellipsoids;
fixed point problems;
formal verification;
linear matrix inequalities;
linear transformation;
nonlinear power-type algorithm;
numerical abstract domain;
positive semidefinite matrices;
quadratic invariants;
scalable algebraic method;
standard techniques;
state variables;
switched linear systems;
Ellipsoids;
Lattices;
Linear systems;
Stability analysis;
Switches;
Symmetric matrices;
Upper bound;
Static analysis;
abstract interpretation;
hybrid and switched linear systems;
invariant generation;
matrix information geometry;
stability;
67.
Static memory management for efficient mobile sensing applications
机译:
高效移动感应应用的静态内存管理
作者:
Lai Farley
;
Schmidt Daniel
;
Chipara Octav
会议名称:
《International conference on embedded software》
|
2015年
关键词:
data flow analysis;
graph theory;
program compilers;
programming languages;
smart phones;
storage management;
FIFO channels;
StreamIt compiler;
abstract interpretation;
application components;
cache optimizations;
code generation techniques;
data sharing opportunities;
graph structure;
high-rate data streams;
memory allocation;
memory optimization approach;
mobile sensing applications;
programming language;
smartphones;
static memory management;
stream processing engines;
stream processing throughput;
synchronous data-flow models;
Algorithm design and analysis;
Junctions;
Layout;
Memory management;
Optimization;
Radiation detectors;
Schedules;
68.
Scalable scheduling of energy control systems
机译:
可扩展的能量控制系统调度
作者:
Nghiem Truong X.
;
Mangharam Rahul
会议名称:
《International conference on embedded software》
|
2015年
关键词:
linear programming;
power aware computing;
scheduling;
binary control variables;
energy control systems;
energy system scheduling problem;
fine-grained scheduling;
low-level scheduling algorithm;
model abstraction;
peak power consumption;
simple single-state single-input dynamical system;
small linear program;
Complexity theory;
Computational modeling;
Heating;
Optimization;
Safety;
Schedules;
cyberphysical systems;
embedded control systems;
peak power management;
69.
Modeling and simulating cyber-physical systems using CyPhySim
机译:
使用cyphesim建模和模拟网络物理系统
作者:
Lee Edward A.
;
Niknami Mehrdad
;
Nouidui Thierry S.
;
Wetter Michael
会议名称:
《International conference on embedded software》
|
2015年
关键词:
XML;
application program interfaces;
computational linguistics;
differential equations;
discrete event simulation;
embedded systems;
functional analysis;
graphical user interfaces;
modal analysis;
public domain software;
symbol manipulation;
CyPhySim;
FMI;
Ptolemy II;
XML file syntax;
algebraic loop solver;
classical state simulation;
cyber-physical system;
discrete event model;
discrete time system;
functional mockup interface;
graphical editor;
modal model;
model exchange;
numerical computation;
open API;
open source simulator;
ordinary differential equation;
quantized state simulation;
smooth token;
symbolic computation;
Computational modeling;
Cyber-physical systems;
Mathematical model;
Nonlinear dynamical systems;
Numerical models;
Semantics;
Software;
70.
Automatic verification of linear controller software
机译:
线性控制器软件的自动验证
作者:
Pajic Miroslav
;
Junkil Park
;
Insup Lee
;
Pappas George J.
;
Sokolsky Oleg
会议名称:
《International conference on embedded software》
|
2015年
关键词:
optimisation;
program verification;
C code controller;
automatic verification;
input-output controller specification;
linear controller software;
linear time-invariant controllers;
third-party code generator;
Computational modeling;
Computers;
Linear systems;
Mathematical model;
Scalability;
Software;
Transfer functions;
71.
Formal verification of ACAS X, an industrial airborne collision avoidance system
机译:
ACAS X的正式验证,工业空气碰撞避免系统
作者:
Jeannin Jean-Baptiste
;
Ghorbal Khalil
;
Kouskoulas Yanni
;
Gardner Ryan
;
Schmidt Aurora
;
Zawadzki Erik
;
Platzer Andre
会议名称:
《International conference on embedded software》
|
2015年
关键词:
formal verification;
theorem proving;
travel industry;
ACAS X development team;
airliners;
engineering-focused teams;
formal verification;
hybrid systems theorem proving;
industrial airborne collision avoidance system;
operational needs;
proof techniques;
scalability issues;
Acceleration;
Aircraft;
Atmospheric modeling;
Delays;
Mathematical model;
Safety;
Trajectory;
72.
Loosely time-triggered architectures: improvements and comparisons
机译:
松散时间触发的架构:改进和比较
作者:
Baudart Guillaume
;
Benveniste Albert
;
Bourke Timothy
会议名称:
《International conference on embedded software》
|
2015年
关键词:
embedded systems;
middleware;
protocols;
synchronisation;
back-pressure LTTA;
clock synchronization;
controller models;
distributed embedded control systems;
elastic circuits;
loosely time-triggered architectures;
middleware;
quasiperiodic architecture;
synchronous formalism;
time-based protocol;
Clocks;
Computer architecture;
Delays;
Mathematical model;
Protocols;
Semantics;
Synchronization;
73.
Numerical static analysis of interrupt-driven programs via sequentialization
机译:
通过顺序化的中断驱动程序的数值静态分析
作者:
Xueguang Wu
;
Liqian Chen
;
Mine Antoine
;
Wei Dong
;
Ji Wang
会议名称:
《International conference on embedded software》
|
2015年
关键词:
program diagnostics;
program verification;
embedded software;
intensive numerical computations;
interrupt-driven programs;
nondeterministic sequential programs;
numerical runtime errors;
numerical static analysis;
sequential programs;
sequentialization algorithm;
Concurrent computing;
Embedded software;
Embedded systems;
Real-time systems;
Schedules;
Semantics;
Syntactics;
Abstract Interpretation;
Embedded Software;
Interrupt-Driven Programs;
Sequentialization;
Static Analysis;
74.
Bounded error flowpipe computation of parameterized linear systems
机译:
有界误差流程图的参数化线性系统
作者:
Lal Ratan
;
Prabhakar Pavithra
会议名称:
《International conference on embedded software》
|
2015年
关键词:
piecewise linear techniques;
time-domain analysis;
bounded error flowpipe computation;
compact polyhedron;
continuous piecewise bilinear function;
parameter space;
parameterized linear systems;
time domain;
Approximation algorithms;
Heuristic algorithms;
Interpolation;
Linear systems;
Piecewise linear approximation;
Time-domain analysis;
Formal modeling and verification;
abstractions;
bounded error approximations;
parameterized linear dynamical systems;
75.
The federated scheduling of systems of conditional sporadic DAG tasks
机译:
条件零星DAG任务系统的联邦调度
作者:
Baruah Sanjoy
会议名称:
《International conference on embedded software》
|
2015年
关键词:
computational complexity;
directed graphs;
processor scheduling;
conditional sporadic DAG tasks model;
directed acyclic graph;
federated schedulability analysis;
independent recurrent tasks;
multiprocessor scheduling;
polynomial-time algorithms;
run-time scheduling;
speedup factor metric;
Analytical models;
Computational modeling;
Polynomials;
Processor scheduling;
Real-time systems;
Scheduling;
Intra-task parallelism;
conditional constructs;
constrained deadline;
federated scheduling;
sporadic DAG tasks;
76.
Can real-time systems be chaotic?
机译:
实时系统可以混乱吗?
作者:
Thiele Lothar
;
Kumar Pratyush
会议名称:
《International conference on embedded software》
|
2015年
关键词:
multiprocessing systems;
real-time systems;
POSIX threads;
chaotic behavior;
complex dynamic behavior;
dynamical systems perspective;
fixed priority scheduler;
general observations;
multiprocessor fixed-priority;
oscillatory behavior;
periodic jobs;
periodic task specification;
priority inheritance protocol;
real-time systems;
response times;
round robin;
standard locking mechanisms;
standard scheduling algorithms;
Chaos;
Delays;
Interference;
Real-time systems;
Round robin;
Standards;
Time factors;
77.
Executing dataflow actors as kahn processes
机译:
执行DataFlow Actors作为KAHN进程
作者:
Tretter Andreas
;
Boutellier Jani
;
Guthrie James
;
Schor Lars
;
Thiele Lothar
会议名称:
《International conference on embedded software》
|
2015年
关键词:
data flow analysis;
media streaming;
pattern classification;
program diagnostics;
Kahn process network;
automatic KPN translation method;
dataflow actor classification;
dataflow actor execution;
dataflow model;
programming model;
programming streaming applications;
standard multimedia benchmark;
static analysability;
Computational modeling;
Fires;
Firing;
History;
Prefetching;
Programming;
Yttrium;
Dataflow programming;
Kahn process networks;
classification;
78.
Reachability of hybrid systems in space-time
机译:
混合系统在时空中的可达性
作者:
Frehse Goran
会议名称:
《International conference on embedded software》
|
2015年
关键词:
approximation theory;
reachability analysis;
set theory;
approximation error;
containment checking;
hybrid systems reachability;
oscillator circuit;
reachable states;
set-based reachability;
state explosion reduction;
Accuracy;
Approximation algorithms;
Approximation error;
Automata;
Piecewise linear approximation;
Yttrium;
Hybrid systems;
reachability;
tools;
verification;
79.
Nonvolatile main memory aware garbage collection in high-level language virtual machine
机译:
非易失性主气记忆感知高级语言虚拟机中的垃圾收集
作者:
Chen Pan
;
Mimi Xie
;
Chengmo Yang
;
Zili Shao
;
Jingtong Hu
会议名称:
《International conference on embedded software》
|
2015年
关键词:
embedded systems;
maximum likelihood estimation;
random-access storage;
storage management;
virtual machines;
DOS;
LORE;
NVM;
PCM;
SMILE;
dead object stamping;
embedded systems;
high-level language virtual machine;
living objects remapping;
next generation main memory;
nonvolatile main memory aware garbage collection;
phase change memory;
smart wiping with maximum likelihood estimation;
write endurance;
write operation;
Maximum likelihood estimation;
Memory management;
Nonvolatile memory;
Random access memory;
System performance;
Virtual machining;
80.
Distributed power management of real-time applications on a GALS multiprocessor SOC
机译:
在GALS多处理器SOC上的实时应用程序的分布式电源管理
作者:
Nelson Andrew
;
Goossens Kees
会议名称:
《International conference on embedded software》
|
2015年
关键词:
embedded systems;
formal specification;
multiprocessing systems;
power aware computing;
power consumption;
synchronisation;
system-on-chip;
table lookup;
timing;
DVFS;
FPGA prototyped hardware;
GALS multiprocessor SOC;
H.263 decoder application;
application timing requirement;
associated formal timing model;
computational performance cost reduction;
distributed multicore runtime power management technique;
distributed power management;
dynamic voltage and frequency scaling;
embedded system;
multiprocessor system on chip;
per-core lookup table;
power consumption reduction;
real-time applications;
real-time dataflow applications;
static off-line formal analysis technique;
timing slack;
Analytical models;
Clocks;
Data models;
Power demand;
Real-time systems;
Schedules;
Timing;
Embedded Systems;
Low-power design;
Modelling and prediction;
Multiprocessor systems;
Real-time systems;
81.
Requirements driven falsification with coverage metrics
机译:
要求驱动覆盖度量的伪造
作者:
Dokhanchi Adel
;
Zutshi Aditya
;
Sriniva Rahul T.
;
Sankaranarayanan Sriram
;
Fainekos Georgios
会议名称:
《International conference on embedded software》
|
2015年
关键词:
formal specification;
coverage metrics;
iterative number;
local negative minima;
optimization problem;
requirements driven falsification method;
Aerospace electronics;
Measurement;
Robustness;
Semantics;
Testing;
Trajectory;
Yttrium;
82.
Parametrized dataflow scenarios
机译:
参数化数据流方案
作者:
Skelin Mladen
;
Geilen Marc
;
Catthoor Francky
;
Hendseth Sverre
会议名称:
《International conference on embedded software》
|
2015年
关键词:
data flow analysis;
finite state machines;
FSM-SADF model;
FSM-based scenario-aware data flow model;
analysis technique;
finite-state machine;
multimedia domain;
parametrized dataflow scenarios;
synchronous data flow;
Algebra;
Analytical models;
Computational modeling;
Data models;
Delays;
Schedules;
Throughput;
Max-plus algebra;
Synchronous dataflow;
parametrized dataflow;
scenario-aware dataflow;
worst-case performance;
83.
Building a hybrid systems modeler from synchronous language principles
机译:
从同步语言原则构建混合系统建模器
作者:
Pouzet Marc
会议名称:
《International conference on embedded software》
|
2015年
关键词:
automata theory;
difference equations;
differential equations;
embedded systems;
program compilers;
program verification;
programming language semantics;
safety-critical software;
DAE;
Hybrid system modeling languages;
Modelica language;
ODE;
Ptolemy II;
Simulink/Stateflow;
a-la StateCharts;
critical applications;
data-flow equations;
development chain;
difference equations;
discrete component modeling;
embedded target code;
formal verification;
hierarchical automata;
hybrid system modeler;
hybrid system semantics;
imperative features;
ordinary differential equations;
programming languages;
safety requirements;
sequential code generation;
source model;
synchronous language principles;
Automata;
Computational modeling;
Computer languages;
Embedded systems;
Mathematical model;
Object oriented modeling;
Semantics;
Block diagrams;
Compilation;
Hybrid systems;
Real-time systems;
Semantics;
Synchronous languages;
Type systems;
84.
Unbounded-time reachability analysis of hybrid systems by abstract acceleration
机译:
摘要加速度混合动力系统的无界时间可达性分析
作者:
Schrammel Peter
会议名称:
《International conference on embedded software》
|
2015年
关键词:
approximation theory;
continuous time systems;
discrete time systems;
linear systems;
program control structures;
reachability analysis;
set theory;
abstract acceleration method;
constraint solving;
convex over-approximation;
hybrid continuous-time linear dynamical system;
hybrid discrete-time linear dynamical system;
hybrid systems;
linear dynamical systems;
linear recurrence equation;
linear software loops;
physical models;
reachable state set;
set-based simulation;
software control modules;
unbounded-time polyhedral reachability analysis;
Acceleration;
Approximation methods;
Automata;
Computational modeling;
Linear systems;
Mathematical model;
Reachability analysis;
LTI control systems;
abstract acceleration;
linear loops;
polyhedral sets;
reachability analysis;
unbounded time horizon;
意见反馈
回到顶部
回到首页