首页>外文会议>其他>IFIP World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems

IFIP World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems

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

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.FLEXIBLE RESOURCE MANAGEMENT A Framework for Self-Optimizing Real-Time Systems

机译：灵活的资源管理自我优化实时系统的框架
- 作者：Carsten Boeke;Simon Oberthuer;International Federation for Information Processing(IFIP);IFIP 150
- 会议名称：《IFIP World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems》 | 2004年
2.ON DETECTING DEADLOCKS IN LARGE UML MODELS

机译：在大UML模型中检测死锁
- 作者：Michael Kersten;Wolfgang Nebel;International Federation for Information Processing(IFIP);IFIP 150
- 会议名称：《IFIP World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems》 | 2004年
- deadlock detection;
- cycle detection;
- graph theory;
- reachability analysis;
- UML;
3.DESIGN SPACE EXPLORATION WITH AUTOMATIC GENERATION OF IP-BASED EMBEDDED SOFTWARE

机译：基于IP的嵌入式软件的自动生成设计空间探索
- 作者：Julio C. B. de Mattos;Lisane Brisolara;Renato Hentschke;Luigi Carro;Flavio R. Wagner;International Federation for Information Processing(IFIP);IFIP 150
- 会议名称：《IFIP World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems》 | 2004年
- design space exploration;
- embedded software;
- IP components;
4.VERIFICATION FRAMEWORK FOR UML - BASED DESIGN OF EMBEDDED SYSTEMS

机译：基于UML的嵌入式系统设计验证框架
- 作者：Martin Kardos;Yuhong Zhao;International Federation for Information Processing(IFIP);IFIP 150
- 会议名称：《IFIP World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems》 | 2004年
- embedded system design;
- UML;
- formal semantics;
- ASMs;
- AsmL;
- formal verification;
- model-checking;
5.AN ACTIVE REPLICATION SCHEME THAT TOLERATES FAILURES IN DISTRIBUTED EMBEDDED REAL-TIME SYSTEMS

机译：一种可容忍分布式嵌入式实时系统中失败的活动复制方案
- 作者：Alain Girault;Hamoudi Kalla;Yves Sorel;International Federation for Information Processing(IFIP);IFIP 150
- 会议名称：《IFIP World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems》 | 2004年
- distributed and embedded systems;
- real-time systems;
- fault-tolerance;
- active replication;
- graph transformation;
6.A MULTIOBJECTIVE TABU SEARCH ALGORITHM FOR THE DESIGN SPACE EXPLORATION OF EMBEDDED SYSTEMS

机译：嵌入式系统设计空间探索的多目标禁忌搜索算法
- 作者：Frank Slomka;Karsten Albers;Richard Hofmann;International Federation for Information Processing(IFIP);IFIP 150
- 会议名称：《IFIP World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems》 | 2004年
- tabu-search;
- multiobjective;
- optimization;
- system synthesis;
7.A PETRI NET APPROACH FOR THE DESIGN OF DYNAMICALLY MODIFIABLE EMBEDDED SYSTEMS

机译：一种用于动态可修改的嵌入式系统设计的Petri网方法
- 作者：Carsten Rust;Franz Josef Rammig;International Federation for Information Processing(IFIP);IFIP 150
- 会议名称：《IFIP World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems》 | 2004年
8.MODELING AND VERIFICATION OF HYBRID SYSTEMS BASED ON EQUATIONS

机译：基于方程的混合系统建模与验证
- 作者：Kazuhiro Ogata;Daigo Yamagishi;Takahiro Seino;Kokichi Futatsugi;International Federation for Information Processing(IFIP);IFIP 150
- 会议名称：《IFIP World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems》 | 2004年
- CafeOBJ;
- HOTS;
- hybrid systems;
- modeling;
- verification;
9.A DECENTRALIZED SELF-ORGANIZED APPROACH FOR WIRELESS SENSOR NETWORKS

机译：一种用于无线传感器网络的分散的自组织方法
- 作者：Jean-Paul Jamont;Michel Occello;Andre Lagreze;International Federation for Information Processing(IFIP);IFIP 150
- 会议名称：《IFIP World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems》 | 2004年
- multiagent system;
- wireless sensor network;
- self-organization;
10.A SELF-CONTROLLED AND DYNAMICALLY RECONFIGURABLE ARCHITECTURE

机译：自控和动态可重新配置的架构
- 作者：Florian Dittmann;Achim Rettberg;International Federation for Information Processing(IFIP);IFIP 150
- 会议名称：《IFIP World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems》 | 2004年
- high-level synthesis;
- reconfigurable architectures;
- embedded systems;
11.EVALUATING HIGH-LEVEL MODELS FOR REAL-TIME EMBEDDED SYSTEMS DESIGN

机译：评估实时嵌入式系统设计的高级模型
- 作者：Lisane Brisolara;Leandro B. Becker;Luigi Carro;Flavio R. Wagner;Carlos Eduardo Pereira;International Federation for Information Processing(IFIP);IFIP 150
- 会议名称：《IFIP World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems》 | 2004年
- high-level modeling;
- real-time embedded system design;
- UML;
- simulink;
12.ADAPTIVE BUS ENCODING SCHEMES FOR POWER-EFFICIENT DATA TRANSFER IN DSM ENVIRONMENTS

机译：DSM环境中高功率数据传输的自适应总线编码方案
- 作者：Claudia Kretzschmar;Markus Scheithauer;Dietmar Mueller;International Federation for Information Processing(IFIP);IFIP 150
- 会议名称：《IFIP World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems》 | 2004年
- adaptive bus encoding;
- DSM;
- partial run-time reconfiguration;
13.A DATAFLOW LANGUAGE (AVON) AS AN ARCHITECTURE DESCRIPTION LANGUAGE (ADL)

机译：DataFlow语言（AVON）作为架构描述语言（ADL）
- 作者：Ashoke Deb;International Federation for Information Processing(IFIP);IFIP 150
- 会议名称：《IFIP World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems》 | 2004年
- dataflow;
- single-assignment;
- stream;
- filter;
- strictness;
- asynchronous;
- nondeterminism;
- pipelining;
- speculative execution;
- flushing;
14.MDA PLATFORM FOR COMPLEX EMBEDDED SYSTEMS DEVELOPMENT

机译：用于复杂嵌入式系统开发的MDA平台
- 作者：Chokri Mraidha;Sylvain Robert;Sebastien Gerard;David Servat;International Federation for Information Processing(IFIP);IFIP 150
- 会议名称：《IFIP World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems》 | 2004年
- model driven development;
- UML;
- real-time embedded systems;
15.ME64 - A PARALLEL HARDWARE ARCHITECTURE FOR MOTION ESTIMATION IMPLEMENTED IN FPGA

机译：ME64 - 用于在FPGA中实现的运动估计的并行硬件架构
- 作者：Diogo Zandonai;Sergio Bampi;Marcel Bergerman;International Federation for Information Processing(IFIP);IFIP 150
- 会议名称：《IFIP World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems》 | 2004年
- hardware architecture for motion estimation;
- motion estimation;
- video compression;
16.HARDWARE DESIGN AND PROTOCOL SPECIFICATION FOR THE CONTROL AND COMMUNICATION WITHIN A MECHATRONIC SYSTEM

机译：机电系统内控制和通信的硬件设计与协议规范
- 作者：Andre Luiz de Freitas Francisco;Achim Rettberg;Andreas Hennig;International Federation for Information Processing(IFIP);IFIP 150
- 会议名称：《IFIP World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems》 | 2004年
- mechatronic systems;
- hardware design;
- protocol specification;
- control systems;
- communication systems;
17.DEVELOPMENT OF DISTRIBUTED AUTOMOTIVE SOFTWARE: The DaVinci Methodology

机译：分布式汽车软件的开发：Davinci方法论
- 作者：Uwe Honekamp;Matthias Wernicke;International Federation for Information Processing(IFIP);IFIP 150
- 会议名称：《IFIP World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems》 | 2004年
- design methodology;
- distributed embedded systems;
- automotive;
18.LTL'S INTUITIVE REPRESENTATIONS AND ITS AUTOMATON TRANSLATION

机译：LTL的直观表示及其自动化翻译
- 作者：Yuhong Zhao;International Federation for Information Processing(IFIP);IFIP 150
- 会议名称：《IFIP World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems》 | 2004年
19.SCHEDULABILITY ANALYSIS AND DESIGN OF REAL-TIME EMBEDDED SYSTEMS WITH PARTITIONS

机译：具有分区的实时嵌入式系统的调度分析与设计
- 作者：David Doose;Zoubir Mammeri;International Federation for Information Processing(IFIP);IFIP 150
- 会议名称：《IFIP World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems》 | 2004年
20.DISTRIBUTION OF TIME INTERVAL BETWEEN SUCCESSIVE INTERRUPT REQUESTS

机译：连续中断请求之间的时间间隔分布
- 作者：Wojciech Noworyta;International Federation for Information Processing(IFIP);IFIP 150
- 会议名称：《IFIP World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems》 | 2004年
- interrupt;
- distribution function;
- streams merging;
- performance modeling;
21.A MEMBERSHIP AGREEMENT ALGORITHM DETECTING AND TOLERATING ASYMMETRIC TIMING FAULTS

机译：一种员工协议算法检测和容忍非对称定时故障
- 作者：Hakan Sivencrona;Mattias Persson;Jan Torin;International Federation for Information Processing(IFIP);IFIP 150
- 会议名称：《IFIP World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems》 | 2004年
- membership agreement;
- asymmetric timing faults;
- fault detection;
22.INTERNET PREMIUM SERVICES FOR FLEXIBLE FORMAT DISTRIBUTED DEVICES

机译：灵活格式的Internet Premium Services分布式设备
- 作者：Brigitte Oesterdiekhoff;International Federation for Information Processing(IFIP);IFIP 150
- 会议名称：《IFIP World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems》 | 2004年
- transcoding;
- user interface;
23.HARDWARE SYNTHESIS OF A PARALLEL JPEG DECODER FROM ITS FUNCTIONAL SPECIFICATION

机译：并行JPEG解码器的硬件合成从其功能规范
- 作者：John Hawkins;Ali E. Abdallah;International Federation for Information Processing(IFIP);IFIP 150
- 会议名称：《IFIP World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems》 | 2004年
24.A MULTI-LEVEL DESIGN PATTERN FOR EMBEDDED SOFTWARE

机译：嵌入式软件的多级设计模式
- 作者：Ricardo J. Machado;Joao M. Fernandas;International Federation for Information Processing(IFIP);IFIP 150
- 会议名称：《IFIP World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems》 | 2004年
25.A SOFTWARE ARCHITECTURE AND SUPPORTING KERNEL FOR LARGELY SYNCHRONOUSLY OPERATING SENSOR NETWORKS

机译：软件架构和支持内核，用于很大程度上同步操作传感器网络
- 作者：K. H. (Kane) Kim;C.S. Im;M.C. Kim;Y.Q. Li;S.M. Yoo;L.C. Zheng;International Federation for Information Processing(IFIP);IFIP 150
- 会议名称：《IFIP World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems》 | 2004年
- sensor;
- network;
- real time;
- time-triggered;
- TTF;
- service function;
- TDMA;
- TCoDA;
- wireless;
- kernel;
- synchronous;
- LaSSeNSA;
- analyzable;
26.PROFILING SPECIFICATION PEARL DESIGNS

机译：分析规格珍珠设计
- 作者：Roman Gumzej;Matjaz Colnaric;Wolfgang A. Halang;International Federation for Information Processing(IFIP);IFIP 150
- 会议名称：《IFIP World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems》 | 2004年
- real-time systems;
- co-design;
- co-simulation;
- verification;
- PEARL;
27.ENGINEERING CONCURRENT AND REACTIVE SYSTEMS WITH DISTRIBUTED REAL-TIME ABSTRACT STATE MACHINES

机译：具有分布式实时抽象状态机的工程并发和反应系统
- 作者：Uwe Glaesser;Mona Vajihollahi;International Federation for Information Processing(IFIP);IFIP 150
- 会议名称：《IFIP World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems》 | 2004年
- distributed embedded systems;
- requirements specification;
- agile formalization;
28.AUTOMATIC SYNTHESIS OF SYSTEMC-CODE FROM FORMAL SPECIFICATIONS

机译：从正式规格自动综合Systemc-Code
- 作者：Carsten Rust;Achim Rettberg;International Federation for Information Processing(IFIP);IFIP 150
- 会议名称：《IFIP World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems》 | 2004年
- petri nets;
- SystemC;
- embedded systems;
- system synthesis;
29.TEMPORAL BOUNDS FOR TTA : VALIDATION

机译：TTA的时间范围：验证
- 作者：K. Godary;I. Auge-Blum;A. Mignotte;International Federation for Information Processing(IFIP);IFIP 150
- 会议名称：《IFIP World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems》 | 2004年
- time-triggered architecture;
- embedded real-time networks;
- fault tolerance;
- temporal validation;
- UPPAAL modeling;
30.EXPERIENCES FROM MODEL BASED DEVELOPMENT OF DRIVE-BY-WIRE CONTROL SYSTEMS

机译：基于模型开发的逐导控制系统的经验
- 作者：Per Johannessen;Fredrik Toerner;Jan Torin;International Federation for Information Processing(IFIP);IFIP 150
- 会议名称：《IFIP World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems》 | 2004年
- dependable systems;
- drive-by-wire;
- model based development;
- hazard analysis;
- redundancy;
- fault tolerance;
- electrical architecture;
- time-triggered CAN;
- case study;
31.THE IMPLICATIONS OF REAL-TIME BEHAVIOR IN NETWORKS-ON-CHIP ARCHITECTURES

机译：实时行为在芯片上架构中的影响
- 作者：Edgard de Faria Correa;Eduardo Wisnieski Basso;Gustavo Reis Wilke;Flavio Rech Wagner;Luigi Carro;International Federation for Information Processing(IFIP);IFIP 150
- 会议名称：《IFIP World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems》 | 2004年
- systems-on-chip;
- SoC;
- networks-on-chip;
- NoC;
- real-time;
32.A NOVEL APPROACH FOR OFF-LINE MULTIPROCESSOR SCHEDULING IN EMBEDDED HARD REAL-TIME SYSTEMS

机译：嵌入式硬实时系统中离线多处理器调度的新方法
- 作者：Raimundo Barreto;Paulo Maciel;Manila Neves;Eduardo Tavares;Ricardo Lima;International Federation for Information Processing(IFIP);IFIP 150
- 会议名称：《IFIP World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems》 | 2004年
- embedded real-time systems;
- scheduling;
- formal methods;
- time petri nets;