default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDesign Automation for Embedded Systems, Volume 20
Volume 20, Number 1, March 2016
- Alessandro Trindade
, Lucas C. Cordeiro:
Applying SMT-based verification to hardware/software partitioning in embedded systems. 1-19 - Ricardo Santos, Renan A. Marks, Renato Santos, Felipe Araujo:
Instruction set independent program encoding. 21-45 - Marcos Aurélio Pinto Cunha, Nicolas Fournel, Frédéric Pétrot:
Deterministic reversible MPSoC debugger based on virtual platform execution traces. 47-63 - Wei Zang, Ann Gordon-Ross:
CaPPS: cache partitioning with partial sharing for multi-core embedded systems. 65-92
Volume 20, Number 2, June 2016
- Marco Aurélio Wehrmeister, Ricardo Santos Ferreira:
SBESC 2014 guest editors' introduction. 93-94 - Iury Valente de Bessa, Hussama Ismail, Lucas C. Cordeiro, João Edgar Chaves Filho:
Verification of fixed-point digital controllers using direct and delta forms realizations. 95-126 - Marcela Leite, Marco Aurélio Wehrmeister:
System-level design based on UML/MARTE for FPGA-based embedded real-time systems. 127-153 - Marcelo Brandalero, Antonio Carlos Schneider Beck:
Potential analysis of a superscalar core employing a reconfigurable array for improving instruction-level parallelism. 155-169
Volume 20, Number 3, September 2016
- Sadraque S. Viana, Luiz Filipe M. Vieira, Marcos Augusto M. Vieira, José Augusto Miranda Nacif, Alex Borges Vieira:
Survey on the design of underwater sensor nodes. 171-190 - Mehdi Taassori, Meysam Taassori, Sener Uysal:
MFLP: a low power encoding for on chip networks. 191-210 - Gaetana Sapienza, Goran Brestovac, Robi Grgurina, Tiberiu Seceleanu:
On applying multiple criteria decision analysis in embedded systems design. 211-238 - Emanuele Cannella, Todor P. Stefanov:
Energy efficient semi-partitioned scheduling for embedded multiprocessor streaming systems. 239-266
Volume 20, Number 4, December 2016
- Gabriel L. Nazar:
SBESC 2015 guest editors' introduction. 267 - Lisane B. de Brisolara, Paulo Roberto Ferreira Jr., Leandro Soares Indrusiak:
Application modeling for performance evaluation on event-triggered wireless sensor networks. 269-287 - José Claudio Vieira S. Junior, Alisson V. Brito, Luis Feliphe S. Costa, Tiago Pereira do Nascimento, Elmar Uwe Kurt Melcher:
Testing real-time embedded systems using high level architecture. 289-309 - Wei Quan, Andy D. Pimentel:
A hierarchical run-time adaptive resource allocation framework for large-scale MPSoC systems. 311-339 - Amit Kulkarni, Dirk Stroobandt:
MiCAP-Pro: a high speed custom reconfiguration controller for Dynamic Circuit Specialization. 341-359
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.
last updated on 2024-10-31 20:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
