| |
In GPCE '03: Proceedings of the 2nd international conference on Generative programming and component engineering (2003), pp. 37-56.
|
| |
In FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture (1995), pp. 249-258.
|
| |
Softw. Pract. Exper., Vol. 25, No. 1. (1995), pp. 73-96.
|
| |
IEEE Transactions on Computers, Vol. 58, No. 1. (2009), pp. 46-59.
|
| |
Embedded Software In Embedded Software (2001), pp. 166-184.
|
| |
In ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (2008), pp. 335-346.
|
| |
|
| |
In CASES '05: Proceedings of the 2005 international conference on Compilers, architectures and synthesis for embedded systems (2005), pp. 22-31.
|
| |
Intelligent Information Hiding and Multimedia Signal Processing, 2007. IIHMSP 2007. Third International Conference on In Intelligent Information Hiding and Multimedia Signal Processing, 2007. IIHMSP 2007. Third International Conference on, Vol. 2 (2007), pp. 37-40.
|
| |
Computer In Computer, Vol. 40, No. 10. (2007), pp. 42-51.
|
| |
ACM Trans. Archit. Code Optim., Vol. 5, No. 2. (2008), pp. 1-33.
|
| |
Software and Systems Modeling
|
| |
|
| |
ACM Trans. Auton. Adapt. Syst., Vol. 2, No. 3. (September 2007)
|
| |
In EMSOFT '07: Proceedings of the 7th ACM & IEEE international conference on Embedded software (2007), pp. 11-20.
|
| |
In GPCE '07: Proceedings of the 6th international conference on Generative programming and component engineering (2007), pp. 53-62.
|
| |
IEEE Transactions on Computers, Vol. 49, No. 11. (2000), pp. 1170-1183.
|
| |
In AICCSA '05: Proceedings of the ACS/IEEE 2005 International Conference on Computer Systems and Applications (2005), pp. 141-vii.
|
| |
In LCTES '99: Proceedings of the ACM SIGPLAN 1999 workshop on Languages, compilers, and tools for embedded systems (1999), pp. 65-72.
|
| |
In EMSOFT '07: Proceedings of the 7th ACM \& IEEE international conference on Embedded software (2007), pp. 114-123.
|
| |
In GPCE '02: Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering (2002), pp. 236-251.
|
| |
In JGI '02: Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande (2002), pp. 131-140.
|
| |
In EMSOFT '05: Proceedings of the 5th ACM international conference on Embedded software (2005), pp. 264-272.
|
| |
Digital System Design: Architectures, Methods and Tools, 2006. DSD 2006. 9th EUROMICRO Conference on (2006), pp. 37-44.
|
| |
Computers and Digital Techniques, IEE Proceedings-, Vol. 150, No. 5. (2003), 313-20.
|
| |
|
| |
|
| |
|
| |
Science of Computer Programming, Vol. 19, No. 2. (1992), pp. 87-152.
|
| |
|
| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 116-116.
|
| |
Engineering of Computer-Based Systems, 2005. ECBS '05. 12th IEEE International Conference and Workshops on the (2005), pp. 331-338.
|
| |
Lecture Notes in Computer Science, Vol. 2895 (January 2003), pp. 339-356.
|
| |
|
| |
|
| |
In Workshop on Languages, Compilers, and Tools for Embedded Systems (1999), pp. 96-103.
|
Search
