首页>外文会议>其他>International Conference on Embedded Software

International Conference on Embedded Software

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

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.A Methodology and Tool Support for Generating Scheduled Native Code for Real-Time Java Applications

机译：一种用于生成用于实时Java应用程序的预定原始代码的方法和工具支持
- 作者：Christos Kloukinas;Chaker Nakhli;Sergio Yovine
- 会议名称：《International Conference on Embedded Software》 | 2003年
2.Energy-Conscious Memory Allocation and Deallocation for Pointer-Intensive Applications

机译：指针密集型应用的能量有意识的内存分配和解除分配
- 作者：Victor De La Luz;Mahmut Kandemir;Guangyu Chen;Ibrahim Kolcu
- 会议名称：《International Conference on Embedded Software》 | 2003年
3.Eliminating Stack Overflow by Abstract Interpretation

机译：通过抽象解释消除堆栈溢出
- 作者：John Regehr;Alastair Reid;Kirk Webb
- 会议名称：《International Conference on Embedded Software》 | 2003年
4.Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs

机译：智能编辑器，用于编写最糟糕的案例执行时间的程序
- 作者：Janosch Fauster;Raimund Kirner;Peter Puschner
- 会议名称：《International Conference on Embedded Software》 | 2003年
5.Emerging Trends in adaptive Middleware and its Application to Distributed Real-Time Embedded Systems

机译：自适应中间件的新兴趋势及其在分布式实时嵌入式系统的应用
- 作者：Joseph P. Loyall
- 会议名称：《International Conference on Embedded Software》 | 2003年
6.Resource-Efficient Scheduling for Real Time Systems

机译：实时系统资源有效的调度
- 作者：Kim G. Larsen
- 会议名称：《International Conference on Embedded Software》 | 2003年
7.Clocks as First Class Abstract Types

机译：时钟作为第一类抽象类型
- 作者：Jean-Louis Colaco;Marc Pouzet
- 会议名称：《International Conference on Embedded Software》 | 2003年
8.Translating Discrete-Time Simulink to Lustre

机译：将离散时间的Simulink翻译为光泽
- 作者：Paul Caspi;Adrian Curic;Aude Maignan;Christos Sofronis;Stavros Tripakis
- 会议名称：《International Conference on Embedded Software》 | 2003年
9.Minimizing Variables' Lifetime in Loop-Intensive Applications

机译：在循环密集型应用中最小化变量的生命周期
- 作者：Noureddine Chabini;Wayne Wolf
- 会议名称：《International Conference on Embedded Software》 | 2003年
10.Energy-Efficient Multi-processor Implementation of Embedded Software

机译：节能多处理器实现嵌入式软件
- 作者：Shaoxiong Hua;Gang Qu;Shuvra S. Bhattacharyya
- 会议名称：《International Conference on Embedded Software》 | 2003年
11.Space Reductions for Model Checking Quasi-Cyclic Systems

机译：用于模型检查准循环系统的空间缩短
- 作者：Matthew B. Dwyer;Robby;Xianghua Deng;John Hatcliff
- 会议名称：《International Conference on Embedded Software》 | 2003年
12.Reasoning about Abstract Open Systems with Generalized Module Checking

机译：推理广义模块检查的抽象开放系统
- 作者：Patrice Godefroid
- 会议名称：《International Conference on Embedded Software》 | 2003年
13.A Probabilistic Framework for Schedulability Analysis

机译：用于调度分析的概率框架
- 作者：Alan Burns;Guilem Bernat;Ian Broster
- 会议名称：《International Conference on Embedded Software》 | 2003年
14.Rate Monotonic vs. EDF: Judgment Day

机译：率单调与EDF：判决日
- 作者：G. C. Buttazzo
- 会议名称：《International Conference on Embedded Software》 | 2003年
15.HOKES/POKES: Light-Weight Resource Sharing

机译：Hocus / Pocus：轻量级资源共享
- 作者：Herbert Bos;Bart Samwel
- 会议名称：《International Conference on Embedded Software》 | 2003年
16.Constraint-Based Design-Space Exploration and Model Synthesis

机译：基于约束的设计空间探索和模型合成
- 作者：Sandeep Neema;Janos Sztipanovits;Gabor Karsai;Ken Butts
- 会议名称：《International Conference on Embedded Software》 | 2003年
17.Clock-Driven Automatic Distribution of Lustre Programs

机译：时钟驱动的光泽程序的自动分布
- 作者：Alain Girault;Xavier Nicollin
- 会议名称：《International Conference on Embedded Software》 | 2003年
- automatic distribution;
- synchronous abstraction;
- data-flow languages;
- clocks;
- long duration tasks;
- reactive systems;
18.Event Correlation: Language and Semantics

机译：事件相关性：语言和语义
- 作者：Cesar Sanchez;Sriram Sankaranarayanan;Henny Sipma;Ting Zhang;David Dill;Zohar Manna
- 会议名称：《International Conference on Embedded Software》 | 2003年
19.Schedule-Carrying Code

机译：安排携带代码
- 作者：Thomas A. Henzinger;Christoph M. Kirsch;Slobodan Matic
- 会议名称：《International Conference on Embedded Software》 | 2003年
20.Pre-Scheduling: Integrating Offline and Online Scheduling Techniques

机译：预先定期：集成离线和在线调度技术
- 作者：Weirong Wang;Aloysius K. Mok;Gerhard Fohler
- 会议名称：《International Conference on Embedded Software》 | 2003年
21.Heterogeneous Reactive Systems Modeling and correct-by-Construction Deployment

机译：异质反应系统建模和逐建筑部署
- 作者：Albert Benveniste;Luca P. Carloni;Paul Caspi;Alberto L. Sangiovanni-Vincentelli
- 会议名称：《International Conference on Embedded Software》 | 2003年
22.Resource Interfaces

机译：资源界面
- 作者：Arindam Chakrabarti;Luca de Alfaro;Thomas A. Henzinger;Marielle Stoelinga
- 会议名称：《International Conference on Embedded Software》 | 2003年
23.generating Heap-Bounded Programs in a Functional Setting

机译：在功能设置中生成堆限定程序
- 作者：Walid Taha;Stephan Ellner;Hongwei Xi
- 会议名称：《International Conference on Embedded Software》 | 2003年