咨询与建议

限定检索结果

文献类型

  • 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 订阅
排序:
Measuring CS1 Perceptions of Parallelism
Measuring CS1 Perceptions of Parallelism
收藏 引用
41st Annual Frontiers in Education Conference (FIE)
作者: Rague, Brian Weber State Univ Ogden UT 84408 USA
Educators in Computer Science (CS) generally agree that teaching concurrency can be difficult. CS programs typically offer parallel and distributed computing topics as advanced courses. A potential alternative approac... 详细信息
来源: 评论
A concurrent Architecture Proposal for Information Visualization Pipeline  19
A Concurrent Architecture Proposal for Information Visualiza...
收藏 引用
19th International Conference on Information Visualisation IV 2015
作者: Carneiro, Nikolas Teixeira, Ranieri Araujo, Tiago Santos, Carlos Junior, Jairo Meiguins, Bianchi Univ Fed Para UFPA Belem Para Brazil
This paper identifies an opportunity to reduce the latency in information visualization (InfoVis) systems, exploring the parallelization of the visualization pipeline architecture. We propose a concurrent architecture... 详细信息
来源: 评论
Extensible Software Transactional Memory
Extensible Software Transactional Memory
收藏 引用
3rd C* Conference on Computer Science and Software Engineering (C3S2E)
作者: Noel, Cyprien Argilsoft LLC Los Altos CA 94024 USA
XSTM is a software transactional memory that can be extended by pluggable components. Extensions can access transactions read and write sets through an API, and process them e.g., for logging, change notification, sta... 详细信息
来源: 评论
Barrier Synchronization: Simplified, Generalized, and Solved without Mutual Exclusion  32
Barrier Synchronization: Simplified, Generalized, and Solved...
收藏 引用
32nd IEEE International Parallel and Distributed Processing Symposium (IPDPS)
作者: Aravind, Alex Univ Northern British Columbia Dept Comp Sci Prince George BC Canada
Barrier synchronization is a fundamental concurrency issue encountered in a large number of concurrent and parallel applications that involve parallel processes cooperatively solving complex problems. Barrier synchron... 详细信息
来源: 评论
A Separation Logic for Refining concurrent Objects  11
A Separation Logic for Refining Concurrent Objects
收藏 引用
38th Symposium on Principles of programming Languages
作者: Turon, Aaron Wand, Mitchell Northeastern Univ Boston MA USA
Fine-grained concurrent data structures are crucial for gaining performance from multiprocessing, but their design is a subtle art. Recent literature has made large strides in verifying these data structures, using ei... 详细信息
来源: 评论
Partial Memoization of Concurrency and Communication
Partial Memoization of Concurrency and Communication
收藏 引用
14th ACM SIGPLAN International Conference on Functional programming
作者: Ziarek, Lukasz Sivararnakrishnan, K. C. Jagannathan, Suresh Purdue Univ Dept Comp Sci W Lafayette IN 47907 USA
Memoization is a well-known optimization technique used to eliminate redundant calls for pure functions. If a call to a function f with argument 1, yields result r, a subsequent call to f with v can be immediately red... 详细信息
来源: 评论
Wait-free Trees with Asymptotically-Efficient Range Queries  38
Wait-free Trees with Asymptotically-Efficient Range Queries
收藏 引用
International Parallel and Distributed Processing Symposium (IPDPS)
作者: Kokorin, Ilya Yudov, Victor Aksenov, Vitaly Alistarh, Dan ITMO Univ VK com St Petersburg Russia ITMO Univ St Petersburg Russia City Univ London London England IST Austria Vienna Austria
Tree data structures, such as red-black trees, quad trees, treaps, or tries, are fundamental tools in computer science. A classical problem in concurrency is to obtain expressive, efficient, and scalable versions of p... 详细信息
来源: 评论
A Theory-Oriented Introduction to Wait-free Synchronization Based on the Adaptive Renaming Problem
A Theory-Oriented Introduction to Wait-free Synchronization ...
收藏 引用
25th IEEE International Conference on Advanced Information Networking and Applications (AINA)
作者: Rajsbaum, Sergio Raynal, Michel Univ Nacl Autonoma Mexico Inst Matemat Mexico City 04510 DF Mexico IRISA IUF F-35042 Rennes France
The recent deployment of multiprocessors (such as multicores) as the mainstream computing platform has given rise to a new concurrent programming impetus. In such a context it becomes extremely important to be able to... 详细信息
来源: 评论
Empirical Assessment of Languages for Teaching Concurrency: Methodology and Application
Empirical Assessment of Languages for Teaching Concurrency: ...
收藏 引用
24th IEEE-CS Conference on Software Engineering Education and Training (CSEEandT)/33rd International Conference on Software Engineering (ICSE)
作者: Nanz, Sebastian Torshizi, Faraz Pedroni, Michela Meyer, Bertrand Swiss Fed Inst Technol Zurich Switzerland Univ Toronto Toronto ON M5S 1A1 Canada
Concurrency has been rapidly gaining importance in computing, and correspondingly in computing curricula. concurrent programming is, however, notoriously hard even for expert programmers. New language designs promise ... 详细信息
来源: 评论
Framework for Development of Real-Time Applications on Embedded Systems  22
Framework for Development of Real-Time Applications on Embed...
收藏 引用
22nd Symposium on Image, Signal Processing and Artificial Vision (STSIVA)
作者: Restrepo Alvarado, Juan C. Benjumea Mazo, Miguel A. Lopez Parrado, Alexander Univ Quindio Fac Ingn Programa Ingn Elect Carrera 15 Calle 12 Norte Armenia Quindio Colombia
In this paper we describe RTX, a framework for development of real-time applications on embedded systems. RTX facilitates programming and structuring of source code when building this kind of applications. Also, RTX s... 详细信息
来源: 评论