Author of the publication

Planware - Domain-Specific Synthesis of High-Performance Schedulers.

, , , , and . ASE, page 270-. IEEE Computer Society, (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Tactical Synthesis of Efficient Global Search Algorithms., , and . NASA Formal Methods, volume NASA/CP-2009-215407 of NASA Conference Proceedings, page 171-175. (2009)Machine Support for Software Development (Abstract).. ICSE, page 167-168. IEEE Computer Society, (1996)Comprehension by Derivation.. IWPC, page 3-9. IEEE Computer Society, (2005)Intelligent Systems and Formal Methods in Software Engineering., , , , , , , , and . IEEE Intelligent Systems, 21 (6): 71-81 (2006)Synthesis of Constraint Algorithms.. PPCP, page 278-283. (1993)Scheduling an Asynchronously Shared Resource., and . CP, volume 1118 of Lecture Notes in Computer Science, page 563-564. Springer, (1996)09501 Abstracts Collection - Software Synthesis., , , and . Software Synthesis, volume 09501 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)Derivational software engineering., and . FoSER, page 355-358. ACM, (2010)A High-Level Derivation of Global Search Algorithms (with Constraint Propagation)., and . Sci. Comput. Program., 28 (2-3): 247-271 (1997)Constructing Specification Morphisms.. J. Symb. Comput., 15 (5/6): 571-606 (1993)