首页>外文期刊>其他>Design Automation for Embedded Systems

Design Automation for Embedded Systems

Design Automation for Embedded Systems

中文名称：嵌入式系统的设计自动化

ISSN：0929-5585
出版周期：Quarterly

发文量：88

期刊论文

年度选择

2023
- 第2期
2022
- 第1期
- 第2期
- 第4期
2019
- 第2期
- 第4期
2018
- 第2期
2017
- 第4期
2015
- 第2期
2014
- 第2期
- 第4期
2013
- 第4期
2012
- 第1期
- 第2期
2011
- 第1期
- 第2期
- 第4期
2010
- 第1期
- 第2期
- 第3期
- 第4期
2009
- 第2期
- 第3期
- 第4期
2008
- 第2期
- 第3期
- 第4期
2007
- 第1期
- 第3期
- 第4期
2006
- 第1期
- 第3期
2003
- 第3期
2002
- 第2期
2000
- 第4期

更多>>

全选（0）

1.Emulation and verification framework for MPSoC based on NoC and RISC-V

机译：Emulation and verification framework for MPSoC based on NoC and RISC-V
- 作者：Khamis Mostafa;El-Ashry Sameh;AbdElsalam MohamedEl-Kharashi M. WatheqShalaby Ahmed
- 期刊名称：《Design automation for embedded systems》 | 2022年第4期
2.An energy efficient multi-target binary translator for instruction and data level parallelism exploitation

机译：An energy efficient multi-target binary translator for instruction and data level parallelism exploitation
- 作者：Knorst Tiago;Vicenzi Julio;Jordan Michael G.de Almeida Jonathan H.Korol GuilhermeBeck Antonio C. S.Rutzig Mateus B.
- 期刊名称：《Design automation for embedded systems》 | 2022年第1期
- CGRA;
- ARM NEON;
- ILP;
- DLP;
- Binary Translator;
- TRANSPARENT;
3.Online measurement of water quality and reporting system using prominent rule controller based on aqua care-IOT (Retraction of Vol 22, Pg 25, 2018)

机译：Online measurement of water quality and reporting system using prominent rule controller based on aqua care-IOT (Retraction of Vol 22, Pg 25, 2018)
- 作者：Parameswari M.;Moses M. Balasingh
- 期刊名称：《Design automation for embedded systems》 | 2022年第2期
4.Test data compression for digital circuits using tetrad state skip scheme (Retraction of Vol 21, Pg 197, 2017)

机译：Test data compression for digital circuits using tetrad state skip scheme (Retraction of Vol 21, Pg 197, 2017)
- 作者：Sivanandam Lokesh;Oorkavalan Uma Maheswari;Periyasamy Sakthivel
- 期刊名称：《Design automation for embedded systems》 | 2022年第2期
5.Loop transformations for flash memory: cost models and performance effects

机译：Loop transformations for flash memory: cost models and performance effects
- 作者：Paik Joon-Young;Chung Tae-Sun;Cho Eun-Sun
- 期刊名称：《Design automation for embedded systems》 | 2013年第4期
- Loop structures;
- Loop transformations;
- Flash translation layer (FTL);
- Cost models;
- Performance;
6.ImGA: an improved genetic algorithm for partitioned scheduling on heterogeneous multi-core systems

机译：ImGA: an improved genetic algorithm for partitioned scheduling on heterogeneous multi-core systems
- 作者：Ayari Rabeh;Hafnaoui Imane;Beltrame GiovanniNicolescu Gabriela
- 期刊名称：《Design automation for embedded systems》 | 2018年第2期
- Design methodology;
- Optimization;
- Embedded systems;
- Real-time application;
- Heterogeneous multi-core architectures;
- Partitioning;
- Genetic algorithm;
7.Formal Verification for Embedded System Designs

机译：Formal Verification for Embedded System Designs
- 作者：XI CHEN;HARRY HSIEH;FELICE BALARINYOSINORI WATANABE
- 期刊名称：《Design automation for embedded systems》 | 2003年第3期
- Formal Verification;
- Model Checking;
- Metropolis;
- Meta-Model;
- SPIN;
- LTL;
8.State-based scheduling analysis for distributed real-time systems Coping with the large state space by a compositional approach

机译：State-based scheduling analysis for distributed real-time systems Coping with the large state space by a compositional approach
- 作者：Gezgin Tayfun;Stierand Ingo;Henkler StefanRettberg Achim
- 期刊名称：《Design automation for embedded systems》 | 2014年第2期
- Scheduling analysis;
- Timed automata;
- Timing analysis;
- Distributed real-time systems;
- Compositional analysis;
9.Enhanced Symbolic Simulation for Functional Verification of Embedded Array Systems

机译：Enhanced Symbolic Simulation for Functional Verification of Embedded Array Systems
- 作者：Li-C Wang;Tag Feng;Kwang-Ting (Tim) ChengMagdy S. AbadirManish Pandey
- 期刊名称：《Design automation for embedded systems》 | 2003年第3期
- ATPG;
- Array verification;
- Symbolic simulation;
10.Fast and Time-Accurate Cosimulation with OS Scheduler Modeling

机译：Fast and Time-Accurate Cosimulation with OS Scheduler Modeling
- 作者：YOUNGMIN YI;DOHYUNG KIM;SOONHOI HA
- 期刊名称：《Design automation for embedded systems》 | 2003年第3期
- Cosimulation;
- Virtual synchronization;
- OS modeling;
11.Self-aware Memory: an adaptive memory management system for upcoming manycore architectures and its decentralized self-optimization process

机译：Self-aware Memory: an adaptive memory management system for upcoming manycore architectures and its decentralized self-optimization process
- 作者：Mattes Oliver;Karl Wolfgang
- 期刊名称：《Design automation for embedded systems》 | 2013年第4期
- Optimization;
- Adaptation;
- Memory management;
- Self-aware Memory (SaM);
- Manycore systems;
- Scalability;
12.LVWNet: an hybrid simulation architecture for wireless sensor networks

机译：LVWNet: an hybrid simulation architecture for wireless sensor networks
- 作者：Gilles Silvano;Ivanovich Silva;Leonardo OliveiraMarcos PinheiroBruno Ferreira
- 期刊名称：《Design automation for embedded systems》 | 2017年第4期
- Wireless networks;
- Network simulators;
- Virtualization;
- Emulation;
- IoT;
13.ASDeX: a formal specification for analog circuit enabling a full automated design validation

机译：ASDeX: a formal specification for analog circuit enabling a full automated design validation
- 作者：Ma Mingyu;Hedrich Lars;Sporrer Christian
- 期刊名称：《Design automation for embedded systems》 | 2014年第2期
- ASDeX;
- Formal specification;
- Analog IPs;
- XML;
- Design flow;
- Validation;
- LVDS;
- OP-AMP;
- A/D converter;
14.Efficient schedulability tests for real-time embedded systems with urgent routines

机译：Efficient schedulability tests for real-time embedded systems with urgent routines
- 作者：Augusto Santos J. Jr.;Lima George;Bletsas Konstantinos
- 期刊名称：《Design automation for embedded systems》 | 2014年第2期
- Real-time embedded systems;
- Schedulability analysis;
- Earliest Deadline First;
- Rate-Monotonic;
15.A novel input data transition aware dynamic voltage scaling based low power MAC architecture for DSP applications

机译：A novel input data transition aware dynamic voltage scaling based low power MAC architecture for DSP applications
- 作者：D. Haripriya;C. Govindaraju;M. Sumathi
- 期刊名称：《Design automation for embedded systems》 | 2017年第4期
16.Performance Analysis of Arbitration Policies for SoC Communication Architectures

机译：Performance Analysis of Arbitration Policies for SoC Communication Architectures
- 作者：FRANCESCO POLETTI;DAVIDE BERTOZZI;LUCA BENINIALESSANDRO BOGLIOLO
- 期刊名称：《Design automation for embedded systems》 | 2003年第3期
- System-On-Chip;
- Bus;
- Arbitration;
- Bandwidth Reservation;
- Round-Robin;
17.Dynamically reconfigurable hardware/software mobile agents

机译：Dynamically reconfigurable hardware/software mobile agents
- 作者：Cemin David;Goetz Marcelo;Eduardo Pereira Carlos
- 期刊名称：《Design automation for embedded systems》 | 2014年第2期
- Multi-agent systems;
- Hardware agent;
- Mobile agent;
- Reconfigurable computing;
18.Inter-FPGA interconnect topologies exploration for multi-FPGA systems

机译：Inter-FPGA interconnect topologies exploration for multi-FPGA systems
- 作者：Farooq Umer;Mehrez Habib;Bhatti Muhammad Khurram
- 期刊名称：《Design automation for embedded systems》 | 2018年第2期
- Multi-FPGA prototyping;
- Interconnect topologies;
- Routing;
- Exploration;
19.Memphis: a framework for heterogeneous many-core SoCs generation and validation

机译：Memphis: a framework for heterogeneous many-core SoCs generation and validation
- 作者：Ruaro Marcelo;Caimi Luciano L.;Fochi ViniciusMoraes Fernando G.
- 期刊名称：《Design automation for embedded systems》 | 2019年第4期
- Heterogeneous many-core;
- NoC;
- Architecture model;
- Debug framework;
20.Special issue with selected papers from 2016 Brazilian Symposium on Computer Engineering (SBESC 2016)

机译：Special issue with selected papers from 2016 Brazilian Symposium on Computer Engineering (SBESC 2016)
- 作者：Alisson Vasconcelos Brito;Antonio Carlos Schneider Beck Filho
- 期刊名称：《Design automation for embedded systems》 | 2017年第4期
21.A model-driven framework for design and verification of embedded systems through SystemVerilog

机译：A model-driven framework for design and verification of embedded systems through SystemVerilog
- 作者：Anwar Muhammad Waseem;Rashid Muhammad;Azam FarooqueKashif MuhammadButt Wasi Haider
- 期刊名称：《Design automation for embedded systems》 | 2019年第4期
- Model-driven framework;
- UMLSV;
- Embedded systems;
- SystemVerilog;
22.A method for partitioning applications in hybrid reconfigurable architectures

机译：A method for partitioning applications in hybrid reconfigurable architectures
- 作者：Michalis D. Galanis;Athanasios Milidonis;George TheodoridisDimitrios SoudrisCostas E. Goutis
- 期刊名称：《Design automation for embedded systems》 | 2006年第1期
- Hybrid reconfigurable systems;
- Partitioning;
- Coarse-grain reconfigurable hardware;
- FPGA;
- Scheduling;
23.A Remote Methodology for Embedded Systems Design and Validation

机译：A Remote Methodology for Embedded Systems Design and Validation
- 作者：ALESSANDRO FIN;FRANCO FUMMI
- 期刊名称：《Design automation for embedded systems》 | 2003年第3期
- Remote Simulation;
- Remote Validation;
- Intellectual Properties;
- Core Integration;
24.Towards Automatic Validation of Dynamic Behavior in Pipelined Processor Specifications

机译：Towards Automatic Validation of Dynamic Behavior in Pipelined Processor Specifications
- 作者：PRABHAT MISHRA;NIKIL DUTT;HIROYUKITOMIYAMA
- 期刊名称：《Design automation for embedded systems》 | 2003年第3期
- Architecture Specification;
- Determinism;
- In-Order Execution;
- Pipeline Validation;
25.Analysis of design strategies for unmanned aerial vehicles using co-simulation

机译：Analysis of design strategies for unmanned aerial vehicles using co-simulation
- 作者：José de Sousa Barros;Thyago Oliveira Freitas;Vivek NigamAlisson V. Brito
- 期刊名称：《Design automation for embedded systems》 | 2017年第4期
- Co-simulation;
- UAV;
- Testing;
26.Design exploration of a NVM based hybrid instruction memory organization for embedded platforms

机译：Design exploration of a NVM based hybrid instruction memory organization for embedded platforms
- 作者：Perumkunnil Komalan Manu;Gomez Perez Jose Ignacio;Tenllado ChristianMiguel Montanana JoseArtes AntonioTirado Fernandez Jose FranciscoCatthoor Francky
- 期刊名称：《Design automation for embedded systems》 | 2013年第4期
- Non volatile memory;
- Instruction memory organization;
- Loop buffer;
- Very wide register;
27.Exploration of energy efficient memory organisations for dynamic multimedia applications using system scenarios

机译：Exploration of energy efficient memory organisations for dynamic multimedia applications using system scenarios
- 作者：Filippopoulos Iason;Catthoor Francky;Kjeldsberg Per Gunnar
- 期刊名称：《Design automation for embedded systems》 | 2013年第4期
- System scenarios;
- Design space exploration;
- Reconfigurable design;
- Memory reconfiguration;
- Dynamic multimedia applications;
28.DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems

机译：DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems
- 作者：Giannopoulou Georgia;Poplavko Peter;Socci DarioHuang PengchengStoimenov NikolayBourgos ParaskevasThiele LotharBozga MariusBensalem SaddekGirbal SylvainFaugere MadeleineSoulat Romainde Dinechin BenoIt Dupont
- 期刊名称：《Design automation for embedded systems》 | 2018年第2期
- Real-time systems;
- Mixed-criticality systems;
- Multi-core scheduling;
- Rigorous design;
- Software synthesis;
- Avionics;
29.Stack size minimization for embedded real-time systems-on-a-chip

机译：Stack size minimization for embedded real-time systems-on-a-chip
- 作者：Paolo Gai;Giuseppe Lipari;Marco Di Natale
- 期刊名称：《Design automation for embedded systems》 | 2002年第2期
- Multiprocessor scheduling;
- Operating systems;
- Real-time;
- Stack size minimization;
30.Tuning of cache ways and voltage for low-energy embedded system platforms

机译：Tuning of cache ways and voltage for low-energy embedded system platforms
- 作者：Tony Givargis;Frank Vahid
- 期刊名称：《Design automation for embedded systems》 | 2002年第2期
- Adaptive architectures;
- Embedded systems;
- Low energy;
- Low power;
- Platform tuning;
- Real-time systems;
- System-level exploration system-on-a-chip;
31.Effective file data-block placement for different types of page cache on hybrid main memory architectures

机译：Effective file data-block placement for different types of page cache on hybrid main memory architectures
- 作者：Dai Penglin;Zhuge Qingfeng;Chen XianzhangJiang WeiwenSha Edwin H. -M.
- 期刊名称：《Design automation for embedded systems》 | 2013年第4期
- Hybrid main memory;
- Page cache;
- File data-block placement;
32.Estimating data bus size for custom processors in embedded systems

机译：Estimating data bus size for custom processors in embedded systems
- 作者：Emre Ozer;Andy P. Nisbet;David GreggOwen Callanan
- 期刊名称：《Design automation for embedded systems》 | 2006年第1期
- Buses;
- Custom processors;
- Embedded systems;
- Extreme value theory;
- Statistics;
33.An integrated memory-disk system with buffering adapter and non-volatile memory

机译：An integrated memory-disk system with buffering adapter and non-volatile memory
- 作者：Yoon Su-Kyung;Bian Mei-Ying;Kim Shin-Dug
- 期刊名称：《Design automation for embedded systems》 | 2013年第4期
- Memory hierarchy;
- Cache and buffering;
- Integrated memory disk structure;
- Dual buffering adapter;
34.Spatially constrained distance regularized level set evolution method for segmentation of hydrops fetalis from ultrasound fetal heart images

机译：Spatially constrained distance regularized level set evolution method for segmentation of hydrops fetalis from ultrasound fetal heart images
- 作者：Nageswari C. Shobana;HelenPrabha K.
- 期刊名称：《Design automation for embedded systems》 | 2018年第2期
- AKFCM;
- Hydrops fetalis;
- LSF;
- NIHF;
- SC-DRLSE;
- SFCM;
35.Representation of synchronous, asynchronous, and polychronous components by clocked guarded actions

机译：Representation of synchronous, asynchronous, and polychronous components by clocked guarded actions
- 作者：Brandt Jens;Gemuende Mike;Schneider KlausShukla Sandeep K.Talpin Jean-Pierre
- 期刊名称：《Design automation for embedded systems》 | 2014年第2期
- Models of computation;
- Co-simulation;
- Synchronous vs. asynchronous models;
- Guarded command language;
36.TTHLS: an HLS tool for testable hardware generation

机译：TTHLS: an HLS tool for testable hardware generation
- 作者：S. Ravi;M. Joseph
- 期刊名称：《Design automation for embedded systems》 | 2017年第4期
- Built-in self test;
- FPGA testing;
- High-level synthesis;
- High-level test synthesis;
- Icarus Verilog;
37.Cluster based MPSoC architecture: an on-chip message passing implementation

机译：Cluster based MPSoC architecture: an on-chip message passing implementation
- 作者：Brillu Romain;Pillement Sebastien;Lemonnier FabriceMillet Philippe
- 期刊名称：《Design automation for embedded systems》 | 2013年第4期
- MPSoC;
- Cluster;
- Shared memory;
- Distributed memory;
- Hardware memory management unit;
38.Control-schedule co-design for fast stabilization in real time systems facing repeated reconfigurations

机译：Control-schedule co-design for fast stabilization in real time systems facing repeated reconfigurations
- 作者：Mayank Jaishree;Mondal Arijit;Sarkar Arnab
- 期刊名称：《Design automation for embedded systems》 | 2019年第4期
- Cyber-physical systems;
- Non-preemptive;
- Branch and bound;
- Variable time period;
39.An energy aware buffer mapping technique on hybrid STT-MRAM memories with multiple retention time for stream applications

机译：An energy aware buffer mapping technique on hybrid STT-MRAM memories with multiple retention time for stream applications
- 作者：Choi Kwangil;Oh Hyunok
- 期刊名称：《Design automation for embedded systems》 | 2013年第4期
- STT-MRAM;
- Retention time;
- Synchronous dataflow graph;
- Energy minimization;
- Buffer mapping;
40.A sensitivity-based design space exploration methodology for embedded systems

机译：A sensitivity-based design space exploration methodology for embedded systems
- 作者：William Fornaciari;Donatella Sciuto;Cristina SilvanoVittorio Zaccaria
- 期刊名称：《Design automation for embedded systems》 | 2002年第2期
- Design space exploration;
- Power and performance optimization;
41.Test data compression for digital circuits using tetrad state skip scheme

机译：Test data compression for digital circuits using tetrad state skip scheme
- 作者：Lokesh Sivanandam;Uma Maheswari Oorkavalan;Sakthivel Periyasamy
- 期刊名称：《Design automation for embedded systems》 | 2017年第4期
- Circuit design;
- Compression;
- Test data;
- LFSR;
42.Code generation for distributed embedded systems with VDM-RT

机译：Code generation for distributed embedded systems with VDM-RT
- 作者：Hasanagic Miran;Fabbri Tommaso;Larsen Peter GormBandur VictorTran-Jorgensen PeterOuy Julien
- 期刊名称：《Design automation for embedded systems》 | 2019年第4期
- Distributed embedded systems;
- Code generation;
- Co-simulation;
- Validation;
- VDM-RT;
43.An improved low transition test pattern generator for low power applications

机译：An improved low transition test pattern generator for low power applications
- 作者：Govindaraj Vellingiri;Ramesh Jayabalan
- 期刊名称：《Design automation for embedded systems》 | 2017年第4期
- BIST;
- Test pattern generator;
- Power minimization;
- Switching activity;
44.On embedding a hardware description language in Isabelle/HOL

机译：On embedding a hardware description language in Isabelle/HOL
- 作者：Khan Wilayat;Sanan David;Hou ZheYang Liu
- 期刊名称：《Design automation for embedded systems》 | 2019年第4期
- Hardware description languages;
- Domain-specific languages;
- Isabelle;
- HOL;
- VeriFormal;
- Formal verification;
45.Accurate age counter for wear leveling on non-volatile based main memory

机译：Accurate age counter for wear leveling on non-volatile based main memory
- 作者：Luo Huizhang;Zhuge Qingfeng;Shi LiangLi JianSha Edwin H. -M.
- 期刊名称：《Design automation for embedded systems》 | 2013年第4期
- Non-volatile memory (NVM);
- Wear-leveling;
- Age counter;
- Lifetime;
- Non-uniform Write;
46.MEMCOP: memory-aware co-operative power management governor for mobile games

机译：MEMCOP: memory-aware co-operative power management governor for mobile games
- 作者：Hsieh Chen-Ying;Park Jurn-Gyu;Dutt NikilLim Sung-Soo
- 期刊名称：《Design automation for embedded systems》 | 2018年第2期
- Mobile systems;
- Mobile games;
- DVFS;
- Resource management;
- Heterogeneous architecture;
47.Efficient fuzzy c-means based multilevel image segmentation for brain tumor detection in MR images

机译：Efficient fuzzy c-means based multilevel image segmentation for brain tumor detection in MR images
- 作者：ShanmugaPriya S.;Valarmathi A.
- 期刊名称：《Design automation for embedded systems》 | 2018年第2期
- MR images;
- Medical image segmentation;
- Brain tumor detection;
- Graph cut segmentation;
- Kernel based FCM;
48.Special issue on languages, models and model based design for embedded systems Introduction

机译：Special issue on languages, models and model based design for embedded systems Introduction
- 作者：Radetzki Martin;Jantsch Axel
- 期刊名称：《Design automation for embedded systems》 | 2014年第2期
49.An effective software pipelining algorithm for clustered embedded VLIW processors

机译：An effective software pipelining algorithm for clustered embedded VLIW processors
- 作者：Cagdas Akturan;Margarida F. Jacome
- 期刊名称：《Design automation for embedded systems》 | 2002年第2期
- Clustering;
- Embedded systems;
- Optimizing compilers;
- Retiming;
- Soft real-time applications;
- Software pipelining;
- VLIW processors;
50.Optimal mapping of program overlays onto many-core platforms with limited memory capacity

机译：Optimal mapping of program overlays onto many-core platforms with limited memory capacity
- 作者：Mansureh Shahraki Moghaddam;M. Balakrishnan;Kiyoung Choi
- 期刊名称：《Design automation for embedded systems》 | 2017年第4期
- Application mapping;
- Many-core;
- FPGA;
- Partial reprogramming;
51.Online measurement of water quality and reporting system using prominent rule controller based on aqua care-IOT

机译：Online measurement of water quality and reporting system using prominent rule controller based on aqua care-IOT
- 作者：Parameswari M.;Moses M. Balasingh
- 期刊名称：《Design automation for embedded systems》 | 2018年第2期
- IoT;
- Aqua;
- Rectifier;
- Sensor;
- Water quality;
- Real-time application;
52.Special issue on embedded systems in India

机译：Special issue on embedded systems in India
- 作者：R. Varatharajan
- 期刊名称：《Design automation for embedded systems》 | 2017年第4期
53.Energy efficient scheduling algorithm for the multicore heterogeneous embedded architectures

机译：Energy efficient scheduling algorithm for the multicore heterogeneous embedded architectures
- 作者：Anuradha P.;Rallapalli Hemalatha;Narsimha G.
- 期刊名称：《Design automation for embedded systems》 | 2018年第2期
- EESA;
- Embedded architectures;
- Energy consumptions;
- AIM;
- Internet of things;
54.Processor utilization bounds for real-time systems with precedence constraints

机译：Processor utilization bounds for real-time systems with precedence constraints
- 作者：Hongchao(Stephanie) Liu;Xiaobo Sharon Hu
- 期刊名称：《Design automation for embedded systems》 | 2002年第2期
- Precedence;
- Real-time;
- Utilization bound;
55.Performance analysis and modeling of SQLite embedded databases on flash file systems

机译：Performance analysis and modeling of SQLite embedded databases on flash file systems
- 作者：Ouarnoughi Hamza;Boukhobza Jalil;Olivier PierrePlassart LoicBellatreche Ladjel
- 期刊名称：《Design automation for embedded systems》 | 2013年第4期
- Embedded databases;
- NAND flash memory;
- Flash file systems;
- SQLite;
- JFFS2;
- UBIFS;
- Performance;
- Modeling;
56.The system-on-a-chip lock cache

机译：The system-on-a-chip lock cache
- 作者：Bilge E. S. Akgul;Vincent J. Mooney III
- 期刊名称：《Design automation for embedded systems》 | 2002年第2期
- Lock synchronization;
- Multiprocessor;
- RTOS;
- Shared-memory;
- SoC;
- Synchronization;
57.A novel algorithm for real-time framework in multiprocessor environment

机译：A novel algorithm for real-time framework in multiprocessor environment
- 作者：Joel Josephson Pottipadu;R. Ramesh
- 期刊名称：《Design automation for embedded systems》 | 2017年第4期
- PSO;
- Cuckoo search;
- LABVIEW;
- Fuzzy logic;
- Multiprocessor environment;
58.Towards SoC Validation Through Prototyping: A Systematic Approach Based on Reconfigurable Platform

机译：Towards SoC Validation Through Prototyping: A Systematic Approach Based on Reconfigurable Platform
- 作者：Arif Sasongko;Amer Baghdadi;Frederic RousseauAhmed Amine Jerraya
- 期刊名称：《Design automation for embedded systems》 | 2003年第3期
- Reconfigurable Platform;
- Assignment;
- Configuration;
- Adaptation;
- Targeting;
59.A distributed algorithm to schedule TSCH links under the SINR model

机译：A distributed algorithm to schedule TSCH links under the SINR model
- 作者：da Silva Jose Carlos;Assis Flavio
- 期刊名称：《Design automation for embedded systems》 | 2019年第2期
- Industrial sensor networks;
- TSCH;
- Scheduling;
- SINR;
60.FPGA implementation of an optimized key expansion module of AES algorithm for secure transmission of personal ECG signals

机译：FPGA implementation of an optimized key expansion module of AES algorithm for secure transmission of personal ECG signals
- 作者：Kumar Thanikodi Manoj;Karthigaikumar Palanivel
- 期刊名称：《Design automation for embedded systems》 | 2018年第2期
- AES;
- FPGA;
- Encryption;
- Decryption;
- Propagation delay;
- Key expansion;
- Electro cardiogram;
- Biomedical;
61.Special issue with selected papers from 2017 Brazilian Symposium on Computer Engineering (SBESC 2017)

机译：Special issue with selected papers from 2017 Brazilian Symposium on Computer Engineering (SBESC 2017)
- 作者：Miranda Nacif Jose Augusto;Oyamada Marcio Seiji
- 期刊名称：《Design automation for embedded systems》 | 2019年第2期
62.Reducing the complexity of instruction-level power models for VLIW processors

机译：Reducing the complexity of instruction-level power models for VLIW processors
- 作者：A. Bona;M. Sami;D. SciutoC. SilvanoV. ZaccariaR. Zafalon
- 期刊名称：《Design automation for embedded systems》 | 2006年第1期
- Low-power design;
- Power modeling;
- VLIW architectures;
63.Subclass based parallel learning neural network for classification of masses in mammograms

机译：Subclass based parallel learning neural network for classification of masses in mammograms
- 作者：Sivakrithika V.;Dinakaran K.
- 期刊名称：《Design automation for embedded systems》 | 2018年第2期
- Multiple neural networks;
- Mammograms;
- Computer aided diagnosis;
- Shape feature;
- Margin feature;
- Texture feature;
- Classification;
64.3-D floorplanning: simulated annealing and greedy placement methods for reconfigurable computing systems

机译：3-D floorplanning: simulated annealing and greedy placement methods for reconfigurable computing systems
- 作者：Kiarash Bazargan;Ryan Kastner;Majid Sarrafzadeh
- 期刊名称：《Design automation for embedded systems》 | 2000年第4期
- Reconfigurable computing;
- Floorplanning;
- Simulated annealing;
65.Enabling FPGA routing configuration sharing in dynamic partial reconfiguration

机译：Enabling FPGA routing configuration sharing in dynamic partial reconfiguration
- 作者：Al Farisi Brahim;Heyse Karel;Bruneel KarelCardoso JoaoStroobandt Dirk
- 期刊名称：《Design automation for embedded systems》 | 2015年第2期
- FPGA;
- Routing;
- Dynamic partial reconfiguration;
66.Interlanguage communication synthesis for heterogeneous specifications

机译：Interlanguage communication synthesis for heterogeneous specifications
- 作者：Fabiano Hessel;Pascal Coste;Philippe Le MarrecNacer-Eddine ZergainohGabriela NicolescuJean-Marc DaveauAhmed Jerraya
- 期刊名称：《Design automation for embedded systems》 | 2000年第4期
- Multilanguage specifications;
- Communication interface synthesis;
- Multilanguage codesign;
67.Progressive and explicit refinement of scheduling for multidimensional data-flow applications using UML MARTE

机译：Progressive and explicit refinement of scheduling for multidimensional data-flow applications using UML MARTE
- 作者：Glitia Calin;DeAntoni Julien;Mallet FredericMillo Jean-VivienBoulet PierreGamatie Abdoulaye
- 期刊名称：《Design automation for embedded systems》 | 2015年第2期
68.Architectural re-engineering of Janus using object modeling and rapid prototyping

机译：Architectural re-engineering of Janus using object modeling and rapid prototyping
- 作者：Valdis Berzins;Man-Tak Shing;LuqiMichael SalutoJulian Williams
- 期刊名称：《Design automation for embedded systems》 | 2000年第4期
- Computer-aided prototyping;
- Software re-engineering;
- Software evolution;
- Object-oriented architecture;
- Combat simulation;
69.Transaction-level modeling for architectural and power analysis of PowerPC and CoreConnect-based systems

机译：Transaction-level modeling for architectural and power analysis of PowerPC and CoreConnect-based systems
- 作者：Nagu Dhanwada;Reinaldo A. Bergamaschi;William W. DunganIndira NairPaul GramannWilliam E. DoughertyIng-Chao Lin
- 期刊名称：《Design automation for embedded systems》 | 2006年第3期
- SystemC;
- Transaction level modeling;
- Architecture modeling;
- Power analysis;
- PowerPC;
- CoreConnect;
70.A fast and accurate hybrid fault injection platform for transient and permanent faults

机译：A fast and accurate hybrid fault injection platform for transient and permanent faults
- 作者：Sartor Anderson L.;Becker Pedro H. E.;Beck Antonio C. S.
- 期刊名称：《Design automation for embedded systems》 | 2019年第2期
- Fault injection;
- Reliability;
- RTL simulation;
- Gate-level simulation;
- Soft errors;
- Permanent faults;
71.LSB-Tree: a log-structured B-Tree index structure for NAND flash SSDs

机译：LSB-Tree: a log-structured B-Tree index structure for NAND flash SSDs
- 作者：Kim Bo-kyeong;Lee Dong-Ho
- 期刊名称：《Design automation for embedded systems》 | 2015年第2期
- B-Tree;
- Index structure;
- Access method;
- NAND flash memory;
- Solid state drive;
72.Data pattern aware FTL for SLC plus MLC hybrid SSD

机译：Data pattern aware FTL for SLC plus MLC hybrid SSD
- 作者：Kwon Se Jin;Chung Tae-Sun
- 期刊名称：《Design automation for embedded systems》 | 2015年第2期
- Hybrid SSD;
- Flash memory;
- FTL;
- Middleware;
73.The fast evolving landscape of on-chip communication

机译：The fast evolving landscape of on-chip communication
- 作者：Bertozzi Davide;Dimitrakopoulos Giorgos;Flich JoseSonntag Soeren
- 期刊名称：《Design automation for embedded systems》 | 2015年第2期
- Network on chip;
- Microarchitecture;
- Physical integration;
- Optical NoCs;
- Wireless NoCs;
- Virtualization;
74.The REAR framework for emulation and analysis of embedded hard real-time systems

机译：The REAR framework for emulation and analysis of embedded hard real-time systems
- 作者：Stefan Petters;Annette Muth;Thomas KollochThomas HopfnerFranz FischerGeorg Farber
- 期刊名称：《Design automation for embedded systems》 | 2000年第4期
- Rapid prototyping;
- SDL;
- Hard real-time;
- Timing constraints;
- Schedulability analysis;
- WCET-analysis;
- IPC;
- Design automation;
75.An iterative algorithm for hardware-software partitioning, hardware design space exploration and scheduling

机译：An iterative algorithm for hardware-software partitioning, hardware design space exploration and scheduling
- 作者：Karam S. Chatha;Ranga Vemuri
- 期刊名称：《Design automation for embedded systems》 | 2000年第4期
- Hardware software partitioning;
- Scheduling;
- Dynamic reconfiguration;
76.A SystemC-only design methodology and the CINE-IP multimedia platform

机译：A SystemC-only design methodology and the CINE-IP multimedia platform
- 作者：Guido Araujo;Edna Barros;Elmar MelcherRodolfo AzevedoKarina R. G. da SilvaBruno PradoManoel E. Lima
- 期刊名称：《Design automation for embedded systems》 | 2006年第3期
77.Design methodology for on-chip-based processor debugger

机译：Design methodology for on-chip-based processor debugger
- 作者：Park Hyeongbae;Xu Jingzhe;Ji Jeong-HoonPark JusungWoo Gyun
- 期刊名称：《Design automation for embedded systems》 | 2015年第2期
- Processor debugger;
- On-chip debugger;
- JTAG;
- GDB;
- Source-level functional simulation;
78.Rapid prototyping of embedded hardware/software systems

机译：Rapid prototyping of embedded hardware/software systems
- 作者：Klaus Buchenrieder
- 期刊名称：《Design automation for embedded systems》 | 2000年第4期
79.LusSy: An open tool for the analysis of systems-on-a-chip at the transaction level

机译：LusSy: An open tool for the analysis of systems-on-a-chip at the transaction level
- 作者：Matthieu Moy;Florence Maraninchi;Laurent Maillet-Contoz
- 期刊名称：《Design automation for embedded systems》 | 2006年第3期
- SystemC;
- Formal verification;
- Model-checking;
- Semantics;
- Pinapa;
- Lussy;
80.Communication performance models for architecture-precise prototyping of real-time embedded systems

机译：Communication performance models for architecture-precise prototyping of real-time embedded systems
- 作者：Frank-Michael Renner;Jurgen Becker;Manfred Glesner
- 期刊名称：《Design automation for embedded systems》 | 2000年第4期
81.Redundancy optimization for error recovery in digital microfluidic biochips

机译：Redundancy optimization for error recovery in digital microfluidic biochips
- 作者：Alistar Mirela;Pop Paul;Madsen Jan
- 期刊名称：《Design automation for embedded systems》 | 2015年第2期
- Microfluidic biochips;
- Electrowetting on dielectric;
- Droplet-based biochips;
- Computer-aided design;
- Fault-tolerance;
- Runtime recovery;
82.A survey on partitioning models, solution algorithms and algorithm parallelization for hardware/software co-design

机译：A survey on partitioning models, solution algorithms and algorithm parallelization for hardware/software co-design
- 作者：Hou Neng;Yan Xiaohu;He Fazhi
- 期刊名称：《Design automation for embedded systems》 | 2019年第2期
- Hardware;
- software co-design;
- software partitioning;
- Partition model;
- Solution algorithm;
- Algorithm parallelization;
83.Design, synthesis and verification of a smart imaging core using SystemC

机译：Design, synthesis and verification of a smart imaging core using SystemC
- 作者：Wido Kruijtzer;Victor Reyes;Winfried Gehrke
- 期刊名称：《Design automation for embedded systems》 | 2006年第3期
- System level design;
- SystemC;
- High-level synthesis;
- System simulation;
- Image processing;
84.Scheduling for concept-oriented rapid prototyping

机译：Scheduling for concept-oriented rapid prototyping
- 作者：Alexander Burst;Michael Wolff;Bernhard SpitzerKlaus D. Muller-Glaser
- 期刊名称：《Design automation for embedded systems》 | 2000年第4期
- Rate-monotonic scheduling;
- Pseudo-rate scheduling;
- Rapid prototyping;
- Code generation;
- CASE data interchange format CDIF;
85.Tandem queue weighted fair smooth scheduling

机译：Tandem queue weighted fair smooth scheduling
- 作者：Chrysos Nikolaos;Neeser Fredy;Gusat MitchClauberg RolfMinkenberg CyrielBasso ClaudeValk Kenneth
- 期刊名称：《Design automation for embedded systems》 | 2014年第4期
86.Run-time parallelization switching for resource optimization on an MPSoC platform

机译：Run-time parallelization switching for resource optimization on an MPSoC platform
- 作者：Abbas Naeem;Ma Zhe
- 期刊名称：《Design automation for embedded systems》 | 2014年第4期
- Resource optimization;
- Parallelization;
- MPEG-4 encoder;
- MPSoC;
87.Special Issue on 'The 7th International Workshop on Interconnection Network Architecture: On-Chip, Multi-Chip' and Special Issue on 'Self Adaptive Networked Embedded Systems'

机译：Special Issue on "The 7th International Workshop on Interconnection Network Architecture: On-Chip, Multi-Chip" and Special Issue on "Self Adaptive Networked Embedded Systems"
- 作者：Bertozzi Davide;Dimitrakopoulos Giorgos;Sonntag Soeren
- 期刊名称：《Design automation for embedded systems》 | 2014年第4期
88.Rapid system prototyping for high performance reconfigurable computing

机译：Rapid system prototyping for high performance reconfigurable computing
- 作者：Vijay Jain;S. Shrivastava
- 期刊名称：《Design automation for embedded systems》 | 2000年第4期
89.Private reliability environments for efficient fault-tolerance in CGRAs

机译：Private reliability environments for efficient fault-tolerance in CGRAs
- 作者：Jafri Syed M. A. H.;Piestrak Stanislaw J.;Hemani AhmedPaul KolinPlosila JuhaTenhunen Hannu
- 期刊名称：《Design automation for embedded systems》 | 2014年第4期
- Fault-tolerance;
- Reliability;
- Adaptive systems;
- Energy-aware systems;
- Scrubbing;
- Reconfiguration;
- Coarse grained reconfigurable arrays;
90.Phase distance mapping: a phase-based cache tuning methodology for embedded systems

机译：Phase distance mapping: a phase-based cache tuning methodology for embedded systems
- 作者：Adegbija Tosiron;Gordon-Ross Ann;Munir Arslan
- 期刊名称：《Design automation for embedded systems》 | 2014年第4期
- Cache tuning;
- Configurable architectures;
- Configurable hardware;
- Dynamic reconfiguration;
- Phase-based tuning;
- Energy delay product;
91.Application-aware deduplication for performance improvement of flash memory

机译：Application-aware deduplication for performance improvement of flash memory
- 作者：Paik Joon-Young;Chung Tae-Sun;Cho Eun-Sun
- 期刊名称：《Design automation for embedded systems》 | 2015年第2期
- NAND flash memory;
- Deduplication;
- Loop transformations;
- Performance improvement;
92.Developing self-adaptive automotive systems On the integration of service-orientation into automotive development processes

机译：Developing self-adaptive automotive systems On the integration of service-orientation into automotive development processes
- 作者：Wagner Marco;Meroth Ansgar;Zoebel Dieter
- 期刊名称：《Design automation for embedded systems》 | 2014年第4期
93.Centaur: a hybrid network-on-chip architecture utilizing micro-network fusion

机译：Centaur: a hybrid network-on-chip architecture utilizing micro-network fusion
- 作者：Lee Junghee;Nicopoulos Chrysostomos;Lee Hyung GyuKim Jongman
- 期刊名称：《Design automation for embedded systems》 | 2014年第4期
- Networks-on-chip;
- Interconnection networks;
- Segregated/separated networks;
94.RIDER: Ring deflection router with buffers

机译：RIDER: Ring deflection router with buffers
- 作者：Oxman Gadi;Weiss Shlomo
- 期刊名称：《Design automation for embedded systems》 | 2014年第4期
- NoC;
- Router architecture;
- Deflection routing;
95.Randomizing task placement and route selection do not randomize traffic (enough)

机译：Randomizing task placement and route selection do not randomize traffic (enough)
- 作者：Prisacari Bogdan;Rodriguez German;Jokanovic AnaMinkenberg Cyriel
- 期刊名称：《Design automation for embedded systems》 | 2014年第4期
- Dragonfly networks;
- Network throughput;
- Uniform traffic;
- Random task placement;
- High performance computing;
96.Transformations of a 3D image reconstruction algorithm for data transfer and storage optimisation

机译：Transformations of a 3D image reconstruction algorithm for data transfer and storage optimisation
- 作者：Tanja Van Achteren;Marleen Ade;Rudy LauwereinsMarc ProesmansLuc Van GoolJan BormansFrancky Catthoor
- 期刊名称：《Design automation for embedded systems》 | 2000年第4期
- Code transformations;
- Data locality;
- Image processing;
97.Automated design space exploration for FPGA-based heterogeneous interconnects

机译：Automated design space exploration for FPGA-based heterogeneous interconnects
- 作者：Cilardo A.;Fusella E.;Gallo L.Mazzeo A.Mazzocca N.
- 期刊名称：《Design automation for embedded systems》 | 2014年第4期
- Systems-on-chip (SoCs);
- On-chip interconnects;
- Architecture exploration;
98.System level virtual prototyping of DSP SOCs using grammar based approach

机译：System level virtual prototyping of DSP SOCs using grammar based approach
- 作者：Ahmed Hemani;Abhijit Kumar Deb;Johnny ObergAdam PostulaDan LindqvistBjorn Fjellborg
- 期刊名称：《Design automation for embedded systems》 | 2000年第4期
- DSP ASIC virtual prototyping;
- Cosimulation;
- Grammar synthesis;
- Global control;

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有出版物经营许可证

客服微信
服务号