咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是41-50 订阅
SoCFlow: Efficient and Scalable DNN Training on SoC-Clustered Edge Servers  24
SoCFlow: Efficient and Scalable DNN Training on SoC-Clustere...
收藏 引用
29th ACM International Conference on Architectural Support for programming languages and Operating Systems (ASPLOS)
作者: Xu, Daliang Xu, Mengwei Lou, Chiheng Zhang, Li Huang, Gang Jin, Xin Liu, Xuanzhe Peking Univ Minist Educ Key Lab High Confidence Software Technol Beijing Peoples R China Peking Univ Sch Comp Sci Beijing Peoples R China State Key Lab Networking & Switching Technol Beijing Peoples R China Natl Key Lab Data Space Technol & Syst Beijing Peoples R China
SoC-Cluster, a novel server architecture composed of massive mobile system-on-chips (SoCs), is gaining popularity in industrial edge computing due to its energy efficiency and compatibility with existing mobile applic... 详细信息
来源: 评论
Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures
收藏 引用
proceedings OF THE ACM ON programming languages-PACMPL 2024年 第POPL期8卷 1882-1912页
作者: Randone, Francesca Bortolussi, Luca Incerto, Emilio Tribastone, Mirco IMT Sch Adv Studies Lucca Lucca LU Italy Univ Trieste Trieste Italy
computing the posterior distribution of a probabilistic program is a hard task for which no one-fit-for-all solution exists. We propose Gaussian Semantics, which approximates the exact probabilistic semantics of a bou... 详细信息
来源: 评论
Applying a Task-Based Approach to distributed Machine Learning Workflows
Applying a Task-Based Approach to Distributed Machine Learni...
收藏 引用
2024 Workshops of the International Conference for High Performance computing, Networking, Storage and Analysis, SC Workshops 2024
作者: Vazquez-Novoa, Fernando Lezzi, Daniele Lordan, Francesc Baghdadi, Fatemeh Cirillo, Davide Barcelona Supercomputing Center Department of Computer Sciences Barcelona Spain Barcelona Supercomputing Center Department of Life Sciences Barcelona Spain
The growing demands across various scientific fields have led to a significant shift in applications that consume data at the edge of the computing continuum. These applications require unified programming models for ... 详细信息
来源: 评论
Checking Observational Correctness of Database Systems
收藏 引用
proceedings of the ACM on programming languages 2025年 第1期9卷 1661-1688页
作者: Pick, Lauren Xu, Amanda Desai, Ankush Seshia, Sanjit A. Albarghouthi, Aws The Chinese University of Hong Kong Hong Kong University of Wisconsin-Madison United States Amazon Web Services United States University of California Berkeley United States
Clients rely on database systems to be correct, which requires the system not only to implement transactions’ semantics correctly but also to provide isolation guarantees for the transactions. This paper presents a c... 详细信息
来源: 评论
Speeding-Up LULESH on HPX: Useful Tricks and Lessons Learned using a Many-Task-Based Approach
Speeding-Up LULESH on HPX: Useful Tricks and Lessons Learned...
收藏 引用
2024 Workshops of the International Conference for High Performance computing, Networking, Storage and Analysis, SC Workshops 2024
作者: Kalkhof, Torben Koch, Andreas Technical University of Darmstadt Embedded Systems and Applications Group Darmstadt Germany
Current programming models face challenges in dealing with modern supercomputers' growing parallelism and heterogeneity. Emerging programming models, like the task-based programming model found in the asynchronous... 详细信息
来源: 评论
Actix-Telepathy  10
Actix-Telepathy
收藏 引用
10th ACM SIGPLAN International Workshop on Reactive and Event-Based languages and Systems (REBLS)
作者: Wenig, Phillip Papenbrock, Thorsten Univ Potsdam Hasso Plattner Inst Potsdam Germany Philipps Univ Marburg Marburg Germany
The actor programming model supports the development of concurrent applications by encapsulating state and behavior into independent actors. Each actor is a computational entity with strictly private state and behavio... 详细信息
来源: 评论
MARLIN: Mixed-Precision Auto-Regressive Parallel Inference on Large Language models  25
MARLIN: Mixed-Precision Auto-Regressive Parallel Inference o...
收藏 引用
30th Symposium on Principles and Practice of Parallel programming
作者: Frantar, Elias Castro, Roberto L. Chen, Jiale Hoefler, Torsten Alistarh, Dan IST Austria Klosterneuburg Austria Univ A Coruna CITIC La Coruna Spain Swiss Fed Inst Technol Zurich Switzerland Neural Mag Inc Somerville NJ USA
As inference on Large Language models (LLMs) emerges as an important workload in machine learning applications, model weight quantization has become a standard technique for efficient GPU deployment. Quantization not ... 详细信息
来源: 评论
MACROSWARM: A Field-Based Compositional Framework for Swarm programming  25th
MACROSWARM: A Field-Based Compositional Framework for Swarm ...
收藏 引用
25th International Conference on Coordination models and Language (COORDINATION)
作者: Aguzzi, Gianluca Casadei, Roberto Viroli, Mirko Univ Bologna Alma Mater Studiorum Cesena Italy
Swarm behaviour engineering is an area of research that seeks to investigate methods for coordinating computation and action within groups of simple agents to achieve complex global goals like collective movement, clu... 详细信息
来源: 评论
Slapo: A Schedule Language for Progressive Optimization of Large Deep Learning Model Training  24
Slapo: A Schedule Language for Progressive Optimization of L...
收藏 引用
29th ACM International Conference on Architectural Support for programming languages and Operating Systems (ASPLOS)
作者: Chen, Hongzheng Yu, Cody Hao Zheng, Shuai Zhang, Zhen Zhang, Zhiru Wang, Yida Cornell Univ Ithaca NY 14850 USA Boson AI Inc Santa Clara CA USA Amazon Web Serv Santa Clara CA USA Amazon Seattle WA USA
Recent years have seen an increase in the development of large deep learning (DL) models, which makes training efficiency crucial. Common practice is struggling with the trade-off between usability and performance. On... 详细信息
来源: 评论
PartIR: Composing SPMD Partitioning Strategies for Machine Learning  25
PartIR: Composing SPMD Partitioning Strategies for Machine L...
收藏 引用
30th International Conference on Architectural Support for programming languages and Operating Systems-ASPLOS
作者: Alabed, Sami Belov, Daniel Chrzaszcz, Bart Franco, Juliana Grewe, Dominik Maclaurin, Dougal Molloy, James Natan, Tom Norman, Tamara Pan, Xiaoyue Paszke, Adam Rink, Norman A. Schaarschmidt, Michael Sitdikov, Timur Swietlik, Agnieszka Vytiniotis, Dimitrios Wee, Joel Google DeepMind London England Google DeepMind Warsaw Poland Isomorph Labs London England
Training modern large neural networks (NNs) requires a combination of parallelization strategies, including data, model, or optimizer sharding. To address the growing complexity of these strategies, we introduce PartI... 详细信息
来源: 评论