58 search results - page 12 / 12 » Automated Code Generation for Discontinuous Galerkin Methods |
ISSTA
2009
ACM
13 years 12 months ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
ASE
2004
13 years 5 months ago
2004
The construction of interactive server-side Web applications differs substantially from the construction of traditional interactive programs. In contrast, existing Web programming...
JPDC
2000
13 years 5 months ago
2000
: SIMD arrays are likely to become increasingly important as coprocessors in domain specific systems as architects continue to leverage RAM technology in their design. The problem ...