The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Specification and Analysis of System Architecture Using Rapide
IEEE Transactions on Software Engineering - Special issue on software architecture
Comparing models of computation
Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design
Pizza into Java: translating theory into practice
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An efficient implementation of reactivity for modeling hardware in the scenic design environment
DAC '97 Proceedings of the 34th annual Design Automation Conference
Java as a specification language for hardware-software systems
ICCAD '97 Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design
Design and specification of embedded systems in Java using successive, formal refinement
DAC '98 Proceedings of the 35th annual Design Automation Conference
A programming environment for the design of complex high speed ASICs
DAC '98 Proceedings of the 35th annual Design Automation Conference
The Java Language Specification
The Java Language Specification
MetaRTL: raising the abstraction level of RTL design
Proceedings of the conference on Design, automation and test in Europe
Evaluation of an Object-Oriented Hardware Design Methodology for Automotive Applications
Proceedings of the conference on Design, automation and test in Europe - Volume 3
System Level Specification in Lava
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Specification of Non-Functional Intellectual Property Components
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Hi-index | 0.00 |