首页>外文会议>ACM & IEEE International conference on Embedded software

ACM & IEEE International conference on Embedded software

召开年：2006
召开地：Seoul(KR)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Efficient exception handling in Java bytecode-to-c ahead-of-time compiler for smbedded systems

机译：适用于嵌入式系统的Java字节码到c提前编译器中的高效异常处理
- 作者：Dong-Heon Jung;Jong Kuk Park;Sung-Hwan Bae;Jaemok Lee;Soo-Mook Moon
- 会议名称：《ACM IEEE International conference on Embedded software》 | 2006年
- stack cutting;
2.Schedulable persistence system for teal-time applications in virtual machine

机译：可调度的持久性系统，用于虚拟机中的实时应用
- 作者：Okehee Goh;Yann-Hang Lee;Ziad Kaakani
- 会议名称：《ACM IEEE International conference on Embedded software》 | 2006年
- virtual machine;
3.Implementing fault-tolerance in real-time systems by automatic program transformations

机译：通过自动程序转换在实时系统中实现容错
- 作者：Tolga Ayav;Pascal Fradet;Alain Girault
- 会议名称：《ACM IEEE International conference on Embedded software》 | 2006年
- program transformations;
4.Energy-efficient dynamic memory allocators at the middleware level of embedded systems

机译：嵌入式系统中间件级别的节能动态内存分配器
- 作者：Stylianos Mamagkakis;David Atienza;Christophe Poucet;Francky Catthoor;Dimitrios Soudris
- 会议名称：《ACM IEEE International conference on Embedded software》 | 2006年
- middleware;
5.Energy adaptation for multimedia information kiosks

机译：多媒体信息亭的能量自适应
- 作者：Richard Urunuela;Gilles Muller;Julia L. Lawall
- 会议名称：《ACM IEEE International conference on Embedded software》 | 2006年
- multimedia application;
6.Compiler-assisted leakage energy optimization for clustered VLIW architectures

机译：集群VLIW架构的编译器辅助泄漏能量优化
- 作者：Rahul Nagpal;Y. N. Srikant
- 会议名称：《ACM IEEE International conference on Embedded software》 | 2006年
- scheduling;
7.Analysis of the zeroconf protocol using UPPAAL

机译：使用UPPAAL分析zeroconf协议
- 作者：Biniam Gebremichael;Frits Vaandrager;Miaomiao Zhang
- 会议名称：《ACM IEEE International conference on Embedded software》 | 2006年
- zeroconf protocol;
8.Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems

机译：用于分布式实时和嵌入式系统的中间件时序和活动性分析的可重用模型
- 作者：Venkita Subramonian;Christopher Gill;Cesar Sanchez;Henny B. Sipma
- 会议名称：《ACM IEEE International conference on Embedded software》 | 2006年
- timed automata;
9.Software partitioning for effective automated unit testing

机译：软件分区可实现有效的自动化单元测试
- 作者：Arindam Chakrabarti;Patrice Godefroid
- 会议名称：《ACM IEEE International conference on Embedded software》 | 2006年
- software testing and model checking;
10.Incremental schedulability analysis of hierarchical real-time components

机译：分层实时组件的增量可调度性分析
- 作者：Arvind Easwaran;Insik Shin;Oleg Sokolsky;Insup Lee
- 会议名称：《ACM IEEE International conference on Embedded software》 | 2006年
- incremental schedulability analysis;
11.Scheduling for multi-threaded real-time programs via path planning

机译：通过路径计划安排多线程实时程序
- 作者：Thao Dang;Philippe Gerner
- 会议名称：《ACM IEEE International conference on Embedded software》 | 2006年
- scheduling;
12.Modeling a system controller for timing analysis

机译：为时序分析建模系统控制器
- 作者：Stephan Thesing
- 会议名称：《ACM IEEE International conference on Embedded software》 | 2006年
- worst-case execution time;
13.New approach to architectural synthesis

机译：建筑综合的新方法
- 作者：Harsh Dhand;Basant Dwivedi;M Balakrishnan
- 会议名称：《ACM IEEE International conference on Embedded software》 | 2006年
- soft real time constraints;
14.Formal performance evaluation of AMBA-based system-on-chip designs

机译：基于AMBA的片上系统设计的正式性能评估
- 作者：Gabor Madl;Sudeep Pasricha;Luis Angel D. Bathen;Nikil Dutt;Qiang Zhu
- 会议名称：《ACM IEEE International conference on Embedded software》 | 2006年
- system-on-chip;
15.Scratchpad memory management for portable systems with a memory management unit

机译：具有内存管理单元的便携式系统的便签本内存管理
- 作者：Bernhard Egger;Jaejin Lee;Heonshik Shin
- 会议名称：《ACM IEEE International conference on Embedded software》 | 2006年
- virtual memory;
16.Embedded system development for automotive applications

机译：汽车应用的嵌入式系统开发
- 作者：Werner Damm
- 会议名称：《ACM IEEE International conference on Embedded software》 | 2006年
17.Time-triggered implementations of dynamic controllers

机译：时间触发的动态控制器实现
- 作者：Truong Nghiem;George J. Pappas;Rajeev Alur;Antoine Girard
- 会议名称：《ACM IEEE International conference on Embedded software》 | 2006年
- time-triggered;
18.Efficient distributed deadlock avoidance with liveness guarantees

机译：有效避免分布式死锁
- 作者：Cesar Sanchez;Henny B. Sipma;Zohar Manna;Christopher D. Gill
- 会议名称：《ACM IEEE International conference on Embedded software》 | 2006年
- scheduling;
19.A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling

机译：抢先调度下用于保留同步语义的内存优化缓冲协议
- 作者：Christos Sofronis;Stavros Tripakis;Paul Caspi
- 会议名称：《ACM IEEE International conference on Embedded software》 | 2006年
- synchronous programming;
20.Real-time interfaces for composing real-time systems

机译：用于构成实时系统的实时接口
- 作者：Lothar Thiele;Ernesto Wandeler;Nikolay Stoimenov
- 会议名称：《ACM IEEE International conference on Embedded software》 | 2006年
- real-time interfaces;
21.A causality interface for deadlock analysis in dataflow

机译：因果关系接口，用于数据流中的死锁分析
- 作者：Ye Zhou;Edward A. Lee
- 会议名称：《ACM IEEE International conference on Embedded software》 | 2006年
- interfaces;
22.Towards a formal foundation for domain specific modeling languages

机译：为领域特定的建模语言奠定正式基础
- 作者：Ethan K. Jackson;Janos Sztipanovits
- 会议名称：《ACM IEEE International conference on Embedded software》 | 2006年
- semantics;
23.Defining a strategy to introduce a software product line using existing embedded systems

机译：确定使用现有嵌入式系统引入软件产品线的策略
- 作者：Kentaro Yoshimura;Dharmalingam Ganesan;Dirk Muthig
- 会议名称：《ACM IEEE International conference on Embedded software》 | 2006年
- software product line;
24.Mixing signals and modes in synchronous data-flow systems

机译：在同步数据流系统中混合信号和模式
- 作者：Jean-Louis Colaco;Gregoire Hamon;Marc Pouzet
- 会议名称：《ACM IEEE International conference on Embedded software》 | 2006年
- synchronous;
25.Polychronous mode automata

机译：多同步模式自动机
- 作者：Jean-Pierre Talpin;Christian Brunette;Thierry Gautier;Abdoulaye Gamatie
- 会议名称：《ACM IEEE International conference on Embedded software》 | 2006年
26.A timing model for synchronous language implementations in simulink

机译：simulink中同步语言实现的时序模型
- 作者：Timothy Bourke;Arcot Sowmya
- 会议名称：《ACM IEEE International conference on Embedded software》 | 2006年
- timed automata;
27.S2DB

机译：S2DB
- 作者：Ye Wen;Rich Wolski;Selim Gurun
- 会议名称：《ACM IEEE International conference on Embedded software》 | 2006年
- simulation;
28.Multi-level software reconfiguration for sensor networks

机译：传感器网络的多级软件重新配置
- 作者：Rahul Balani;Chih-Chieh Han;Ram Kumar Rengaswamy;Ilias Tsigkogiannis;Mani Srivastava
- 会议名称：《ACM IEEE International conference on Embedded software》 | 2006年
- virtual machine;
29.An analysis framework for network-code programs

机译：网络代码程序的分析框架
- 作者：Madhukar Anand;Sebastian Fischmeister;Insup Lee
- 会议名称：《ACM IEEE International conference on Embedded software》 | 2006年
- scheduling;
30.A hierarchical coordination language for interacting real-time tasks

机译：用于交互实时任务的分层协调语言
- 作者：Arkadeb Ghosal;Alberto Sangiovanni-Vincentelli;Christoph M. Kirsch;Thomas A. Henzinger;Daniel Iercan
- 会议名称：《ACM IEEE International conference on Embedded software》 | 2006年
- real time;
31.Scheduling-independent threads and exceptions in SHIM

机译：SHIM中与调度无关的线程和异常
- 作者：Olivier Tardieu;Stephen A. Edwards
- 会议名称：《ACM IEEE International conference on Embedded software》 | 2006年
- hardware/software codesign;
32.Communication by sampling in time-sensitive distributed systems

机译：在时间敏感的分布式系统中通过采样进行通信
- 作者：Albert Benveniste;Benoit Caillaud;Luca P. Carloni;Paul Caspi;Alberto L. Sangiovanni-Vincentelli;Stavros Tripakis
- 会议名称：《ACM IEEE International conference on Embedded software》 | 2006年
- tagged systems;
33.A superblock-based flash translation layer for NAND flash memory

机译：NAND闪存的基于超级块的闪存转换层
- 作者：Jeong-Uk Kang;Heeseung Jo;Jin-Soo Kim;Joonwon Lee
- 会议名称：《ACM IEEE International conference on Embedded software》 | 2006年
- flash translation layer (FTL);
34.Energy-efficient file placement techniques for heterogeneous mobile storage systems

机译：异构移动存储系统的节能文件放置技术
- 作者：Young-Jin Kim;Kwon-Taek Kwon;Jihong Kim
- 会议名称：《ACM IEEE International conference on Embedded software》 | 2006年
- separating I/O operations;
35.Reliability mechanisms for file systems using non-volatile memory as a metadata store

机译：使用非易失性存储器作为元数据存储的文件系统的可靠性机制
- 作者：Kevin M. Greenan;Ethan L. Miller
- 会议名称：《ACM IEEE International conference on Embedded software》 | 2006年
- online consistency checking;