咨询与建议

限定检索结果

文献类型

  • 517 篇 会议
  • 247 篇 期刊文献
  • 16 册 图书

馆藏范围

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

日期分布

学科分类号

  • 485 篇 工学
    • 381 篇 计算机科学与技术...
    • 297 篇 软件工程
    • 70 篇 信息与通信工程
    • 66 篇 控制科学与工程
    • 39 篇 电气工程
    • 34 篇 生物医学工程(可授...
    • 31 篇 生物工程
    • 26 篇 机械工程
    • 25 篇 电子科学与技术(可...
    • 19 篇 材料科学与工程(可...
    • 17 篇 土木工程
    • 16 篇 动力工程及工程热...
    • 16 篇 建筑学
    • 15 篇 仪器科学与技术
    • 15 篇 化学工程与技术
    • 14 篇 安全科学与工程
    • 13 篇 力学(可授工学、理...
    • 12 篇 网络空间安全
  • 281 篇 理学
    • 174 篇 数学
    • 49 篇 物理学
    • 44 篇 生物学
    • 37 篇 统计学(可授理学、...
    • 34 篇 系统科学
    • 18 篇 化学
  • 100 篇 管理学
    • 59 篇 管理科学与工程(可...
    • 48 篇 图书情报与档案管...
    • 27 篇 工商管理
  • 31 篇 医学
    • 27 篇 临床医学
    • 23 篇 基础医学(可授医学...
  • 16 篇 法学
    • 13 篇 社会学
  • 9 篇 教育学
  • 8 篇 经济学
  • 6 篇 农学
  • 4 篇 文学
  • 2 篇 哲学
  • 2 篇 艺术学
  • 1 篇 军事学

主题

  • 27 篇 computer languag...
  • 24 篇 software enginee...
  • 20 篇 application soft...
  • 20 篇 hardware
  • 20 篇 artificial intel...
  • 19 篇 object oriented ...
  • 15 篇 software systems
  • 15 篇 programming
  • 14 篇 semantics
  • 14 篇 software
  • 13 篇 programming prof...
  • 13 篇 software design
  • 12 篇 java
  • 12 篇 computational mo...
  • 11 篇 computer science
  • 10 篇 functional progr...
  • 8 篇 computer archite...
  • 8 篇 neural networks
  • 8 篇 history
  • 8 篇 laboratories

机构

  • 24 篇 department of sy...
  • 24 篇 moscow institute...
  • 12 篇 lomonosov moscow...
  • 12 篇 ivannikov instit...
  • 10 篇 department of ap...
  • 10 篇 moscow institute...
  • 10 篇 programming tech...
  • 10 篇 programming tech...
  • 9 篇 lomonosov moscow...
  • 9 篇 distributed prog...
  • 8 篇 institute of sof...
  • 7 篇 department of ma...
  • 7 篇 programming tech...
  • 6 篇 institute of sof...
  • 6 篇 ivannikov instit...
  • 6 篇 programming meth...
  • 6 篇 department of th...
  • 6 篇 programming tech...
  • 6 篇 department of co...
  • 6 篇 computer enginee...

作者

  • 23 篇 d'hondt theo
  • 17 篇 de meuter wolfga...
  • 12 篇 costanza pascal
  • 12 篇 dosch walter
  • 12 篇 mens tom
  • 12 篇 abotaleb mostafa
  • 11 篇 van cutsem tom
  • 10 篇 gasnikov alexand...
  • 9 篇 maiti manoranjan
  • 9 篇 mostafa abotaleb
  • 9 篇 dedecker jessie
  • 9 篇 mostinckx stijn
  • 8 篇 bergstra j.a.
  • 8 篇 pal madhumangal
  • 8 篇 baeten j.c.m.
  • 8 篇 abdelhameed ibra...
  • 8 篇 beznosikov aleks...
  • 7 篇 scholz sven-bodo
  • 7 篇 logunova vlada
  • 7 篇 steffen bernhard

语言

  • 757 篇 英文
  • 11 篇 其他
  • 9 篇 中文
  • 2 篇 俄文
  • 1 篇 德文
  • 1 篇 日文
检索条件"机构=Technology Programming"
780 条 记 录,以下是121-130 订阅
排序:
Towards a domain-specific aspect language for leasing in mobile ad hoc networks
Towards a domain-specific aspect language for leasing in mob...
收藏 引用
2008 AOSD Workshop on Domain-specific Aspect Languages, DSAL'08
作者: Gonzalez Boix, Elisa Cleenewerk, Thomas Dedecker, Jessie De Meuter, Wolfgang Programming Technology Lab. Vrije Universiteit Brussel Pleinlaan 2 1050 Brussels Belgium
Leasing provides a robust mechanism to manage reclamation of remote objects in mobile ad hoc networks. However, applying the leasing semantics on each remote object reference places a considerable burden on developers... 详细信息
来源: 评论
Prefetch injection based on hardware monitoring and object metadata
Prefetch injection based on hardware monitoring and object m...
收藏 引用
Proceedings of the 2004 ACM SIGPLAN Conference on programming Language Design and Implementation (PLDI'04)
作者: Adl-Tabatabai, Ali-Reza Hudson, Richard L. Serrano, Mauricio J. Subramoney, Sreenivas Programming Systems Laboratory Microprocessor Technology Laboratory Intel Corporation Santa Clara CA United States
Cache miss stalls hurt performance because of the large gap between memory and processor speeds - for example, the popular server benchmark SPEC JBB2000 spends 45% of its cycles stalled waiting for memory requests on ... 详细信息
来源: 评论
Modeling software systems
Modeling software systems
收藏 引用
SNPD 2007: 8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing
作者: Dosch, Walter Institute of Software Technology and Programming Languages University of Lübeck D-23538 Lübeck Germany
The field of software engineering originally concentrated on "programming in the small" emphasizing implementation techniques. Over the last decades, software and systems engineering expanded to a comprehens... 详细信息
来源: 评论
Cyclic Quasi-Orthogonal Matrices in Image and Signal Encoding
Cyclic Quasi-Orthogonal Matrices in Image and Signal Encodin...
收藏 引用
2022 International Conference on Information Science and Communications Technologies, ICISCT 2022
作者: Alexandr, Sergeev Saint Petersburg State University of Aerospace Instrumentation Department of Computer Technology and Programming Saint Petersburg Russia
orthogonal and quasi-orthogonal matrices with a limited number of element values and structured in some way are of considerable interest for many technical applications related to image processing and signal coding. T... 详细信息
来源: 评论
Reflective layer activation in ContextL
Proceedings of the ACM Symposium on Applied Computing
收藏 引用
Proceedings of the ACM Symposium on Applied Computing 2007年 1280-1285页
作者: Costanza, Pascal Hirschfeld, Robert Programming Technology Lab. Vrije Universiteit Brussel B-1050 Brussels Belgium Hasso-Plattner-Institut Universität Potsdam D-14482 Potsdam Germany
Expressing layer dependencies in Context-oriented programming is cumbersome because until now no facility has been introduced to control the activation and deactivation of layers. This paper presents a novel reflectiv... 详细信息
来源: 评论
High-level declarative user interfaces: [Poster Abstract]
High-level declarative user interfaces: [Poster Abstract]
收藏 引用
OOPSLA'05 - 20th Annual ACM Conference on Object-Oriented programming, Systems, Languages, and Applications
作者: Goderis, Sofie D'Hondt, Theo Vrije Universiteit Brussel Programming Technology Lab Pleinlaan 2 BrusselB1050 Belgium
来源: 评论
Implementing the NAS benchmark MG in SAC  16
Implementing the NAS benchmark MG in SAC
收藏 引用
16th International Parallel and Distributed Processing Symposium, IPDPS 2002
作者: Grelck, C. Medical University of Lübeck Institute for Software Technology and Programming Languages Lübeck23569 Germany
SAC is a purely functional array processing language designed with numerical applications in mind. It supports generic, high-level program specifications in the style of APL. However, rather than providing a fixed set...
来源: 评论
On optimising shape-generic array programs using symbolic structural information
收藏 引用
18th International Symposium on Implementation and Application of Functional Languages, IFL 2006
作者: Trojahner, Kai Grelck, Clemens Scholz, Sven-Bodo University of Lübeck Institute of Software Technology and Programming Languages University of Hertfordshire Department of Computer Science
Shape-generic programming and high run time performance do match if generic source code is systematically specialised into nongeneric executable code. However, as soon as we drop the assumption of whole-world knowledg... 详细信息
来源: 评论
On σ-semipermutable Subgroups of Finite Groups
收藏 引用
Acta Mathematica Sinica,English Series 2018年 第9期34卷 1379-1390页
作者: Wen Bin GUO Alexander N. SKIBA Department of Mathematics University of Science and Technology of China Hefei 230026 P. R. China Department of Mathematics and Technologies of Programming Francisk Skorina Gomel State University Gomel 246019 Belarus
Let a = {σi| i ∈ I} be some partition of the set of all primes P, G a finite group and σ(G) = {σi|σi ∩ π (G) ≠ Ф}. A set H of subgroups of G is said to be a complete Hall or-set of G if every member ≠... 详细信息
来源: 评论
Ensuring the reliability of remote online monitoring systems
Ensuring the reliability of remote online monitoring systems
收藏 引用
2022 International Conference on Information Science and Communications Technologies, ICISCT 2022
作者: Alexandr, Sergeev Mikhail, Sergeev Saint Petersburg State University of Aerospace Instrumentation Department of Computer Technology and Programming Saint Petersburg Russia
the issue of ensuring the reliability of the functioning of global systems of remote online monitoring of the condition of patients is considered. Remote monitoring is in demand when supervision the health status of d... 详细信息
来源: 评论