首页>外文会议>International Conference on Application of Concurrency to System Design

International Conference on Application of Concurrency to System Design

召开年：2013
召开地：Barcelona(ES)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.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年
2.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年
3.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年
4.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年
5.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年
6.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年
7.BenchKit, a Tool for Massive Concurrent Benchmarking

机译：Benchkit，一种大规模并发基准测试的工具
- 作者：Kordon Fabrice;Hulin-Hubard Francis
- 会议名称：《International Conference on Application of Concurrency to System Design》 | 2014年
8.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年
9.Sessions with an Unbounded Number of Agents

机译：与无限数量的代理商会话
- 作者：Akshay S.;Heloue?t Loic;Mukund Madhavan
- 会议名称：《International Conference on Application of Concurrency to System Design》 | 2014年
10.The Omniscient Garbage Collector: A Resource Analysis Framework

机译：Ownicient垃圾收集器：资源分析框架
- 作者：Deharbe Aurelien;Peschanski Frederic
- 会议名称：《International Conference on Application of Concurrency to System Design》 | 2014年
11.Parametrised Interface Automata

机译：参数化接口自动机
- 作者：Siirtola Antti
- 会议名称：《International Conference on Application of Concurrency to System Design》 | 2014年
12.Layered Reduction for Abstract Probabilistic Automata

机译：抽象概率自动机的分层减少
- 作者：Sharma Ashok;Katoen Joost-Pieter
- 会议名称：《International Conference on Application of Concurrency to System Design》 | 2014年
13.A Parametric Tool for Applied Process Calculi

机译：应用过程计算的参数工具
- 作者：Borgstrom Johannes;Gutkovas Ramunas;Rodhe Ioana;Victor Bjorn
- 会议名称：《International Conference on Application of Concurrency to System Design》 | 2013年
- Bisimulation checking;
- Calculi;
- Symbolic simulation;
- Wireless Sensor Networks;
14.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;
15.Bounded Model Checking of an MITL Fragment for Timed Automata

机译：定时自动机的MITL片段的有界模型检查
- 作者：Kindermann Roland;Junttila Tommi;Niemela Ilkka
- 会议名称：《International Conference on Application of Concurrency to System Design》 | 2013年
- bounded model checking;
- metric interval temporal logic;
- satisfiability modulo theories;
- timed automaton;
16.Tag Machines for Modeling Heterogeneous Systems

机译：用于建模异质系统的标签机器
- 作者：Le Thi Thieu Hoa;Passerone Roberto;Fahrenberg Uli;Legay Axel
- 会议名称：《International Conference on Application of Concurrency to System Design》 | 2013年
- heterogeneity;
- simulation;
- tag machines;
17.Implementing Timed Automata Specifications: The #x0022;Sandwich#x0022; Approach

机译：实施定时自动机规格：＆＃x0022;三明治＆＃x0022; 方法
- 作者：Devillers Raymond;Didier Jean-Yves;Klaudel Hanna
- 会议名称：《International Conference on Application of Concurrency to System Design》 | 2013年
- Timed automata;
- implementability;
- semantics.;
18.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;
19.Prototyping a Concurrency Model

机译：原型开明并发模型
- 作者：Morandi Benjamin;Schill Mischael;Nanz Sebastian;Meyer Bertrand
- 会议名称：《International Conference on Application of Concurrency to System Design》 | 2013年
- Maude;
- SCOOP;
- concurrent programming;
- formal specification;
- prototyping;
- testing;
20.Programming and Timing Analysis of Parallel Programs on Multicores

机译：多设备上并行程序的编程和定时分析
- 作者：Yip Eugene;Roop Partha S.;Biglari-Abhari Morteza;Girault Alain
- 会议名称：《International Conference on Application of Concurrency to System Design》 | 2013年
- WCET analysis;
- parallel programming;
- synchronous languages;
21.Reveal Your Faults: It's Only Fair!

机译：揭示你的错：这只是公平！
- 作者：Haar Stefan;Rodriguez Cesar;Schwoon Stefan
- 会议名称：《International Conference on Application of Concurrency to System Design》 | 2013年
- Petri nets;
- diagnosis;
- partial orders;
- unfoldings;
22.Precision Timed Embedded Systems Using TickPAD Memory

机译：使用TickPad内存的精密定时嵌入式系统
- 作者：Kuo Matthew;Roop Partha;Andalam Sidharta;Patel Nitish
- 会议名称：《International Conference on Application of Concurrency to System Design》 | 2013年
- -Synchronous;
- Memory Hierarchy;
- Worst Case Analysis;
23.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年
24.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;
25.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;
26.On Cyclic Behaviour of Unbounded Petri Nets

机译：关于无限培养网的循环行为
- 作者：Desel Jorg
- 会议名称：《International Conference on Application of Concurrency to System Design》 | 2013年
27.Polynomial Sufficient Conditions of Well-Behavedness for Weighted Join-Free and Choice-Free Systems

机译：多项式足够的加权加入和选择的系统的良好行为条件
- 作者：Delosme Jean-Marc;Hujsa Thomas;Munier-Kordon Alix
- 会议名称：《International Conference on Application of Concurrency to System Design》 | 2013年
- Choice-Free;
- Join-Free;
- Petri net;
- S-system;
- State Machine;
- Synchronous Data Flow;
- T-system;
- balancing;
- boundedness;
- liveness;
- polynomial sufficient condition;
- weighted net;
- well-behavedness;
- well-formedness;
28.STG-Based Resynthesis for Balsa Circuits

机译：基于STG的BALSA电路的重新合成
- 作者：Golubcovs Stanislavs;Vogler Walter;Kluge Norman
- 会议名称：《International Conference on Application of Concurrency to System Design》 | 2013年
29.Checking Partial-Order Properties of Vector Addition Systems with States

机译：用状态检查矢量加法系统的部分订购属性
- 作者：Avellaneda Florent;Morin Remi
- 会议名称：《International Conference on Application of Concurrency to System Design》 | 2013年
- Monadic second-order logic;
- Process semantics;
- Reachability properties;
- Vector addition system with states;
30.Lexicographical Generations of Combined Traces

机译：词典的组合痕迹
- 作者：Mikulski Lukasz;Piatkowski Marcin;Smyczynski Sebastian
- 会议名称：《International Conference on Application of Concurrency to System Design》 | 2013年
31.Factored Planning: From Automata to Petri Nets

机译：因素规划：从自动机到Petri网
- 作者：Jezequel Loig;Fabre Eric;Khomenko Victor
- 会议名称：《International Conference on Application of Concurrency to System Design》 | 2013年
- Distributed Planning;
- Distributed model checking;
- Factored planning;
- Networks of automata;
- Petri nets;
32.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;
33.Queue-Dispatch Asynchronous Systems

机译：队列调度异步系统
- 作者：Geeraerts Gilles;Heussner Alexander;Raskin Jean-Francois
- 会议名称：《International Conference on Application of Concurrency to System Design》 | 2013年
- asynchronous programming model;
- grand central dispatch;
- graph-rewriting;
- task-based concurrency;
- waiting queues;
34.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;
35.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年
36.Diagnosability under Weak Fairness

机译：公平弱下的诊断
- 作者：Germanos Vasileios;Haar Stefan;Khomenko Victor;Schwoon Stefan
- 会议名称：《International Conference on Application of Concurrency to System Design》 | 2014年
37.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年
38.Controllability in Partial and Uncertain Environments

机译：部分和不确定环境中的可控性
- 作者：DIppolito Nicolas;Braberman Victor;Piterman Nir;Uchitel Sebastian
- 会议名称：《International Conference on Application of Concurrency to System Design》 | 2014年
39.Failure Semantics for Modal Transition Systems

机译：模态转换系统的故障语义
- 作者：Bujtor Ferenc;Vogler Walter
- 会议名称：《International Conference on Application of Concurrency to System Design》 | 2014年
40.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;
41.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年