咨询与建议

限定检索结果

文献类型

  • 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 订阅
排序:
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... 详细信息
来源: 评论
A PIPELINED BROADCAST FOR MULTIDIMENSIONAL MESHES
收藏 引用
Parallel Processing Letters 1995年 第2期5卷 281-292页
作者: JERRELL WATTS ROBERT VAN DE GEIJN Scalable Concurrent Programming Laboratory California Institute of Technology Pasadena California 91125 USA Department of Computer Sciences University of Texas at Austin Austin Texas 78712 USA
We address the problem of performing a pipelined broadcast on a mesh architecture. Meshes require a different approach than other topologies, and their very nature puts a tighter bound on the performance that one can ... 详细信息
来源: 评论
Supporting mobility in content-based publish/subscribe middleware  03
收藏 引用
Proceedings of the ACM/IFIP/USENIX 2003 International Conference on Middleware
作者: Ludger Fiege Felix C. Gärtner Oliver Kasten Andreas Zeidler Darmstadt University of Technology (TUD) Darmstadt Germany Distributed Programming Laboratory Lausanne Switzerland Swiss Federal Institute of Technology (ETH Zurich) Zurich Switzerland
Publish/subscribe (pub/sub) is considered a valuable middleware architecture that proliferates loose coupling and leverages reconfigurability and evolution. Up to now, existing pub/sub middleware was optimized for sta...
来源: 评论
Characterization and analysis of HMMER and SVM-RFE parallel bioinformatics applications
Characterization and analysis of HMMER and SVM-RFE parallel ...
收藏 引用
IEEE International Workshop/Symposium on Workload Characterization
作者: U. Srinivasan Peng-Sheng Chen Qian Diao Chu-Cheow Lim E. Li Yongjian Chen R. Ju Yimin Zhang Programming Systems Laboratoryoratory Microprocessor Technology Laboratory Intel Corporation Santa Clara CA USA Architecture Research Laboratoryoratory Microprocessor Technology Laboratory Intel Corporation Santa Clara CA USA
Bioinformatics applications constitute an emerging data-intensive, high-performance computing (HPC) domain. While there is much research on algorithmic improvements, (2004), the actual performance of an application al... 详细信息
来源: 评论