咨询与建议

限定检索结果

文献类型

  • 2,652 篇 会议
  • 199 篇 期刊文献
  • 163 册 图书
  • 16 篇 学位论文

馆藏范围

  • 3,031 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,628 篇 工学
    • 1,478 篇 计算机科学与技术...
    • 1,076 篇 软件工程
    • 157 篇 电气工程
    • 126 篇 信息与通信工程
    • 84 篇 控制科学与工程
    • 31 篇 电子科学与技术(可...
    • 25 篇 建筑学
    • 23 篇 机械工程
    • 20 篇 生物工程
    • 19 篇 土木工程
    • 17 篇 仪器科学与技术
    • 15 篇 材料科学与工程(可...
    • 13 篇 化学工程与技术
    • 12 篇 交通运输工程
    • 12 篇 网络空间安全
    • 9 篇 安全科学与工程
    • 8 篇 动力工程及工程热...
  • 288 篇 理学
    • 211 篇 数学
    • 29 篇 系统科学
    • 27 篇 物理学
    • 25 篇 生物学
    • 21 篇 统计学(可授理学、...
    • 17 篇 化学
  • 187 篇 管理学
    • 107 篇 管理科学与工程(可...
    • 92 篇 图书情报与档案管...
    • 44 篇 工商管理
  • 23 篇 教育学
    • 23 篇 教育学
  • 12 篇 法学
    • 9 篇 社会学
  • 11 篇 经济学
    • 10 篇 应用经济学
  • 8 篇 医学
    • 8 篇 临床医学
  • 6 篇 农学
  • 2 篇 军事学
  • 2 篇 艺术学

主题

  • 457 篇 distributed comp...
  • 415 篇 computer languag...
  • 341 篇 concurrent compu...
  • 265 篇 parallel program...
  • 249 篇 application soft...
  • 240 篇 programming prof...
  • 218 篇 computer science
  • 173 篇 object oriented ...
  • 167 篇 computer archite...
  • 166 篇 computer program...
  • 164 篇 object oriented ...
  • 157 篇 parallel process...
  • 156 篇 computational mo...
  • 131 篇 software enginee...
  • 131 篇 java
  • 128 篇 programming
  • 116 篇 hardware
  • 110 篇 operating system...
  • 98 篇 message passing
  • 97 篇 computer network...

机构

  • 9 篇 department of co...
  • 8 篇 department of co...
  • 6 篇 vienna universit...
  • 6 篇 carnegie mellon ...
  • 5 篇 univ florence di...
  • 5 篇 tech univ darmst...
  • 5 篇 department of co...
  • 5 篇 stanford univers...
  • 5 篇 irisa/inria renn...
  • 5 篇 politecn milan m...
  • 5 篇 barcelona superc...
  • 5 篇 school of comput...
  • 4 篇 inria
  • 4 篇 georgia inst tec...
  • 4 篇 ibm thomas j. wa...
  • 4 篇 department of co...
  • 4 篇 institute of dis...
  • 4 篇 department of co...
  • 4 篇 inria rocquencou...
  • 4 篇 monash universit...

作者

  • 15 篇 viroli mirko
  • 13 篇 sarkar vivek
  • 12 篇 j. kramer
  • 11 篇 de meuter wolfga...
  • 9 篇 casadei roberto
  • 7 篇 dustdar schahram
  • 7 篇 badia rosa m.
  • 7 篇 talia domenico
  • 7 篇 j. magee
  • 7 篇 audrito giorgio
  • 7 篇 de nicola rocco
  • 6 篇 damiani ferrucci...
  • 6 篇 chen haibo
  • 6 篇 anon
  • 6 篇 hayashi akihiro
  • 6 篇 d'hondt theo
  • 5 篇 d. watkins
  • 5 篇 agha gul
  • 5 篇 lumsdaine andrew
  • 5 篇 chapman barbara

语言

  • 2,964 篇 英文
  • 55 篇 其他
  • 9 篇 中文
  • 2 篇 俄文
  • 1 篇 挪威文
检索条件"任意字段=Proceedings of the Programming Models and Languages for Distributed Computing"
3031 条 记 录,以下是21-30 订阅
排序:
Real-time adaptive optics control with a high level programming language  9
Real-time adaptive optics control with a high level programm...
收藏 引用
Conference on Adaptive Optics Systems IX
作者: Thompson, William Gamroth, Darryl Marois, Christian Lardiere, Olivier Natl Res Council Canada 5071 W Saanich Rd Victoria BC Canada Rubus Technol Inc Victoria BC Canada
Adaptive optics systems are usually prototyped in a convenient but slow language like MATLAB or Python, and then re-written from scratch using high-performance C/C++ to perform real-time control. This duplication of e... 详细信息
来源: 评论
Evaluating LLM-generatedWorked Examples in an Introductory programming Course  24
Evaluating LLM-generatedWorked Examples in an Introductory P...
收藏 引用
26th Australasian computing Education Conference (ACE)
作者: Jury, Breanna Lorusso, Angela Leinonen, Juho Denny, Paul Luxton-Reilly, Andrew Univ Auckland Auckland New Zealand
Worked examples, which illustrate the process for solving a problem step-by-step, are a well-established pedagogical technique that has been widely studied in computing classrooms. However, creating high-quality worke... 详细信息
来源: 评论
Two-Face: Combining Collective and One-Sided Communication for Efficient distributed SpMM  24
Two-Face: Combining Collective and One-Sided Communication f...
收藏 引用
29th ACM International Conference on Architectural Support for programming languages and Operating Systems (ASPLOS)
作者: Block, Charles Gerogiannis, Gerasimos Mendis, Charith Azad, Ariful Torrellas, Josep Univ Illinois Champaign IL 61820 USA
Sparse matrix dense matrix multiplication (SpMM) is commonly used in applications ranging from scientific computing to graph neural networks. Typically, when SpMM is executed in a distributed platform, communication c... 详细信息
来源: 评论
Trillium: Higher-Order Concurrent and distributed Separation Logic for Intensional Refinement
收藏 引用
proceedings OF THE ACM ON programming languages-PACMPL 2024年 第POPL期8卷 241-272页
作者: Timany, Amin Gregersen, Simon Oddershede Stefanesco, Leo Hinrichsen, Jonas Kastberg Gondelman, Leon Nieto, Abel Birkedal, Lars Aarhus Univ Aarhus Denmark MPI SWS Saarbrucken Germany
Expressive state-of-the-art separation logics rely on step-indexing to model semantically complex features and to support modular reasoning about imperative higher-order concurrent and distributed programs. Step-index... 详细信息
来源: 评论
LiDO: Linearizable Byzantine distributed Objects with Refinement-Based Liveness Proofs
收藏 引用
proceedings OF THE ACM ON programming languages-PACMPL 2024年 第PLDI期8卷 1140-1164页
作者: Qiu, Longfei Kim, Yoonseung Shin, Ji-Yong Kim, Jieung Honore, Wolf Shao, Zhong Yale Univ New Haven CT 06520 USA Northeastern Univ Boston MA 02115 USA Inha Univ Incheon South Korea CertiK New York NY USA
Byzantine fault-tolerant state machine replication (SMR) protocols, such as PBFT, HotStuff, and Jolteon, are essential for modern blockchain technologies. However, they are challenging to implement correctly because t... 详细信息
来源: 评论
Lamellar: A Rust-based Asynchronous Tasking and PGAS Runtime for High Performance computing
Lamellar: A Rust-based Asynchronous Tasking and PGAS Runtime...
收藏 引用
2024 Workshops of the International Conference for High Performance computing, Networking, Storage and Analysis, SC Workshops 2024
作者: Friese, Ryan D. Gioiosa, Roberto Cottam, Joseph Multu, Erdal Roek, Gregory Thomadakis, Polykarpos Raugas, Mark Pacific Northwest National Laboratory RichlandWA United States
The discussion around "safe"programming languages has significantly increased in recent years, and is impacting how governments, industry, and academia plan to develop current and future software products. T... 详细信息
来源: 评论
A Fault-Tolerant Million Qubit-Scale distributed Quantum Computer  24
A Fault-Tolerant Million Qubit-Scale Distributed Quantum Com...
收藏 引用
29th ACM International Conference on Architectural Support for programming languages and Operating Systems (ASPLOS)
作者: Kim, Junpyo Min, Dongmoon Cho, Jungmin Jeong, Hyeonseong Byun, Ilkwon Choi, Junhyuk Hong, Juwon Kim, Jangwoo Seoul Natl Univ Seoul South Korea
A million qubit-scale quantum computer is essential to realize the quantum supremacy. Modern large-scale quantum computers integrate multiple quantum computers located in dilution refrigerators (DR) to overcome each D... 详细信息
来源: 评论
Helios: Efficient distributed Dynamic Graph Sampling for Online GNN Inference  25
Helios: Efficient Distributed Dynamic Graph Sampling for Onl...
收藏 引用
30th Symposium on Principles and Practice of Parallel programming
作者: Sun, Jie Shi, Zuocheng Su, Li Shen, Wenting Wang, Zeke Li, Yong Yu, Wenyuan Lin, Wei Wu, Fei He, Bingsheng Zhou, Jingren Zhejiang Univ Hangzhou Peoples R China Alibaba Grp Hangzhou Peoples R China Zhejiang Univ Shanghai Inst Adv Study Hangzhou Peoples R China Natl Univ Singapore Singapore Singapore
Online GNN inference has been widely explored by applications such as online recommendation and financial fraud detection systems, where even minor delays can result in significant financial impact. Real-time dynamic ... 详细信息
来源: 评论
An Empirical Comparison of Code Generation Approaches for Ansible  2
An Empirical Comparison of Code Generation Approaches for An...
收藏 引用
2nd International Workshop on Interpretability, Robustness and Benchmarking in Neural Software Engineering (InteNSE)
作者: Darnell, Benjamin Chopra, Hetarth Councilman, Aaron Grove, David Wang, Yu-Xiong Adve, Vikram Univ Illinois Urbana IL 61801 USA IBM Res Yorktown Hts NY USA
The rapid proliferation of LLM-based programming assistants has enabled fast and accurate automatic code generation for general purpose programming languages. Domain-specific languages like Ansible, a DSL for IT Autom... 详细信息
来源: 评论
An Initial Exploration of Code Diagram Query Effectiveness  26
An Initial Exploration of Code Diagram Query Effectiveness
收藏 引用
26th Western Canadian Conference on computing Education (WCCCE)
作者: Himbeault, Lauren Latulipe, Celine Univ Manitoba Winnipeg MB Canada
In introductory programming, students must develop an accurate mental model of how programming languages work. This model, often called a 'notional machine,' is essential for understanding how a machine interp... 详细信息
来源: 评论