咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 75 篇 工学
    • 57 篇 计算机科学与技术...
    • 36 篇 软件工程
    • 14 篇 信息与通信工程
    • 8 篇 控制科学与工程
    • 7 篇 电气工程
    • 5 篇 土木工程
    • 4 篇 动力工程及工程热...
    • 4 篇 电子科学与技术(可...
    • 4 篇 建筑学
    • 3 篇 机械工程
    • 3 篇 化学工程与技术
    • 3 篇 船舶与海洋工程
    • 3 篇 生物医学工程(可授...
    • 3 篇 生物工程
    • 3 篇 安全科学与工程
    • 2 篇 力学(可授工学、理...
    • 2 篇 仪器科学与技术
    • 2 篇 材料科学与工程(可...
  • 37 篇 理学
    • 14 篇 物理学
    • 10 篇 数学
    • 10 篇 生物学
    • 4 篇 化学
    • 3 篇 大气科学
    • 2 篇 海洋科学
    • 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...

语言

  • 130 篇 英文
  • 3 篇 中文
检索条件"机构=Programming Technology Laboratory"
133 条 记 录,以下是1-10 订阅
排序:
Prediction of key pathways in hepatocellular carcinoma (HCC): A machine learning approach using a sample pathway information matrix
收藏 引用
Computational Biology and Chemistry 2025年 118卷 108481页
作者: Annadurai, Priyadharshini Isaac, Arnold Emerson Bioinformatics Programming Laboratory Department of Bioscience School of Bio Science and Technology Vellore Institute of Technology Katpadi Tamil Nadu Vellore632014 India
Hepatocellular carcinoma (HCC) represents the most prevalent form of primary liver cancer, accounting for 75 % of all cases. Individuals with metabolic dysfunctions are at risk of developing significant symptoms, incl... 详细信息
来源: 评论
Practical Escape Analysis in an Open World
收藏 引用
电子学报(英文版) 2009年 第1期18卷 31-36页
作者: SHI Xiaohua JIN Maozhong WU Gansha LUEH Gueiyuan Software Engineering Institute Beihang University Beijing 100083 China Programming System Laboratory Microprocessor Technology Laboratory Intel Corporation China
A novel escape analysis framework that handles the Java open-world features is proposed and evaluated. The novel approach analyzes a Java program with an optimistic view that the program is in a closed world and appli... 详细信息
来源: 评论
A MESSAGE-DRIVEN programming SYSTEM FOR FINE-GRAIN MULTICOMPUTERS
收藏 引用
SOFTWARE-PRACTICE & EXPERIENCE 1994年 第10期24卷 953-980页
作者: MASKIT, D TAYLOR, S Scalable Concurrent Programming Laboratory California Institute of Technology Computer Science Pasadena CA 91125 U.S.A.
This paper describes an experimental message-driven programming system for fine-grain multicomputers. The initial target architecture is the J-machine designed at MIT. This machine combines a unique collection of arch... 详细信息
来源: 评论
Optimizations and Deoptimizations for Escape Analysis in Open World
收藏 引用
电子学报(英文版) 2010年 第2期19卷 211-216页
作者: SHI Xiaohua WU Gansha JIN Maozhong LUEH Guei-Yuan 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... 详细信息
来源: 评论
Derivation of axiomatic definitions of programming languages from algorithmic definitions
Derivation of axiomatic definitions of programming languages...
收藏 引用
1972 ACM Conference on Proving Assertions about Programs
作者: Allen, C. David Programming Technology Department IBM Product Test Laboratory Hursley United Kingdom
Language definitions by abstract interpreters are appropriate to the design and development of a language. Axiomatic definitions are more appropriate to proving program properties and verification of compilers. The pr... 详细信息
来源: 评论
Network virtualization for military application: Review and initial development of conceptual design
Network virtualization for military application: Review and ...
收藏 引用
14th International Conference on Advanced Communication technology, ICACT 2012
作者: Kerdsri, Jiradett Wipusitwarkun, Komwut Computer and Programming Laboratory Defense Technology Institute Thailand 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, ... 详细信息
来源: 评论
Ambient-oriented programming
Ambient-oriented programming
收藏 引用
OOPSLA'05 - 20th Annual ACM Conference on Object-Oriented programming, Systems, Languages, and Applications
作者: Dedecker, Jessie Van Cutsem, Tom Mostinckx, Stijn D'Hondt, Theo De Meuter, Wolfgang Programming Technology Laboratory Department of Computer Science Vrije Universiteit Brussel Belgium
A new field in distributed computing, called Ambient In-telligence, has emerged as a consequence of the increasing availability of wireless devices and the mobile networks they induce. Developing software for such mob... 详细信息
来源: 评论
AmbientOriented programming in AmbientTalk: Combining mobile hardware with simplicity and expressiveness
AmbientOriented Programming in AmbientTalk: Combining mobile...
收藏 引用
OOPSLA'05 - 20th Annual ACM Conference on Object-Oriented programming, Systems, Languages, and Applications
作者: Dedecker, Jessie Cutsem, Tom Van Mostinckx, Stijn De Meuter, Wolfgang D Hond, Theo Programming Technology Laboratory Department of Computer Science Vrije Universiteit Brussel Belgium
A new field in distributed computing, called Ambient Intelligence, has emerged as a consequence of the increasing availability of wireless devices and the mobile networks they induce. Developing software for such mobi... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
PartialRC: A Partial Recomputing Method for Efficient Fault Recovery on GPGPUs
收藏 引用
Journal of Computer Science & technology 2012年 第2期27卷 240-255页
作者: 徐新海 杨学军 薛京灵 林宇斐 林一松 National Laboratory for Parallel and Distributed Processing School of ComputerNational University of Defense Technology Programming Languages and Compilers Group School of Computer Science and Engineering University of New South Wales
GPGPUs are increasingly being used to as performance accelerators for HPC (High Performance Computing) applications in CPU/GPU heterogeneous computing systems, including TianHe-1A, the world's fastest supercomputer... 详细信息
来源: 评论