Computer architecture: a quantitative approach
Computer architecture: a quantitative approach
Sizing synchronization queues: a case study in higher level synthesis
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
Concepts and Notations for Concurrent Programming
ACM Computing Surveys (CSUR)
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Design of a separable transition-diagram compiler
Communications of the ACM
IEEE Design & Test
System synthesis via hardware-software co-design
System synthesis via hardware-software co-design
Adaptation of partitioning and high-level synthesis in hardware/software co-synthesis
ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design
The role of VHDL within the TOSCA hardware/software codesign framework
EURO-DAC '94 Proceedings of the conference on European design automation
Profiling in the ASP codesign environment
ISSS '95 Proceedings of the 8th international symposium on System synthesis
PARAS: system-level concurrent partitioning and scheduling
ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design
Symphony: a simulation backplane for parallel mixed-mode co-simulation of VLSI systems
DAC '96 Proceedings of the 33rd annual Design Automation Conference
Model refinement for hardware-software codesign
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Synthesis from mixed specifications
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
Hardware/software-cosimulation for mechatronic system design
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
Rapid prototyping of microprocessor-based systems
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Data-flow assisted behavioral partitioning for embedded systems
DAC '97 Proceedings of the 34th annual Design Automation Conference
Instruction set selection for ASIP design
CODES '99 Proceedings of the seventh international workshop on Hardware/software codesign
Fast hardware-software co-simulation using VHDL models
DATE '99 Proceedings of the conference on Design, automation and test in Europe
Cycle and phase accurate DSP modeling and integration for HW/SW co-verification
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
A Co-Design Methodology for Telecommunication Systems: A Case Study of an Acoustic Echo Canceller
Journal of VLSI Signal Processing Systems - Special issue on the 1997 IEEE workshop on signal processing systems (SiPS): design and implementation
Hardware/software synthesis of formal specifications in codesign of embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
An efficient architecture model for systematic design of application-specific multiprocessor SoC
Proceedings of the conference on Design, automation and test in Europe
A mapping algorithm for computer-assisted exploration in the design of embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Hardware-software cosynthesis for microcontrollers
Readings in hardware/software co-design
Design of embedded systems: formal models, validation, and synthesis
Readings in hardware/software co-design
Readings in hardware/software co-design
Protocol selection and interface generation for HW-SW codesign
Readings in hardware/software co-design
Co-synthesis and co-simulation of control-dominated embedded systems
Readings in hardware/software co-design
A hardware-software co-simulator for embedded system design and debugging
Readings in hardware/software co-design
Observability analysis of embedded software for coverage-directed validation
Proceedings of the 2000 IEEE/ACM international conference on Computer-aided design
Computer
Hardware-Software Cosynthesis for Microcontrollers
IEEE Design & Test
Computer-Aided Hardware-Software Codesign
IEEE Micro
ParTS: A Partitioning Transformation System
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
An Automatic Hardware-Software Partitioner Based on the Possibilistic Programming.
EDTC '96 Proceedings of the 1996 European conference on Design and Test
Hardware/Software Partitioning using Integer Programming
EDTC '96 Proceedings of the 1996 European conference on Design and Test
Approach to the Synthesis of HW and SW in Codesign
CODES '97 Proceedings of the 5th International Workshop on Hardware/Software Co-Design
An Approach to Mixed Systems Co-Synthesis
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)
An integrated hardware-software cosimulation environment with automated interface generation
RSP '96 Proceedings of the 7th IEEE International Workshop on Rapid System Prototyping (RSP '96)
An approach to the adaptation of estimated cost parameters in the COSYMA system
CODES '94 Proceedings of the 3rd international workshop on Hardware/software co-design
Redesigning hardware-software systems
CODES '94 Proceedings of the 3rd international workshop on Hardware/software co-design
CASTLE: an interactive environment for HW-SW Co-Design
CODES '94 Proceedings of the 3rd international workshop on Hardware/software co-design
Low-complex dynamic programming algorithm for hardware/software partitioning
Information Processing Letters
Algorithmic aspects of area-efficient hardware/software partitioning
The Journal of Supercomputing
Algorithmic aspects for power-efficient hardware/software partitioning
Mathematics and Computers in Simulation
New model and algorithm for hardware/software partitioning
Journal of Computer Science and Technology
Low-complex dynamic programming algorithm for hardware/software partitioning
Information Processing Letters
An approach for interface generation in the PISH co-design system
SBCCI'99 Proceedings of the XIIth conference on Integrated circuits and systems design
Application of ESL synthesis on GSM edge algorithm for base station
Proceedings of the 2010 Asia and South Pacific Design Automation Conference
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Efficient heuristic algorithms for path-based hardware/software partitioning
Mathematical and Computer Modelling: An International Journal
| Hi-index | 0.00 |