Statecharts: A visual formalism for complex systems
Science of Computer Programming
Communicating reactive processes
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Real-time object-oriented modeling
Real-time object-oriented modeling
Hardware/software co-simulation
DAC '94 Proceedings of the 31st annual Design Automation Conference
Interface co-synthesis techniques for embedded systems
ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design
A case study in computer-aided co-design of embedded controllers
Design Automation for Embedded Systems
Protocol selection and interface generation for HW-SW codesign
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
DAC '97 Proceedings of the 34th annual Design Automation Conference
Fast hardware/software co-simulation for virtual prototyping and trade-off analysis
DAC '97 Proceedings of the 34th annual Design Automation Conference
Dynamic communication models in embedded system co-simulation
DAC '97 Proceedings of the 34th annual Design Automation Conference
DAC '98 Proceedings of the 35th annual Design Automation Conference
A geographically distributed framework for embedded system design and validation
DAC '98 Proceedings of the 35th annual Design Automation Conference
An analysis-based approach to composition of distributed embedded systems
Proceedings of the 6th international workshop on Hardware/software codesign
Control generation for embedded systems based on composition of modal processes
Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design
Communication synthesis for distributed embedded systems
Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design
Synthesis fo the hardware/software interface in microcontroller-based systems
ICCAD '92 Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design
Debugging Distributed Implementations of Modal Process Systems
LCTES '98 Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems
Optimizing communication in embedded system co-simulation
CODES '97 Proceedings of the 5th International Workshop on Hardware/Software Co-Design
RSP '96 Proceedings of the 7th IEEE International Workshop on Rapid System Prototyping (RSP '96)
Control composition and synthesis of distributed real-time embedded systems
Control composition and synthesis of distributed real-time embedded systems
Aspects of system-level design
CODES '99 Proceedings of the seventh international workshop on Hardware/software codesign
MobiCom '99 Proceedings of the 5th annual ACM/IEEE international conference on Mobile computing and networking
Synthesis and optimization of coordination controllers for distributed embedded systems
Proceedings of the 37th Annual Design Automation Conference
Hardware/software IP protection
Proceedings of the 37th Annual Design Automation Conference
MILAN: A Model Based Integrated Simulation Framework for Design of Embedded Systems
OM '01 Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems
ISSS '00 Proceedings of the 13th international symposium on System synthesis
A Framework for Run-time Reconfigurable Systems
The Journal of Supercomputing
A Methodology for Architecture Exploration of Heterogeneous Signal Processing Systems
Journal of VLSI Signal Processing Systems - Special issue on signal processing systems design and implementation
Multi-Level Communication Synthesis of Heterogeneous Multilanguage Specification
ICCD '00 Proceedings of the 2000 IEEE International Conference on Computer Design: VLSI in Computers & Processors
System support for pervasive applications
ACM Transactions on Computer Systems (TOCS)
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
Extending component-based design with hardware components
Science of Computer Programming - Special issue on new software composition concepts
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Hardware/software IP integration using the ROSES design environment
ACM Transactions on Embedded Computing Systems (TECS)
On tools for modeling high-performance embedded systems
EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
Multi-granularity noc simulation framework for early phase exploration of SDR hardware platforms
PATMOS'09 Proceedings of the 19th international conference on Integrated Circuit and System Design: power and Timing Modeling, Optimization and Simulation
Microprocessors & Microsystems
| Hi-index | 0.00 |