掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International Conference on Application of Concurrency to System Design
International Conference on Application of Concurrency to System Design
召开年:
2013
召开地:
Barcelona(ES)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
共
341
条结果
1.
Parametric Schedulability Analysis of a Launcher Flight Control System Under Reactivity Constraints
机译:
反应性约束下发射飞行控制系统的参数调度分析
作者:
étienne André
;
Emmanuel Coquard
;
Laurent Fribourg
;
Jawher Jerray
;
David Lesens
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2019年
关键词:
Automata;
Real-time systems;
Aerospace electronics;
Instruction sets;
Navigation;
Tools;
Task analysis;
2.
Control of DES with Urgency, Avoidability and Ineluctability
机译:
控制DES充满紧迫性,避免性和缺陷性
作者:
Jean-Luc Béchennec
;
Didier Lime
;
Olivier H. Roux
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2019年
关键词:
Games;
Automata;
Gold;
Computational modeling;
Biological system modeling;
Delays;
3.
Structural Computation of Alignments of Business Processes Over Partial Orders
机译:
部分订单的业务流程对齐结构计算
作者:
Farbod Taymouri
;
Josep Carmona
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2019年
关键词:
Petri nets;
Computational modeling;
Mathematical model;
Data models;
Organizations;
Optimization;
4.
Co-Optimizing Core Allocation, Mapping and DVFS in Streaming Programs with Moldable Tasks for Energy Efficient Execution on Manycore Architectures
机译:
具有可模塑任务的流媒体节目中的核心分配,映射和DVF,用于在多核体系结构上节能执行
作者:
Nicolas Melot
;
Christoph Kessler
;
Patrick Eitschberger
;
J?rg Keller
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2019年
关键词:
Task analysis;
Time-frequency analysis;
Energy consumption;
Schedules;
Steady-state;
Resource management;
Optimal scheduling;
5.
Soundness Verification of Decision-Aware Process Models with Variable-to-Variable Conditions
机译:
具有可变变量条件的决策过程模型的声音验证
作者:
Paolo Felli
;
Massimiliano de Leoni
;
Marco Montali
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2019年
关键词:
Data models;
Petri nets;
Process control;
Standards;
Business;
Computational modeling;
Computer science;
6.
Generalised Asynchronous Arbiter
机译:
广义异步仲裁器
作者:
Stanislavs Golubcovs
;
Andrey Mokhov
;
Alex Bystrov
;
Danil Sokolov
;
Alex Yakovlev
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2019年
关键词:
Synchronization;
Clocks;
Computer architecture;
Protocols;
Standards;
Delays;
Complexity theory;
7.
Parametric Analyses of Attack-Fault Trees
机译:
攻击 - 故障树的参数分析
作者:
étienne André
;
Didier Lime
;
Mathias Ramparison
;
Mari?lle Stoelinga
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2019年
关键词:
Logic gates;
Automata;
Security;
Cost accounting;
Fault trees;
Safety;
Unified modeling language;
8.
Lock-free Concurrent Data Structures and How to Model their Performance
机译:
无锁的并发数据结构以及如何模拟其性能
作者:
Philippas Tsigas
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2019年
关键词:
Data structures;
Computational modeling;
Data models;
Analytical models;
Concurrent computing;
Throughput;
Memory management;
9.
A Formal Semantics of Exposed Datapath Architectures with Buffered Processing Units
机译:
具有缓冲处理单元的公开DataPath架构的正式语义
作者:
Markus Anders
;
Klaus Schneider
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2019年
关键词:
Computer architecture;
Registers;
Semantics;
Computational modeling;
Process control;
Parallel processing;
Instruction sets;
10.
Towards Parallel Verification of Concurrent Systems using the Symbolic Observation Graph
机译:
使用符号观察图并行验证并发系统
作者:
Hiba Ouni
;
Kais Klai
;
Chiheb Ameur Abid
;
Belhassen Zouari
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2019年
关键词:
Model checking;
Aggregates;
Partitioning algorithms;
Explosions;
Message passing;
Memory architecture;
11.
Sheep in wolf's Clothing: Implementation Models for Dataflow Multi-Threaded Software
机译:
狼在狼的服装:DataFlow多线程软件的实现模型
作者:
Keryan Didier
;
Albert Cohen
;
Dumitru Potop-Butucaru
;
Adrien Gauffriau
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2019年
关键词:
Semantics;
Instruction sets;
Synchronization;
Syntactics;
Resource management;
Computational modeling;
12.
ACSD 2018 Invited Talk Abstract
机译:
ACSD 2018邀请谈话摘要
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2018年
13.
SONCraft: A Tool for Construction, Simulation, and Analysis of Structured Occurrence Nets
机译:
Soncraft:结构,仿真和结构性净分析的工具
作者:
Bowen Li
;
Brian Randell
;
Anirban Bhattacharyya
;
Talal Alharbi
;
Maciej Koutny
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2018年
关键词:
Tools;
Analytical models;
Computational modeling;
Visualization;
Petri nets;
Accidents;
Windows;
14.
Timed Automata with Parametric Updates
机译:
具有参数更新的定时自动机
作者:
étienne André
;
Didier Lime
;
Mathias Ramparison
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2018年
关键词:
Cost accounting;
Clocks;
Automata;
Timing;
Semantics;
Authorization;
Concurrent computing;
15.
Complexity of Reachability for Data-Aware Dynamic Systems
机译:
数据感知动态系统可达性的复杂性
作者:
Parosh Aziz Abdulla
;
C. Aiswarya
;
Mohamed Faouzi Atig
;
Marco Montali
;
Othmane Rezine
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2018年
关键词:
Database languages;
Complexity theory;
Reactive power;
Relational databases;
Standards;
Business;
16.
Symbolically Aligning Observed and Modelled Behaviour
机译:
象征性地对齐观察和建模的行为
作者:
Vincent Bloemen
;
Jaco van de Pol
;
Wil M.P. van der Aalst
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2018年
关键词:
Petri nets;
Computational modeling;
Cost function;
Model checking;
Data models;
Standards;
Mathematical model;
17.
On Reconciling Concurrency, Sequentiality and Determinacy for Reactive Systems—A Sequentially Constructive Circuit Semantics for Esterel
机译:
重新调整反应系统的并发,顺序性和确定性 - 一种依次建设性电路语义的Esterel
作者:
Alexander Schulz-Rosengarten
;
Steven Smyth
;
Reinhard von Hanxleden
;
Michael Mendler
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2018年
关键词:
Semantics;
Hardware;
Program processors;
Concurrent computing;
Schedules;
Wires;
18.
Team Coordination Based on Causal Nets with Synchronous Channels
机译:
基于同步通道的因果网的团队协调
作者:
Dennis Schmitz
;
Daniel Moldt
;
Michael Haustermann
;
David Mosteller
;
Christian R?der
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2018年
关键词:
Task analysis;
Synchronization;
System recovery;
Planning;
Project management;
Uplink;
Time factors;
19.
SOUPS: A Variable Ordering Metric for the Saturation Algorithm
机译:
汤:饱和算法的可变订购度量
作者:
Benjamin Smith
;
Gianfranco Ciardo
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2018年
关键词:
Concurrent computing;
System analysis and design;
20.
On Memory Optimal Code Generation for Exposed Datapath Architectures with Buffered Processing Units
机译:
在具有缓冲处理单元的公开数据路径架构的记忆最佳代码
作者:
Markus Anders
;
Anoop Bhagyanath
;
Klaus Schneider
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2018年
关键词:
Registers;
Computer architecture;
Buffer storage;
Process control;
Instruction sets;
Commutation;
21.
Concurrent Secrets with Quantified Suspicion
机译:
通过量化怀疑的并发秘密
作者:
Lo?c Hélou?t
;
Hervé Marchand
;
John Mullins
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2018年
关键词:
Automata;
Standards;
Silicon;
Games;
Measurement uncertainty;
Probabilistic logic;
Complexity theory;
22.
Partial-Order Reduction for Performance Analysis of Max-Plus Timed Systems
机译:
MAX-PLUS定时系统性能分析的部分顺序降低
作者:
Bram van der Sanden
;
Marc Geilen
;
Michel Reniers
;
Twan Basten
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2018年
关键词:
Automata;
Timing;
Performance analysis;
Throughput;
Task analysis;
Semantics;
Algebra;
23.
Optimal-Cost Reachability Analysis Based on Time Petri Nets
机译:
基于Time Petri网的最佳成本可达性分析
作者:
Hanifa Boucheneb
;
Didier Lime
;
Olivier H. Roux
;
Charlotte Seidner
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2018年
关键词:
Petri nets;
Semantics;
Linear programming;
Time factors;
Computational modeling;
Cost function;
Upper bound;
24.
Ensuring Consistency between Cycle-Accurate and Instruction Set Simulators
机译:
确保循环准确和指令集模拟器之间的一致性
作者:
Fatma Jebali
;
Dumitru Potop-Butucaru
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2018年
关键词:
Pipelines;
Computational modeling;
Instruction sets;
Hardware;
Analytical models;
Semantics;
Timing;
25.
Fault-Free Refinements for Interface Automata
机译:
接口自动机的无故障改进
作者:
Ayleen Schinko
;
Walter Vogler
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2018年
关键词:
Automata;
Testing;
Semantics;
Synchronization;
Concurrent computing;
System analysis and design;
Gold;
26.
Xprova: Formal Verification Tool with Built-in Metastability Modeling
机译:
Xprova:具有内置亚稳态建模的正式验证工具
作者:
Ghaith Tarawneh
;
Andrey Mokhov
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2017年
关键词:
Tools;
Clocks;
Synchronization;
Integrated circuit modeling;
Functional analysis;
Space exploration;
27.
Selective Abstraction for Estimating Extra-Functional Properties in Networks-on-Chips Using ArchOn Framework
机译:
使用Archon Framework估算网络上的网络上的特殊功能的选择抽象
作者:
A. Rafiev
;
F. Xia
;
A. Iliasov
;
A. Romanovsky
;
A. Yakovlev
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2017年
关键词:
Tools;
Computational modeling;
System analysis and design;
Stochastic processes;
Analytical models;
Software;
Hardware;
28.
Plato: A Tool for Behavioural Specification of Asynchronous Circuits
机译:
柏拉图:异步电路的行为规范工具
作者:
Jonathan Beaumont
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2017年
关键词:
Tools;
Asynchronous circuits;
Logic gates;
Inverters;
Standards;
System analysis and design;
Protocols;
29.
Property-Preserving Generation of Tailored Benchmark Petri Nets
机译:
保留量身定制的基准Petri网的生成
作者:
Bernhard Steffen
;
Marc Jasper
;
Jeroen Meijer
;
Jaco van de Pol
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2017年
关键词:
Benchmark testing;
Tools;
Contracts;
Concurrent computing;
Petri nets;
Systematics;
30.
Formal Design and Verification of an Asynchronous SRAM Controller
机译:
正式的设计和验证异步SRAM控制器
作者:
Victor Khomenko
;
Andrey Mokhov
;
Danil Sokolov
;
Alex Yakovlev
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2017年
关键词:
Delays;
Concurrent computing;
Logic gates;
Wires;
SRAM cells;
Inverters;
31.
Liveness in L/U-Parametric Timed Automata
机译:
L / U-Parametric Simed Automata的Liventive
作者:
étienne André
;
Didier Lime
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2017年
关键词:
Cost accounting;
Clocks;
System recovery;
Automata;
Delays;
Concrete;
Concurrent computing;
32.
Refinement Checking Parameterised Quorum Systems
机译:
精制检查参数化仲裁系统
作者:
Antti Siirtola
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2017年
关键词:
Servers;
Topology;
Concurrent computing;
Fault tolerance;
Fault tolerant systems;
Algorithm design and analysis;
33.
Ardoises: Collaborative Interactive Editing Using Layered Data
机译:
Ardoises:使用分层数据协作和交互式编辑
作者:
Alban Linard
;
Didier Buchs
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2017年
关键词:
Tools;
Collaboration;
Servers;
Object oriented modeling;
Data models;
Automata;
Petri nets;
34.
A Backward Algorithm for the Multiprocessor Online Feasibility of Sporadic Tasks
机译:
零星任务的多处理器在线可行性的向后算法
作者:
Gilles Geeraerts
;
Jo?l Goossens
;
Thi-Van-Anh Nguyen
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2017年
关键词:
Games;
Computational modeling;
Algorithm design and analysis;
Real-time systems;
Concurrent computing;
35.
Process Windows
机译:
流程窗口
作者:
Andrey Mokhov
;
Jordi Cortadella
;
Alessandro de Gennaro
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2017年
关键词:
Petri nets;
Algorithm design and analysis;
Concurrent computing;
Silicon;
Circuit synthesis;
Visualization;
36.
Compositional Proofs in Differential Dynamic Logic dL
机译:
差动动态逻辑DL中的组成证据
作者:
Simon Lunel
;
Beno?t Boyer
;
Jean-Pierre Talpin
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2017年
关键词:
Contracts;
Automation;
Calculus;
Semantics;
Engines;
System analysis and design;
Design methodology;
37.
A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems
机译:
用于高保证网络物理系统的基于组件的单简架构
作者:
Dung Phan
;
Junxing Yang
;
Matthew Clark
;
Radu Grosu
;
John Schierman
;
Scott Smolka
;
Scott Stoller
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2017年
关键词:
Contracts;
Safety;
Switches;
Cognition;
Computer architecture;
Runtime;
38.
Exploring the Potential of Instruction-Level Parallelism of Exposed Datapath Architectures with Buffered Processing Units
机译:
使用缓冲处理单元探索公开DataPath架构的指令级并行度的潜力
作者:
Anoop Bhagyanath
;
Klaus Schneider
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2017年
关键词:
Registers;
Computer architecture;
Buffer storage;
Concurrent computing;
Processor scheduling;
Ports (Computers);
Organizations;
39.
Lock Optimization for Hoare Monitors in Real-Time Systems
机译:
实时系统中HOARE监视器的锁定优化
作者:
Georges-Axel Jaloyan
;
Lee Pike
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2017年
关键词:
Monitoring;
Poles and towers;
Concurrent computing;
Petri nets;
Real-time systems;
Optimization;
Message systems;
40.
Toward a Correct-and-Scalable Verification of Concurrent Robotic Systems: Insights on Formalisms and Tools
机译:
迈向同时机器人系统的正确可扩展验证:对形式主义和工具的见解
作者:
Mohammed Foughali
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2017年
关键词:
Genomics;
Bioinformatics;
Ports (Computers);
Concurrent computing;
Automata;
41.
Reduction of Order Structures
机译:
减少订单结构
作者:
?ukasz Mikulski
;
Andrey Mokhov
;
Marcin Pi?tkowski
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2017年
关键词:
Concurrent computing;
Software algorithms;
System analysis and design;
Algorithm design and analysis;
Labeling;
Computational modeling;
Software tools;
42.
Invited Talk
机译:
邀请谈话
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2016年
43.
Checking Metric Temporal Logic with TRACE
机译:
检查带有跟踪的度量时间逻辑
作者:
Martijn Hendriks
;
Marc Geilen
;
Amir R. B. Behrouzian
;
Twan Basten
;
Hadi Alizadeh
;
Dip Goswami
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2016年
关键词:
Measurement;
Semantics;
Visualization;
Pipelines;
Throughput;
Runtime;
Automata;
44.
From Petri Nets with Shared Variables to ITL
机译:
从Petri网带有共享变量到ITL
作者:
Hanna Klaudel
;
Maciej Koutny
;
Ben Moszkowski
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2016年
关键词:
Petri nets;
Algebra;
Reactive power;
Concurrent computing;
Analytical models;
Computational modeling;
45.
Products of Transition Systems and Additions of Petri Nets
机译:
过渡系统的产品和Petri网的添加
作者:
Raymond Devillers
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2016年
关键词:
Diamond;
Petri nets;
Concurrent computing;
Electronic mail;
Indexes;
Labeling;
46.
Controlling Actions and Time in Parametric Timed Automata
机译:
控制参数定时自动机的动作和时间
作者:
étienne André
;
Michal Knapik
;
Wojciech Penczek
;
Laure Petrucci
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2016年
关键词:
Timing;
Cost accounting;
Clocks;
Automata;
Safety;
Logic gates;
Real-time systems;
47.
The Congruences below Fair Testing with Initial Stability
机译:
以下与初始稳定性的公平测试的同时
作者:
Antti Valmari
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2016年
关键词:
Testing;
Regions;
Concurrent computing;
Stability criteria;
Programming;
Buildings;
48.
ACTL for Modal Interface Automata
机译:
用于模态界面自动机的ACTL
作者:
Ferenc Bujtor
;
Walter Vogler
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2016年
关键词:
Automata;
Standards;
Syntactics;
Concurrent computing;
System analysis and design;
Indexes;
Solids;
49.
Power and Energy Normalized Speedup Models for Heterogeneous Many Core Computing
机译:
用于异构许多核心计算的功率和能量归一化加速模型
作者:
Mohammed A. N. Al-Hayanni
;
Ashur Rafiev
;
Rishad Shafik
;
Fei Xia
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2016年
关键词:
Computational modeling;
Analytical models;
Brain models;
Sun;
Nickel;
Program processors;
50.
Weaving True-Concurrent Aspects Using Constraint Solvers
机译:
使用约束求解器编织真正的并发方面
作者:
Juliana K. F. Bowles
;
Behzad Bordbar
;
Mohammed Alwanain
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2016年
关键词:
Unified modeling language;
Weaving;
Semantics;
Metals;
Concurrent computing;
Computational modeling;
Complexity theory;
51.
Utilizing Petri Nets for Teaching in Practical Courses on Collaborative Software Engineering
机译:
利用Petri网进行协同软件工程实践课程教学
作者:
Dennis Schmitz
;
Daniel Moldt
;
Lawrence Cabac
;
David Mosteller
;
Michael Haustermann
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2016年
关键词:
Petri nets;
Education;
Software;
Software engineering;
Context;
Unified modeling language;
Concurrent computing;
52.
Asynchronous Dataflow De-Elastisation for Efficient Heterogeneous Synthesis
机译:
异步数据流去弹性,用于有效的异构合成
作者:
Mahdi Jelodari Mamaghani
;
Danil Sokolov
;
Jim Garside
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2016年
关键词:
Elasticity;
Timing;
Biological system modeling;
Computational modeling;
Integrated circuit modeling;
Algorithm design and analysis;
Clocks;
53.
Model Checking and Evaluating QoS of Batteries in MPSoC Dataflow Applications via Hybrid Automata
机译:
MPSOC DataFlow应用程序模型检查和评估MPSOC DataFlow应用程序的QoS
作者:
Waheed Ahmad
;
Marijn Jongerden
;
Mari?lle Stoelinga
;
Jaco van de Pol
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2016年
关键词:
Batteries;
Quality of service;
Automata;
Program processors;
Computational modeling;
Load modeling;
Kinetic theory;
54.
Power-Normalized Performance Optimization of Concurrent Many-Core Applications
机译:
电力标准化性能优化并发许多核心应用
作者:
Matthew Travers
;
Rishad Shafik
;
Fei Xia
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2016年
关键词:
Benchmark testing;
Optimization;
Linux;
Power demand;
Radiation detectors;
Resource management;
Instruction sets;
55.
An Approach to Verification of MPI Applications Defined in a High-Level Model
机译:
验证高级模型中定义的MPI应用的方法
作者:
Ondrej Meca
;
Stanislav B?hm
;
Marek Behálek
;
Petr Jancar
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2016年
关键词:
Computational modeling;
Standards;
C++ languages;
Visualization;
System recovery;
Petri nets;
Concrete;
56.
Invited speaker
机译:
邀请扬声器
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2015年
57.
Incremental Inductive Verification of Parameterized Timed Systems
机译:
参数化定时系统的增量归纳验证
作者:
Isenberg Tobias
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2015年
关键词:
Automata;
Clocks;
Cost accounting;
Delays;
Feedback loop;
Optimization;
Safety;
IC3;
parameterized systems;
symmetry;
timed automata;
verification;
58.
Multi-valued Abstraction Using Lattice Operations
机译:
使用晶格操作的多价抽象
作者:
Vijzelaar Stefan
;
Fokkink Wan
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2015年
关键词:
Concrete;
Concurrent computing;
Encoding;
Lattices;
Model checking;
Reactive power;
System analysis and design;
abstraction;
de morgan;
distributive lattice;
execution steering;
mixed simulation;
model checking;
multi-valued;
quasi-boolean;
59.
Stop It, and Be Stubborn!
机译:
停下来,顽固!
作者:
Valmari Antti
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2015年
关键词:
Computational modeling;
Concurrent computing;
Heuristic algorithms;
Logic gates;
Safety;
System analysis and design;
Writing;
model checking;
progress;
safety;
stubborn set / partial order methods;
60.
Preserving Partial Order Runs in Parametric Time Petri Nets
机译:
保留部分阶数在参数时间Petri网中运行
作者:
Andre Etienne
;
Chatain Thomas
;
Rodriguez Cesar
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2015年
关键词:
Asynchronous circuits;
Concurrent computing;
Cost accounting;
Delays;
Inverse problems;
Petri nets;
Semantics;
Circuit design;
Parameter synthesis;
Partial order semantics;
Time Petri net;
61.
Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata
机译:
使用广义测试自动机结合显式和符号LTL模型检查
作者:
Salem Ala Eddine Ben
;
Graiet Mohamed
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2015年
关键词:
Aggregates;
Automata;
Cost accounting;
Data structures;
Explosions;
Model checking;
Combining Explicit and Symbolic approaches;
Generalized Büchi Automata (TGBA);
Generalized Testing Automata (TGTA);
Hybrid approaches;
Model Checking;
Stutter-invariant LTL Properties;
62.
A Heuristic Algorithm for Deriving Compact Models of Processor Instruction Sets
机译:
一种推导处理器指令集专具模型的启发式算法
作者:
Gennaro Alessandro de
;
Stankaitis Paulius
;
Mokhov Andrey
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2015年
关键词:
Algorithm design and analysis;
Electronic mail;
Encoding;
Hamming distance;
Heuristic algorithms;
Instruction sets;
Measurement;
63.
Task-FIFO Co-scheduling of Streaming Applications on MPSoCs with Predictable Memory Hierarchy
机译:
Task-FIFO具有可预测存储器层次结构的MPSOC媒体应用程序的共享
作者:
Tang Qi
;
Basten Twan
;
Geilen Marc
;
Stuijk Sander
;
Wei Ji-Bo
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2015年
关键词:
Clocks;
Memory management;
Program processors;
Resource management;
Schedules;
Scheduling;
Throughput;
MPSoC;
SDFG;
SPM;
scheduling;
64.
Building a Symbolic Model Checker from Formal Language Description
机译:
从正式语言描述构建符号模型检查器
作者:
Bobeda Edmundo Lopez
;
Colange Maximilien
;
Buchs Didier
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2015年
关键词:
Data models;
Data structures;
Formal languages;
Model checking;
Optimization;
Petri nets;
Semantics;
semantics;
symbolic model checking;
term rewriting;
65.
Unfolding Based Minimal Test Suites for Testing Multithreaded Programs
机译:
展开基于最小的测试套件,用于测试多线程程序
作者:
Leon Hernan Ponce de
;
Saarikivi Olli
;
Kahkonen Kari
;
Heljanko Keijo
;
Esparza Javier
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2015年
关键词:
Concrete;
Concurrent computing;
Electronic mail;
Encoding;
Instruction sets;
Petri nets;
Testing;
Multithreaded programs;
SMT;
Testing;
unfoldings;
66.
Order Graphs and Cross-Layer Parametric Significance-Driven Modelling
机译:
订单图和跨层参数意义驱动建模
作者:
Rafiev Aashur
;
Xia Fei
;
Iliasov Alexei
;
Gensh Rem
;
Aalsaud Ali
;
Romanovsky Alexander
;
Yakovlev Alex
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2015年
关键词:
Analytical models;
Concurrent computing;
Hardware;
Power demand;
Runtime;
Stochastic processes;
System analysis and design;
cross-layer;
graph;
hierarchy;
modelling;
parametric-proportional;
significance-driven;
67.
Strongly Generalized Soundness of Time Workflow Nets
机译:
强大的时间工作流网的概括健全
作者:
Boucheneb Hanifa
;
Barkaoui Kamel
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2015年
关键词:
Context;
Delays;
Petri nets;
Reachability analysis;
Semantics;
Time factors;
Upper bound;
Time Workflow nets;
state class graphs;
K-soundness;
(strong) ?-soundness;
68.
Non-interference in Partial Order Models
机译:
非干扰部分订单模型
作者:
Berard Beatrice
;
Helouet Loic
;
Mullins John
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2015年
关键词:
Automata;
Concurrent computing;
Context;
Interference;
Nickel;
Security;
Semantics;
Non-interference;
Partila orders;
scenarios;
69.
When Do We (Not) Need Complex Assume-Guarantee Rules?
机译:
我们(不)何时需要复杂的假设保证规则?
作者:
Siirtola Antti Tapani
;
Tripakis Stavros
;
Heljanko Keijo
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2015年
关键词:
Automata;
Cognition;
Concurrent computing;
Context;
Explosions;
Information technology;
System analysis and design;
alternating simulation;
circular assume-guarantee reasoning;
compositional reasoning;
interface automata;
labelled transition systems;
weak simulation;
70.
Testing Preorders for dMTS: Deadlock- and the New Deadlock/Divergence-Testing
机译:
测试DMTS的预算:死锁和新的死锁/分歧测试
作者:
Bujtor Ferenc
;
Sorokin Lev
;
Vogler Walter
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2015年
关键词:
Concurrent computing;
Robustness;
Semantics;
Standards;
System analysis and design;
System recovery;
Testing;
71.
A Framework for Composition, Verification and Real-Time Performance of Multimedia Interactive Scenarios
机译:
多媒体交互式场景的组成,验证和实时性能的构图,验证和实时性能框架
作者:
Arias Jaime
;
Desainte-Catherine Myriam
;
Rueda Camilo
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2015年
关键词:
Atmosphere;
Field programmable gate arrays;
IP networks;
Multimedia communication;
Organizations;
Petri nets;
Real-time systems;
formal semantics;
formal verification;
fpgas;
interactive multimedia scenarios;
timed automata;
uppaal;
72.
Cyclo-Static Data Flow Model for TDM
机译:
TDM的Cyclo-静态数据流模型
作者:
Lele Alok
;
Moreira Orlando
;
Butala Kaushal
;
Cuijpers Pieter J. L.
;
van Berkel Koos
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2014年
关键词:
data flow analysis;
resource allocation;
time division multiplexing;
wireless LAN;
TDM;
cyclo-static data flow model;
resource allocation;
resource sharing;
time division multiplexing;
wireless LAN radio;
Analytical models;
Data models;
Production;
Real-time systems;
Resource management;
Time division multiplexing;
Time factors;
Data flow;
hard real-time;
timing analysis;
73.
Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs via Timed Automata
机译:
通过定时自动机的资源受限约束同步数据流图的最佳调度
作者:
Ahmad Waheed
;
de Groote Robert
;
Ho?lzenspies Philip K. F.
;
Stoelinga Marie?lle
;
van de Pol Jaco
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2014年
关键词:
automata theory;
data flow graphs;
formal verification;
scheduling;
homogeneous SDF graphs;
quantitative model checking;
quantitative model verification;
resource-constrained optimal scheduling;
synchronous dataflow graphs;
timed automata;
user-defined properties;
Automata;
Clocks;
Schedules;
System recovery;
Throughput;
Topology;
Vectors;
Heterogenous Systems;
Multiprocessors;
Scheduling;
Synchronous Dataflow Graphs;
Throughput Analysis;
Timed Automata;
74.
Modular μ-Calculus Model-Checking with Formula-Dependent Hierarchical Abstractions
机译:
具有公式依赖性分层抽象的模块化μ-微积分模型检查
作者:
Le Cornec Yves-Stan
;
Pommereau Franck
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2014年
关键词:
formal verification;
hierarchical systems;
formula-dependent hierarchical abstractions;
formula-dependent reductions;
modular μ-calculus model-checking;
modular transitions systems;
Context;
Explosions;
Lattices;
Semantics;
Silicon;
Synchronization;
Tin;
Hierarchical abstraction;
Modular model-checking;
Partial and incremental analysis;
75.
Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata
机译:
随机混合自动机动态网络量化动态度量时间逻辑
作者:
David Alexandre
;
Larsen Kim G.
;
Legay Axel
;
Guangyuan Li
;
Poulsen Danny Bogsted
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2014年
关键词:
concurrency control;
multi-threading;
operating systems (computers);
rewriting systems;
specification languages;
stochastic automata;
temporal logic;
UPPAAL SMC version 4.1.18;
behaviour specification;
computational threads;
concurrent execution;
dynamic networks;
modelling languages;
monitoring procedure;
multiprocessing systems;
operating systems;
quantified dynamic metric temporal logic;
requirement specification;
rewriting formulas;
spawning primitive;
specification language;
stochastic hybrid automata;
tear-down primitive;
timed automata;
Automata;
Delays;
Instruction sets;
Ports (Computers);
Semantics;
Servers;
Stochastic processes;
Dynamic Systems;
QDMTL;
Statistical Model Checking;
Stochastic Hybrid Automata;
76.
Multi-rate Equivalents of Cyclo-Static Synchronous Dataflow Graphs
机译:
Cyclo-静态同步数据流图的多速率等价物
作者:
de Groote Robert
;
Holzenspies Philip K. F.
;
Kuper Jan
;
Smit Gerard J. M.
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2014年
关键词:
data flow graphs;
CSDF graph;
HSDF graphs;
MRSDF graph;
cyclo-static synchronous dataflow graphs;
homogeneous synchronous dataflow;
homogeneous synchronous dataflow graphs;
multirate equivalents;
multirate synchronous dataflow graph;
Accuracy;
Approximation methods;
Computational modeling;
Equations;
Schedules;
Throughput;
Vectors;
analysis;
synchronous dataflow;
transformation;
77.
Action Synthesis for Branching Time Logic: Theory and Applications
机译:
分支时间逻辑的动作综合:理论与应用
作者:
Knapik Michal
;
Meski Artur
;
Penczek Wojciech
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2014年
关键词:
computational complexity;
formal logic;
Peterson mutual exclusion protocol;
SPATULA;
action synthesis;
action-restricted computation tree logic;
branching time logic;
exhaustive parameter synthesis problem;
faulty train-gate-controller;
generic pipeline processing network;
symbolic fixed-point algorithm;
time complexity;
Algorithm design and analysis;
Complexity theory;
Computational modeling;
Context;
Cost accounting;
Semantics;
Syntactics;
model checking;
parameter synthesis;
parametric model checking;
parametric verification;
78.
Modelling Data Processing for Interactive Scores Using Coloured Petri Nets
机译:
使用彩色培养网建模数据处理进行交互式分数
作者:
Arias Jaime
;
Desainte-Catherine Myriam
;
Rueda Camilo
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2014年
关键词:
Petri nets;
audio signal processing;
data handling;
formal verification;
interactive systems;
multimedia systems;
CPN modules;
audio file appending;
audio file reading;
audio file reversing;
coloured Petri nets;
complex data handling;
data processing modelling;
execution model;
fundamental signal processing functions;
i-score;
interactive multimedia scores;
multimedia scenarios;
Data models;
Delays;
Multimedia communication;
Organizations;
Petri nets;
Reactive power;
Streaming media;
coloured petri nets;
data processing;
formal specification;
interactive scores;
79.
Memory Model-Aware Testing - A Unified Complexity Analysis
机译:
内存模型感知测试 - 统一复杂性分析
作者:
Furbach Florian
;
Meyer Roland
;
Schneider Klaus
;
Senftleben Maximilian
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2014年
关键词:
computational complexity;
program diagnostics;
program testing;
program verification;
NP-lower bounds;
Steinke-Nutt hierarchy;
complexity theory;
concurrent program;
memory model-aware program analysis techniques;
memory model-aware testing;
multiprocessor systems;
natural hierarchy;
polynomial-time testing algorithms;
program behavior;
program verification algorithms;
range reductions;
single SAT encoding;
unified complexity analysis;
weak memory consistency models;
Algorithm design and analysis;
Analytical models;
Biological system modeling;
Complexity theory;
Encoding;
Synchronization;
Testing;
NP-completeness;
complexity analysis;
concurrency;
testing;
weak memory models;
80.
Testing Multithreaded Programs with Contextual Unfoldings and Dynamic Symbolic Execution
机译:
使用上下文展开和动态符号执行测试多线程程序
作者:
Ka?hko?nen Kari
;
Heljanko Keijo
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2014年
关键词:
Java;
Petri nets;
multi-threading;
program testing;
Java programs;
dynamic symbolic execution;
multithreaded program testing;
petri net unfoldings;
testing approach;
Computational modeling;
Context;
Heuristic algorithms;
Instruction sets;
Message systems;
Schedules;
Testing;
81.
BenchKit, a Tool for Massive Concurrent Benchmarking
机译:
Benchkit,一种大规模并发基准测试的工具
作者:
Kordon Fabrice
;
Hulin-Hubard Francis
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2014年
关键词:
Petri nets;
benchmark testing;
concurrency (computers);
formal verification;
multiprocessing programs;
BenchKit;
MCC;
Petri net;
massive concurrent benchmarking;
model checking contest;
multicore computers;
Benchmark testing;
Computers;
Context;
Kernel;
Magnetic heads;
Monitoring;
Virtualization;
Distributed Computing;
Evaluation of programs;
Virtual machines;
82.
New Automatic Agent-Based Solutions for Feasible Reconfigurable MP-SoC Architectures
机译:
基于新的自动代理的可行性可重构MP-SoC架构解决方案
作者:
Khemaissia Imen
;
Mosbahi Olfa
;
Khalgui Mohamed
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2014年
关键词:
field programmable gate arrays;
multi-agent systems;
reconfigurable architectures;
system-on-chip;
FPGA Stratix III;
aperiodic tasks;
automatic agent-based solutions;
automatic low-power reconfigurations;
bin-packing based relocation;
communication protocol;
distributed multi-processors architecture;
feasible reconfigurable MP-SoC architectures;
flexible MP-SoC embedded architectures;
hardware migration;
low-memory reconfigurations;
master-slave oriented multi-agent architecture;
periodic tasks;
run-time software-hardware reconfigurations;
slave agent;
Computer architecture;
Energy consumption;
Hardware;
Power demand;
Protocols;
Real-time systems;
Software;
FPGA;
Low-memory occupation;
Low-power consumption;
MP-SoC;
Multiagent architecture;
Real-Time System;
Reconfiguration;
83.
Sessions with an Unbounded Number of Agents
机译:
与无限数量的代理商会话
作者:
Akshay S.
;
Heloue?t Loic
;
Mukund Madhavan
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2014年
关键词:
Web services;
multi-agent systems;
Chinese wall property;
Web-based systems;
effective verification algorithm;
graph-rewriting;
operational semantics;
realistic specifications;
session systems;
structured interactions;
tractable model;
Cost accounting;
Electronic mail;
Marine vehicles;
Protocols;
Semantics;
Servers;
Services;
WSTS;
verification;
84.
The Omniscient Garbage Collector: A Resource Analysis Framework
机译:
Ownicient垃圾收集器:资源分析框架
作者:
Deharbe Aurelien
;
Peschanski Frederic
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2014年
关键词:
pi calculus;
resource allocation;
storage management;
OGC;
equivalent resource profiles;
labelled transitions;
omniscient garbage collector;
open systems;
pi-calculus processes;
prototype analysis tool;
resource abstractions;
resource analysis framework;
resource consumption;
resource usages characterization;
resources classification;
Abstracts;
Automata;
Color;
Complexity theory;
Indexes;
Lattices;
Resource management;
85.
Parametrised Interface Automata
机译:
参数化接口自动机
作者:
Siirtola Antti
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2014年
关键词:
finite state machines;
program verification;
theorem proving;
user interfaces;
IA;
IT;
checking parametrised verilication tasks;
finite state interfaces;
fully algorithmic procedure;
interface theories;
parametrised interface automata;
proof technique;
real software systems;
safety property verilication;
Abstracts;
Automata;
Concurrent computing;
Context;
Cost accounting;
Impedance matching;
Software systems;
alternating simulation;
compatibility;
decidability;
formal verification;
interface automaton;
interface theory;
parameterized system;
refinement;
86.
Layered Reduction for Abstract Probabilistic Automata
机译:
抽象概率自动机的分层减少
作者:
Sharma Ashok
;
Katoen Joost-Pieter
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2014年
关键词:
probabilistic automata;
randomised algorithms;
reachability analysis;
APA specification support compositionality;
CCL laws;
abstract probabilistic automata;
abstraction theory;
acyclic APA;
communication closed layer laws;
component-oriented analysis;
component-oriented design;
layered composition operatorfor;
layered reduction;
layered transformation;
partial order equivalence;
randomized distributed systems;
specification theory;
state-space reduction technique;
step-wise refinement methodology;
Abstracts;
Automata;
Distributed algorithms;
Probabilistic logic;
Protocols;
Real-time systems;
Synchronization;
87.
Studying the Interplay of Concurrency, Performance, Energy and Reliability with ArchOn -- An Architecture-Open Resource-Driven Cross-Layer Modelling Framework
机译:
使用Archon研究并发性,性能,能量和可靠性的相互作用 - 一种架构开放的资源驱动的跨层建模框架
作者:
Rafiev Ashur
;
Iliasov Alexei
;
Romanovsky Alexandre
;
Mokhov Andrey
;
Fei Xia
;
Yakovlev Alex
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2014年
关键词:
graph theory;
multiprocessing systems;
parallel architectures;
ArchOn;
architecture-open resource-driven cross-layer modelling framework;
cross-layer issues;
layer-agnostic formalism;
many-core multilayer design setting;
modern computing systems;
multicore case studies;
resource-driven approach;
resource-driven graph representation;
single-core case studies;
Clocks;
Concurrent computing;
Hardware;
Reliability engineering;
Software;
Throughput;
88.
Diagnosability under Weak Fairness
机译:
公平弱下的诊断
作者:
Germanos Vasileios
;
Haar Stefan
;
Khomenko Victor
;
Schwoon Stefan
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2014年
关键词:
Petri nets;
fault tolerant computing;
formal verification;
LTL-X formula;
LTL-X model checking;
WF-diagnosability;
model checkers;
observed labels;
partially observed Petri nets;
unobservable fault;
weak fairness assumption;
Automata;
Model checking;
Monitoring;
Observers;
Petri nets;
Sensors;
Standards;
Diagnosability;
LTL-X;
Petri nets;
formal verification;
model checking;
weak fairness;
89.
Static Mapping of Real-Time Applications onto Massively Parallel Processor Arrays
机译:
实时应用静态映射到大量并行处理器阵列
作者:
Carle Thomas
;
Djemal Manel
;
Potop-Butucaru Dumitru
;
De Simone Robert
;
Zhen Zhang
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2014年
关键词:
multiprocessing systems;
parallel processing;
pipeline processing;
processor scheduling;
resource allocation;
system-on-chip;
MPPA;
MPSoC;
NoC;
dynamic real-time scheduling approach;
global communication schedule;
global computation schedule;
hardware models;
internal buffering capabilities;
massively parallel processor arrays;
multiprocessor systems-on-chips;
network control;
offline real-time scheduling approach;
on-chip networks;
online real-time scheduling approach;
precomputed data transmission preemption;
real-time applications;
resource allocation;
signal processing;
small data packets;
software pipelining;
static mapping;
static real-time scheduling approach;
timing analysis;
Computer architecture;
Hardware;
Optimal scheduling;
Processor scheduling;
Real-time systems;
Resource management;
Timing;
90.
Controllability in Partial and Uncertain Environments
机译:
部分和不确定环境中的可控性
作者:
DIppolito Nicolas
;
Braberman Victor
;
Piterman Nir
;
Uchitel Sebastian
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2014年
关键词:
control system synthesis;
controllability;
LTS controller;
MTS control problem;
MTS realisability problem;
controllability;
controller synthesis;
deterministic labelled transition system;
domain model;
incremental development process;
modal transition system;
nondeterministic MTS;
Blogs;
Complexity theory;
Controllability;
Games;
Libraries;
System recovery;
MTS realisability;
controller synthesis;
modal transition systems;
91.
Failure Semantics for Modal Transition Systems
机译:
模态转换系统的故障语义
作者:
Bujtor Ferenc
;
Vogler Walter
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2014年
关键词:
failure analysis;
reliability theory;
MTS conjunction;
MTS-specific testing variant;
conjunction operator;
deadlock freedom preservation;
failure semantics;
may-testing approach;
modal refinement;
modal transition systems;
standard modal refinement relation;
thoroughness;
Approximation methods;
Automata;
Semantics;
Standards;
Syntactics;
System recovery;
Testing;
conjunction;
failure semantics;
modal transition systems;
refinement;
testing;
92.
Maximal Synthesis for Hennessy-Milner Logic
机译:
Hennessy-Milner逻辑的最大综合
作者:
van Hulst A.C.
;
Reniers M.A.
;
W.J.Fokkink
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2013年
93.
Incremental Bisimulation Abstraction Refinement
机译:
增量双模拟抽象细化
作者:
Song Lei
;
Zhang Lijun
;
Hermanns Holger
;
Godskesen Jens Chr.
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2013年
关键词:
Abstraction Refinement;
Bisimulation;
Concurrent Probabilistic Systems;
Probabilistic CTL model checking;
94.
A New Multi-threaded Code Synthesis Methodology and Tool for Correct-by-Construction Synthesis from Polychronous Specifications
机译:
一种基于多时规范从结构正确综合的新多线程代码综合方法和工具
作者:
Nanjundappa Mahesh
;
Kracht Matthew
;
Ouy Julien
;
Shukla Sandeep K.
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2013年
关键词:
MRICDF;
Multi-threaded Code;
Polychrony;
Software Synthesis;
95.
Towards Optimal Supervisory Control of Discrete-Time Stochastic Discrete-Event Processes with Data
机译:
带有数据的离散随机离散事件过程的最优监督控制
作者:
Markovski Jasen
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2013年
关键词:
controllability of probabilistic timed systems;
probabilistic model checking;
probabilistic timed partial bisimulation;
supervisory control theory;
96.
Timing Analysis of Binary Programs with UPPAAL
机译:
UPPAAL二进制程序的时序分析
作者:
Cassez Franck
;
Bechennec Jean-Luc
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2013年
关键词:
WCET;
timed automata;
97.
LTL Model Checking of Parallel Programs with Under-Approximated TSO Memory Model
机译:
使用近似TSO内存模型的并行程序的LTL模型检查
作者:
Barnat Jiri
;
Brim Lubo
;
Havel Vojtech
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2013年
关键词:
LTL model checking;
divine model checker;
relaxed memory model;
98.
Parametrised Compositional Verification with Multiple Process and Data Types
机译:
具有多个过程和数据类型的参数化成分验证
作者:
Siirtola Antti
;
Heljanko Keijo
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2013年
关键词:
compositional verification;
cut-off;
parameterized verification;
process calculus;
refinement checking;
trace semantics;
99.
Modular Verification of Synchronous Programs
机译:
同步程序的模块化验证
作者:
Gesell Manuel
;
Schneider Klaus
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2013年
关键词:
Interactive Verification;
Modular Verification;
Synchronous Languages;
100.
Incremental Generation of Linear Invariants for Component-Based Systems
机译:
基于组件的系统的线性不变量的增量生成
作者:
Bensalem Saddek
;
Bozga Marius
;
Boyer Benoit
;
Legay Axel
会议名称:
《International Conference on Application of Concurrency to System Design》
|
2013年
关键词:
component-based systems;
invariants generation;
linear algebra;
model-checking;
上一页
1
2
3
4
下一页
意见反馈
回到顶部
回到首页