首页>外文会议>ACM international conference on Embedded software

ACM international conference on Embedded software

召开年：2004
召开地：Pisa(IT)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.A methodology for generating verified combinatorial circuits

机译：生成经过验证的组合电路的方法
- 作者：Oleg Kiselyov;Kedar N. Swadi;Walid Taha
- 会议名称：《ACM international conference on Embedded software》 | 2004年
- multi-stage programming;
2.Defining and translating a 'safe' subset of simulink/stateflow into lustre

机译：定义simulink / stateflow的“安全”子集并将其转换为光泽
- 作者：N. Scaife;C. Sofronis;P. Caspi;S. Tripakis;F. Maraninchi
- 会议名称：《ACM international conference on Embedded software》 | 2004年
- simulink;
3.Approximation of the worst-case execution time using structural analysis

机译：使用结构分析近似最坏情况下的执行时间
- 作者：Matteo Corti;Thomas Gross
- 会议名称：《ACM international conference on Embedded software》 | 2004年
- worst-case execution time (WCET);
4.Practical PACE for embedded systems

机译：适用于嵌入式系统的实用PACE
- 作者：Ruibin Xu;Chenhai Xi;Rami Melhem;Daniel Moss
- 会议名称：《ACM international conference on Embedded software》 | 2004年
- real-time;
5.Multiple process execution in cache related preemption delay analysis

机译：缓存相关的抢占延迟分析中的多进程执行
- 作者：Jan Staschulat;Rolf Ernst
- 会议名称：《ACM international conference on Embedded software》 | 2004年
- worst case execution time analysis;
6.Energy-efficient, utility accrual scheduling under resource constraints for mobile embedded systems

机译：资源受限的移动嵌入式系统节能高效的应计制调度
- 作者：Haisang Wu;Binoy Ravindran;E. Douglas Jensen;Peng Li
- 会议名称：《ACM international conference on Embedded software》 | 2004年
- utility accrual scheduling;
7.An approach for integrating basic retiming and software pipelining

机译：一种集成基本计时和软件流水线的方法
- 作者：Noureddine Chabini;Wayne Wolf
- 会议名称：《ACM international conference on Embedded software》 | 2004年
- timings;
8.Binary translation to improve energy efficiency through post-pass register re-allocation

机译：二进制翻译通过通过后寄存器重新分配来提高能源效率
- 作者：Kun Zhang;Tao Zhang;Santosh Pande
- 会议名称：《ACM international conference on Embedded software》 | 2004年
- unused registers;
9.Reducing program image size by extracting frozen code and data

机译：通过提取冻结的代码和数据来减小程序图像的大小
- 作者：Daniel Citron;Gadi Haber;Roy Levin
- 会议名称：《ACM international conference on Embedded software》 | 2004年
- image size;
10.WRR-SCAN: a rate-based real-time disk-scheduling algorithm

机译：WRR-SCAN：基于速率的实时磁盘调度算法
- 作者：Cheng-Han Tsai;Edward T.-H. Chu;Tai-Yi Huang
- 会议名称：《ACM international conference on Embedded software》 | 2004年
- weighted round-robin;
11.Scheduling within temporal partitions: response-time analysis and server design

机译：时间分区内的调度：响应时间分析和服务器设计
- 作者：Luis Almeida;Paulo Pedreiras
- 会议名称：《ACM international conference on Embedded software》 | 2004年
- response-time analysis;
12.A typed assembly language for real-time programs

机译：一种用于实时程序的类型化汇编语言
- 作者：Thomas A. Henzinger;Christoph M. Kirsch
- 会议名称：《ACM international conference on Embedded software》 | 2004年
- virtual machine;
13.Compiler-assisted demand paging for embedded systems with flash memory

机译：带有闪存的嵌入式系统的编译器辅助需求分页
- 作者：Chanik Park;Junghee Lim;Kiwon Kwon;Jaejin Lee;Sang Lyul Min
- 会议名称：《ACM international conference on Embedded software》 | 2004年
- post-pass optimization;
14.Garbage collection for embedded systems

机译：嵌入式系统的垃圾收集
- 作者：David F. Bacon;Perry Cheng;David Grove
- 会议名称：《ACM international conference on Embedded software》 | 2004年
- tracing;
15.Reactive process networks

机译：反应过程网络
- 作者：Marc Geilen;Twan Basten
- 会议名称：《ACM international conference on Embedded software》 | 2004年
- signal processing;
16.An event detection algebra for reactive systems

机译：反应系统的事件检测代数
- 作者：Jan Carlson;Bjorn Lisper
- 会议名称：《ACM international conference on Embedded software》 | 2004年
- resource-efficiency;
17.Conservative approximations for heterogeneous design

机译：异构设计的保守近似
- 作者：Roberto Passerone;Jerry R. Burch;Alberto L. Sangiovanni-Vincentelli
- 会议名称：《ACM international conference on Embedded software》 | 2004年
- verification;
18.Exploiting prescriptive aspects: a design time capability

机译：利用规范方面：设计时功能
- 作者：John A. Stankovic;Prashant Nagaraddi;Zhendong Yu;Zhimin He;Brian Ellis
- 会议名称：《ACM international conference on Embedded software》 | 2004年
- prescriptive aspects;
19.Making mechatronic agents resource-aware in order to enable safe dynamic resource allocation

机译：使机电一体化代理了解资源，以实现安全的动态资源分配
- 作者：Sven Burmester;Matthias Gehrke;Holger Giese;Simon Oberthur
- 会议名称：《ACM international conference on Embedded software》 | 2004年
- resource awareness;
20.A metrics system for quantifying operational coupling in embedded computer control systems

机译：用于量化嵌入式计算机控制系统中的操作耦合的度量系统
- 作者：DeJiu Chen;Martin Torngren
- 会议名称：《ACM international conference on Embedded software》 | 2004年
- system functions;
21.Loose synchronization of event-triggered networks for distribution of synchronous programs

机译：事件触发网络的松散同步，用于分发同步程序
- 作者：Jan Romberg;Andreas Bauer
- 会议名称：《ACM international conference on Embedded software》 | 2004年
- synchronous languages;
22.Reuse of software in distributed embedded automotive systems

机译：在分布式嵌入式汽车系统中重复使用软件
- 作者：Bernd Hardung;Thorsten Kolzow;Andreas Kruger
- 会议名称：《ACM international conference on Embedded software》 | 2004年
- software;
23.A model-based approach to integrating security policies for embedded devices

机译：基于模型的集成嵌入式设备安全策略的方法
- 作者：Michael McDougall;Rajeev Alur;Carl A. Gunter
- 会议名称：《》 | 2004年
- smartcards;
24.Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA)

机译：异构反应系统建模：捕获因果关系和松散的时间触发架构（LTTA）的正确性
- 作者：Albert Benveniste;Benoit Caillaud;Luca P. Carloni;Paul Caspi;Alberto L. Sangiovanni-Vincentelli
- 会议名称：《ACM international conference on Embedded software》 | 2004年
- heterogeneous reactive systems;
25.Towards a higher-order synchronous data-flow language

机译：迈向更高阶的同步数据流语言
- 作者：Jean-Louis Colaco;Alain Girault;Gregoire Hamon;Marc Pouzet
- 会议名称：《ACM international conference on Embedded software》 | 2004年
- type system;
26.Towards direct execution of esterel programs on reactive processors

机译：致力于在反应处理器上直接执行esterel程序
- 作者：Partha S. Roop;Zoran Salcic;M.W. Sajeewa Dayaratne
- 会议名称：《ACM international conference on Embedded software》 | 2004年
- reactive processor architectures;
27.Great works for the 21st century: a critical role for the modern research university

机译：21世纪的伟大著作：现代研究型大学的重要角色
- 作者：A. Richard Newton
- 会议名称：《ACM international conference on Embedded software》 | 2004年
28.Smart furniture: a platform for context-aware embedded ubiquitous applications

机译：智能家具：一个用于上下文感知嵌入式泛在应用程序的平台
- 作者：Hideyuki Tokuda
- 会议名称：《ACM international conference on Embedded software》 | 2004年
29.DELite: database support for embedded lightweight devices

机译：DELite：对嵌入式轻型设备的数据库支持
- 作者：Krithi Ramamritham;Rajkumar Sen
- 会议名称：《ACM international conference on Embedded software》 | 2004年
- database management system;
30.Network processors

机译：网络处理器
- 作者：Nevin Heintze
- 会议名称：《ACM international conference on Embedded software》 | 2004年
31.'The computer revolution', 'computer science', and 'software engineering' haven't happened yet

机译：尚未发生“计算机革命”，“计算机科学”和“软件工程”
- 作者：Alan Kay
- 会议名称：《ACM international conference on Embedded software》 | 2004年
32.Remote customization of systems code for embedded devices

机译：远程定制嵌入式设备的系统代码
- 作者：Sapan Bhatia;Charles Consel;Calton Pu
- 会议名称：《ACM international conference on Embedded software》 | 2004年
- specialization server;
33.Using resource reservation techniques for power-aware scheduling

机译：使用资源预留技术进行功率感知调度
- 作者：Claudio Scordino;Giuseppe Lipari
- 会议名称：《ACM international conference on Embedded software》 | 2004年
- scheduling;
34.An experimental analysis of the effect of the operating system on memory performance in embedded multimedia computing

机译：嵌入式多媒体计算中操作系统对内存性能影响的实验分析
- 作者：Sangsoo Park;Yonghee Lee;Heonshik Shin
- 会议名称：《ACM international conference on Embedded software》 | 2004年
- operating system;
35.Model based estimation and verification of mobile device performance

机译：基于模型的移动设备性能评估和验证
- 作者：Gopal Raghavan;Ari Salomaki;Raimondas Lencevicius
- 会议名称：《ACM international conference on Embedded software》 | 2004年
- use case verification;
36.Separation of concerns

机译：关注点分离
- 作者：Guang Yang;Alberto Sangiovanni-Vincentelli;Yosinori Watanabe;Felice Balarin
- 会议名称：《ACM international conference on Embedded software》 | 2004年
- simulation;
37.Aggressive dynamic voltage scaling for energy-aware video playback based on decoding time estimation

机译：基于解码时间估计的能量感知视频播放的积极动态电压缩放
- 作者：Ahron Yang;Minseok Song
- 会议名称：《ACM international conference on Embedded software》 | 2009年
- dynamic voltage scaling;
- low-power systems;
- media players;
- real-time embedded systems;
38.Analytic real-time analysis and timed automata

机译：分析实时分析和定时自动机
- 作者：Kai Lampka;Simon Perathoner;Lothar Thiele
- 会议名称：《ACM international conference on Embedded software》 | 2009年
- hard real-time systems;
- performance analysis;
- real-time calculus;
- timed automata;
39.Adding aggressive error correction to a high-performance compressing flash file system

机译：将激进的纠错添加到高性能压缩闪存系统
- 作者：Yangwook Kang;Ethan L. Miller
- 会议名称：《ACM international conference on Embedded software》 | 2009年
- compression;
- file system;
- nand flash memory;
- non-volatile memory;
- reliability;
40.Compositional timing analysis

机译：组成时序分析
- 作者：Ramzi Ben Salah;Marius Dorel Bozga;Oded Maler
- 会议名称：《ACM international conference on Embedded software》 | 2009年
- abstraction;
- compositional generation;
- reachability analysis;
- timed automata;
41.Handling mixed-criticality in SoC-based real-time embedded systems

机译：处理基于SoC的实时嵌入式系统的混合关键性
- 作者：Rodolfo Pellizzoni;Patrick Meredith;Min-Young Nam;Mu Sun;Marco Caccamo;Lui Sha
- 会议名称：《ACM international conference on Embedded software》 | 2009年
- AADL;
- mixed-criticality;
- platform-based design;
- runtime monitoring;
- system-on-chip;
42.HVS-DBS

机译：HVS-DBS.
- 作者：Andrea Bartolini;Martino Ruggiero;Luca Benini
- 会议名称：《ACM international conference on Embedded software》 | 2009年
- LCD;
- backlight scaling;
- display;
- power management;
- video streaming;
43.Towards a time-triggered schedule calculation tool to support model-based embedded software design

机译：朝向时间触发的计划计算工具，以支持基于模型的嵌入式软件设计
- 作者：Joseph Porter;Gabor Karsai;Janos Sztipanovits
- 会议名称：《ACM international conference on Embedded software》 | 2009年
- constraint programming;
- model-based design;
- time triggered architecture;
44.Symbolic state traversal for WCET analysis

机译：WCET分析的符号状态遍历
- 作者：Stephan Wilhelm;Bjorn Wachter
- 会议名称：《ACM international conference on Embedded software》 | 2009年
- abstract interpretation;
- binary decision diagram;
- hard real time;
- processor models;
- worst-case execution time;
45.Modal interfaces

机译：模态接口
- 作者：Jean-Baptiste Raclet;Eric Badouel;Albert Benveniste;Benoit Caillaud;Axel Legay;Roberto Passerone
- 会议名称：《ACM international conference on Embedded software》 | 2009年
- compatibility;
- interface automata;
- modal specifications;
46.Monotonicity and run-time scheduling

机译：单调性和运行时调度
- 作者：Maarten H. Wiggers;Marco J.G. Bekooij;Gerard J.M. Smit
- 会议名称：《ACM international conference on Embedded software》 | 2009年
- dataflow;
- multi-processor;
- real-time;
- simulation;
47.Cache-aware scheduling and analysis for multicores

机译：高速缓存的调度和多电线的分析
- 作者：Nan Guan;Martin Stigge;Wang Yi;Ge Yu
- 会议名称：《ACM international conference on Embedded software》 | 2009年
- cache partitioning;
- multicores;
- real-time systems;
- schedulability analysis;
48.Compositional verification of fault-tolerant real-time programs

机译：容错实时计划的组成验证
- 作者：Borzoo Bonakdarpour;Sandeep S. Kulkarni
- 会议名称：《ACM international conference on Embedded software》 | 2009年
- compositional verification;
- fault-tolerance;
- formal methods;
- interference-freedom;
- real-time;
49.Modeling synchronous systems in BIP

机译：BIP中的模拟同步系统
- 作者：Marius Dorel Bozga;Vassiliki Sfyrla;Joseph Sifakis
- 会议名称：《ACM international conference on Embedded software》 | 2009年
- BIP (behavior-interaction-priority);
- lustre;
- modal flow graphs;
- priority petri nets;
- synchronous systems;
50.Serving embedded content via web applications

机译：通过Web应用程序服务嵌入式内容
- 作者：Simon Duquennoy;Gilles Grimaud;Jean-Jacques Vandewalle
- 会议名称：《ACM international conference on Embedded software》 | 2009年
- applicative model;
- embedded web server;
- modeling;
51.Modular static scheduling of synchronous data-flow networks

机译：同步数据流网络的模块化静态调度
- 作者：Marc Pouzet;Pascal Raymond
- 会议名称：《ACM international conference on Embedded software》 | 2009年
- block-diagrams;
- compilation;
- np-completeness;
- partial orders;
- preorders;
- real-time systems;
- semantics;
- synchronous languages;
52.NANDFS

机译：NANDFS.
- 作者：Aviad Zuck;Ohad Barzilay;Sivan Toledo
- 会议名称：《ACM international conference on Embedded software》 | 2009年
- NAND flash;
- RAM constrained;
- file system;
- flash;
- page mapping;
53.Compositional deadlock detection for rendezvous communication

机译：对共同通信的组成僵局检测
- 作者：Baolin Shao;Nalini Vasudevan;Stephen A. Edwards
- 会议名称：《ACM international conference on Embedded software》 | 2009年
- SHIM;
- concurrency;
- deadlock;
- divide-and-conquer;
- static analysis;
54.A cost-aware page replacement algorithm for NAND flash based mobile embedded systems

机译：基于NAND Flash的移动嵌入式系统的成本感知页面替换算法
- 作者：Junseok Park;Hyejeong Lee;Seunghwan Hyun;Kern Koh;Hyokyung Bahn
- 会议名称：《ACM international conference on Embedded software》 | 2009年
- compressed file system;
- flash memory;
- replacement algorithm;
55.Modular performance analysis of cyclic dataflow graphs

机译：循环数据流图的模块化性能分析
- 作者：Lothar Thiele;Nikolay Stoimenov
- 会议名称：《ACM international conference on Embedded software》 | 2009年
- dioid algebras;
- marked graphs;
- real-time calculus;
- real-time systems;
- synchronous dataflow;
56.Formal and executable contracts for transaction-level modeling in SystemC

机译：SystemC交易级别建模的正式和可执行合同
- 作者：Tayeb Bouhadiba;Florence Maraninchi;Giovanni Funchal
- 会议名称：《ACM international conference on Embedded software》 | 2009年
- formal component models;
- systems-on-a-chip;
- transaction-level-modeling;
- virtual prototyping;
57.Disk schedulers for solid state drivers

机译：稳固状态驱动程序的磁盘调度程序
- 作者：Jaeho Kim;Yongseok Oh;Eunsam Kim;Jongmoo Choi;Donghee Lee;Sam H. Noh
- 会议名称：《ACM international conference on Embedded software》 | 2009年
- Linux;
- disk scheduler;
- implementation study;
- solid state drive;
58.Markov decision process (MDP) framework for optimizing software on mobile phones

机译：马尔可夫决策过程（MDP）用于优化手机软件的框架
- 作者：Tang Lung Cheung;Kari Okamoto;Frank Maker;Xin Liu;Venkatesh Akella
- 会议名称：《ACM international conference on Embedded software》 | 2009年
- android;
- markov-decision process;
- mobile phones;
- power optimization;
- talk time extension;
- user-profile driven;
59.Refining the control structure of loops using static analysis

机译：使用静态分析精炼环路控制结构
- 作者：Gogul Balakrishnan;Sriram Sankaranarayanan;Franjo IvanciC;Aarti Gupta
- 会议名称：《ACM international conference on Embedded software》 | 2009年
60.Dataflow models for shared memory access latency analysis

机译：共享内存访问延迟分析的数据流模型
- 作者：Jan Staschulat;Marco Bekooij
- 会议名称：《ACM international conference on Embedded software》 | 2009年
- dataflow model;
- memory accesses;
- multiprocessor performance analysis;
- real-time;
61.Flexible filters

机译：柔性过滤器
- 作者：Rebecca L. Collins;Luca P. Carloni
- 会议名称：《ACM international conference on Embedded software》 | 2009年
- dynamic load balancing;
- stream programming;
62.Refining SIRAP with a dedicated resource ceiling for self-blocking

机译：用专用资源天花板炼油SiroAP用于自我阻止
- 作者：Moris Behnam;Thomas Nolte;Reinder J. Bril
- 会议名称：《ACM international conference on Embedded software》 | 2009年
- SIRAP;
- hierarchical scheduling;
- real-time open systems;
- real-time subsystem integration;
- resource-sharing;
- synchronization protocol.;
63.SyncCharts in C

机译：在C中同步
- 作者：Reinhard von Hanxleden
- 会议名称：《ACM international conference on Embedded software》 | 2009年
- SyncCharts;
- esterel;
- model-based design;
- multi-threading;
- reactive processing;
- statecharts;
- synchronous programming;
64.Clock-driven distributed real-time implementation of endochronous synchronous programs

机译：时钟驱动的分布式实时实现代币同步程序
- 作者：Dumitru Potop-Butucaru;Robert de Simone;Yves Sorel;Jean-Pierre Talpin
- 会议名称：《ACM international conference on Embedded software》 | 2009年
- clock calculus;
- distributed real-time scheduling;
- intermediate representation;
- synchronous model;
65.Implementing time-predictable load and store operations

机译：实现时间可预测的负载和存储操作
- 作者：Jack Whitham;Neil Audsley
- 会议名称：《ACM international conference on Embedded software》 | 2009年
- scratchpad;
- wcet;
66.Probabilistic modeling of data cache behavior

机译：数据缓存行为的概率建模
- 作者：Vinayak Puranik;Tulika Mitra;Y. N. Srikant
- 会议名称：《ACM international conference on Embedded software》 | 2009年
- data cache modeling;
- probabilistic execution time analysis;
67.An effective synchronization approach for fast and accurate multi-core instruction-set simulation

机译：快速准确的多核指令模拟的有效同步方法
- 作者：Meng-Huan Wu;Cheng-Yang Fu;Peng-Chih Wang;Ren-Song Tsay
- 会议名称：《ACM international conference on Embedded software》 | 2009年
- binary translation;
- instruction-set simulator;
- multi-core;
- synchronization;
68.Exploring parallelization strategies for NUFFT data translation

机译：探索Nufft数据翻译的并行化策略
- 作者：Yuanrui Zhang;Mahmut Kandemir;Nikos P. Pitsianis;Xiaobai Sun
- 会议名称：《ACM international conference on Embedded software》 | 2009年
- code generation;
- geometric tiling;
- gridding;
- non-uniform fft;
- parallelization;
69.On relational interfaces

机译：关于关系界面
- 作者：Stavros Tripakis;Ben Lickly;Thomas A. Henzinger;Edward A. Lee
- 会议名称：《ACM international conference on Embedded software》 | 2009年
- composition;
- compositionality;
- interfaces;
- refinement;