1715 search results - page 2 / 343 » Domain-Specific Program Checking |
IFIP
1998
Springer
13 years 10 months ago
1998
Springer
SAC
2006
ACM
13 years 6 months ago
2006
ACM
Many combinatorial optimization problems in biosequence analysis are solved via dynamic programming. To increase programming productivity and program reliability, a domain specifi...
EUROPAR
2007
Springer
13 years 10 months ago
2007
Springer
Skeletal parallel programming enables us to develop parallel programs easily by composing ready-made components called skeletons. However, a simplycomposed skeleton program often l...
VL
2006
IEEE
14 years 8 days ago
2006
IEEE
Many end user programming tools lack adequate support for domain-specific data. We will design a lightweight representation for categories of data, called “topes,” and develop...
DNA
2009
Springer
13 years 10 months ago
2009
Springer
We introduce a domain-specific language (DSL) for creating sets of tile types for simulations bstract Tile Assembly Model. The language defines objects known as tile templates, wh...