咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 484 篇 工学
    • 380 篇 计算机科学与技术...
    • 297 篇 软件工程
    • 70 篇 信息与通信工程
    • 66 篇 控制科学与工程
    • 39 篇 电气工程
    • 34 篇 生物医学工程(可授...
    • 31 篇 生物工程
    • 26 篇 机械工程
    • 25 篇 电子科学与技术(可...
    • 19 篇 材料科学与工程(可...
    • 17 篇 土木工程
    • 16 篇 动力工程及工程热...
    • 16 篇 建筑学
    • 15 篇 仪器科学与技术
    • 15 篇 化学工程与技术
    • 14 篇 安全科学与工程
    • 13 篇 力学(可授工学、理...
    • 12 篇 网络空间安全
  • 280 篇 理学
    • 174 篇 数学
    • 49 篇 物理学
    • 43 篇 生物学
    • 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

语言

  • 756 篇 英文
  • 11 篇 其他
  • 9 篇 中文
  • 2 篇 俄文
  • 1 篇 德文
  • 1 篇 日文
检索条件"机构=Technology Programming"
779 条 记 录,以下是131-140 订阅
排序:
Refactoring: Current research and future trends
Refactoring: Current research and future trends
收藏 引用
LDTA'2003 - Language Descriptions, Tools and Applications
作者: Mens, Tom Demeyer, Serge Du Bois, Bart Stenten, Hans Van Gorp, Pieter Programming Technology Lab Vrije Universiteit Brussel Belgium Lab on Re-Engineering Universiteit Antwerpen Belgium
In this paper we provide an detailed overview of existing research in the field of software restructuring and refactoring, from a formal as well as a practical point of view. Next, we propose an extensive list of open... 详细信息
来源: 评论
PARBLO:Page-Allocation-Based DRAM Row Buffer Locality Optimization
收藏 引用
Journal of Computer Science & technology 2009年 第6期24卷 1086-1097页
作者: 米伟 冯晓兵 贾耀仓 陈莉 薛京灵 Key Laboratory of Computer System and Architecture Institution of Computing Technology Chinese Academy of Sciences Graduate University of Chinese Academy of Sciences Programming Languages and Compilers Group School of Computer Science and Engineering University of New South Wales
DRAM row buffer conflicts can increase memory access latency significantly. This paper presents a new pageallocation-based optimization that works seamlessly together with some existing hardware and software optimizat... 详细信息
来源: 评论
Optimization of MIMO Antenna Approach for 5G Wireless Applications  11
Optimization of MIMO Antenna Approach for 5G Wireless Applic...
收藏 引用
11th IEEE International Conference on Systems and Control, ICSC 2023
作者: Atuwayr, Aqreerah Asmeida, Akrem Ben Abdelmula, Haitham Saleh Anaiba, Abdulhakim Alhadi High Institution of Engineering Technology College of Computer Technology Zawia Libya Libyan Center for Electronic Systems Programming and Aviation Research Libya
In this communication, an improved MIMO antenna array with defected ground structure (DGS) is designed for 5G wireless applications. Its schematic comprises eight radiator elements, situated at the center of an FR-4 p... 详细信息
来源: 评论
A Tool for Reliable Model-based Design For programming Logic Controllers
收藏 引用
IFAC Proceedings Volumes 2013年 第25期46卷 71-76页
作者: M.H. Schwarz H. Sheng W. Chaaban J. Börcsök Dept. Safety Computer Technology University of Kassel Kassel Germany Dept. Computer Architecture and System Programming University of Kassel Kassel Germany
This paper presents an automated code generation and validation, verification approach to convert model based developments into IEC 61131-3 conform function blocks. IEC 61131-3 programming languages are supported by P...
来源: 评论
Boolean differential calculus
Boolean differential calculus
收藏 引用
作者: Steinbach, Bernd Posthoff, Christian Department of Computer Science Software Engineering and Programming Freiberg University of Mining and Technology Germany
Boolean Differential Calculus (BDC) extends Boolean *** Boolean algebra is focused on values of logic functions,BDC allows the evaluation of changes of the function values. Such changes can be investigated between cer... 详细信息
来源: 评论
Multi-perspectives on feature models  12
Multi-perspectives on feature models
收藏 引用
15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012
作者: Schroeter, Julia Lochau, Malte Winkelmann, Tim TU Dresden Institute for Software- and Multimedia-Technology Germany TU Braunschweig Institute for Programming and Reactive Systems Germany
Domain feature models concisely express commonality and variability among variants of a software product line. For supporting separation of concerns, e.g., due to legal restrictions, technical considerations and busin... 详细信息
来源: 评论
Algebraic-coalgebraic recursion theory of history-dependent dynamical system models
Algebraic-coalgebraic recursion theory of history-dependent ...
收藏 引用
12th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2014, as a Satellite Event of the Joint Conference on Theory and Practice of Software, ETAPS 2014
作者: Trancón Y Widemann, Baltasar Hauhs, Michael Programming Languages and Compilers Ilmenau University of Technology Ilmenau Germany Ecological Modelling University of Bayreuth Bayreuth Germany
We investigate the common recursive structure of history-dependent dynamic models in science and engineering. We give formal semantics in terms of a hybrid algebraic-coalgebraic scheme, namely course-of-value iteratio... 详细信息
来源: 评论
Embeddable framework for syntax-safe source code generation
Embeddable framework for syntax-safe source code generation
收藏 引用
Joint International Conference on Human-Centered Computer Environments, HCCE 2012
作者: Kotelnikov, Evgenii Department of Programming Technology Faculty of Applied Mathematics and Control Processes St. Petersburg State University Russia
Source code generation is an essential part of wide range of applications, including transcompilers, parser generators and preprocessors. The common technology based on code templates is often cumbersome and error-pro... 详细信息
来源: 评论
Reliable Code Generation and Test Environment demonstrated on a PI-Controller Design
收藏 引用
IFAC-PapersOnLine 2016年 第3期49卷 465-470页
作者: Schwarz, M.H. Sheng, H. Üstoglu, I. Chabaan, W. Börcsök, J. Safety Computer Technology University of Kassel Germany Control and Automation Engineering Department Yildiz Technical University Istanbul Turkey Computer Architecture and System Programming University of Kassel Germany
This paper focuses on the latest version of a tool developed within the department to guide developer through the various steps of requirements, test-procedures and documentations to finally download the derived algor... 详细信息
来源: 评论
A proof dedicated meta-language
A proof dedicated meta-language
收藏 引用
LFM 2002 International Workshop on Logical Frameworks and Meta-Languages (FLoC Satellite Event)
作者: Delahaye, David Programming Logic Group Department of Computing Science Chalmers University of Technology S-412 96 Gothenburg Sweden
We describe a proof dedicated meta-language, called Ltac, in the context of the Coq proof assistant. This new layer of meta-language is quite appropriate to write small and local automations. Ltac, is essentially a sm... 详细信息
来源: 评论