咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是111-120 订阅
排序:
Efficient Profiling of Actor-based Applications in Parallel and Distributed Systems  11
Efficient Profiling of Actor-based Applications in Parallel ...
收藏 引用
11th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS)
作者: Rosa, Andrea Chen, Lydia Y. Binder, Walter Univ Svizzera Italiana Fac Informat Lugano Switzerland IBM Res Lab Zurich Cloud Server Technol Grp Ruschlikon Switzerland
Applications employing the actor model of concurrent computation are becoming popular nowadays. On the one hand, the foundational characteristics of the actor model make it attractive in parallel and distributed setti... 详细信息
来源: 评论
Experiences of Applying One-Sided Communication to Nearest-Neighbor Communication  1
Experiences of Applying One-Sided Communication to Nearest-N...
收藏 引用
1st PGAS Applications Workshop (PAW)
作者: Shan, Hongzhang Williams, Samuel Zheng, Yili Zhang, Weiqun Wang, Bei Ethier, Stephane Zhao, Zhengji Lawrence Berkeley Natl Lab Computat Res Div Berkeley CA 94720 USA Princeton Univ PICSciE Princeton NJ 08540 USA Princeton Univ Princeton Plasma Phys Lab Princeton NJ 08540 USA Lawrence Berkeley Natl Lab NERSC Berkeley CA 94720 USA
Nearest-neighbor communication is one of the most important communication patterns appearing in many scientific applications. In this paper, we discuss the results of applying UPC++, a library-based partitioned global... 详细信息
来源: 评论
Reactive Async: Expressive Deterministic Concurrency  7
Reactive Async: Expressive Deterministic Concurrency
收藏 引用
7th ACM SIGPLAN Symposium on Scala
作者: Haller, Philipp Geries, Simon Eichberg, Michael Salvaneschi, Guido KTH Royal Inst Technol Stockholm Sweden Tech Univ Darmstadt Darmstadt Germany
concurrent programming is infamous for its difficulty. An important source of difficulty is non-determinism, stemming from unpredictable interleavings of concurrent activities. Futures and promises are widely-used abs... 详细信息
来源: 评论
The Future(s) of Transactional Memory  45
The Future(s) of Transactional Memory
收藏 引用
45th International Conference on Parallel Processing (ICPP)
作者: Zeng, Jingna Barreto, Joao Haridi, Seif Rodrigues, Luis Romano, Paolo KTH Royal Inst Technol Stockholm Sweden Univ Lisbon INESC ID Inst Super Tecn P-1699 Lisbon Portugal
This work investigates how to combine two powerful abstractions to manage concurrent programming: Transactional Memory (TM) and futures. The former hides from programmers the complexity of synchronizing concurrent acc... 详细信息
来源: 评论
Dec :: Pdp11 :: Rt11 :: Micropowerpascal :: Aa-M388A-Tc Introtomicropowerpascal Jan82
收藏 引用
2016年
Dec :: Pdp11 :: Rt11 :: Micropowerpascal :: Aa-M388A-Tc Introtomicropowerpascal Jan82 by published by
来源: 评论
PhTM*: uma implementação eficiente de transações em fases
PhTM*: uma implementação eficiente de transações em fase...
收藏 引用
作者: Carvalho, João Paulo Labegalini de Universidade Estadual Paulista
As evidentes limitações em se explorar o aumento de frequência e otimização no nível de microarquitetura para obtenção de desempenho levaram a indústria de microprocessador... 详细信息
来源: 评论
Server for SQLite Database: Multithreaded HTTP Server with Synchronized Database Access and JSON Data-Interchange
Server for SQLite Database: Multithreaded HTTP Server with S...
收藏 引用
International Conference on Advanced Communication Technology
作者: Noprianto Benfano Soewito Sani Muhamad Isa Karto Iskandar Ford Lumban Gaol Raymond Kosala Doctor of Computer Science Bina Nusantara University Master in Computer Science Bina Nusantara University School of Computer Science Bina Nusantara University
SQLite database engine is small, fast, reliable, and does not need a server to work. And, if needed, multiple applications may work with same SQLite database, optionally, using filesystem sharing services. However, fi... 详细信息
来源: 评论
User accessible reply capabilities in invoking and servicing operations
收藏 引用
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE 2015年 第17期27卷 5134-5155页
作者: Olsson, Ronald A. Keen, Aaron W. Univ Calif Davis Dept Comp Sci Davis CA 95616 USA Calif Polytech State Univ San Luis Obispo Dept Comp Sci San Luis Obispo CA 93407 USA
Many message passing languages and packages include some form of synchronous invocation. In a synchronous invocation, the invoker waits for the invocation's servicer to pass back results. A synchronous invocation ... 详细信息
来源: 评论
Loop Optimization for Divergence Reduction on GPUs with SIMT Architecture
收藏 引用
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS 2015年 第6期26卷 1633-1642页
作者: Novak, Roman Jozef Stefan Inst Dept Commun Syst SI-1000 Ljubljana Slovenia
The single-instruction multiple thread (SIMT) architecture that can be found in some latest graphical processing units (GPUs) builds on the conventional single-instruction multiple data (SIMD) parallelism while adopti... 详细信息
来源: 评论
On-Chip Active Messages for Speed, Scalability, and Efficiency
收藏 引用
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS 2015年 第2期26卷 507-515页
作者: Harting, R. Curtis Dally, William J. Stanford Univ Dept Elect Engn Stanford CA 94305 USA Nvidia Santa Clara CA USA Stanford Univ Dept Comp Sci Stanford CA 94305 USA
This paper describes and quantifies the benefits of adding low-overhead active messages to many-core, cache-coherent chip-multiprocessors. The active messages we analyze are user defined and trigger the atomic executi... 详细信息
来源: 评论