1715 search results - page 5 / 343 » Domain-Specific Program Checking |
140
Voted
MLMTA
2007
15 years 2 months ago
2007
- While grammar inference (or grammar induction) has found extensive application in the areas of robotics, computational biology, speech and pattern recognition, its application to...
113
Voted
SPLC
2008
15 years 2 months ago
2008
The adoption of Domain-Specific Modeling Languages (DSMLs) for generating framework-based applications has proved to be an effective way of enforcing the correct use of frameworks...
120
Voted
IEEEPACT
2009
IEEE
14 years 11 months ago
2009
IEEE
Efficiently using the hardware capabilities of the Cell processor, a heterogeneous chip multiprocessor that uses several levels of parallelism to deliver high performance, and bei...
127
Voted
UML
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Domain-Specific Languages (DSL) offer many advantages over general languages, but their narrow scope makes them really effective only in very focused domains, for example...
120
Voted
CONSTRAINTS
2008
15 years 1 months ago
2008
We present the Auckland Layout Model (ALM), a constraint-based technique for specifying 2D layout as it is used for arranging the controls in a GUI. Most GUI frameworks offer layo...