共 50 条
- [3] High-level specifications for automatically generating parallel code CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2013, 25 (07): : 989 - 1012
- [4] Formal techniques for automatically generating marshalling code from high-level specifications 2ND IEEE WORKSHOP ON INDUSTRIAL STRENGTH FORMAL SPECIFICATION TECHNIQUES - PROCEEDINGS, 1999, : 40 - 47
- [5] Towards generating optimised finite element solvers for GPUs from high-level specifications ICCS 2010 - INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE, PROCEEDINGS, 2010, 1 (01): : 1809 - 1817
- [6] High-level specifications: Lessons from industry FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2003, 2852 : 242 - 261
- [7] Generating domain-specific visual language editors from high-level tool specifications ASE 2006: 21ST IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2006, : 25 - 34
- [10] Behavior construction and refinement from high-level specifications MOBILE ROBOTS XVII, 2004, 5609 : 289 - 297