MECHANICAL TRANSLATION OF SET THEORETIC PROBLEM SPECIFICATIONS INTO EFFICIENT RAM CODE - A CASE-STUDY

被引：0

|

作者：

PAIGE, R

HENGLEIN, F

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1985年 / 204卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：554 / 567

页数：14

相关论文

共 50 条

[31] Lost in translation: a case-study of the travel of lean thinking in a hospital
Andersen, Hege
Rovik, Kjell Arne
BMC HEALTH SERVICES RESEARCH, 2015, 15
[32] LOCAL GOVERNMENTS ECONOMIC INTERVENTIONISM - A GAME-THEORETIC MULTILEVEL CASE-STUDY
DELOCHE, R
REVUE ECONOMIQUE, 1993, 44 (04): : 809 - 819
[33] A case study in innovative process improvement: code synthesis from formal specifications
Garbett, P
Parkes, JP
Shackleton, M
Anderson, S
MICROPROCESSORS AND MICROSYSTEMS, 1999, 23 (07) : 417 - 424
[34] THE PROBLEM OF ALTERNATE USES OF WATER - A CASE-STUDY OF TUCSON
WILSON, AW
ANNALS OF THE ASSOCIATION OF AMERICAN GEOGRAPHERS, 1963, 53 (04) : 629 - 629
[35] A ROUTING AND SCHEDULING PROBLEM FOR A RAIL SYSTEM - A CASE-STUDY
ABEL, DJ
STARK, KP
MURRY, CR
DEMOULIN, YM
JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY, 1981, 32 (09) : 767 - 774
[36] PAIN - A CASE-STUDY FOR THE MIND-BODY PROBLEM
BIERI, P
PAIN AND THE BRAIN: FROM NOCICEPTION TO COGNITION, 1995, 22 : 99 - 110
[37] COMPARISON OF STOCHASTIC APPROACHES TO THE TRANSPORTATION PROBLEM - A CASE-STUDY
DEUTSCH, SJ
PATEL, MH
ASSAD, AJD
IEEE TRANSACTIONS ON ENGINEERING MANAGEMENT, 1994, 41 (02) : 152 - 164
[38] THE PROBLEM OF LAND FRAGMENTATION IN THE MEDITERRANEAN AREA - A CASE-STUDY
SHAW, DJ
GEOGRAPHICAL REVIEW, 1963, 53 (01) : 40 - 51
[39] THE ADULT TRAINING-CENTER PROBLEM - A CASE-STUDY
OKONJOADIGWE, C
JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY, 1989, 40 (07) : 637 - 642
[40] STATE CONSTRAINTS IN THE LINEAR REGULATOR PROBLEM - CASE-STUDY
DONTCHEV, AL
KOLMANOVSKY, IV
JOURNAL OF OPTIMIZATION THEORY AND APPLICATIONS, 1995, 87 (02) : 323 - 347

← 1 2 3 4 5 →