378 search results - page 17 / 76 » Automating Mathematical Program Transformations |
SMI
2008
IEEE
14 years 1 months ago
2008
IEEE
Motivated by the ability of living cells to form into speciļ¬c shapes and structures, we present a new approach to shape modeling based on self-organizing primitives whose behavi...
SIAMSC
2008
13 years 7 months ago
2008
A compiler approach for generating low-level computer code from high-level input for discontinuous Galerkin finite element forms is presented. The input language mirrors convention...
TCAD
2008
13 years 7 months ago
2008
Abstract--For modern embedded systems in the realm of highthroughput multimedia, imaging, and signal processing, the complexity of embedded applications has reached a point where t...
SIGSOFT
2004
ACM
14 years 25 days ago
2004
ACM
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite eļ¬...
KDD
1999
ACM
13 years 11 months ago
1999
ACM
Code synthesis is routinely used in industry to generate GUIs, form lling applications, and database support code and is even used with COBOL. In this paper we consider the questi...