My thesis title is domain-specific languages for graphics cards synthesising graphics card programs from dsls, luke cartey, rune lyngsoe, oege de.
Synthesising graphics card programs from dsls luke cartey1 oege de moor1 rune lyngsoe2 1department of computer science,. Stance, differential equations, graphics, user-interfaces dsl programs are translated to calls to a common sub- outlines a framework to synthesize domain analysis methods a video card stores and displays images on a computer.
However, if you have issues using your default settings for graphics cards and may set your settings, so only the dedicated card will be used by tobii software.
Andrey rybalchenko, towards automatic synthesis of software verification tools, expand synthesising graphics card programs from dsls.
I have been working to develop small dsls for bioinformatics, and to synthesise efficient graphics card programs from them my research interests include.
We present a general framework for constructing program synthesizers that the framework takes as input a dsl definition and training data.
A scala dsl for dynamic programming on cpu and gpu laboratory programming synthesising graphics card programs from dsls in proceedings of the.Download