| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Bruno Albertini, Sandro Rigo, Guido Araujo |
Computational reflection and its application to platform verification.  |
Design Autom. for Emb. Sys.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej Ruta, R. Brzoza-Woch, Krzysztof Zielinski |
On fast development of FPGA-based SOA services - machine vision case study. |
Design Autom. for Emb. Sys. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena Maftei, Paul Pop, Jan Madsen |
Routing-based synthesis of digital microfluidic biochips. |
Design Autom. for Emb. Sys. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Jacques Lecler, Gilles Baillieu |
Application driven network-on-chip architecture exploration & refinement for a complex SoC. |
Design Autom. for Emb. Sys. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nadav Rotem, Yosi Ben-Asher |
Combining static and dynamic array detection for binary synthesis with multiple memory ports. |
Design Autom. for Emb. Sys. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mostafa Kishani, Hamid R. Zarandi, Hossein Pedram, Alireza Tajary, Mohsen Raji, Behnam Ghavami |
HVD: horizontal-vertical-diagonal error detecting and correcting code to protect against with soft errors. |
Design Autom. for Emb. Sys. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Hansson, Kees Goossens |
A quantitative evaluation of a Network on Chip design flow for multi-core consumer multimedia applications. |
Design Autom. for Emb. Sys. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Beniamin Apopei, Tony J. Dodd |
FPGA automatic re-synchronisation for pipelined, floating point control systems applications. |
Design Autom. for Emb. Sys. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cássio L. Rodrigues, Karina R. G. da Silva, Henrique do N. Cunha, Jorge C. A. de Figueiredo, Dalton Dario Serey Guerrero, Elmar U. K. Melcher |
Enhancing IP cores specifications using hierarchical composition and set theory. |
Design Autom. for Emb. Sys. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Morandi, Fulvio Risso, Pierluigi Rolando, Silvio Valenti, Paolo Veglia |
Creating portable and efficient packet processing applications. |
Design Autom. for Emb. Sys. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanno Scharwächter, David Kammler, Rainer Leupers, Gerd Ascheid, Heinrich Meyr |
A retargetable framework for compiler/architecture co-development. |
Design Autom. for Emb. Sys. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed B. Abdelhalim, Serag E.-D. Habib |
An integrated high-level hardware/software partitioning methodology. |
Design Autom. for Emb. Sys. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kun-Chih Chen, Shu-Yen Lin, Wen-Chung Shen, An-Yeu Wu |
A scalable built-in self-recovery (BISR) VLSI architecture and design methodology for 2D-mesh based on-chip networks. |
Design Autom. for Emb. Sys. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Se Jin Kwon, Arun Ranjitkar, Young-Bae Ko, Tae-Sun Chung |
FTL algorithms for NAND-type flash memories. |
Design Autom. for Emb. Sys. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dongkun Shin, Woojoong Kim, Soontae Kwon, Tae Hee Han |
Communication-aware VFI partitioning for GALS-based networks-on-chip. |
Design Autom. for Emb. Sys. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kees Goossens, Radu Marculescu |
Special Issue on Networks-on-Chips: Design Flows and Case Studies. |
Design Autom. for Emb. Sys. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Henkel, Sri Parameswaran |
CASES 2009 guest editor's introduction. |
Design Autom. for Emb. Sys. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Samarjit Chakraborty, Nicolas Halbwachs |
EMSOFT 2009 guest editors' introduction. |
Design Autom. for Emb. Sys. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ganghee Lee, Yongjin Ahn, Seokhyun Lee, Jeongki Son, Kiwook Yoon, Kiyoung Choi |
Communication architecture design for reconfigurable multimedia SoC platform. |
Design Autom. for Emb. Sys. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingsong Chen, Prabhat Mishra, Dhrubajyoti Kalita |
Efficient test case generation for validation of UML activity diagrams. |
Design Autom. for Emb. Sys. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ismail Assayad, Sergio Yovine |
A scheduler synthesis methodology for joint SW/HW design exploration of SoC. |
Design Autom. for Emb. Sys. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yangsup Lee, Sanghyuk Jung, Min Choi, Yong Ho Song |
An efficient management scheme for updating redundant information in flash-based storage system. |
Design Autom. for Emb. Sys. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Pouzet, Pascal Raymond |
Modular static scheduling of synchronous data-flow networks - An efficient symbolic representation. |
Design Autom. for Emb. Sys. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Melhem Tawk, Khaled Z. Ibrahim, Smaïl Niar |
Parallel application sampling for accelerating MPSoC simulation. |
Design Autom. for Emb. Sys. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Garo Bournoutian, Alex Orailoglu |
Reducing impact of cache miss stalls in embedded systems by extracting guaranteed independent instructions. |
Design Autom. for Emb. Sys. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena Maftei, Paul Pop, Jan Madsen |
Tabu search-based synthesis of digital microfluidic biochips with dynamically reconfigurable non-rectangular devices. |
Design Autom. for Emb. Sys. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Guironnet de Massas, Frédéric Pétrot |
Evaluation of the implementation cost of cache coherence protocols using omniscient actions. |
Design Autom. for Emb. Sys. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Brandon K. Eames, Sandeep Neema, Rohit Saraswat |
DesertFD: a finite-domain constraint based tool for design space exploration. |
Design Autom. for Emb. Sys. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Rosenstiel, Kazutoshi Wakabayashi |
CODES+ISSS 2009 guest editors' introduction. |
Design Autom. for Emb. Sys. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduardo Tavares, Paulo Romero Martins Maciel, Pedro Dallegrave, B. Silva, Tiago Falcão, Bruno Costa e Silva Nogueira, Gustavo Rau de Almeida Callou, P. R. F. Cunha |
Model-driven software synthesis for hard real-time applications with energy constraints. |
Design Autom. for Emb. Sys. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chengmo Yang, Mingjing Chen, Alex Orailoglu |
Squashing code size in microcoded IPs while delivering high decompression speed. |
Design Autom. for Emb. Sys. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hyotaek Shim, Dawoon Jung, Jaegeuk Kim, Jin-Soo Kim, Seungryoul Maeng |
Co-optimization of buffer layer and FTL in high-performance flash-based storage systems. |
Design Autom. for Emb. Sys. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin He, Jorgen Peddersen, Sri Parameswaran |
LOP: A packet classification architecture with higher throughput and lower power consumption than TCAM. |
Design Autom. for Emb. Sys. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Jung, Frank Maker III, Tang Lung Cheung, Xin Liu, Venkatesh Akella |
Markov decision process (MDP) framework for software power optimization using call profiles on mobile phones. |
Design Autom. for Emb. Sys. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinaldo A. Bergamaschi |
ESWEEK 2009 special issue introduction. |
Design Autom. for Emb. Sys. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Lampka, Simon Perathoner, Lothar Thiele |
Analytic real-time analysis and timed automata: a hybrid methodology for the performance analysis of embedded real-time systems. |
Design Autom. for Emb. Sys. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Brisk, Ajay K. Verma, Paolo Ienne |
Optimistic chordal coloring: a coalescing heuristic for SSA form programs. |
Design Autom. for Emb. Sys. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Faes, Peter Bertels, Jan Van Campenhout, Dirk Stroobandt |
Using method interception for hardware/software co-development. |
Design Autom. for Emb. Sys. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Ali Ghodrat, Tony Givargis, Alex Nicolau |
Optimizing control flow in loops using interval and dependence analysis. |
Design Autom. for Emb. Sys. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Sun, Wei Zhang 0002 |
Improving Java performance and energy dissipation through efficient code caching. |
Design Autom. for Emb. Sys. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Javed Absar, Praveen Raghavan, Andy Lambrechts, Min Li, Murali Jayapala, Francky Catthoor |
Locality optimization in a compiler for wireless applications. |
Design Autom. for Emb. Sys. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikil Dutt, Jürgen Teich |
CODES+ISSS 2007 guest editors' introduction. |
Design Autom. for Emb. Sys. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Brett H. Meyer, Donald E. Thomas |
Rethinking the synthesis of buses, data mapping, and memory allocation for MPSoC. |
Design Autom. for Emb. Sys. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Seungjae Baek, Jongmoo Choi, Seongjun Ahn, Donghee Lee, Sam H. Noh |
Design and implementation of a uniformity-improving page allocation scheme for flash-based storage systems. |
Design Autom. for Emb. Sys. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinaldo A. Bergamaschi, Wolfgang Rosenstiel |
ESWEEK 2007 special issue introduction. |
Design Autom. for Emb. Sys. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Huynh Phung Huynh, Joon Edward Sim, Tulika Mitra |
An efficient framework for dynamic reconfiguration of instruction-set customization. |
Design Autom. for Emb. Sys. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Perathoner, Ernesto Wandeler, Lothar Thiele, Arne Hamann, Simon Schliecker, Rafik Henia, Razvan Racu, Rolf Ernst, Michael González Harbour |
Influence of different abstractions on the performance analysis of distributed hard real-time systems. |
Design Autom. for Emb. Sys. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Ju, Yun Liang, Samarjit Chakraborty, Tulika Mitra, Abhik Roychoudhury |
Cache-aware optimization of BAN applications. |
Design Autom. for Emb. Sys. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven S. Lumetta, Nacho Navarro |
CASES 2007 guest editors' introduction. |
Design Autom. for Emb. Sys. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lance Saldanha, Roman L. Lysecky |
Float-to-fixed and fixed-to-float hardware converters for rapid hardware/software partitioning of floating point software applications to static and dynamic fixed point coprocessors. |
Design Autom. for Emb. Sys. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph M. Kirsch, Reinhard Wilhelm |
EMSOFT 2007 guest editors' introduction. |
Design Autom. for Emb. Sys. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Shariful Islam, Neeraj Suri, András Balogh, György Csertán, András Pataricza |
An optimization based design for integrated dependable real-time embedded systems. |
Design Autom. for Emb. Sys. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Cheung, Xi Chen, Harry Hsieh, Abhijit Davare, Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe |
Runtime deadlock analysis for system level design. |
Design Autom. for Emb. Sys. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Minyi Guo, Linfeng Pan, Yanqin Yang, Meng Wang, Zili Shao |
An effective state-based predictive approach for leakage energy management on embedded systems. |
Design Autom. for Emb. Sys. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wu Jigang, Thambipillai Srikanthan, Tao Jiao |
Algorithmic aspects for functional partitioning and scheduling in hardware/software co-design. |
Design Autom. for Emb. Sys. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tevfik Bultan, Constance L. Heitmeyer |
Applying infinite state model checking and other analysis techniques to tabular requirements specifications of safety-critical systems. |
Design Autom. for Emb. Sys. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Junfeng Fan, Kazuo Sakiyama, Ingrid Verbauwhede |
Elliptic curve cryptography on embedded multicore systems. |
Design Autom. for Emb. Sys. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine H. Gebotys, Brian A. White |
EM alignment using phase for secure embedded systems. |
Design Autom. for Emb. Sys. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gul N. Khan, Usman Ahmed |
CAD tool for hardware software co-synthesis of heterogeneous multiple processor embedded architectures. |
Design Autom. for Emb. Sys. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthik Baddam, Mark Zwolinski |
Path switching: a technique to tolerate dual rail routing imbalances. |
Design Autom. for Emb. Sys. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan Mitra, Shinya Umeno |
Specifying and proving properties of timed I/O automata using Tempo. |
Design Autom. for Emb. Sys. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesse Sathre, Joseph Zambreno |
Automated software attack recovery using rollback and huddle. |
Design Autom. for Emb. Sys. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tilman Wolf, Sri Parameswaran |
Guest editorial for special issue on embedded system security. |
Design Autom. for Emb. Sys. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sri Parameswaran, Tilman Wolf |
Embedded systems security - an overview. |
Design Autom. for Emb. Sys. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Mathaikutty, Hiren D. Patel, Sandeep K. Shukla, Axel Jantsch |
SML-Sys: a functional framework with multiple models of computation for modeling heterogeneous system. |
Design Autom. for Emb. Sys. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Mathaikutty, Sandeep K. Shukla |
Mining metadata for composability of IPs from SystemC IP library. |
Design Autom. for Emb. Sys. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Ben Atitallah, Patrice Kadionik, Nouri Masmoudi, Hervé Levi |
FPGA implementation of a HW/SW platform for multimedia embedded systems. |
Design Autom. for Emb. Sys. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Shobha Vasudevan, Vinod Viswanath, Jacob A. Abraham, Jiajin Tu |
Sequential equivalence checking between system level and RTL descriptions. |
Design Autom. for Emb. Sys. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Georgios Keramidas, Alexandros Antonopoulos, Dimitrios N. Serpanos, Stefanos Kaxiras |
Non deterministic caches: a simple and effective defense against side channel attacks. |
Design Autom. for Emb. Sys. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Raimundo S. Barreto, Paulo Romero Martins Maciel, Eduardo Tavares, Romulo Devezas Freitas, Meuse N. Oliveira Jr., Ricardo Massa Ferreira Lima |
A time Petri net-based method for embedded hard real-time software synthesis. |
Design Autom. for Emb. Sys. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | James C. Hoe, Jens Palsberg |
MEMOCODE 2006 guest editors' introduction. |
Design Autom. for Emb. Sys. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Vanderperren, Wolfgang Mueller, Wim Dehaene |
UML for electronic systems design: a comprehensive overview. |
Design Autom. for Emb. Sys. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sang-Il Han, Soo-Ik Chae, Lisane B. de Brisolara, Luigi Carro, Ricardo Reis, Xavier Guerin, Ahmed Amine Jerraya |
Memory-efficient multithreaded code generation from Simulink for heterogeneous MPSoC. |
Design Autom. for Emb. Sys. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Han-Saem Yun, Jihong Kim |
Reward-based voltage scheduling for dynamic-priority hard real-time systems. |
Design Autom. for Emb. Sys. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sören Sonntag, Matthias Gries, Christian Sauer |
SystemQ: Bridging the gap between queuing-based performance evaluation and SystemC. |
Design Autom. for Emb. Sys. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Shampa Chakraverty, Anil Kumar |
A rule-based availability-driven cosynthesis scheme. |
Design Autom. for Emb. Sys. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Shankar Mahadevan, Kashif Virk, Jan Madsen |
ARTS: A SystemC-based framework for multiprocessor Systems-on-Chip modelling. |
Design Autom. for Emb. Sys. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Fummi, Mirko Loghi, Giovanni Perbellini, Massimo Poncino |
SystemC co-simulation for core-based embedded systems. |
Design Autom. for Emb. Sys. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Chulho Shin, Peter Grun, Nizar Romdhane, Christopher K. Lennard, Gabor Madl, Sudeep Pasricha, Nikil Dutt, Mark Noll |
Enabling heterogeneous cycle-based and event-driven simulation in a design flow integrated using the SPIRIT consortium specifications. |
Design Autom. for Emb. Sys. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Youngchul Cho, Nacer-Eddine Zergainoh, Sungjoo Yoo, Ahmed Amine Jerraya, Kiyoung Choi |
Scheduling with accurate communication delay model and scheduler implementation for multiprocessor system-on-chip. |
Design Autom. for Emb. Sys. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristina Silvano, Giovanni Agosta, Gianluca Palermo |
Efficient architecture/compiler co-exploration using analytical models. |
Design Autom. for Emb. Sys. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Karlsson, Petru Eles, Zebo Peng |
Formal verification of component-based designs. |
Design Autom. for Emb. Sys. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinyong Jung, Sungjoo Yoo, Kiyoung Choi |
Fast cycle-approximate MPSoC simulation based on synchronization time-point prediction. |
Design Autom. for Emb. Sys. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Shampa Chakraverty, Anil Kumar |
Erratum: A rule-based availability-driven cosynthesis scheme. |
Design Autom. for Emb. Sys. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinaldo A. Bergamaschi, Wolfgang Rosenstiel |
Second special issue on SystemC. |
Design Autom. for Emb. Sys. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michalis D. Galanis, Athanasios Milidonis, George Theodoridis, Dimitrios Soudris, Costas E. Goutis |
A method for partitioning applications in hybrid reconfigurable architectures. |
Design Autom. for Emb. Sys. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristiano C. de Araujo, Millena Gomes, Edna Barros, Sandro Rigo, Rodolfo Azevedo, Guido Araujo |
Platform designer: An approach for modeling multiprocessor platforms based on SystemC. |
Design Autom. for Emb. Sys. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Krause, Oliver Bringmann, Wolfgang Rosenstiel |
Target software generation: an approach for automatic mapping of SystemC specifications onto real-time operating systems. |
Design Autom. for Emb. Sys. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Wild, Andreas Herkersdorf, Gyoo-Yeong Lee |
TAPES - Trace-based architecture performance evaluation with SystemC. |
Design Autom. for Emb. Sys. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bona, Mariagiovanna Sami, Donatella Sciuto, Cristina Silvano, Vittorio Zaccaria, Roberto Zafalon |
Reducing the complexity of instruction-level power models for VLIW processors. |
Design Autom. for Emb. Sys. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Araujo, Edna Barros, Elmar U. K. Melcher, Rodolfo Azevedo, Karina R. G. da Silva, Bruno Prado, Manoel Eusebio de Lima |
A SystemC-only design methodology and the CINE-IP multimedia platform. |
Design Autom. for Emb. Sys. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Wido Kruijtzer, Víctor Reyes, Winfried Gehrke |
Design, synthesis and verification of a smart imaging core using SystemC. |
Design Autom. for Emb. Sys. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Emre Özer, Andy Nisbet, David Gregg, Owen Callanan |
Estimating data bus size for custom processors in embedded systems. |
Design Autom. for Emb. Sys. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hector Posadas, Jesús Ádamez, Eugenio Villar, Francisco Blasco, F. Escuder |
RTOS modeling in SystemC for real-time embedded SW simulation: A POSIX model. |
Design Autom. for Emb. Sys. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Nagu R. Dhanwada, Reinaldo A. Bergamaschi, William W. Dungan, Indira Nair, Paul Gramann, William E. Dougherty, Ing-Chao Lin |
Transaction-level modeling for architectural and power analysis of PowerPC and CoreConnect-based systems. |
Design Autom. for Emb. Sys. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz |
LusSy: An open tool for the analysis of systems-on-a-chip at the transaction level. |
Design Autom. for Emb. Sys. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Karina R. G. da Silva, Elmar U. K. Melcher, Isaac Maia, Henrique do N. Cunha |
A methodology aimed at better integration of functional verification and RTL design. |
Design Autom. for Emb. Sys. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinaldo A. Bergamaschi, Wolfgang Rosenstiel |
Editors' introduction. |
Design Autom. for Emb. Sys. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-François Nezan, Olivier Déforges, Mickaël Raulet |
Fast Prototyping Methodology for Distributed and Heterogeneous Architectures: Application to Mpeg-4 Video Tools. |
Design Autom. for Emb. Sys. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | José C. Costa, Luis Miguel Silveira, Srinivas Devadas, José Monteiro |
Power Estimation Using Probability Polynomials. |
Design Autom. for Emb. Sys. |
2004 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")