咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 134 篇 电子文献
  • 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...

语言

  • 131 篇 英文
  • 3 篇 中文
检索条件"机构=Programming Technology Laboratory"
134 条 记 录,以下是61-70 订阅
排序:
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, ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
在开放世界中实现逃逸分析
收藏 引用
软件学报 2008年 第3期19卷 522-532页
作者: 史晓华 吴甘沙 金茂忠 LUEH Guei-Yuan 刘超 王雷 北京航空航天大学软件工程研究所 北京100083 Programming System Laboratory Microprocessor Technology LabsIntelSanta ClaraCAUSA
逃逸分析(escape analysis)是一种可以有效减少Java程序中同步负载和内存堆分配压力的跨函数全局数据流分析算法.此前绝大多数逃逸分析的实现都基于一个所谓“封闭世界(closed world)”的前提:所有可能被执行的方法在做逃逸分析... 详细信息
来源: 评论
Reducing noise in gossip-based reliable broadcast
Reducing noise in gossip-based reliable broadcast
收藏 引用
Reliable Distributed Systems
作者: P. Kouznetsov R. Guerraoui S.B. Handurukande A.-M. Kermarrec Distributed Programming Laboratory Swiss Federal Institute of Technology Lausanne Switzerland Microsoft Research Limited Cambridge USA
We present in this paper a general garbage collection scheme that reduces the "noise" in gossip-based broadcast algorithms. In short, our garbage collection scheme uses a simple heuristic to trade "usel... 详细信息
来源: 评论
Technological parameters of thin-film pulsed laser scribing for perovskite photovoltaics
收藏 引用
Clean Energy 2024年 第3期8卷 127-135页
作者: Rustam Ishteev Pavel Gostishchev Mariia Tiukhova Anton Sorokin Arthur Ishteev Vladimir Kondratenko Laboratory of Precision Machining of Materials Department of NanoelectronicsInstitute for Advanced Technologies and Industrial ProgrammingRTU MIREAMoscowRussia Research and Practical Clinical Center for Diagnostics and Telemedicine Technologies of the Moscow Health Care Department MoscowRussia Laboratory of Advanced Solar Energy(LASE) National University of Science and Technology MISIS4 Leninsky St.MoscowRussia Semenov Federal Research Center of Chemical Physics Russian Academy of Sciences(RAS)4 Kosygina str.MoscowRussia
Over the past decade,the power conversion efficiency of halide perovskite solar cells has shown a rapid increase to 26.1%.The sig­nificant efficiency growth and the relative simplification of the technology for o... 详细信息
来源: 评论
Maternal treatment with dexamethasone during lactation delays male puberty and disrupts reproductive functions via hypothalamic-pituitary-gonadal axis alterations
收藏 引用
Pathophysiology 2016年 第1期23卷 43-49页
作者: Jeje, S.O. Akindele, O.O Balogun, M.E. Raji, Y. Laboratory for Reproductive Physiology and Developmental Programming Department of Physiology University of Ibadan Ibadan Nigeria Department of Human Physiology Cross River University of Technology Okuku Campus Cross River State Nigeria Department of Physiology Faculty of Medicine College of Health Sciences Ebonyi State University Abakaliki Nigeria
The effects of maternal treatment with dexamethasone during lactation on pubertal timing, serum hormonal profile and sperm indices in the male offspring were assessed. Twenty lactating dams were divided into 4 groups ... 详细信息
来源: 评论
Research on the multidimensional educational review strategy Based on MOOCs Integrated by the multidimensional learning theory
Research on the multidimensional educational review strategy...
收藏 引用
2015 World Congress on Engineering and Computer Science, WCECS 2015
作者: Ming, Li Ju, Zhang Jingzhong, Zhang Lian, Chen High Performance Computing Application R and D Center Chongqing Institute of Green and Intelligent Technology Chinese Academy of Sciences Chongqing China Automated Reasoning and Cognition Key Laboratory of Chongqing Chongqing Institute of Green and Intelligent Technology Chinese Academy of Sciences Chongqing China Laboratory for Automated Reasoning and Programming Chengdu Institute of Computer Applications Chinese Academy of Sciences Chengdu China
Through a detailed analysis of the theoretical basis for MOOCs in terms of educational learning theories, this paper attempts at finding the corresponding relationship between the theories and MOOCs, which not only th... 详细信息
来源: 评论
On the inability of Markov models to capture criticality in human mobility
arXiv
收藏 引用
arXiv 2018年
作者: Kulkarni, Vaibhav Mahalunkar, Abhijit Garbinato, Benoit Kelleher, John D. Distributed Object Programming Laboratory UNIL-HEC Lausanne Switzerland Applied Intelligence Research Center Dublin Institute of Technology
We examine the non-Markovian nature of human mobility by exposing the inability of Markov models to capture criticality in human mobility. In particular, the assumed Markovian nature of mobility was used to establish ... 详细信息
来源: 评论
Abstracting remote object interaction in a peer-2-peer environment  02
Abstracting remote object interaction in a peer-2-peer envir...
收藏 引用
Proceedings of the Joint ACM Java Grande - ISCOPE 2002 Conference
作者: Eugster, Patrick Thomas Baehni, Seábastien Distributed Comp. Syst. Res. Grp. Chalmers University of Technology Göteborg S-412 96 Sweden Distributed Programming Laboratory Swiss Fed. Inst. Technol. Lausanne CH-1015 Lausanne Switzerland
Leveraged by the success of applications aiming at the "free" sharing of data in the Internet, the paradigm of peer-to-peer (P2P) computing has been devoted substantial consideration recently. This paper pre... 详细信息
来源: 评论
Termination of programs over the union of intervals
Termination of programs over the union of intervals
收藏 引用
International Conference on Advanced Computer Theory and Engineering, ICACTE
作者: Lin Mu Yi Li Taige Jin Jiawei Luo Laboratory of Automated Reasoning and Programming Chengdu Institute of Computer ApplicationCAS Chengdu China Laboratory of CRTC University of Electronic Science and Technology Chengdu China
For a generic loop: while (constraints) {updates} it is well known that the termination problem is undecidable in general, even for a simple class of polynomial programs. If the constraints or the updating function in... 详细信息
来源: 评论