咨询与建议

限定检索结果

文献类型

  • 197 篇 会议
  • 109 篇 期刊文献
  • 8 册 图书

馆藏范围

  • 314 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 215 篇 工学
    • 157 篇 计算机科学与技术...
    • 112 篇 软件工程
    • 37 篇 信息与通信工程
    • 29 篇 控制科学与工程
    • 19 篇 生物医学工程(可授...
    • 18 篇 电气工程
    • 15 篇 生物工程
    • 14 篇 电子科学与技术(可...
    • 12 篇 机械工程
    • 10 篇 土木工程
    • 8 篇 化学工程与技术
    • 7 篇 建筑学
    • 6 篇 材料科学与工程(可...
    • 5 篇 仪器科学与技术
    • 5 篇 动力工程及工程热...
  • 126 篇 理学
    • 80 篇 数学
    • 20 篇 生物学
    • 20 篇 统计学(可授理学、...
    • 19 篇 系统科学
    • 16 篇 物理学
    • 6 篇 化学
  • 52 篇 管理学
    • 36 篇 管理科学与工程(可...
    • 20 篇 工商管理
    • 18 篇 图书情报与档案管...
  • 13 篇 医学
    • 11 篇 临床医学
    • 10 篇 基础医学(可授医学...
    • 6 篇 药学(可授医学、理...
  • 8 篇 法学
    • 7 篇 社会学
  • 7 篇 经济学
    • 7 篇 应用经济学
  • 5 篇 教育学
    • 5 篇 教育学
  • 3 篇 文学
  • 2 篇 哲学
  • 2 篇 农学
  • 2 篇 艺术学
  • 1 篇 军事学

主题

  • 11 篇 artificial intel...
  • 6 篇 computer science
  • 5 篇 support vector m...
  • 4 篇 programming prof...
  • 4 篇 compilers
  • 4 篇 reliability
  • 4 篇 concurrent compu...
  • 4 篇 computer archite...
  • 4 篇 neural networks
  • 4 篇 computational in...
  • 4 篇 optimization
  • 4 篇 monitoring
  • 4 篇 decision making
  • 4 篇 dipper throated ...
  • 4 篇 software design
  • 4 篇 artificial neura...
  • 4 篇 functional progr...
  • 3 篇 safety
  • 3 篇 grey wolf optimi...
  • 3 篇 automation

机构

  • 16 篇 department of sy...
  • 10 篇 department of ap...
  • 7 篇 department of ma...
  • 6 篇 programming meth...
  • 6 篇 department of co...
  • 6 篇 computer enginee...
  • 6 篇 computer techniq...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 4 篇 school of electr...
  • 4 篇 department of co...
  • 4 篇 computer enginee...
  • 4 篇 university of lü...
  • 4 篇 department of ap...
  • 4 篇 national institu...
  • 3 篇 university spbpu...
  • 3 篇 department of ap...
  • 3 篇 zuse institute b...

作者

  • 9 篇 maiti manoranjan
  • 8 篇 mostafa abotaleb
  • 8 篇 pal madhumangal
  • 8 篇 abdelhameed ibra...
  • 7 篇 scholz sven-bodo
  • 7 篇 grelck clemens
  • 7 篇 abotaleb mostafa
  • 5 篇 pal anita
  • 5 篇 el-sayed m.el-ke...
  • 5 篇 abdelaziz a.abde...
  • 5 篇 börcsök j.
  • 5 篇 de meuter wolfga...
  • 5 篇 van cutsem tom
  • 5 篇 doaa sami khafag...
  • 4 篇 choe km
  • 4 篇 bergstra j.a.
  • 4 篇 schwarz m.h.
  • 4 篇 hayek ali
  • 4 篇 dybjer peter
  • 4 篇 mostinckx stijn

语言

  • 306 篇 英文
  • 5 篇 其他
  • 2 篇 中文
  • 1 篇 日文
检索条件"机构=Computer Programming Technology"
314 条 记 录,以下是301-310 订阅
排序:
Lazy memo-functions  2nd
收藏 引用
2nd International Conference on Functional programming Languages and computer Architecture, 1985
作者: Hughes, John Programming Methodology Group Department of Computer Science Chalmers University of Technology GöteborgS-412 96 Sweden
来源: 评论
Efficient compilation of lasy evaluation
Efficient compilation of lasy evaluation
收藏 引用
1984 SIGPLAN Symposium on Compiler Construction, SIGPLAN 1984
作者: Johnsson, Thomas Programming Methodology Group Department of Computer Science Chalmers University of Technology GöteborgS-412 96 Sweden
This paper describes the principles underlying an efficient implementation of a lazy functional language, compiling to code for ordinary computers. It is baaed on combinator-like graph reduction: the user defined func... 详细信息
来源: 评论
INTEGRATING THE DATA ENCRYPTION STANDARD INTO computer-NETWORKS
收藏 引用
IEEE TRANSACTIONS ON COMMUNICATIONS 1981年 第6期29卷 762-772页
作者: SMID, ME Center for Programming Science and Technology Institute for Computer Sciences and Technology National Bureau of Standards Washington D.C. DC USA
The NBS Data Encryption Standard may be integrated into computer networks to protect personal (nonshared) files, to communicate securely both on- and off-line with local and remote users, to protect against key substi... 详细信息
来源: 评论
AMBIGUITY IN PROCESSING BOOLEAN QUERIES ON TDMS TREE-STRUCTURES - A STUDY OF 4 DIFFERENT PHILOSOPHIES
收藏 引用
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1980年 第4期6卷 357-372页
作者: HARDGRAVE, WT Center for Programming Sciences and Technology Institute for Computer Sciences and Technology National Bureau of Standards
This paper defines and demonstrates four philosophies for processing queries on tree structures; shows that the data semantics of queries shuld be described by designating sets of nodes from which v values for attnbut... 详细信息
来源: 评论
THE PROSPECT OF AN UNDER WA TER NA VAL ROBOT
收藏 引用
Naval Engineers Journal 1980年 第1期92卷 65-72页
作者: DIXON, JOHN K. JOHNSON, HERBERT A. SLAGLE, JAMES R. Dr. John K. Dixon was born on 1 December 1934 in Detroit. Mich. He received his B.S. degree in Electrical Engineering from Lawrence Institute of Technology in 1957 his M.B.A. degree from Wayne State University in 1964 his M.S. degree in Physics from the University of California at Davis in 1967 and his Ph.D. degree in Computer Science from the University of California at Livermore in 1970. In 1957 he was employed by the Chrysler Missile Division Warren Mich. where he designed circuits for the Redstoneand Jupitermissiles. In 1959 he joined the Staff of the Bendix Research Laboratory Southfield Mich. where he designed equipment for missile guidance systems and aircraft blind landing systems. From 1965 until 1968 he was a Research Assistant in the Artificial Intelligence Group Lawrence Radiation Laboratory. Livermore Calif at which time he left to join the Heuristics Laboratory of the National Institutes of Health Bethesda Md. as a Computer Scientist. In 1974 he moved to the Computer Science Laboratory at the Naval Research Laboratory. Washington D.C. where he is currently employed on various Research Projects. Mr. Herbert A. Johnson graduated from the U.S. Coast Guard Academy and later continued his graduate studies at Massachusetts Institute of Technology and Purdue University. receiving his M.S. degree in Electrical Engineering from the latter. He is presently a Captain in the U.S. Coast Guard Reserve and Head of the Ocean Instrumentation Branch. Ocean Technology Division Naval Research Laboratory (NRL). Prior to joining NRL in 1974 he was employed on various marine systems projects at Honeywell and on Polarisinstrumentation at Interstate Electronics a company he assisted in founding in 1956. He is a Senior Member of the Institute of Electrical and Electronics Engineers (IEEE). Dr. James R. Slagle received his M.S. and Ph.D. degrees from Massachusetts Institute of Technology and was the recipient of an Outstanding Blind Student Award for 1959 which was presented to him by President Dwight D.
This paper explores the concept of an underwater robot manipulator mounted on an unmanned submersible for the purpose of doing some undersea tasks of interest to the U.S. Navy. The robot concept is compared with other...
来源: 评论
An analysis of inline substitution for a structured programming language
收藏 引用
Communications of the ACM 1977年 第9期20卷 647-654页
作者: Scheifler, Robert W. Programming Methodology Group Laboratory for Computer Science Massachusetts Institute of Technology Cambridge MA 02139 United States
An optimization technique known as inline substitution is analyzed. The optimization consists of replacing a procedure invocation by a modified copy of the procedure body. The general problem of using inline substitut... 详细信息
来源: 评论
computer system modelling: A test bed for new software technologies  74
Computer system modelling: A test bed for new software techn...
收藏 引用
7th Conference on Winter Simulation, WSC 1974
作者: Willis, Ronald R. Hughes Aircraft Company Software Technology Section Computer Programming Laboratory United States
This paper discusses a technique in computer system simulation that uses models as effective tools for the study of new software technologies. This model development technique, called representative modelling, and its... 详细信息
来源: 评论
Managed Software Evolution  1
收藏 引用
1000年
作者: Ralf Reussner Jan Keim Michael Goedicke Wilhelm Hasselbring Birgit Vogel-Heuser Lukas Märtin
This open access book presents the outcomes of the “Design for Future – Managed Software Evolution” priority program 1593, which was launched by the German Research Foundation (“Deutsche Forschungsgemeinschaft (D... 详细信息
来源: 评论
Recent Developments and the New Direction in Soft-Computing Foundations and Applications  1
收藏 引用
丛书名: Studies in Fuzziness and Soft Computing
1000年
作者: Shahnaz N. Shahbazova Janusz Kacprzyk Valentina Emilia Balas Vladik Kreinovich
来源: 评论
Advances in Theory and Practice of Computational Mechanics  1
收藏 引用
丛书名: Smart Innovation, Systems and Technologies
1000年
作者: Lakhmi C. Jain Margarita N. Favorskaya Ilia S. Nikitin Dmitry L. Reviznikov
This book discusses physical and mathematical models, numerical methods, computational algorithms and software complexes, which allow high-precision mathematical modeling in fluid, gas, and plasma mechanics; general m... 详细信息
来源: 评论