Tcl and the Tk toolkit
Tool integration and construction using generated graph-based design representations
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
The Chinook hardware/software co-synthesis system
ISSS '95 Proceedings of the 8th international symposium on System synthesis
Formal verification of embedded systems based on CFSM networks
DAC '96 Proceedings of the 33rd annual Design Automation Conference
A unified model for co-simulation and co-synthesis of mixed hardware/software systems
EDTC '95 Proceedings of the 1995 European conference on Design and Test
APICES - Rapid Application Development with Graph Pattern
RSP '98 Proceedings of the Ninth IEEE International Workshop on Rapid System Prototyping
Intelligence Without Reason
Description of the GMD RoboCup-99 Team
RoboCup-99: Robot Soccer World Cup III
RoboCup 2000: Robot Soccer World Cup IV
Behavior Engineering with "Dual Dynamics" Models and Design Tools
RoboCup-99: Robot Soccer World Cup III
Hi-index | 0.00 |