咨询与建议

限定检索结果

文献类型

  • 163 篇 期刊文献
  • 106 篇 会议
  • 2 篇 学位论文
  • 1 册 图书

馆藏范围

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

日期分布

学科分类号

  • 255 篇 工学
    • 190 篇 计算机科学与技术...
    • 113 篇 软件工程
    • 83 篇 电气工程
    • 16 篇 信息与通信工程
    • 13 篇 控制科学与工程
    • 5 篇 机械工程
    • 3 篇 电子科学与技术(可...
    • 2 篇 仪器科学与技术
    • 2 篇 材料科学与工程(可...
    • 2 篇 石油与天然气工程
    • 2 篇 核科学与技术
    • 1 篇 冶金工程
    • 1 篇 土木工程
    • 1 篇 测绘科学与技术
    • 1 篇 航空宇航科学与技...
    • 1 篇 环境科学与工程(可...
    • 1 篇 生物医学工程(可授...
    • 1 篇 城乡规划学
  • 25 篇 理学
    • 13 篇 数学
    • 6 篇 物理学
    • 4 篇 生物学
    • 3 篇 化学
    • 2 篇 天文学
    • 1 篇 地理学
    • 1 篇 系统科学
  • 17 篇 管理学
    • 15 篇 管理科学与工程(可...
    • 3 篇 图书情报与档案管...
  • 7 篇 教育学
    • 7 篇 教育学
  • 1 篇 文学
  • 1 篇 农学
  • 1 篇 医学
    • 1 篇 基础医学(可授医学...
    • 1 篇 临床医学

主题

  • 272 篇 distributed prog...
  • 23 篇 parallel program...
  • 18 篇 distributed syst...
  • 16 篇 concurrent progr...
  • 13 篇 concurrency
  • 10 篇 programming lang...
  • 9 篇 distributed appl...
  • 8 篇 computer science...
  • 8 篇 synchronization
  • 7 篇 java
  • 7 篇 mapreduce
  • 7 篇 marshalling
  • 7 篇 object-oriented ...
  • 7 篇 scala
  • 7 篇 scientific compu...
  • 6 篇 parallel process...
  • 6 篇 modules
  • 6 篇 corba
  • 6 篇 actor model
  • 6 篇 erlang

机构

  • 4 篇 ecole polytech f...
  • 4 篇 imperial coll lo...
  • 3 篇 gran sasso sci i...
  • 3 篇 univ ciencias & ...
  • 3 篇 kth royal inst t...
  • 3 篇 univ calif davis...
  • 2 篇 sharda univ dept...
  • 2 篇 technion israel ...
  • 2 篇 tech univ darmst...
  • 2 篇 ibm corp thomas ...
  • 2 篇 typesafe inc ca ...
  • 2 篇 indiana univ per...
  • 2 篇 tech univ darmst...
  • 2 篇 univ pisa comp s...
  • 2 篇 univ cambridge c...
  • 2 篇 univ kentucky de...
  • 2 篇 imt inst adv stu...
  • 2 篇 vrije univ bruss...
  • 2 篇 univ maryland co...
  • 2 篇 lulea univ techn...

作者

  • 8 篇 haller philipp
  • 5 篇 yoshida nobuko
  • 5 篇 salvaneschi guid...
  • 4 篇 weisenburger pas...
  • 4 篇 miller heather
  • 3 篇 duong tan
  • 3 篇 broll brian
  • 3 篇 lee huamani enri...
  • 3 篇 song kunfang
  • 3 篇 de meuter wolfga...
  • 3 篇 tonci nicolo
  • 3 篇 odersky martin
  • 3 篇 maroti miklos
  • 3 篇 roman-gonzalez a...
  • 3 篇 neykova rumyana
  • 3 篇 andrews gr
  • 3 篇 de bosschere k
  • 3 篇 ciancarini p
  • 3 篇 cook rp
  • 3 篇 ledeczi akos

语言

  • 253 篇 英文
  • 18 篇 其他
  • 1 篇 中文
检索条件"主题词=distributed programming"
272 条 记 录,以下是1-10 订阅
排序:
Varda: A Framework for Compositional distributed programming  10th
Varda: A Framework for Compositional Distributed Programming
收藏 引用
10th International Conference on Networked Systems (NETYS)
作者: Prosperi, Laurent Bouajjani, Ahmed Shapiro, Marc Sorbonne Univ CNRS Inria LIP6 Paris France Univ Paris Cite IRIF Paris France
A distributed system is made of interacting components. The current manual, ad-hoc approach to composing them cannot ensure that the composition is correct, and makes it difficult to control performance. The former is... 详细信息
来源: 评论
MASFENON: implementing a multi-agent simulation framework for interconnected networks with distributed programming
收藏 引用
Procedia Computer Science 2025年 255卷 73-82页
作者: Giorgio Locicero Antonio Di Maria Salvatore Alaimo Alfredo Pulvirenti Dept. of Physics and Astronomy Via Santa Sofia 64 Catania 95123 Italy Dept. of Clinical and Experimental Medicine c/o Dept. of Math and Comp. Science Via Santa Sofia 64 Catania 95123 Italy
The complexity of networked systems, particularly interconnected networks, necessitates advanced simulation frameworks to accurately emulate real-world dynamics, especially in the context of big data and high-performa... 详细信息
来源: 评论
distributed programming using Role-Parametric Session Types in Go
收藏 引用
PROCEEDINGS OF THE ACM ON programming LANGUAGES-PACMPL 2019年 第POPL期3卷 1–30页
作者: Castro, David Hu, Raymond Jongmans, Sung-Shik Ng, Nicholas Yoshida, Nobuko Imperial Coll London Dept Comp London England Open Univ Netherlands Dept Comp Sci Heerlen Netherlands
This paper presents a framework for the static specification and safe programming of message passing protocols where the number and kinds of participants are dynamically instantiated. We develop the first theory of di... 详细信息
来源: 评论
Render Farm for Highly Realistic Images in a Beowulf Cluster using distributed programming Techniques
收藏 引用
INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS 2019年 第11期10卷 407-411页
作者: Lee Huamani, Enrique Condori, Patricia Meneses-Claudio, Brian Roman-Gonzalez, Avid Univ Ciencias & Humanidades Image Proc Res Lab INTI Lab Lima Peru
Now-a-days, photorealistic images are demanded for the realization of scientific models, so we use rendering tools that convert three-dimensional models into highly realistic images. The problem of generating photorea... 详细信息
来源: 评论
Characterizing Extracurricular Effort on Concurrent and distributed programming Learning  4
Characterizing Extracurricular Effort on Concurrent and Dist...
收藏 引用
4th Costa Rican Conference on Computing and Informatics Research (JoCICI)
作者: Hidalgo-Cespedes, Jeisson Univ Costa Rica ECCI CITIC San Jose Costa Rica
The importance of concurrent and distributed programming is increasing on Computer Science curricula. This exploratory research identifies additional notions required by the official topics of "Parallel and Concu... 详细信息
来源: 评论
Pardis: a process calculus for parallel and distributed programming in Haskell
收藏 引用
JOURNAL OF SUPERCOMPUTING 2018年 第4期74卷 1473-1484页
作者: Bloecker, Christopher Hoffmann, Ulrich Univ Appl Sci FH Wedel Dept Comp Sci Wedel Germany
Parallel programming and distributed programming involve substantial amounts of boilerplate code for process management and data synchronisation. This leads to increased bug potential and often results in unintended n... 详细信息
来源: 评论
Characterizing Extracurricular Effort on Concurrent and distributed programming Learning
Characterizing Extracurricular Effort on Concurrent and Dist...
收藏 引用
Investigación en Computación e Informática (JoCICI), Jornadas Costarricenses de
作者: Jeisson Hidalgo-Céspedes ECCI-CITIC Universidad de Costa Rica San José Costa Rica
The importance of concurrent and distributed programming is increasing on Computer Science curricula. This exploratory research identifies additional notions required by the official topics of "Parallel and Concu... 详细信息
来源: 评论
A CAPable distributed programming Model
A CAPable Distributed Programming Model
收藏 引用
ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on programming and Software (Onward!)
作者: Myter, Florian Scholliers, Christophe De Meuter, Wolfgang Vrije Univ Brussel Brussels Belgium Univ Ghent Ghent Belgium
Developers of modern distributed systems continuously face the impossibility result proved by the CAP theorem. In a nutshell, the theorem states that a partition-tolerant system can either guarantee consistency or ava... 详细信息
来源: 评论
Pardis: A Process Calculus for Parallel and distributed programming in Haskell  12th
Pardis: A Process Calculus for Parallel and Distributed Prog...
收藏 引用
12th International Conference on Parallel Processing and Applied Mathematics (PPAM)
作者: Bloecker, Christopher Hoffmann, Ulrich Univ Appl Sci FH Wedel Dept Comp Sci Wedel Germany
Parallel and distributed programming involve substantial amounts of boilerplate code for process management and data synchronisation. This leads to increased bug potential and often results in unintended non-determini... 详细信息
来源: 评论
Singly typed actors in Agda: An approach to distributed programming with dependent types
Singly typed actors in Agda: An approach to distributed prog...
收藏 引用
作者: PIERRE KRAFT CHALMERS UNIVERSITY OF TECHNOLOGY
学位级别:硕士
By requiring communication to take place using explicit message passing, the actor model has been shown to be an effective tool for building distributed systems. However, communication in the actor model has tradition... 详细信息
来源: 评论