Domain-Specific Automatic Programming
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Constraint reasoning based on interval arithmetic: the tolerance propagation approach
Artificial Intelligence - Special volume on constraint-based reasoning
Specification partitioning for system design
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
Synthesis and simulation of digital systems containing interacting hardware and software components
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
Design of system interface modules
ICCAD '92 Proceedings of the 1992 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
Design of a separable transition-diagram compiler
Communications of the ACM
Translating system specifications to VHDL
EURO-DAC '91 Proceedings of the conference on European design automation
Hardware-Software Partitioning: A Case for Constraint Satisfaction
IEEE Intelligent Systems
A consistent labeling approach to hardware software partitioning
VLSID '95 Proceedings of the 8th International Conference on VLSI Design
Hi-index | 0.00 |