Hardware-software co-design of embedded systems: the POLIS approach
Hardware-software co-design of embedded systems: the POLIS approach
Surviving the SOC revolution: a guide to platform-based design
Surviving the SOC revolution: a guide to platform-based design
Formal Models for Embedded System Design
IEEE Design & Test
HiPC '02 Proceedings of the 9th International Conference on High Performance Computing
Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design
Application of design patterns for hardware design
Proceedings of the 40th annual Design Automation Conference
Extending Platform-Based Design to Network on Chip Systems
VLSID '03 Proceedings of the 16th International Conference on VLSI Design
The Universal Configurable Block/Machine—An Approach for a Configurable SoC-Architecture
The Journal of Supercomputing
System-Level Performance Analysis in SystemC
Proceedings of the conference on Design, automation and test in Europe - Volume 1
Proceedings of the 1st conference on Computing frontiers
A First Step Towards Hw/Sw Partitioning of UML Specifications
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Strategies for the integration of hardware and software IP components in embedded systems-on-chip
Integration, the VLSI Journal - Special issue: IP and design reuse
Application of the object-oriented principles for hardware and embedded system design
Integration, the VLSI Journal
Toward a semantic anchoring infrastructure for domain-specific modeling languages
Proceedings of the 5th ACM international conference on Embedded software
ACM Transactions on Embedded Computing Systems (TECS)
A Systematic Approach to Exploring Embedded System Architectures at Multiple Abstraction Levels
IEEE Transactions on Computers
Testing ThumbPod: Softcore bugs are hard to find
HLDVT '03 Proceedings of the Eighth IEEE International Workshop on High-Level Design Validation and Test Workshop
ASP-DAC '06 Proceedings of the 2006 Asia and South Pacific Design Automation Conference
Industrially proving the SPIRIT consortium specifications for design chain integration
Proceedings of the conference on Design, automation and test in Europe: Designers' forum
Multi-sensor configurable platform for automotive applications
Proceedings of the conference on Design, automation and test in Europe: Designers' forum
Electronic System, Platform, and Package Codesign
IEEE Design & Test
Dynamic and formal verification of embedded systems: a comparative survey
International Journal of Parallel Programming
A Platform-Based Taxonomy for ESL Design
IEEE Design & Test
Low-g accelerometer fast prototyping for automotive applications
Proceedings of the conference on Design, automation and test in Europe
Model driven engineering for MPSOC design space exploration
Proceedings of the 20th annual conference on Integrated circuits and systems design
Object recognition system-on-chip using the support vector machines
EURASIP Journal on Applied Signal Processing
Application-aware snoop filtering for low-power cache coherence in embedded multiprocessors
ACM Transactions on Design Automation of Electronic Systems (TODAES)
TXM: an agile HW/SW development methodology for building medical devices
ACM SIGSOFT Software Engineering Notes
Amdahl's law revisited for single chip systems
International Journal of Parallel Programming
An open-source binary utility generator
ACM Transactions on Design Automation of Electronic Systems (TODAES)
ACM SIGSOFT Software Engineering Notes
Synthesis of object-oriented descriptions modeled at functional-level
ICECS'03 Proceedings of the 2nd WSEAS International Conference on Electronics, Control and Signal Processing
Platform-based software design flow for heterogeneous MPSoC
ACM Transactions on Embedded Computing Systems (TECS)
Energy/area/delay tradeoffs in the physical design of on-chip segmented bus architecture
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Proceedings of the 22nd Annual Symposium on Integrated Circuits and System Design: Chip on the Dunes
A flexible Java framework for embedded systems
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness
DS-RT '09 Proceedings of the 2009 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications
Hierarchical agent monitoring design approach towards self-aware parallel systems-on-chip
ACM Transactions on Embedded Computing Systems (TECS)
Case Study: Model Transformations for Time-triggered Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Streamlining feature-oriented designs
SC'07 Proceedings of the 6th international conference on Software composition
Journal of Systems Architecture: the EUROMICRO Journal
A mixed-signal embedded platform for automotive sensor conditioning
EURASIP Journal on Embedded Systems - Special issue on design methodologies and innovative architectures for mixed-signal embedded systems
Journal of Systems Architecture: the EUROMICRO Journal
Synchronous dataflow scenarios
ACM Transactions on Embedded Computing Systems (TECS)
2.5-Dimensional VLSI system integration
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
EPIDETOX: an ESL platform for integrated circuit design and tool exploration
CODES+ISSS '11 Proceedings of the seventh IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
A Model-Driven Design Framework for Massively Parallel Embedded Systems
ACM Transactions on Embedded Computing Systems (TECS)
A distributed architecture model for heterogeneous multiprocessor system-on-chip design
ICESS'04 Proceedings of the First international conference on Embedded Software and Systems
ESL Design and Verification: A Prescription for Electronic System Level Methodology
ESL Design and Verification: A Prescription for Electronic System Level Methodology
Hardware design and simulation for verification
SFM'06 Proceedings of the 6th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems
Proceedings of the 14th ACM SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems
Design space pruning through hybrid analysis in system-level design space exploration
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
A development and verification framework for the SegBus platform
Journal of Systems Architecture: the EUROMICRO Journal
Microprocessors & Microsystems
Hi-index | 0.00 |
Embedded products have become so complex and must be developed so quickly that current design methodologies are no longer adequate. The authors' vision for the future of embedded-system design involves two essential components: a rigorous methodology for embedded software development and platform-based design.