Making Java Work for Microcontroller Applications
IEEE Design & Test
Object and method exploration for embedded systems applications
Proceedings of the 20th annual conference on Integrated circuits and systems design
System modeling and transformational design refinement in ForSyDe [formal system design]
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Hi-index | 0.00 |
This work tailors an Alloy model translator to Java code and an estimate tool for physical resources optimization into a design-flow. Experimental results show distinct implementation strategies only varying data structures used in generated Java code.