咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 397 篇 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 篇 英文
  • 31 篇 其他
  • 2 篇 中文
  • 1 篇 西班牙文
检索条件"主题词=Concurrent Programming"
397 条 记 录,以下是111-120 订阅
排序:
Technology for testing nondeterministic client/server database applications (vol 30, pg 69, 2004)
收藏 引用
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 2004年 第4期30卷 278-278页
作者: Hwang, GH Chang, SJ Chu, HD Natl Taiwan Normal Univ Dept Informat & Comp Educ Taipei 106 Taiwan Chunghwa Telecom Co LTd Telecommun Labs Taoyuan 326 Taiwan Takming Coll Dept Management Informat Syst Taipei 114 Taiwan
The execution of a client/server application involving database access requires a sequence of database transaction events (or, T-events), called a transaction sequence (or, T-sequence). A client/server database applic... 详细信息
来源: 评论
ConTesa: Directed Test Suite Augmentation for concurrent Software
收藏 引用
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 2020年 第4期46卷 405-419页
作者: Yu, Tingting Huang, Zunchen Wang, Chao Univ Kentucky Dept Comp Sci Lexington KY 40506 USA Univ Southern Calif Dept Comp Sci Los Angeles CA 90089 USA
As software evolves, test suite augmentation techniques may be used to identify which part of the program needs to be tested due to code changes and how to generate these new test cases for regression testing. However... 详细信息
来源: 评论
Streamline Integration Using MPI-Hybrid Parallelism on a Large Multicore Architecture
收藏 引用
IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS 2011年 第11期17卷 1702-1713页
作者: Camp, David Garth, Christoph Childs, Hank Pugmire, Dave Joy, Kenneth I. Univ Calif Davis Lawrence Berkeley Natl Lab Davis CA 95616 USA Univ Calif Davis Dept Comp Sci Davis CA 95616 USA Oak Ridge Natl Lab Oak Ridge TN 37831 USA
Streamline computation in a very large vector field data set represents a significant challenge due to the nonlocal and data-dependent nature of streamline integration. In this paper, we conduct a study of the perform... 详细信息
来源: 评论
SYNCHRONIZED EXECUTION ON SHARED MEMORY MULTIPROCESSORS
收藏 引用
PARALLEL COMPUTING 1988年 第1-3期8卷 165-175页
作者: FRANCIS, R MATHIESON, I Department of Computer Science La Trobe University Bundoora 3083 Australia
Threads provides a mechanism for simulating the execution of parallel algorithms on a simplified model of a shared-memory multiprocessor. The algorithms can be expressed in a high-level block-structured language, whic... 详细信息
来源: 评论
A survey of concurrency-oriented refactoring
收藏 引用
concurrent ENGINEERING-RESEARCH AND APPLICATIONS 2020年 第4期28卷 319-330页
作者: Zhang, Yang Li, Liuxu Zhang, Dongwen Hebei Univ Sci & Technol Sch Informat Sci & Engn Shijiazhuang 050000 Hebei Peoples R China
Refactoring has become an effective approach to convert sequential programs into concurrent programs. Many refactoring algorithms and tools are proposed to assist developers in writing high-performance concurrent prog... 详细信息
来源: 评论
THE VELOX TRANSACTIONAL MEMORY STACK
收藏 引用
IEEE MICRO 2010年 第5期30卷 76-87页
作者: Felber, Pascal Riviere, Etienne Moreira, Walther Maldonado Harmanci, Derin Marlier, Patrick Diestelhorst, Stephan Hohmuth, Michael Pohlack, Martin Cristal, Adrian Hur, Ibrahim Unsal, Osman S. Stenstrom, Per Dragojevic, Aleksandar Guerraoui, Rachid Kapalka, Michal Gramoli, Vincent Drepper, Ulrich Tomic, Sasa Afek, Yehuda Korland, Guy Shavit, Nir Fetzer, Christof Nowack, Martin Riegel, Torvald Univ Neuchatel Dept Comp Sci CH-2009 Neuchatel Switzerland Univ Politecn Cataluna E-08028 Barcelona Spain Tel Aviv Univ Tel Aviv Israel Tech Univ Dresden Dresden Germany Ecole Polytech Fed Lausanne CH-1015 Lausanne Switzerland Chalmers Univ Technol Gothenburg Sweden Barcelona Supercomp Ctr Barcelona Spain
The transactional memory programming paradigm could become the coordination methodology of choice for actual and future multicore and many-core architectures. The transactional memory support spans a complete software... 详细信息
来源: 评论
IMPLEMENTATION OF A CSP-BASED EXTENSION OF PASCAL
MICROPROCESSING AND MICROPROGRAMMING
收藏 引用
MICROPROCESSING AND MICROprogramming 1988年 第4期22卷 233-242页
作者: CERRADA, JA COLLADO, M UNIV POLITECN MADRID ESCUELA TECN SUPER INGN INDDEPT INGN SISTEMAS & AUTOMATE-28006 MADRIDSPAIN UNIV POLITECN MADRID FAC INFORMATDEPT LENGUAJES & SISTEMAS INFORMATE-28031 MADRIDSPAIN
A software tool for programming real-time concurrent systems is described. It appears as a set of extensions of the Pascal language, and is adequate for multiprocessor systems without common storage (like networks of ... 详细信息
来源: 评论
IMPLEMENTING concurrent-C
收藏 引用
SOFTWARE-PRACTICE & EXPERIENCE 1992年 第3期22卷 265-285页
作者: GEHANI, NH ROOME, WD AT&T Bell Laboratories 600 Mountain Ave Murray Hill. New Jersey 07974 U.S.A.
concurrent C (C++) is a parallel superset of C (C++). Versions of concurrent C have now been implemented for a variety of uniprocessors and multiprocessors. We first implemented a uniprocessor version of concurrent C ... 详细信息
来源: 评论
Modelling the semantics of multitasking facilities in concurrent C using Petri nets
收藏 引用
INFORMATION AND SOFTWARE TECHNOLOGY 1996年 第1期38卷 3-9页
作者: Boujarwah, A AlSeif, N Saleh, K Kuwait University Department of Electrical and Computer Engineering P.O. Box 5969 Safat 13060 Kuwait
concurrent C (ConcC) [1] is a relatively new language that extends the C programming language [2] by incorporating multitasking facilities. These facilities are mainly based on the bidirectional rendez-vous concept, a... 详细信息
来源: 评论
Distributed execution of communicating sequential process-style concurrency: Golang case study
收藏 引用
JOURNAL OF SUPERCOMPUTING 2019年 第3期75卷 1396-1409页
作者: Whitney, James Gifford, Chandler Pantoja, Maria Cal Poly San Luis Obispo Coll Engn San Luis Obispo CA 93407 USA
In the last decade, the majority of new central processing units (CPU) have become multicore. To take advantage of these new architectures, we need programming languages that can express parallelisms. The programming ... 详细信息
来源: 评论