Digital to hybrid program transformations

被引：1

作者：

Kohn, W ^{[1
]}

Remmel, JB ^{[1
]}

机构：

[1] SAGENT CORP,BELLEVUE,WA 98004

来源：

关键词：

D O I：

10.1109/ISIC.1996.556225

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：342 / 347

页数：6

共 50 条

[31] Automating Mathematical Program Transformations
Agarwal, Ashish
Bhat, Sooraj
Gray, Alexander
Grossmann, Ignacio E.
PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, 2010, 5937 : 134 - +
[32] Mathematical foundations for program transformations
Ben Ayed, R
Desharnais, J
Frappier, M
Mili, A
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 1999, 1559 : 319 - 321
[33] EQUIVALENCE TRANSFORMATIONS PROGRAM SCHEMES
SABELFELD, VK
ACTA INFORMATICA, 1978, 10 (02) : 127 - 155
[34] CALHYM - COMPUTER-PROGRAM FOR AUTOMATIC LAYOUT OF LARGE DIGITAL HYBRID MICROCIRCUITS
BEKE, H
MAZUR, S
GOVAERTS, R
SANSEN, W
VANOVERSTRAETEN, R
ELECTROCOMPONENT SCIENCE AND TECHNOLOGY, 1977, 4 (3-4): : 151 - 156
[35] Implementing typeful program transformations
Chen, CY
Xi, HW
ACM SIGPLAN NOTICES, 2003, 38 (10) : 260 - 268
[36] FREQUENCY TRANSFORMATIONS FOR DIGITAL FILTERS
CONSTANT.AG
ELECTRONICS LETTERS, 1968, 4 (07) : 115 - &
[37] DIGITAL TRANSFORMATIONS OF EDUCATION POLICY
Safonov, Yurii
Usyk, Vira
Bazhenkov, Ievgen
BALTIC JOURNAL OF ECONOMIC STUDIES, 2022, 8 (02) : 127 - 136
[38] FREQUENCY TRANSFORMATIONS FOR DIGITAL FILTERS
CONSTANTINIDES, AG
ELECTRONICS LETTERS, 1967, 3 (11) : 487 - +
[39] DISTANCE TRANSFORMATIONS IN DIGITAL IMAGES
BORGEFORS, G
COMPUTER VISION GRAPHICS AND IMAGE PROCESSING, 1986, 34 (03): : 344 - 371
[40] DISTANCE TRANSFORMATIONS IN DIGITAL IMAGES
VOSSEPOEL, AM
COMPUTER VISION GRAPHICS AND IMAGE PROCESSING, 1988, 43 (01): : 88 - 97