default search action

combined dblp search
author search
venue search
publication search

ask others

Design Automation for Embedded Systems, Volume 23

> Home > Journals > Design Automation for Embedded Systems

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 23, Numbers 1-2, June 2019

Special Issue: SBESC Embedded Systems 2017

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/dafes/NacifO19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dafes/NacifO19
José Augusto Miranda Nacif, Márcio Seiji Oyamada:
Special issue with selected papers from 2017 Brazilian Symposium on Computer Engineering (SBESC 2017). 1-2
- view
  authority control:
- export record
  dblp key:
  - journals/dafes/SartorBB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dafes/SartorBB19
Anderson Luiz Sartor, Pedro Henrique Exenberger Becker, Antonio C. S. Beck:
A fast and accurate hybrid fault injection platform for transient and permanent faults. 3-19
- view
  authority control:
- export record
  dblp key:
  - journals/dafes/SilvaA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dafes/SilvaA19
José Carlos da Silva, Flávio Assis:
A distributed algorithm to schedule TSCH links under the SINR model. 21-39
- view
  authority control:
- export record
  dblp key:
  - journals/dafes/PiresAA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dafes/PiresAA19
Ivan Luiz Pedroso Pires, Marco Antonio Zanata Alves, Luiz Carlos Pessoa Albini:
Trace-driven and processing time extensions for Noxim simulator. 41-55
- view
  authority control:
- export record
  dblp key:
  - journals/dafes/HouYH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dafes/HouYH19
Neng Hou, Xiaohu Yan, Fazhi He:
A survey on partitioning models, solution algorithms and algorithm parallelization for hardware/software co-design. 57-77

Volume 23, Numbers 3-4, December 2019

- view
  authority control:
- export record
  dblp key:
  - journals/dafes/MayankMS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dafes/MayankMS19
Jaishree Mayank, Arijit Mondal, Arnab Sarkar:
Control-schedule co-design for fast stabilization in real time systems facing repeated reconfigurations. 79-101
- view
  authority control:
- export record
  dblp key:
  - journals/dafes/RuaroCFM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dafes/RuaroCFM19
Marcelo Ruaro, Luciano L. Caimi, Vinicius Fochi, Fernando Gehm Moraes:
Memphis: a framework for heterogeneous many-core SoCs generation and validation. 103-122
- view
  authority control:
- export record
  dblp key:
  - journals/dafes/KhanSHY19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dafes/KhanSHY19
Wilayat Khan, David Sanán, Zhe Hou, Yang Liu:
On embedding a hardware description language in Isabelle/HOL. 123-151
- view
  authority control:
- export record
  dblp key:
  - journals/dafes/HasanagicFLBTO19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dafes/HasanagicFLBTO19
Miran Hasanagic, Tommaso Fabbri, Peter Gorm Larsen, Victor Bandur, Peter W. V. Tran-Jørgensen, Julien Ouy:
Code generation for distributed embedded systems with VDM-RT. 153-177
- view
  authority control:
- export record
  dblp key:
  - journals/dafes/AnwarRAKB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dafes/AnwarRAKB19
Muhammad Waseem Anwar, Muhammad Rashid, Farooque Azam, Muhammad Kashif, Wasi Haider Butt:
A model-driven framework for design and verification of embedded systems through SystemVerilog. 179-223

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.