咨询与建议

限定检索结果

文献类型

  • 525 篇 会议
  • 195 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 464 篇 工学
    • 374 篇 计算机科学与技术...
    • 305 篇 软件工程
    • 55 篇 信息与通信工程
    • 52 篇 控制科学与工程
    • 27 篇 电气工程
    • 27 篇 土木工程
    • 24 篇 电子科学与技术(可...
    • 23 篇 船舶与海洋工程
    • 22 篇 生物工程
    • 19 篇 机械工程
    • 16 篇 建筑学
    • 15 篇 网络空间安全
    • 14 篇 生物医学工程(可授...
    • 10 篇 材料科学与工程(可...
    • 9 篇 农业工程
  • 222 篇 理学
    • 124 篇 数学
    • 38 篇 系统科学
    • 35 篇 物理学
    • 29 篇 生物学
    • 27 篇 统计学(可授理学、...
    • 21 篇 海洋科学
  • 117 篇 管理学
    • 76 篇 管理科学与工程(可...
    • 44 篇 图书情报与档案管...
    • 41 篇 工商管理
  • 18 篇 经济学
    • 17 篇 应用经济学
  • 15 篇 法学
    • 14 篇 社会学
  • 15 篇 教育学
    • 13 篇 教育学
  • 15 篇 医学
    • 12 篇 临床医学
    • 11 篇 基础医学(可授医学...
  • 12 篇 农学
    • 11 篇 作物学
  • 3 篇 文学
  • 2 篇 哲学
  • 1 篇 军事学

主题

  • 21 篇 application soft...
  • 20 篇 semantics
  • 17 篇 programming
  • 17 篇 software
  • 14 篇 testing
  • 14 篇 unified modeling...
  • 13 篇 software enginee...
  • 12 篇 optimization
  • 12 篇 monitoring
  • 12 篇 data models
  • 11 篇 runtime
  • 11 篇 hardware
  • 11 篇 artificial intel...
  • 10 篇 java
  • 9 篇 computer archite...
  • 9 篇 model checking
  • 9 篇 analytical model...
  • 8 篇 computer science
  • 8 篇 software systems
  • 8 篇 electronic mail

机构

  • 15 篇 institute for pr...
  • 11 篇 department of sy...
  • 10 篇 technical univer...
  • 8 篇 programming syst...
  • 7 篇 chair for progra...
  • 7 篇 department of pr...
  • 6 篇 department of co...
  • 6 篇 programming syst...
  • 6 篇 department of co...
  • 6 篇 computer enginee...
  • 6 篇 computer techniq...
  • 5 篇 department of co...
  • 5 篇 department of el...
  • 5 篇 department of pr...
  • 5 篇 technical univer...
  • 5 篇 tu braunschweig ...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 institute for so...
  • 5 篇 institute for pr...

作者

  • 48 篇 steffen bernhard
  • 33 篇 margaria tiziana
  • 19 篇 bernhard steffen
  • 17 篇 michael philipps...
  • 17 篇 bauer bernhard
  • 15 篇 philippsen micha...
  • 13 篇 goltz ursula
  • 13 篇 wu youfeng
  • 13 篇 lochau malte
  • 12 篇 gancheva veska
  • 12 篇 tiziana margaria
  • 12 篇 christopher muts...
  • 10 篇 veska gancheva
  • 9 篇 wang cheng
  • 9 篇 lamprecht anna-l...
  • 9 篇 youfeng wu
  • 9 篇 christiansen hen...
  • 9 篇 naujokat stefan
  • 9 篇 niehren joachim
  • 8 篇 mostafa abotaleb

语言

  • 693 篇 英文
  • 18 篇 其他
  • 5 篇 德文
  • 2 篇 中文
  • 1 篇 法文
  • 1 篇 日文
检索条件"机构=Systems and Programming"
720 条 记 录,以下是591-600 订阅
排序:
Formal specification of virtual process topologies  1
Formal specification of virtual process topologies
收藏 引用
1st IEEE Computer Society International Workshop on Cluster Computing, IWCC 1999
作者: Kazemi, K. McDonald, C. Programming Languages and Systems Group Department of Computer Science University of Western Australia NedlandsWA6907 Australia
A lack of adequate and flexible topology support in the popular message passing systems such as Parallel Virtual Machine was a major factor in the development of our Virtual Process Topology Environment. This parallel... 详细信息
来源: 评论
Run Placement Policies for Concurrent Mergesorts Using Parallel Prefetching
收藏 引用
Knowledge and Information systems 1999年 第4期1卷 435-457页
作者: Wu, Kun-Lung Yu, Philip S. Teng, James Z. IBM T. J. Watson Research Center Yorktown HeightsNY10598 United States IBM Programming Systems San JoseCA95161 United States
We study the performance of various run placement policies on disks for the merge phase of concurrent mergesorts using parallel prefetching. The initial sorted runs (input) of a merge and its final sorted run (output)... 详细信息
来源: 评论
Simulating Boolean circuits by finite splicing
Simulating Boolean circuits by finite splicing
收藏 引用
Congress on Evolutionary Computation
作者: K. Erk Programming Systems Laboratory Universität des Saarlandes Saarbrucken Germany
As a computational model to be simulated in a DNA computing context, Boolean circuits are especially interesting because of their parallelism. Simulations in concrete biochemical computing settings have been given by ... 详细信息
来源: 评论
Emotions simulation in methodology of autonomous adaptive control
Emotions simulation in methodology of autonomous adaptive co...
收藏 引用
IEEE International Symposium on Intelligent Control (ISIC)
作者: A.A. Zhdanov A.N. Yinokurov Simulation Systems Department Institute for System Programming Russian Academy of Science Moscow Russia
We offer a standpoint that emotions are a necessary mechanism for autonomous control systems. By an autonomous controlled object we understand an object, that is controlled by a control system which is its on-board su... 详细信息
来源: 评论
Formal specification of virtual process topologies
Formal specification of virtual process topologies
收藏 引用
IEEE International Conference on Cluster Computing
作者: K. Kazemi C. McDonald Programming Languages and Systems Group Department of Computer Science University of Western Australia Nedlands WA Australia
A lack of adequate and flexible topology support in the popular message passing systems such as Parallel Virtual Machine was a major factor in the development of our Virtual Process Topology Environment. This parallel... 详细信息
来源: 评论
Information theoretical approach to minimization of AND/EXOR expressions of switching functions
Information theoretical approach to minimization of AND/EXOR...
收藏 引用
4th International Conference on Telecommunications in Modern Satellite, Cable and Broadcasting Services, ITELSIKS 1999
作者: Shmerko, V. Popel, D. Stanković, R.S. Cheushev, V. Yanushkevich, S. Department of Computer Aided Design Systems Techinal University of Szczecin Poland Department of Computer Sicience State University of Informatics and Radioelectronics Minks Belarus Department of Computer Science Faculty of Electronic Engineering University of Nis Serbia Department of Programming Technologies State University Minsk Belarus
In modern circuit design, the Shannon decomposition of switching functions is widely used. On the other hand, in information theory of telecommunication, the Shannon entropy used as a measure to represent the informat... 详细信息
来源: 评论
Information theoretical approach to minimization of AND/EXOR expressions of switching functions
Information theoretical approach to minimization of AND/EXOR...
收藏 引用
International Conference on Telecommunications in Modern Satellite, Cable and Broadcasting Service (TELSIKS)
作者: V. Shmerko D. Popel R.S. Stankovic V. Cheushev S. Yanushkevich Department of Computer Aided Design Systems Technical University of Szczecin Poland Department of Computer Science State University of Informatics and Radioelectronics of Belarus Minsk Belarus Department of Computer Science University of Nis Yugoslavia Department of Programming Technologies State University Minsk Belarus
In modern circuit design, the Shannon decomposition of switching functions is widely used. On the other hand, in information theory of telecommunication, the Shannon entropy used as a measure to represent the informat... 详细信息
来源: 评论
Branching out
收藏 引用
ITNOW 1999年 第6期41卷 4-4页
作者: Frank Moran Frank Moran is BCS Vice-President Branches. He began programming in the Department of Social Security. He moved to the National Insurance Recording System in 1984. From 1992 his final three years as Assistant Director were spent in charge of small network systems
The branch organisation is the local face of the BCS – and a vital contact point between the society, its members and the wider IT community
来源: 评论
Place bisimulation equivalences for design of concurrent and sequential systems
Place bisimulation equivalences for design of concurrent and...
收藏 引用
MFCS '98 Workshop on Concurrency
作者: Tarasyuk, Igor V. Theoretical Programming Laboratory A.P. Ershov Institute of Informatics Systems 6 Acad. Lavrentiev ave. Novosibirsk 630090 Russia
In this paper, we supplement the set of basic and back-forth behavioural equivalences for Petri nets considered in [11] by place bisimulation ones. The relationships of all the equivalence notions are examined, and th... 详细信息
来源: 评论
Constraints over Lambda-Structures in semantic underspecification  36
Constraints over Lambda-Structures in semantic underspecific...
收藏 引用
36th Annual Meeting of the Association for Computational Linguistics and 17th International Conference on Computational Linguistics, COLING-ACL 1998
作者: Egg, Markus Niehren, Joachim Ruhrberg, Peter Xu, Feiyu Department of Computational Linguistics Universität des Saarlandes Saarbrücken Germany Programming Systems Lab Universität des Saarlandes Saarbrücken Germany
We introduce a first-order language for semantic underspecification that we call Constraint Language for Lambda-Structures (CLLS). A λ-structure can be considered as a λ-term up to consistent renaming of bound varia... 详细信息
来源: 评论