咨询与建议

限定检索结果

文献类型

  • 236 篇 期刊文献
  • 147 篇 会议
  • 11 篇 学位论文
  • 2 册 图书

馆藏范围

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

日期分布

学科分类号

  • 352 篇 工学
    • 303 篇 计算机科学与技术...
    • 170 篇 软件工程
    • 90 篇 电气工程
    • 14 篇 控制科学与工程
    • 13 篇 信息与通信工程
    • 4 篇 电子科学与技术(可...
    • 3 篇 材料科学与工程(可...
    • 2 篇 机械工程
    • 2 篇 仪器科学与技术
    • 1 篇 核科学与技术
    • 1 篇 生物医学工程(可授...
  • 26 篇 理学
    • 21 篇 数学
    • 5 篇 物理学
    • 1 篇 化学
  • 13 篇 管理学
    • 12 篇 管理科学与工程(可...
    • 1 篇 图书情报与档案管...
  • 11 篇 教育学
    • 11 篇 教育学
  • 3 篇 医学
    • 2 篇 临床医学
    • 1 篇 基础医学(可授医学...

主题

  • 396 篇 concurrent progr...
  • 26 篇 parallel program...
  • 23 篇 synchronization
  • 19 篇 transactional me...
  • 16 篇 distributed prog...
  • 14 篇 parallel process...
  • 11 篇 threads
  • 11 篇 verification
  • 10 篇 java
  • 10 篇 semantics
  • 9 篇 message passing
  • 9 篇 petri nets
  • 9 篇 functional progr...
  • 9 篇 programming lang...
  • 8 篇 reliability
  • 8 篇 software transac...
  • 7 篇 performance
  • 7 篇 actors
  • 7 篇 mutual exclusion
  • 7 篇 distributed syst...

机构

  • 6 篇 purdue univ dept...
  • 5 篇 digital equipmen...
  • 5 篇 univ calif davis...
  • 4 篇 univ calif santa...
  • 3 篇 microsoft corp r...
  • 3 篇 george mason uni...
  • 3 篇 univ cambridge c...
  • 3 篇 ecole polytech f...
  • 3 篇 tula state univ ...
  • 3 篇 kth royal inst t...
  • 2 篇 swiss fed inst t...
  • 2 篇 salzburg univ de...
  • 2 篇 georgia inst tec...
  • 2 篇 univ glasgow dep...
  • 2 篇 univ fed pelotas...
  • 2 篇 hebei univ sci &...
  • 2 篇 virtuslab smolen...
  • 2 篇 univ lisbon ines...
  • 2 篇 univ porto fac s...
  • 2 篇 inst super tecn ...

作者

  • 8 篇 lamport l
  • 7 篇 olsson ra
  • 5 篇 gehani nh
  • 5 篇 haller philipp
  • 5 篇 jagannathan sure...
  • 4 篇 ricci alessandro
  • 4 篇 nanz sebastian
  • 4 篇 silva josep
  • 4 篇 ziarek lukasz
  • 4 篇 meyer bertrand
  • 4 篇 tamarit salvador
  • 4 篇 hansen pb
  • 3 篇 oliver j.
  • 3 篇 abadi m
  • 3 篇 silva j.
  • 3 篇 ivutin alexey n.
  • 3 篇 llorens marisa
  • 3 篇 raynal michel
  • 3 篇 morandi benjamin
  • 3 篇 troshina anna g.

语言

  • 363 篇 英文
  • 30 篇 其他
  • 2 篇 中文
  • 1 篇 西班牙文
检索条件"主题词=Concurrent Programming"
396 条 记 录,以下是261-270 订阅
排序:
The guardian model and primitives for exception handling in distributed systems
收藏 引用
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 2004年 第12期30卷 1008-1022页
作者: Miller, R Tripathi, A IBM Corp Rochester MN 55901 USA Univ Minnesota Dept Comp Sci & Engn Minneapolis MN 55455 USA
This paper presents an abstraction called guardian for exception handling in distributed and concurrent systems that use coordinated exception handling. This model addresses two fundamental problems with distributed e... 详细信息
来源: 评论
Session types for functional multithreading
Session types for functional multithreading
收藏 引用
15th International Conference on Concurrency Theory
作者: Vasconcelos, V Ravara, A Gay, S Univ Lisbon Fac Ciencias Dept Informat P-1749016 Lisbon Portugal Inst Super Tecn Dept Matemat P-1049001 Lisbon Portugal Univ Glasgow Dept Comp Sci Glasgow G12 8QQ Lanark Scotland
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, associated with a communication channel, spec... 详细信息
来源: 评论
Correspondence Assertions for Process Synchronization in concurrent Communications
收藏 引用
Electronic Notes in Theoretical Computer Science 2004年 97卷 175-195页
作者: Eduardo Bonelli Adriana Compagnoni Elsa Gunter Stevens Institute of Technology and LIFIA Faculty of Informatics University of La Plata La Plata Argentina Stevens Institute of Technology USA New Jersey Institute of Technology USA
High-level specification of patterns of communications such as protocols can be modeled elegantly by means of session types [Honda, K., V. Vasconcelos and M. Kubo, Language primitives and type discipline for structure... 详细信息
来源: 评论
The inheritance anomaly: ten years after  04
The inheritance anomaly: ten years after
收藏 引用
Proceedings of the 2004 ACM symposium on Applied computing
作者: Giuseppe Milicia Vladimiro Sassone Chi Spaces Technologies ltd. Cambridge UK University of Sussex UK
The term inheritance anomaly was coined in 1993 by Matsuoka and Yonezawa [15] to refer to the problems arising by the coexistence of inheritance and concurrency in concurrent object oriented languages (COOLs). The qui... 详细信息
来源: 评论
Brief Announcement: constraint-based synchronization and verification of concurrent programs  04
Brief Announcement: constraint-based synchronization and ver...
收藏 引用
Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing
作者: Rafael Ramirez Juanjo Martinez Pompeu Fabra University Barcelona Spain
This brief announcement outlines a new model for high-level concurrent and distributed programming based on constraint entailment, and how model-based verification methods can be directly applied to Java programs sync... 详细信息
来源: 评论
Introducing concurrent functional programming in the telecommunications industry
收藏 引用
4th Working Conference on Diffusing Software Product and Process Innovations
作者: Däcker, B Ericsson Utvecklings AB Comp Sci Lab S-12525 Alvsjo Sweden
This paper gives an overview of the concurrent functional programming language and its development, dissemination, and use. Erlang was developed at Ericsson and is used for several large and important telecom systems.... 详细信息
来源: 评论
Data-race and concurrent-write freedom are undecidable
收藏 引用
COMPUTER LANGUAGES SYSTEMS & STRUCTURES 2003年 第1-2期29卷 1-13页
作者: Campos, AE Suazo, DA Pontificia Univ Catolica Chile Dept Ciencia Computac Santiago 22 Chile
In a distributed shared memory system, sequential consistency is often assumed as the model for the memory, because it is a natural extension from multitasking in uniprocessor systems. Weaker consistency models allow ... 详细信息
来源: 评论
concurrent programming in VISO
收藏 引用
CONCURRENCY-PRACTICE AND EXPERIENCE 2000年 第5期12卷 281-288页
作者: Al-Mulhem, MS King Fahd Univ Petr & Minerals Dept Informat & Comp Sci Dhahran 31261 Saudi Arabia
concurrent programming is more difficult to use and understand than sequential programming. In order to simplify this type of programming a number of approaches have been developed such as visual programming, Visual O... 详细信息
来源: 评论
Basic program structures for avoiding priority inversions  6
Basic program structures for avoiding priority inversions
收藏 引用
6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
作者: Kim, KH Univ Calif Irvine Irvine CA 92717 USA
Structuring real-time concurrent programs in the form of groups of fixed-priority processes is an old art which is appropriate for only a small fraction of modem real-time distributed computing application systems. Ho... 详细信息
来源: 评论
concurrent programming in VISO
收藏 引用
Concurrency and Computation: Practice and Experience 2000年 第5期12卷
作者: Muhammed S. Al-Mulhem Information and Computer Science Department King Fahd University of Petroleum and Minerals Dhahran Saudi Arabia
concurrent programming is more difficult to use and understand than sequential programming. In order to simplify this type of programming a number of approaches have been developed such as visual programming. Visual O... 详细信息
来源: 评论