首页>外文会议>其他>Workshop on virtual machines and intermediate languages

Workshop on virtual machines and intermediate languages

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

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Large European programs in microelectronic system and circuit design

机译：微电子系统和电路设计中的大型欧洲计划
- 作者：Patrick Dewilde;PPatrick Dewilde
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
2.Automotive electronics---a challenge for systems engineering

机译：汽车电子产品---系统工程的挑战
- 作者：Peter Thoma;PPeter Thoma
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
3.Single chip or hybrid system integration

机译：单芯片或混合系统集成
- 作者：Ivo Bolsens;PIvo Bolsens
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
4.Scaling deeper to submicron

机译：缩放到亚微米
- 作者：M. Nicolaidis;Y. Zorian;PM. Nicolaidis;PY. Zorian
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
5.Special session---virtual socket interface alliance

机译：特别会话---虚拟套接字接口联盟
- 作者：Ralf Seepold
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
6.JAVA, VHDL-AMS, ADA or C for system level specifications?

机译：系统级规格Java，VHDL-AMS，ADA或C？
- 作者：Wolfgang Nebel;PWolfgang Nebel
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
7.Intermediate language design of high-level language virtual machines

机译：高级语言虚拟机的中间语言设计
- 作者：Stefan Marr;Michael Haupt;Theo DHondt
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
- bytecode;
- concurrency;
- design;
- instruction set;
- intermediate language;
- survey;
- virtual machines;
8.Emulation of a fast reactive embedded system using a real time operating system

机译：使用实时操作系统仿真快速反应嵌入式系统
- 作者：Karlheinz Weiamp;#223;Thorsten Steckstor;Wolfgang Rosenstiel;Karlheinz Wei?;PWolfgang Rosenstiel
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
9.A one-bit-signature BIST for embedded operational amplifiers in mixed-signal circuits based on the slew-rate detection

机译：基于弹簧速率检测的混合信号电路中的嵌入式运算放大器的单位签名BIST
- 作者：I. Rayane;J. Velasco-Medina;M. Nicolaidis;PM. Nicolaidis
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
10.Integrated resource assignment and scheduling of task graphs using finite domain constraints

机译：使用有限域约束集成资源分配和任务图的调度
- 作者：Krzysztof Kuchcinski;PKrzysztof Kuchcinski
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
11.Virtual components application and customization

机译：虚拟组件应用程序和自定义
- 作者：Jean-Francois Agaesse;Bernard Laurent
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
12.MEDEA's contribution to the strength of European design and CAD

机译：MEDEA对欧洲设计和CAD实力的贡献
- 作者：Anton Sauer;PAnton Sauer
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
13.Testing in nanometer technologies

机译：纳米技术测试
- 作者：T. W. Williams;PT. W. Williams
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
14.OTA amplifiers design on digital sea-of-transistors array

机译：OTA放大器在数字海上晶体管阵列上设计
- 作者：Jung Hyun Choi;Sergio Bampi;PJung Hyun Choi;PSergio Bampi
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
15.An efficient and flexible methodology for modelling and simulation of heterogeneous mechatronic systems

机译：一种高效且灵活的异构机电系统建模和仿真方法
- 作者：Stefan Scherber;Christian Muller-Schloer;PChristian Muller-Schloer
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
16.Higher product complexity and shorter development time-continuous challenge to design and test environment

机译：更高的产品复杂性和更短的开发时间持续挑战来设计和测试环境
- 作者：Jouko Junkkari
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
17.An object-based executable model for simulation of real-time Hw/Sw systems

机译：基于对象的实时HW / SW系统仿真的可执行模型
- 作者：O. Pasquier;J. P. Calvez;PO. Pasquier;PJ. P. Calvez
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
18.Codesign of embedded systems based on Java and reconfigurable hardware components

机译：基于Java和可重新配置硬件组件的嵌入式系统代码
- 作者：Josef Fleischmann;Klaus Buchenrieder;Rainer Kress;PKlaus Buchenrieder
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
19.Hardware synthesis from C/C++ models

机译：C / C ++模型的硬件综合
- 作者：Giovanni De Micheli;PGiovanni De Micheli
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
20.A method of distributed controller design for RTL circuits

机译：一种用于RTL电路的分布式控制器设计方法
- 作者：Chris Papachristou;Yusuf Alzazeri;PChris Papachristou
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
21.The heterogeneous structure problem in hardware/software codesign

机译：硬件/软件代码中的异构结构问题
- 作者：J. A. Maestro;D. Mozos;R. Hermida;PD. Mozos;PR. Hermida
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
22.A fault list reduction approach for efficient bridge fault diagnosis

机译：高效桥梁故障诊断的故障列表减少方法
- 作者：Jue Wu;Gary S. Greenstein;Elizabeth M. Rudnick;PElizabeth M. Rudnick
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
23.Increasing efficiency of symbolic model checking by accelerating dynamic variable reordering

机译：通过加速动态变量重新排序提高符号模型检查效率
- 作者：Christoph Meinel;Christian Stangier;PChristoph Meinel
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
24.Influence of caching and encoding on power dissipation of system-level buses for embedded systems

机译：缓存和编码对嵌入式系统系统级总线功耗的影响
- 作者：William Fornaciari;Donatella Sciuto;Christina Silvano
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
25.Approximate equivalence verification of sequential circuits via genetic algorithms

机译：遗传算法近似等同验证顺序电路
- 作者：F. Corno;M. Sonza Reorda;G. Squillero;PF. Corno;PM. Sonza Reorda;PG. Squillero
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
26.ADOLT - an adaptable online testing scheme for VLSI circuits

机译：采用 - VLSI电路适应性的在线测试方案
- 作者：A. Maamar;G. Russell;PA. Maamar;PG. Russell
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
27.Interval diagram techniques for symbolic model checking of Petri nets

机译：Petri网符号模型检查的区间图技术
- 作者：Karsten Strehl;Lothar Thiele;PKarsten Strehl;PLothar Thiele
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
28.A DAG-based design approach for reconfigurable VLIW processors

机译：基于DAG的可重构VLIW处理器的设计方法
- 作者：Cesare Alippi;William Fornaciari;Laura Pozzi;Mariagiovanna Sami;PLaura Pozzi;PMariagiovanna Sami
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
29.VM performance evaluation with functional models

机译：功能模型VM性能评估
- 作者：Jan Sinschek;Andreas Sewe;Mira Mezini
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
- measurement bias;
- performance modeling;
- statistics;
- validation;
- virtual machines;
30.Variable reordering for shared binary decision diagrams using output probabilities

机译：使用输出概率的共享二进制决策图的可变重新排序
- 作者：M. A. Thornton;J. P. Williams;R. Drechsler;N. Drechsler;PM. A. Thornton;PR. Drechsler;PN. Drechsler
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
31.Potentials of chip-package co-design for high-speed digital applications

机译：用于高速数字应用的芯片包共设计的潜力
- 作者：Gerhard Troster;PGerhard Troster
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
32.Software bit-slicing

机译：软件位切片
- 作者：Peter M. Maurer;William J. Schilp;PPeter M. Maurer
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
33.Interoperability of Verilog/VHDL procedural language interfaces to build a mixed language GUI

机译：Verilog / VHDL程序语言界面构建混合语言GUI的互操作性
- 作者：Francoise Martinolle;Charles Dawson;Debra Corlette;Mike Floyd;PMike Floyd
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
34.Experiences with modeling of analog and mixed A/D systems based on PWL technique

机译：基于PWL技术的模拟和混合A / D系统建模经验
- 作者：Jerzy Damp;#261;browski;Andrzej Puamp;#322;ka;Jerzy D?browski;Andrzej Pu?ka
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
35.Hardware synthesis from C/C++

机译：C / C ++的硬件合成
- 作者：Abhijit Ghosh;Joachim Kunkel;Stan Liao;PStan Liao
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
36.C for system level design

机译：C用于系统级设计
- 作者：Guido Arnout
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
37.Case study

机译：案例分析
- 作者：Eduard Moser;Wolfgang Nebel;PEduard Moser;PWolfgang Nebel
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
38.C-based synthesis experiences with a behavior synthesizer, 'cyber'

机译：基于C的合成经验与行为合成器，“Cyber”
- 作者：Kazutoshi Wakabayashi;PKazutoshi Wakabayashi
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
39.Multi-language system design

机译：多语言系统设计
- 作者：Ahmed Jerraya;Rolf Ernst;PAhmed Jerraya;PRolf Ernst
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
40.Challenging VMs on battery-powered embedded devices

机译：电池供电的嵌入式设备上的挑战VM
- 作者：Roel Wuyts
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
41.Glitch power minimization by gate freezing

机译：冻结电源最小化冻结
- 作者：L. Benini;G. De Micheli;A. Macii;E. Macii;M. Poncino;R. Scarsi;PL. Benini;PG. De Micheli;PA. Macii;PE. Macii;PM. Poncino;PR. Scarsi
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
42.Verifying imprecisely working arithmetic circuits

机译：验证不精确的工作算术电路
- 作者：M. Huhn;K. Schneider;Th. Kropf;G. Logothetis;PK. Schneider;PTh. Kropf;PG. Logothetis
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
43.A method to diagnose faults in linear analog circuits using an adaptive tester

机译：一种使用自适应测试仪诊断线性模拟电路故障的方法
- 作者：Erika F. Cota;Luigi Carro;Marcelo Lubaszewski;PLuigi Carro;PMarcelo Lubaszewski
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
44.Full scan fault coverage with partial scan

机译：具有部分扫描的全扫描故障覆盖
- 作者：Xijiang Lin;Irith Pomeranz;Sudhakar M. Reddy;PIrith Pomeranz;PSudhakar M. Reddy
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
45.Dynamic power management for non-stationary service requests

机译：非静止服务请求的动态电源管理
- 作者：Eui-Young Chung;Luca Benini;Alessandro Bogiolo;Giovanni De Micheli;PEui-Young Chung;PLuca Benini;PGiovanni De Micheli
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
46.Computing timed transition relations for sequential cycle-based simulation

机译：基于顺序周期的仿真计算定时转换关系
- 作者：Gianpiero Cabodi;Paolo Camurati;Claudio Passerone;Stefano Quer
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
47.An accurate error control mechanism for simplification before generation algorithms

机译：生成算法之前简化的准确误差控制机制
- 作者：O. Guerra;J. D. Rodriguez-Garcia;E. Roca;F. V. Fernandez;A. Rodriguez-Vazquez;PO. Guerra;PE. Roca;PF. V. Fernandez;PA. Rodriguez-Vazquez
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
48.Fast, robust DC and transient fault simulation for nonlinear analogue circuits

机译：非线性模拟电路的快速，强大的直流和瞬态故障仿真
- 作者：Z. R. Yang;M. Zwolinski;PM. Zwolinski
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
49.A retargetable, ultra-fast instruction set simulator

机译：一个可重新的超快速指令集模拟器
- 作者：Jianwen Zhu;Daniel D. Gajski;PJianwen Zhu;PDaniel D. Gajski
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
50.Logic transformation for low power synthesis

机译：低功耗合成的逻辑变换
- 作者：Ki-Wook Kim;TingTing Hwang;C. L. Liu;Sung-Mo Kang;PKi-Wook Kim;PTingTing Hwang;PC. L. Liu;PSung-Mo Kang
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
51.Automating the sizing of analog CMOS circuits by consideration of structural constraints

机译：通过考虑结构约束，自动化模拟CMOS电路的尺寸
- 作者：R. Schwencker;J. Eckmueller;H. Graeb;K. Antreich;PR. Schwencker;PH. Graeb;PK. Antreich
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
52.Parametric built-in self-test of VLSI systems

机译：VLSI系统的参数内置自检
- 作者：D. Niggemeyer;M. Ruffer;PD. Niggemeyer
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
53.Efficient techniques for modeling chip-level interconnect, substrate and package parasitics

机译：用于建模芯片级互连，衬底和包装寄生的高效技术
- 作者：Peter Feldmann;Sharad Kapur;David E. Long;PPeter Feldmann
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
54.OpenJ

机译：打开
- 作者：Jianwen Zhu;Daniel D. Gajski;PJianwen Zhu;PDaniel D. Gajski
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
55.Projective convolution

机译：投影卷积
- 作者：Bernard N. Sheehan
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
56.A formal semantics for Verilog-VHDL simulation interoperability by abstract state machine

机译：Verilog-VHDL仿真互操作性的正式语义由抽象状态机
- 作者：Hisashi Sasaki;PHisashi Sasaki
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
57.An effective BIST architecture for fast multiplier cores

机译：快速乘数核心的有效BIST架构
- 作者：A. Paschalis;D. Gizopoulos;N. Kranitis;M. Psarakis;Y. Zorian;PA. Paschalis;PD. Gizopoulos;PN. Kranitis;PM. Psarakis;PY. Zorian
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
58.Efficient 3D modelling for extraction of interconnect capacitances in deep submicron dense layouts

机译：深度亚微米致密布局中互连电容提取的高效3D模型
- 作者：A. Toulouse;D. Bernard;C. Landrault;P. Nouet;PD. Bernard;PC. Landrault;PP. Nouet
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
59.Efficient techniques for accurate extraction and modeling of substrate coupling in mixed-signal IC's

机译：混合信号IC中基材耦合精确提取和建模的高效技术
- 作者：Joao Paulo Costa;Mike Chou;L. Miguel Silveira;PL. Miguel Silveira
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
60.Battery-powered digital CMOS design

机译：电池供电的数字CMOS设计
- 作者：Massoud Pedram;Qing Wu;PMassoud Pedram;PQing Wu
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
61.Algorithms for solving Boolean satisfiability in combinational circuits

机译：用于解决组合电路中的布尔满足性的算法
- 作者：Luis Guerra e Silva;L. Miguel Silveira;Jooa Marques-Silva;PL. Miguel Silveira
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
62.Peak power estimation using genetic spot optimization for large VLSI circuits

机译：使用大型VLSI电路的遗传现货优化峰值功率估计
- 作者：Michael S. Hsiao
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
63.Defect-oriented mixed-level fault simulation of digital systems-on-a-chip using HDL

机译：使用HDL的缺陷导向数字系统的混合级故障仿真
- 作者：M. B. Santos;J. P. Teixeira;PM. B. Santos;PJ. P. Teixeira
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
64.Synthesis of controllers for full testability of integrated datapath-controller pairs

机译：用于整合数据流控制器对的全部可测试性的控制器
- 作者：Joan Carletta;Mehrdad Nourani;Christos Papachristou;PMehrdad Nourani;PChristos Papachristou
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
65.Cycle-based simulation with decision diagrams

机译：基于循环的仿真与决策图
- 作者：Raimund Ubar;Adam Morawiec;Jaan Raik;PRaimund Ubar;PAdam Morawiec;PJaan Raik
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
66.Design, characterization amp; modelling of a CMOS magnetic field sensor

机译：CMOS磁场传感器的设计，表征和建模
- 作者：L. Latorre;Y. Bertrand;P. Hazard;F. Pressecq;P. Nouet;PL. Latorre;PY. Bertrand;PP. Nouet
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
67.Exploiting conditional instructions in code generation for embedded VLIW processors

机译：利用嵌入式VLIW处理器代码生成的条件说明
- 作者：Rainer Leupers;PRainer Leupers
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
68.A power estimation model for high-speed CMOS A/D converters

机译：高速CMOS A / D转换器的功率估计模型
- 作者：E. Lauwers;G. Gielen;PE. Lauwers;PG. Gielen
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
69.Design methodology for IP providers

机译：IP提供商的设计方法
- 作者：Jurgen Haase
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
70.Reuse of IP and virtual components

机译：重用IP和虚拟组件
- 作者：Ralf Seepold
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
71.Performance driven resynthesis by exploiting retiming-induced state register equivalence

机译：利用重试诱导的状态寄存器等价性能驱动的重新合作
- 作者：Priyank Kalla;Maciej J. Ciesielski;PPriyank Kalla;PMaciej J. Ciesielski
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
72.A physical design tool for built-in self-repairable static RAMs

机译：用于内置自修理静态RAM的物理设计工具
- 作者：Kanad Chakraborty;Anurag Gupta;Mayukh Bhattacharya;S. Kulkarni;P. Mazumder;PKanad Chakraborty;PAnurag Gupta;PMayukh Bhattacharya;PS. Kulkarni;PP. Mazumder
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
- yield;
73.Coupled noise estimation for distributed RC interconnect model

机译：分布式RC互连模型的耦合噪声估计
- 作者：Janet M. Wang;Qingjian Yu;Ernest S. Kuh;PJanet M. Wang;PErnest S. Kuh
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
74.Systematic biasing of negative feedback amplifiers

机译：负反馈放大器的系统偏置
- 作者：C. J. M. Verhoeven;A. van Staveren;PC. J. M. Verhoeven;PA. van Staveren
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
75.Testing the configurable interconnect/logic interface of SRAM-based FPGA's

机译：测试基于SRAM的FPGA的可配置互连/逻辑接口
- 作者：M. Renovell;J. M. Portal;J. Figueras;Y. Zorian;PM. Renovell;PJ. M. Portal;PJ. Figueras;PY. Zorian
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
76.Sequential circuit test generation using decision diagram models

机译：使用决策图模型的顺序电路测试生成
- 作者：Jaan Raik;Raimund Ubar;PJaan Raik;PRaimund Ubar
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
77.Integrating symbolic techniques in ATPG-based sequential logic optimization

机译：基于ATPG的顺序逻辑优化集成符号技术
- 作者：Enrique San Millan;Luis Entrena;Jose A. Espejo;Silvia Chiusano;Fulvio Corno;PLuis Entrena
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
78.Object-oriented reuse methodology for VHDL

机译：VHDL面向对象的重用方法
- 作者：Cristina Barna;Wolfgang Rosenstiel;PWolfgang Rosenstiel
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
79.Combinational equivalence checking using satisfiability and recursive learning

机译：使用可满足和递归学习的组合等价检查
- 作者：Joao Marques-Silva;Thomas Glass
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
80.Path delay fault testing of ICs with embedded intellectual property blocks

机译：嵌入式知识产权块IC的路径延迟故障测试
- 作者：D. Nikolos;Th. Haniotakis;H. T. Vergos;Y. Tsiatouhas;PD. Nikolos;PH. T. Vergos
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
81.An algorithm for face-constrained encoding of symbols using minimum code length

机译：使用最小码长度符号对符号的算法
- 作者：Manuel Martinez;Maria J. Avedillo;Jose M. Quintana;Jose L. Huertas;PManuel Martinez;PJose M. Quintana
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
82.A single-package solution for wireless transceivers

机译：无线收发器的单包解决方案
- 作者：Piet Wambacq;Stephane Donnay;Hocine Ziad
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
83.High speed GaAs subsytem design using feed through logic

机译：高速气体子系统设计使用饲料槽逻辑
- 作者：J. A. Montiel-Nelson;V. de Armas;S. Nooshabadi;PJ. A. Montiel-Nelson;PS. Nooshabadi
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
84.How to use knowledge in an analysis process

机译：如何在分析过程中使用知识
- 作者：Heiko Holzheuer
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
85.On-chip transient current monitor for testing of low-voltage CMOS IC

机译：用于测试低压CMOS IC的片上瞬态电流监视器
- 作者：V. Stopjakova;H. Manhaeve;M. Sidiropulos;PV. Stopjakova;PH. Manhaeve
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
86.At-speed boundary-scan interconnect testing in a board with multiple system clocks

机译：具有多个系统时钟的板中的速度边界扫描互连测试
- 作者：Jongchul Shin;Hyunjin Kim;Sungho Kang;PHyunjin Kim;PSungho Kang
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
87.Efficient switching activity simulation under a real delay model using a bitparallel approach

机译：使用比特平行方法在实际延迟模型下的高效切换活动仿真
- 作者：M. Buhler;M. Papesch;K. Kapp;U. G. Baitinger;PM. Buhler;PU. G. Baitinger
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
88.Specification and validation of disstributed IP-based designs with JavaCAD

机译：用javacad分配分配的IP设计规范和验证
- 作者：Marcello Dalpasso;Alessandro Bogliolo;Luca Benini;PLuca Benini
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
89.ATPG tools for delay faults at the functional level

机译：ATPG工具在功能级别延迟故障
- 作者：S. Tragoudas;M. Michael;PS. Tragoudas;PM. Michael
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
90.Symbolic functional vector generation for VHDL specifications

机译：VHDL规格的符号功能矢量生成
- 作者：Fabrizio Ferrandi;Franco Fummi;Luca Gerli;Donatella Sciuto;PFranco Fummi
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
91.On analog signature analysis

机译：论模拟签名分析
- 作者：Franc Novak;Bojan Hvala;Sandi Klavzar;PFranc Novak
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
92.Operating system sensitive device driver synthesis from implementation independent protocol specification

机译：操作系统敏感设备驱动器综合实现独立协议规范
- 作者：Mattias ONils;Axel Jantsch;PMattias ONils;PAxel Jantsch
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
93.Post-placement residual-overlap removal with minimal movement

机译：放置后剩余重叠拆除最小运动
- 作者：Sudip Nag;Kamal Chaudhary
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
94.Digital MOS circuit partitioning with symbolic modeling

机译：数字MOS电路分隔与符号建模
- 作者：Lluis Ribas Xirgo;Jordi Carrabina Bordoll
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
95.Symmetric transparent BIST for RAMs

机译：用于公羊的对称透明BIST
- 作者：S. Hellebrand;H.-J. Wunderlich;V. N. Yarmolik;PS. Hellebrand;PH.-J. Wunderlich;PV. N. Yarmolik
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
96.Automatic verification of scheduling results in high-level synthesis

机译：自动验证调度导致高级合成
- 作者：Hans Eveking;Holger Hinrichsen;Gerd Ritter;PHans Eveking;PHolger Hinrichsen;PGerd Ritter
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
97.An efficient filter-based approach for combinational verification

机译：基于滤波器的组合验证方法
- 作者：Rajarshi Mukherjee;Jawahar Jain;Koichiro Takayama;Masahiro Fujita;Jacob A. Abraham;Donald S. Fussell;PRajarshi Mukherjee;PJawahar Jain;PMasahiro Fujita;PJacob A. Abraham
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
98.A methodology and design environment for DSP ASIC fixed point refinement

机译：DSP AsiC定点改进的方法与设计环境
- 作者：R. Cmar;L. Rijnders;P. Schaumont;S. Vernalde;I. Bolsens;PR. Cmar;PL. Rijnders;PP. Schaumont;PS. Vernalde;PI. Bolsens
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
99.Exploiting state equivalence on the fly while applying code motion and speculation

机译：在应用代码运动和猜测的同时，在飞行中利用状态等价
- 作者：Luiz C. V. dos Santos;Jochen A. G. Jess;PJochen A. G. Jess
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年
100.Formally verified redundancy removal

机译：正式验证冗余删除
- 作者：Stefan Hendricx;Luc Claesen
- 会议名称：《Workshop on virtual machines and intermediate languages》 | 2009年