首页>外文会议>其他>IEEE/ACM International Conference on Formal Methods and Models for Codesign

IEEE/ACM International Conference on Formal Methods and Models for Codesign

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Codesign of dependable systems: A component-based modeling language

机译：可靠系统的代码：基于组件的建模语言
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2009年
2.Title

机译：标题
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2009年
3.Implementing a fast cartesian-polar matrix interpolator

机译：实现快速笛卡尔 - 极性矩阵内插器
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2009年
4.Bounded Dataflow Networks and Latency-Insensitive circuits

机译：有界数据流网络和延迟不敏感电路
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2009年
5.Refining schizophrenia via graph reachability in Esterel

机译：通过图中炼油精神分裂症在Esterel中
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2009年
6.Bang for the buck: Improvising and scheduling verification engines for effective resource utilization

机译：BANG for DICK：提高和调度验证引擎，以实现有效的资源利用率
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2009年
7.Static data-flow analysis of synchronous programs

机译：同步程序的静态数据流分析
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2009年
8.A design case study: CPU vs. GPGPU vs. FPGA

机译：一个设计案例研究：CPU与GPGPU与FPGA
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2009年
9.Author index

机译：作者索引
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2009年
10.Buffer sharing in CSP-like programs

机译：缓冲区共享在CSP类似程序中
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2009年
- Buffers;
- Concurrency;
- Optimization;
- SHIM;
- Static Analysis;
11.Combining control and data abstraction in the verification of hybrid systems

机译：混合系统验证中的控制和数据抽象
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2009年
12.Incremental modelling and verification of the PCI Express transaction layer

机译：PCI快递交易层的增量建模与验证
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2009年
13.Multicore power management: Ensuring robustness via early-stage formal verification

机译：多核电源管理：通过早期正式验证确保稳健性
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2009年
14.Can we computerize an elephant?

机译：我们可以电脑化大象吗？
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2009年
15.The role of mutation analysis for property qualification

机译：财产资格突变分析的作用
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2009年
16.An introduction to implementation attacks and countermeasures

机译：实施攻击和对策介绍
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2009年
- Countermeasures;
- Fault analysis;
- Implementation attacks;
- Side-channel analysis;
17.Survival strategies for synthesized hardware systems

机译：合成硬件系统的生存策略
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2009年
18.Implementing a high-performance multithreaded microprocessor: A case study in high-level design and validation

机译：实现高性能多线程微处理器：高级设计和验证的案例研究
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2009年
19.Verification of an industrial SystemC/TLM model using LOTOS and CADP

机译：使用Lotos和CADP验证工业系统/ TLM模型
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2009年
20.Performance estimation for task graphs combining sequential path profiling and control dependence regions

机译：连续路径分析和控制依赖区组合任务图的性能估计
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2009年
21.2009 MEMOCODE Co-Design Contest

机译：2009年备忘录共同设计比赛
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2009年
22.Synthesis of programs from temporal property specifications

机译：从时间物业规范综合方案
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2009年
23.A cross-layer approach to heterogeneity and reliability

机译：异质性和可靠性的跨层方法
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2009年
24.High-level optimization of integer multipliers over a finite bit-width with verification capabilities

机译：在具有验证功能的有限比特宽度上的整数乘法器的高级优化
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2009年
25.High-throughput Stream Categorization and Intrusion Detection on GPU

机译：GPU的高吞吐量分类和入侵检测
- 作者：Mohammad Hassan Khabbazian;Hassan Eslami;Ehsan Totoni;AhmadReza Khadem
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2010年
- Intrusion detection system;
- Deep packet inspection;
- CUDA;
- High-throughput;
26.A Design Flow Based on Modular Refinement

机译：基于模块化改进的设计流程
- 作者：Nirav Dave;Man Cheuk Ng;Michael Pellauer;Arvind
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2010年
27.A High Throughput Parallel Architecture for Category Specific Deep Packet Inspection

机译：高吞吐量平行架构，用于特定的特定深度数据包检查
- 作者：Velacheri Jagadeesan Sananda
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2010年
28.Proving Transaction and System-level Properties of Untimed SystemC TLM Designs

机译：证明无限Systemc TLM设计的交易和系统级属性
- 作者：Daniel Grosse;Hoang M. Le;Rolf Drechsler
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2010年
29.Designing Application Specific Circuits with Concurrent C# Programs

机译：使用并发C＃程序设计专用电路
- 作者：David Greaves;Satnam Singh
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2010年
30.Team IiSsUu0-2{4} Design Overview: MEMOCODE 2010 Design Contest

机译：团队II SS UU 0-2 {4}设计概述：Memocode 2010设计比赛
- 作者：Sudhanshu Vyas;Pooja Mhapsekar;Aditya Ashok;Moinuddin Sayed;Avinash Srinivasa;Gunjan Pandey;Adam Jackson;Matthew Nelson;Anand Saggi;Harini Sundararaman;Phillip H. Jones
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2010年
31.A Hardware Accelerated System For Deep Packet Inspection

机译：深度包检测硬件加速系统
- 作者：Adarsha Rao;Pramod Udupa
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2010年
32.Monitoring Temporal SystemC Properties

机译：监控时间系统的属性
- 作者：Deian Tabakov;Moshe Y. Vardi
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2010年
33.Using Hardware-Software Codesign Language to implement CANSCID

机译：使用硬件 - 软件代号语言实现CANSCID
- 作者：Oleg Medvedev;Ilya Posov
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2010年
34.Systematic Testing for Control Applications

机译：对控制应用的系统测试
- 作者：Rupak Majumdar;Indranil Saha;Zilong Wang
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2010年
35.FPGA-based Combined Architecture for Stream Categorization and Intrusion Detection

机译：基于FPGA的组合架构，用于流分类和入侵检测
- 作者：Sunil Shukla;Rodric Rabbah;Martin Vorbach
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2010年
- DFA;
- Pattern matching;
- FPGA;
36.CANSCID-CUDA

机译：Cancid-tail.
- 作者：Michael Steffen;Veerendra Allada;Phillip Jones;Joseph Zambreno
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2010年
- Deterministic Finite Automata (DFA);
- General Purpose Computing on Graphical Processing Units (GPGPU);
- CUDA;
- Python;
- JLex;
37.Design Contest Overview: Combined Architecture for Network Stream Categorization and Intrusion Detection (CANSCID)

机译：设计竞赛概述：网络流分类和入侵检测组合架构（CANSCID）
- 作者：Michael Pellauer;Abhinav Agarwal;Asif Khan;Man Cheuk Ng;Muralidaran Vijayaraghavan;Forrest Brewer;Joel Emer
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2010年
38.Modular Verification of Synchronization with Reentrant Locks

机译：与重圈锁同步的模块化验证
- 作者：Tevfik Bultan;Fang Yu;Aysu Betin Can
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2010年
39.Numerical Stability Analysis of Floating-Point Computations using Software Model Checking

机译：软件模型检查浮点计算的数值稳定性分析
- 作者：Franjo Ivancic;Malay K. Ganai;Sriram Sankaranarayanan;Aarti Gupta
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2010年
40.Power Emulation: Methodology and Applications for HW/SW Power Optimization

机译：电力仿真：HW / SW功率优化的方法和应用
- 作者：J. Haid;C. Bachmann;A. Genser;C. Steger;R. Weiss
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2010年
41.LTSS for Translation Validation of (multi-clocked) SIGNAL specifications

机译：LTS用于翻译验证（多钟）信号规格
- 作者：Julio C. Peralta;Thierry Gautier;Loic Besnard;Paul Le Guernic
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2010年
- Labelled Transition Systems;
- Multi-clocked Synchronous Programs;
- Concurrent Programs;
- Refinement;
42.Elastic Systems

机译：弹性系统
- 作者：Jordi Cortadella;Marc Galceran-Oms;Mike Kishinevsky
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2010年
43.Minimizing Back Pressure for Latency Insensitive System Synthesis

机译：最小化延迟不敏感系统合成的背压
- 作者：Bin Xue;Sandeep K. Shukla;S. S. Ravi
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2010年
- Latency insensitive;
- Strongly connected component graph;
- Throughput;
- Back pressure;
44.Understanding Loops: The Influence of the Decomposition of Karp, Miller, and Winograd

机译：了解循环：Karp，Miller和Winograd分解的影响
- 作者：Alain Darte
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2010年
- Loops;
- Automatic parallelization;
- Program termination;
- Degree of parallelism;
- Worst-case complexity;
45.A Formal Executable Semantics of Verilog

机译：Verilog的正式可执行语义
- 作者：Patrick Meredith;Michael Katelman;Jose Meseguer;Grigore Rosu
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2010年
46.Predictable multithreading of embedded applications using PRET-C

机译：使用pret-c可预测的嵌入式应用程序的多线程
- 作者：Sidharta Andalam;Partha Roop;Alain Girault
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2010年
47.ATLAS: Automatic Term-Level Abstraction of RTL Designs

机译：图集：RTL设计的自动术语级抽象
- 作者：Bryan A. Brady;Randal E. Bryant;Sanjit A. Seshia;John W. OLeary
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2010年
48.A Regular Expression Matching Using Non-Deterministic Finite Automaton

机译：使用非确定性有限自动机的正则表达式匹配
- 作者：Hiroki Nakahara;Tsutomu Sasao;Munehiro Matsuura
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2010年
49.Compilation of Imperative Synchronous Programs with Refined Clocks

机译：用精制时钟的命令同步节目汇编
- 作者：Mike Gemunde;Jens Brandt;Klaus Schneider
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2010年
50.Feldspar: A Domain Specific Language for Digital Signal Processing algorithms

机译：feldspar：用于数字信号处理算法的域特定语言
- 作者：Emil Axelsson;Koen Claessen;Gergely Devai;Zoltan Horvath;Karin Keijzer;Bo Lyckegard;Anders Persson;Mary Sheeran;Josef Svenningsson;Andras Vajda
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2010年
51.Enhancing the Assertion-Based Verification of TLM Designs with Reentrancy

机译：通过重新入反应增强基于TLM设计的断言验证
- 作者：Laurence PIERRE;Luca FERRO
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2010年
52.A Flexible Schema for Generating Explanations in Lazy Theory Propagation

机译：用于在懒惰理论传播中产生解释的灵活架构
- 作者：Roberto Bruttomesso;Edgar Pek;Natasha Sharygina
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2010年
53.Clearing the clutter: Unified modeling and verification methodology for system level hardware design

机译：清除杂乱：系统级硬件设计的统一建模和验证方法
- 作者：Watanabe Yosinori;Swan Stuart
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2012年
54.Shepard: A fast exact match short read aligner

机译：Shepard：快速匹配的短读对准器
- 作者：Nelson Chad;Townsend Kevin;Rao Bhavani Satyanarayana;Jones Phillip;Zambreno Joseph
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2012年
55.Fast CPU-based DNA exact sequence aligner

机译：基于CPU的快速DNA精确序列对准器
- 作者：Arbabi Aryan;Gholami Milad;Varmazyar Mojtaba;Daneshpajouh Shervin
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2012年
56.MEMOCODE 2012 hardware/software codesign contest: DNA sequence aligner

机译：MemoCode 2012硬件/软件代码竞赛：DNA序列对齐器
- 作者：Edwards Stephen A.
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2012年
57.Improving design verifiability by early RTL coverability analysis

机译：通过早期RTL覆盖性分析提高设计可验证
- 作者：Chang Kai-Hui;Chang Chia-Wei;Jiang Jie-Hong Roland;Liu Chien-Nan Jimmy
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2012年
58.Polynomial datapath synthesis and optimization based on vanishing polynomial over Z2m and algebraic techniques

机译：基于Z2 ^{M 和代数技术的消失多项式基于消失多项式的多项式DataPath合成与优化}
- 作者：Ghandali Samaneh;Alizadeh Bijan;Navabi Zainalabedin;Fujita Masahiro
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2012年
59.Interdependent cache analyses for better precision and safety

机译：相互依存的缓存分析，以获得更好的精度和安全性
- 作者：Nagar Kartik;Srikant Y. N.
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2012年
60.FAST: Formal specification driven test harness generation

机译：快速：正式规格驱动的测试安全带生成
- 作者：Gong Jiong;Wang Yun;Shen Haihao;Deng Xu;Wang Wei;Ma Xiangning
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2012年
61.A general technique for deterministic model-cycle-level debugging

机译：确定性模型周期调试的一般技术
- 作者：Khan Asif;Vijayaraghavan Muralidaran;Arvind
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2012年
62.A correlation preserving performance analysis for stream processing systems

机译：流处理系统的相关性能分析
- 作者：Smeding Gideon;Gossler Gregor
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2012年
63.Compositional performance verification of NoC designs

机译：NOC设计的组成性能验证
- 作者：Holcomb Daniel E.;Gotmanov Alexander;Kishinevsky Michael;Seshia Sanjit A.
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2012年
64.Model-based diagnosis versus error explanation

机译：基于模型的诊断与错误解释
- 作者：Riener Heinz;Fey Gorschwin
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2012年
65.Interactive verification of synchronous systems

机译：同步系统的交互式验证
- 作者：Gesell Manuel;Schneider Klaus
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2012年
66.Preservation of LTL properties in desynchronized systems

机译：Des同步系统中LTL属性的保存
- 作者：Bai Yu;Brandt Jens;Schneider Klaus
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2012年
67.Direct generation of invariants for reactive models

机译：直接生成反应模型的不变性
- 作者：Leonard Elizabeth I.;Archer Myla M.;Heitmeyer Constance L.;Jeffords Ralph D.
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2012年
68.A GPU Implementation of Tiled Belief Propagation on Markov Random Fields

机译：Markov随机字段瓷砖信仰传播的GPU实施
- 作者：Hassan Eslami;Theodoros Kasampalis;Maria Kotsifakou
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2013年
69.Fast and Adaptive BP-based Multi-core Implementation for Stereo Matching

机译：基于BP的快速和自适应BP的多核实现，用于立体声匹配
- 作者：Armin Ahmadzadeh;Hatef Madani;Kianoush Jafari;Farzad Salimi Jazi;Shervin Daneshpajouh;Saeid Gorgin
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2013年
70.MEMOCODE 2013 Hardware/Software Co-design Contest: Stereo Matching

机译：MemoCode 2013硬件/软件共同设计比赛：立体声匹配
- 作者：Eriko Nurvitadhi
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2013年
- Stereo matching;
- Belief propagation;
- Hardware-software codesign;
- Multicore;
- FPGAs;
- GPUs;
71.FPGA acceleration of Markov Random Field TRW-S Inference for Stereo Matching

机译：Markov随机场TRW-S对立体匹配的FPGA加速
- 作者：Jungwook Choi;Rob A. Rutenbar
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2013年
72.Generation of Inductive Invariants from Register Transfer Level Designs of Communication Fabrics

机译：从寄存器转移级别设计的归纳不变的生成通信面料的设计
- 作者：Sebastiaan J. C. Joosten;Julien Schmaltz
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2013年
73.Fast Prototyping from Assertions: a Pragmatic Approach

机译：来自断言的快速原型：一种务实的方法
- 作者：Katell Morin-Allory;Fatemeh (Negin) Javaheri;Dominique Borrione
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2013年
- PSL;
- Assertion-based design;
- Automatic synthesis;
- Fast prototyping;
- Solver;
- Dependency graph;
74.Safe CCSL specifications and Marked Graphs

机译：安全CCSL规范和标记图
- 作者：Frederic Mallet;Jean-Vivien Millo;Robert de Simone
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2013年
75.Automated Extraction of Scenario Sequences from Disciplined Dataflow Networks

机译：自动提取来自纪律条件数据流网络的情景序列
- 作者：Firew Siyoum;Marc Geilen;Johan Eker;Carl von Platen;Henk Corporaal
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2013年
- CAL;
- Dynamism;
- Design-time analysis;
- Real-time;
- SDF;
- Scenario;
- Actor language;
- Process network;
76.Equivalence Checking For Synchronous Elastic Circuits

机译：同步弹性电路的等价检查
- 作者：Vidura Wijayasekara;Sudarshan K. Srinivasan
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2013年
- Latency insensitive/elastic circuits;
- Equivalence checking;
- Refinement;
77.APECS: An AADL and Polychrony based Embedded Computing System Design Environment with an Elevator Control Case Study

机译：APEC：具有电梯控制案例研究的AADL和多层嵌入式计算系统设计环境
- 作者：Matthew Anderson;Sandeep K. Shukla
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2013年
78.An Equivalence Checker for Hardware-Dependent Embedded System Software

机译：硬件依赖嵌入式系统软件的等效检查器
- 作者：Carlos Villarraga;Bernard Schmidt;Jorg Bormann;Christian Bartsch;Dominik Stoffel;Wolfgang Kunz
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2013年
79.Causal Analysis of Probabilistic Counterexamples

机译：概率分析的因果分析
- 作者：Hichem Debbi;Mustapha Bourahla
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2013年
80.Compiler-Directed Memory Hierarchy Design for Low-Energy Embedded Systems

机译：用于低能量嵌入式系统的编译器定向存储层次结构
- 作者：Florin Balasa;Ilie I. Luican;Noha Abuaesh;Cristian V. Gingu
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2013年
81.Ranking Structure in Communication Fabrics

机译：通信面料中的排名结构
- 作者：Sayak Ray;Robert K. Brayton
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2013年
- Formal verification;
- Liveness;
- Communication fabrics;
82.Translating Synchronous Guarded Actions to Interleaved Guarded Actions

机译：将同步保护操作转换为交错保护操作
- 作者：Manuel Gesell;Klaus Schneider
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2013年
- Synchronous systems;
- Models of computation;
- Synchronous guarded actions;
- Interleaved guarded actions;
- Guarded commands;
83.Synthesizing Distributed Scheduling Implementation for Probabilistic Component-based Systems

机译：综合概率基于组件的系统的分布式调度实现
- 作者：Saddek Bensalem;Axel Legay;Ayoub Nouri;Doron Peled
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2013年
84.Modular Compilation of Guarded Atomic Actions

机译：守卫原子行动的模块化汇编
- 作者：Muralidaran Vijayaraghavan;Nirav Dave;Arvind
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2013年
85.Symbolic Software Model Validation

机译：符号软件模型验证
- 作者：Cynthia Sturton;Rohit Sinha;Thurston H. Y. Dang;Sakshi Jain;Michael McCoyd;Wei Yang Tan;Petros Maniatis;Sanjit A. Seshia;David Wagner
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2013年
86.FERAL - Framework for Simulator Coupling on Requirements and Architecture Level

机译：野性 - 模拟器耦合耦合要求和建筑级别
- 作者：Thomas Kuhn;Thomas Forster;Tobias Braun;Reinhard Gotzhein
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2013年
- Simulator coupling;
- Requirements;
- Architecture;
- Framework;
- Early simulation;
- FERAL;
87.Back to Basics: Homogeneous Representations of Multi-Rate Synchronous Dataflow Graphs

机译：回到基础：多速率同步数据流图的同质表示
- 作者：Robert de Groote;Philip K. F. Holzenspies;Jan Kuper;Hajo Broersma
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2013年
88.Modeling of time in discrete-event simulation of systems-on-chip

机译：芯片系统的离散事件模拟时间建模
- 作者：Funchal Giovanni;Moy Matthieu
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2011年
89.Mining assumptions for synthesis

机译：综合的采矿假设
- 作者：Li Wenchao;Dworkin Lili;Seshia Sanjit A.
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2011年
90.Author index

机译：作者索引
- 作者：{missing}
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2011年
91.Reachability analysis for incomplete networks of Markov decision processes

机译：马尔可夫决策过程不完整网络的可达性分析
- 作者：Wimmer Ralf;Hahn Ernst Moritz;Hermanns Holger;Becker Bernd
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2011年
92.Parallel assertions for debugging parallel programs

机译：用于调试并行程序的并行断言
- 作者：Schwartz-Narbonne Daniel;Liu Feng;Pondicherry Tarun;August David;Malik Sharad
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2011年
93.MEMOCODE 2011 Hardware/Software CoDesign Contest: NoC simulator

机译：MemoCode 2011硬件/软件代码竞赛：NoC Simulator
- 作者：Chiou Derek
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2011年
94.Front matter

机译：正面问题
- 作者：{missing}
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2011年
95.Modern constraint solving by propagation

机译：通过传播解决现代约束
- 作者：Jefferson Christopher
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2011年
96.Efficient deadlock detection for concurrent systems

机译：高效的死锁检测对并发系统
- 作者：Bensalem Saddek;Griesmayer Andreas;Legay Axel;Nguyen Thanh-Hung;Peled Doron
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2011年
97.Formal modelling and transformations of processor instruction sets

机译：处理器指令集的正式建模与转换
- 作者：Mokhov Andrey;Sokolov Danil;Rykunov Maxim;Yakovlev Alex
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2011年
98.Rigorous system level modeling and analysis of mixed HW/SW systems

机译：混合HW / SW系统的严格系统级建模与分析
- 作者：Bourgos P.;Basu A.;Bozga M.;Bensalem S.;Sifakis J.;Huang K.
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2011年
99.GPU-based NoC simulator

机译：基于GPU的NOC模拟器
- 作者：Zolghadr Mahdy;Mirhosseini Koosha;Gorgin Saeid;Nayebi Abbas
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2011年
- CUDA;
- GPU;
- NoC Simulator;
100.Fast scalable FPGA-based Network-on-Chip simulation models

机译：基于快速可扩展的FPGA网络仿真模型
- 作者：Papamichael Michael K.
- 会议名称：《IEEE/ACM International Conference on Formal Methods and Models for Codesign》 | 2011年
- FPGA;
- Network;
- Network-on-Chip;
- Simulation;
- Time-multiplexing;
- Virtualization;