咨询与建议

限定检索结果

文献类型

  • 77 篇 会议
  • 57 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 76 篇 工学
    • 57 篇 计算机科学与技术...
    • 36 篇 软件工程
    • 14 篇 信息与通信工程
    • 8 篇 控制科学与工程
    • 7 篇 电气工程
    • 5 篇 土木工程
    • 4 篇 动力工程及工程热...
    • 4 篇 电子科学与技术(可...
    • 4 篇 建筑学
    • 3 篇 机械工程
    • 3 篇 材料科学与工程(可...
    • 3 篇 化学工程与技术
    • 3 篇 船舶与海洋工程
    • 3 篇 生物医学工程(可授...
    • 3 篇 生物工程
    • 3 篇 安全科学与工程
    • 2 篇 力学(可授工学、理...
    • 2 篇 仪器科学与技术
  • 37 篇 理学
    • 14 篇 物理学
    • 11 篇 数学
    • 10 篇 生物学
    • 4 篇 化学
    • 3 篇 大气科学
    • 3 篇 统计学(可授理学、...
    • 2 篇 海洋科学
  • 13 篇 管理学
    • 8 篇 管理科学与工程(可...
    • 6 篇 图书情报与档案管...
  • 6 篇 医学
    • 6 篇 临床医学
    • 5 篇 基础医学(可授医学...
  • 2 篇 法学
    • 2 篇 公安学
  • 1 篇 经济学
  • 1 篇 教育学
  • 1 篇 农学
  • 1 篇 军事学

主题

  • 9 篇 application soft...
  • 8 篇 laboratories
  • 7 篇 object oriented ...
  • 6 篇 software systems
  • 6 篇 java
  • 5 篇 computer science
  • 5 篇 programming prof...
  • 5 篇 software enginee...
  • 5 篇 computer languag...
  • 4 篇 compilers
  • 4 篇 scalability
  • 4 篇 logic programmin...
  • 4 篇 documentation
  • 3 篇 runtime
  • 3 篇 packaging
  • 3 篇 operating system...
  • 3 篇 safety
  • 3 篇 contracts
  • 3 篇 performance anal...
  • 3 篇 protocols

机构

  • 10 篇 programming tech...
  • 9 篇 distributed prog...
  • 4 篇 college of preci...
  • 3 篇 programming tech...
  • 3 篇 fund for scienti...
  • 3 篇 programming tech...
  • 2 篇 laboratory for r...
  • 2 篇 ivannikov instit...
  • 2 篇 international in...
  • 2 篇 sun microsystems
  • 2 篇 department of sy...
  • 2 篇 school of naval ...
  • 2 篇 programming mode...
  • 2 篇 institute of nuc...
  • 2 篇 laboratory of au...
  • 2 篇 computer and pro...
  • 2 篇 dep. of computin...
  • 2 篇 civil aviation m...
  • 2 篇 laboratory for r...
  • 2 篇 scalable concurr...

作者

  • 6 篇 r. guerraoui
  • 5 篇 t. tourwe
  • 5 篇 de meuter wolfga...
  • 5 篇 dedecker jessie
  • 5 篇 t. mens
  • 5 篇 mostinckx stijn
  • 4 篇 choe km
  • 4 篇 张贵忠
  • 4 篇 姚键铨
  • 4 篇 van cutsem tom
  • 4 篇 丁欣
  • 4 篇 d'hondt theo
  • 4 篇 李猛
  • 3 篇 薛京灵
  • 2 篇 eugster patrick ...
  • 2 篇 patrick th. eugs...
  • 2 篇 rachid guerraoui
  • 2 篇 p.th. eugster
  • 2 篇 peter ebraert
  • 2 篇 olaniyan olugbem...

语言

  • 131 篇 英文
  • 3 篇 中文
检索条件"机构=Programming Technology Laboratory"
134 条 记 录,以下是51-60 订阅
排序:
Electron vortices in photoionization by a pair of elliptically polarized attosecond pulses
收藏 引用
Chinese Optics Letters 2017年 第12期15卷 6-10页
作者: 李猛 张贵忠 赵天琪 丁欣 姚键铨 College of Precision Instrument and Optoelectronics Engineering Tianjin University Civil Aviation Meteorological Institute Key Laboratory of Operation Programming & Safety Technology of Air Traffic Management Civil Aviation University of China
The photoionization by two elliptically polarized, time delayed attosecond pulses is investigated to display a momentum distribution having the helical vortex or ring structuresi The results are obtained by the strong... 详细信息
来源: 评论
Optimizations and Deoptimizations for Escape Analysis in Open World
收藏 引用
Chinese Journal of Electronics 2023年 第2期19卷 211-216页
作者: Xiaohua Shi Gansha Wu Jin Maozhong Guei-Yuan Lueh School of Computer Science Beihang University Beijing China Programming System Laboratory Microprocessor Technology Labs Intel Corporation Beijing China
This paper introduced the optimization and deoptimization technologies for Escape analysis in open world. These technologies are used in a novel Escape analysis framework that has been implemented in Open runtime plat... 详细信息
来源: 评论
Experiences in modularizing business rules into aspects
Experiences in modularizing business rules into aspects
收藏 引用
International Conference on Software Maintenance (ICSM)
作者: Andy Kellens Kris De Schutter Theo D'Hondt Viviane Jonckers Hans Doggen Programming Technology Laboratory Vrije Universiteit Brussel System and Software Engineering Laboratory Vrije Universiteit Brussel Beerzel Belgium
This paper provides an experience report on the use of aspect-oriented technology as a means to modularize the implementation of business rules in an object-oriented, large scale case study. The goal of this refactori... 详细信息
来源: 评论
Dynamics of control
Dynamics of control
收藏 引用
1st IEEE/IFIP International Symposium on Theoretical Aspects of Softwave Engineering
作者: Sanders, J. W. Turilli, Matteo United Nations University International Institute for Software Technology P O Box 3058 Macao Programming Research Group Oxford University Computing Laboratory Wolf Son Building Oxford OX1 3QD Parks Rd
This paper proposes a notion, the 'ambit' of an action, that allows the degree of distribution of an action in a multiagent system to be quantified without regard to its functionality. It demonstrates the use ... 详细信息
来源: 评论
The FX-87 Interpreter
The FX-87 Interpreter
收藏 引用
International Conference on Computer Languages
作者: P. Jouvelot D.K. Gifford Programming Systems Research Group Laboratory for Computer Science Massachusetts Institute of Technology Cambridge MA USA
The first implementation of the programming language FX-87, a polymorphic typed functional language based on a system for static program analysis, is described. This polymorphic effect system integrates type checking ... 详细信息
来源: 评论
Evaluation of full-text retrieval system using collection of Serially Evolved Documents  17
Evaluation of full-text retrieval system using collection of...
收藏 引用
3rd International Conference on Industrial and Business Engineering, ICIBE 2017
作者: Cho, Hwan-Gue Kim, Yeoneo Tak, Hae-Sung Shin, Young-Ju Choi, Kwang-Nam Kim, Han-Ho Lim, Chulsu Dep. of Computer Sci. and Eng. PUSAN National Univ. Korea Republic of Programming Language Laboratory PUSAN National Univ. Korea Republic of Korea Institute of Science and Technology Information Korea Republic of
Finding a document that is similar to a specified query document within a large document database is one of important issues in the Big Data era, as most data available is in the form of unstructured texts. Our testin... 详细信息
来源: 评论
HyPursuit: a hierarchical network search engine that exploits content-link hypertext clustering  96
HyPursuit: a hierarchical network search engine that exploit...
收藏 引用
Proceedings of the the seventh ACM conference on Hypertext
作者: Ron Weiss Bienvenido Vélez Mark A. Sheldon Programming Systems Research Group MIT Laboratory for Computer Science 545 Technology Square Cambridge MA
来源: 评论
Network virtualization for military application: Review and initial development of conceptual design
Network virtualization for military application: Review and ...
收藏 引用
International Conference on Advanced Communication technology (ICACT)
作者: Jiradett Kerdsri Komwut Wipusitwarkun Computer and Programming Laboratory Defense Technology Institute Thailand School of Information Computer and Communication Technology (ICT) Sirindhorn International Institute of Technology Thailand
Networking technology, undoubtedly, plays a vital role in modern warfare especially in Network Centric Operations (NCOs) and Global Information Grid (GIG) concept. However, the current popular network infrastructure, ... 详细信息
来源: 评论
在开放世界中实现逃逸分析
收藏 引用
软件学报 2008年 第3期19卷 522-532页
作者: 史晓华 吴甘沙 金茂忠 LUEH Guei-Yuan 刘超 王雷 北京航空航天大学软件工程研究所 北京100083 Programming System Laboratory Microprocessor Technology LabsIntelSanta ClaraCAUSA
逃逸分析(escape analysis)是一种可以有效减少Java程序中同步负载和内存堆分配压力的跨函数全局数据流分析算法.此前绝大多数逃逸分析的实现都基于一个所谓“封闭世界(closed world)”的前提:所有可能被执行的方法在做逃逸分析... 详细信息
来源: 评论
Research on AMDB modeling and display techniques
Research on AMDB modeling and display techniques
收藏 引用
International Conference on Control,Mechatronics and Automation technology(ICCMAT 2014)
作者: C.Chen Y.L.Wang Z.P.Hui J.N.Wang Civil Aviation University of China Tianjin Key Laboratory of Operation Programming and Safety Technology of Air Traffic Management
Considering the important role AMDB takes in the future air traffic management system, an AMDB data modeling method has been proposed, which is followed by a display technique. In this paper, first,the UML and XML sch... 详细信息
来源: 评论