3706 search results - page 129 / 742 » The Transformational Approach to Program Development |
117
click to vote
LCTRTS
2005
Springer
15 years 8 months ago
2005
Springer
Efficient implementation of DSP applications is critical for many embedded systems. Optimising C compilers for embedded processors largely focus on code generation and instructio...
100
click to vote
SLP
1997
15 years 4 months ago
1997
This paper describes how a number of program-analysis problems can be solved by transforming them to graph-reachability problems. Some of the program-analysis problems that are am...
128
click to vote
BIBE
2007
IEEE
15 years 9 months ago
2007
IEEE
—Array-based comparative genomic hybridization (array CGH) is a highly efficient technique, allowing the simultaneous measurement of genomic DNA copy number at hundreds or thous...
111
click to vote
SERP
2004
15 years 4 months ago
2004
We describe ongoing work which aims to extend the schema-based program synthesis paradigm with explicit models. In this context, schemas can be considered as model-to-model transf...
111
click to vote
TOOLS
2009
IEEE
15 years 9 months ago
2009
IEEE
Realizing information exchange is a frequently recurring challenge in nearly every domain of computer science. Although languages, formalisms, and storage formats may differ in va...