7393 search results - page 557 / 1479 » Synthesis-for-testability using transformations |
174
click to vote
SAS
2000
Springer
15 years 11 months ago
2000
Springer
d Abstract) James Riely1 and Jan Prins2 1 DePaul University 2 University of North Carolina at Chapel Hill Abstract. Flattening is a program transformation that eliminates nested pa...
199
click to vote
FPCA
1995
15 years 11 months ago
1995
In functional programming, intermediate data structures are often used to “glue’) together small programs. Deforestation is a program transformation to remove these intermedia...
184
click to vote
ISSAC
1995
Springer
15 years 11 months ago
1995
Springer
In this paper the programs APPLYSYM, QUASILINPDE and DETRAFO are described which aim at the utilization of infinitesimal symmetries of differential equations. The purpose of QUA...
196
click to vote
BPM
2008
Springer
15 years 9 months ago
2008
Springer
Business Process Redesign (BPR) is a process oriented methodology to improve organizations. Although literature on BPR is available in abundance, little concrete support on how to ...
179
click to vote
ASPDAC
2005
ACM
15 years 9 months ago
2005
ACM
- To date, most high-level synthesis systems do not automatically solve present design problems, such as those related to timing associated with the physical implementation of mult...