咨询与建议

限定检索结果

文献类型

  • 120 篇 会议
  • 63 篇 期刊文献
  • 1 册 图书

馆藏范围

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

日期分布

学科分类号

  • 120 篇 工学
    • 100 篇 计算机科学与技术...
    • 71 篇 软件工程
    • 17 篇 信息与通信工程
    • 13 篇 控制科学与工程
    • 8 篇 土木工程
    • 7 篇 电气工程
    • 7 篇 建筑学
    • 5 篇 电子科学与技术(可...
    • 5 篇 生物工程
    • 4 篇 机械工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 船舶与海洋工程
    • 4 篇 安全科学与工程
    • 3 篇 化学工程与技术
    • 3 篇 生物医学工程(可授...
    • 2 篇 农业工程
    • 2 篇 网络空间安全
  • 51 篇 理学
    • 30 篇 数学
    • 9 篇 系统科学
    • 7 篇 生物学
    • 6 篇 化学
    • 5 篇 物理学
    • 4 篇 海洋科学
    • 4 篇 统计学(可授理学、...
  • 19 篇 管理学
    • 11 篇 管理科学与工程(可...
    • 8 篇 图书情报与档案管...
    • 3 篇 工商管理
  • 3 篇 教育学
    • 3 篇 教育学
  • 3 篇 农学
  • 3 篇 医学
    • 3 篇 基础医学(可授医学...
    • 3 篇 临床医学
  • 1 篇 经济学
  • 1 篇 法学
  • 1 篇 军事学

主题

  • 15 篇 computer science
  • 10 篇 laboratories
  • 9 篇 programming prof...
  • 7 篇 application soft...
  • 6 篇 programming envi...
  • 5 篇 software enginee...
  • 5 篇 educational inst...
  • 5 篇 visualization
  • 5 篇 hardware
  • 4 篇 compilers
  • 4 篇 education
  • 4 篇 logic programmin...
  • 4 篇 computer languag...
  • 4 篇 computational mo...
  • 4 篇 security
  • 4 篇 artificial intel...
  • 4 篇 equations
  • 4 篇 functional progr...
  • 3 篇 runtime
  • 3 篇 libraries

机构

  • 7 篇 functional progr...
  • 4 篇 visualization an...
  • 3 篇 german research ...
  • 3 篇 laboratory for a...
  • 3 篇 programming envi...
  • 3 篇 department of in...
  • 3 篇 programming lang...
  • 3 篇 institute for so...
  • 3 篇 programming tech...
  • 3 篇 department of co...
  • 2 篇 programming envi...
  • 2 篇 programming mode...
  • 2 篇 laboratory of au...
  • 2 篇 department of co...
  • 2 篇 languages and pr...
  • 2 篇 computer and pro...
  • 2 篇 laboratory for a...
  • 2 篇 laboratory on sp...
  • 2 篇 dep. of computin...
  • 2 篇 parallel program...

作者

  • 9 篇 fritzson peter
  • 4 篇 choe km
  • 4 篇 nilsson henrik
  • 4 篇 wolf felix
  • 3 篇 de meuter wolfga...
  • 3 篇 dedecker jessie
  • 3 篇 peter fritzson
  • 3 篇 pontelli enrico
  • 3 篇 c.d. hundhausen
  • 3 篇 qin xiaolin
  • 3 篇 mostinckx stijn
  • 3 篇 yong feng
  • 3 篇 gupta gopal
  • 3 篇 d'hondt theo
  • 3 篇 felix wolf
  • 3 篇 alvarez-picallo ...
  • 3 篇 zanasi fabio
  • 3 篇 sprunger david
  • 2 篇 mertin gunda
  • 2 篇 j.l. brown

语言

  • 183 篇 英文
  • 1 篇 其他
检索条件"机构=Computer and Programming Laboratory"
184 条 记 录,以下是161-170 订阅
ALGORITHMIC DEBUGGING FOR LAZY FUNCTIONAL LANGUAGES  4th
ALGORITHMIC DEBUGGING FOR LAZY FUNCTIONAL LANGUAGES
收藏 引用
4TH INTERNATIONAL SYMP ON programming LANGUAGE IMPLEMENTATION AND LOGIC programming ( PLILP 92 )
作者: NILSSON, H FRITZSON, P Programming Environments Laboratory Department of Computer and Information Science Linköping University Linköping S-581 83 Sweden
Lazy functional languages have non-strict semantics and are purely declarative, i.e. they support the notion of referential transparency and are devoid of side effects. Traditional debugging techniques are, however, n... 详细信息
来源: 评论
An object-oriented language for symbolic computationapplied to machine element analysis  92
An object-oriented language for symbolic computationapplied ...
收藏 引用
1992 International Symposium on Symbolic and Algebraic Computation, ISSAC 1992
作者: Viklund, Lars Fritzson, Peter Programming Environments Laboratory Department of Computer and Information Science Linköping University LinköpingS-581 83 Sweden
In this paper we present the ObjectMath language, a hybrid language integrating object-oriented constructs with features for symbolic and numeric computation. Complex mathematical models may be implemented in a natura... 详细信息
来源: 评论
Intelligent system for feature- based modelling of machine parts  5th
收藏 引用
5th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 1992
作者: Lekova, Anna Batanov, Dentcho Nikolaev, Nikolay Department of Programming and Computer Applications Technical University Sofia1156 Bulgaria Artificial Intelligence Laboratory Department of Computer Science Technical University Sofia1156 Bulgaria
This paper proposes a new system for feature- based modelling- ISFBM with built in strategy for defining details by their features, realizing design process over the computational model of rule- based systems paradigm... 详细信息
来源: 评论
Formal Methods and Software Safety
收藏 引用
IFAC Proceedings Volumes 1992年 第30期25卷 93-98页
作者: J.P. Bowen V. Stavridou Oxford University Computing Laboratory Programming Research Group 11 Keble Road Oxford OX1 3QD UK Department of Computer Science Royal Holloway and Bedford New College University of London Egham Hill Egham Surrey TW20 0EX UK
The safety of software is becoming increasingly important as computers pervade control systems on which human life depends. Whilst hardware has become significantly more reliable over the years, the same cannot be sai... 详细信息
来源: 评论
On the social organisation of organisations
收藏 引用
computer Supported Cooperative Work 1992年 第1-2期1卷 95-118页
作者: Jirotka, Marina Gilbert, Nigel Luff, Paul Centre for Requirements and Foundations Programming Research Group University of Oxford Computing Laboratory Oxford OX1 3QD United Kingdom Social and Computer Sciences Research Group Department of Sociology University of Survey Guildford GU2 5XH United Kingdom Department of Sociology University of Surrey Guildford GU2 5XH United Kingdom Rank Xerox Cambridge EuroPARC Cambridge CB2 1AB 61 Regent Street United Kingdom
This paper considers a range of theoretical approaches to the understanding of organisations and the implications these views have for the design of computer supported cooperative work systems. Organisations have ofte... 详细信息
来源: 评论
Yet another efficient backward execution algorithm in the AND/OR process model
收藏 引用
Information Processing Letters 1992年 第3期43卷 165-165页
作者: Do-Hyung Kim Kwang-Moo Choe Programming Languages Laboratory Department of Computer Science Korea Advanced Institute of Science and Technology 373-1 Kusong-Dong Yusung-Gu Taejon 305-701 South Korea
来源: 评论
YET ANOTHER EFFICIENT BACKWARD EXECUTION ALGORITHM IN THE AND OR PROCESS MODEL
收藏 引用
INFORMATION PROCESSING LETTERS 1991年 第4期40卷 201-211页
作者: KIM, DH CHOE, KM Programming Languages Laboratory Department of Computer Science Korea Advanced Institute of Science and Technology 371-1 Kusong-Dong Yusang-Gu Taejon 305-701 South Korea
An efficient backward execution algorithm in the AND/OR Process Model for parallel evaluation of logic programs is proposed. The efficiency of the algorithm is achieved by means of information acquired during executio... 详细信息
来源: 评论
Semantic file systems  91
Semantic file systems
收藏 引用
13th ACM Symposium on Operating Systems Principles, SOSP 1991
作者: Gifford, David K. Jouvelot, Pierre Sheldon, Mark A. O'Toole Jr., James W. Programming Systems Research Group MIT Laboratory for Computer Science United States CRI Ecole des Mines de Paris France
A semantic file system is an information storage system that provides flexible associative access to the system's contents by automatically extracting attributes from files with file type specific transducers. Ass... 详细信息
来源: 评论
An algebra for Delay-Insensitive circuits  2nd
An algebra for Delay-Insensitive circuits
收藏 引用
2nd International Conference on computer-Aided Verification, CAV 1990
作者: Josephs, Mark B. Udding, Jan Tijmen Programming Research Group Oxford University Computing Laboratory 11 Keble Road OxfordOX1 3QD United Kingdom Department of Computer Science Washington University Campus Box 1045 St. LouisMO63130 United States
A novel process algebra is presented;algebraic expressions specify delay-insensitive circuits in terms of voltage-level transitions on wires. The approach appears to have several advantages over traditional state-grap... 详细信息
来源: 评论
Formal specification of software systems using Two-Level Grammar  15
Formal specification of software systems using Two-Level Gra...
收藏 引用
15th Annual International computer Software and Applications Conference, CMPSAC 1991
作者: Bryant, Barrett R. Pan, Aiqin Computer and Information Sciences Dept. University of Alabama at Birmingham UAB Station Mail Stop 1170 BirminghamAL35294 United States Knowledge Based/Programming Systems IBM Santa Teresa Laboratory Department L78 555 Bailey Avenue San JoseCA95161 United States
Two-Level Grammar (TLG) is proposed for the formal specification and automatic generation of software systems. TLG specifications are unique in that they are a structured form of natural language which is executable. ... 详细信息
来源: 评论