Design and specification of embedded systems in Java using successive, formal refinement
DAC '98 Proceedings of the 35th annual Design Automation Conference
Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors
IEEE Transactions on Software Engineering
Modeling concurrent real-time processes using discrete events
Annals of Software Engineering
Optimizations for a simulator construction system supporting reusable components
Proceedings of the 40th annual Design Automation Conference
A New Optimized Implemention of the SystemC Engine Using Acyclic Scheduling
Proceedings of the conference on Design, automation and test in Europe - Volume 1
Flexible and Formal Modeling of Microprocessors with Application to Retargetable Simulation
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Distributing synchronous programs using bounded queues
Proceedings of the 5th ACM international conference on Embedded software
| Hi-index | 0.00 |