咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 353 篇 工学
    • 304 篇 计算机科学与技术...
    • 170 篇 软件工程
    • 90 篇 电气工程
    • 14 篇 信息与通信工程
    • 14 篇 控制科学与工程
    • 4 篇 电子科学与技术(可...
    • 3 篇 材料科学与工程(可...
    • 2 篇 机械工程
    • 2 篇 仪器科学与技术
    • 1 篇 核科学与技术
    • 1 篇 生物医学工程(可授...
  • 26 篇 理学
    • 21 篇 数学
    • 5 篇 物理学
    • 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.

语言

  • 364 篇 英文
  • 30 篇 其他
  • 2 篇 中文
  • 1 篇 西班牙文
检索条件"主题词=Concurrent Programming"
397 条 记 录,以下是41-50 订阅
排序:
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Safety and Security Framework for Exception Handling in concurrent programming
Safety and Security Framework for Exception Handling in Conc...
收藏 引用
3rd International Conference on Advances in Computing and Communications (ICACC)
作者: Anwer, Faisal Nazir, Mohd. Mustafa, Khurram Jamia Millia Islamia Dept Comp Sci Cent Univ New Delhi India
Exception handling mechanism provides a structured way of handling errors in software applications as compared to traditional error handling. Moreover it may cause safety and security threats if not used carefully. So... 详细信息
来源: 评论
A History of the Oz Multiparadigm Language
收藏 引用
PROCEEDINGS OF THE ACM ON programming LANGUAGES-PACMPL 2020年 第HOPL期4卷 1–56页
作者: Van Roy, Peter Haridi, Seif Schulte, Christian Smolka, Gert Catholic Univ Louvain B-1348 Louvain La Neuve Belgium Royal Inst Technol Stockholm Sweden RISE Stockholm Sweden Saarland Univ Saarbrucken Germany
Oz is a programming language designed to support multiple programming paradigms in a clean factored way that is easy to program despite its broad coverage. It started in 1991 as a collaborative effort by the DFKI (Ger... 详细信息
来源: 评论
Transactions in the Era of Non Volatile Memory and Heterogeneous Memory Architectures  21
Transactions in the Era of Non Volatile Memory and Heterogen...
收藏 引用
ACM/SPEC International Conference on Performance Engineering (ICPE)
作者: Romano, Paolo Univ Lisbon Inst Super Tecn Lisbon Portugal INESC ID Lisbon Portugal
Transactions are a simple, yet powerful, abstraction that aims at masking programmers from the complexity of having to ensure correct and efficient synchronization of concurrent *** introduced in the domain of databas... 详细信息
来源: 评论
GMR: graph-compatible MapReduce programming model
收藏 引用
MULTIMEDIA TOOLS AND APPLICATIONS 2019年 第1期78卷 457-475页
作者: Zhang, Weidong He, Boxin Chen, Yifeng Zhang, Qifei Peking Univ Beijing Peoples R China Zhejiang Univ Hangzhou Zhejiang Peoples R China
The MapReduce programming model is widely used to parallelize data processing over the large scale of commodity computer clusters. However, on account of its monotonous data representation, it fails to express graph-p... 详细信息
来源: 评论
An Implementation of User-Level Processes using Address Space Sharing  34
An Implementation of User-Level Processes using Address Spac...
收藏 引用
34th IEEE International Parallel and Distributed Processing Symposium (IPDPS)
作者: Hori, Atsushi Gerofi, Balazs Ishikawa, Yutaka RIKEN Ctr Computat Sci Tokyo Japan
There is a wide range of implementation approaches to multi-threading. User-level threads are efficient because threads can be scheduled by a user-defined scheduling policy that suits the needs of the specific applica... 详细信息
来源: 评论
Beyond traditional architecture for MDO applications: The Erlang VM and its potential  2
Beyond traditional architecture for MDO applications: The Er...
收藏 引用
Conference on Artificial Intelligence and Machine Learning for Multi-Domain Operations Applications II Part of SPIE Defense + Commercial Sensing Conference
作者: Wilkinson, C. M. Bastian, Nathaniel D. Kwon, Minseok US Mil Acad Army Cyber Inst West Point NY 10996 USA US Dept Def Joint Artificial Intelligence Ctr Washington DC 20305 USA Rochester Inst Technol Dept Comp Sci Rochester NY 14623 USA
In order to scale for speed, technology often builds upon the earliest proven systems and architectures. As the context changes, from a civilian application domain to a military application domain, the priority of fun... 详细信息
来源: 评论
Contributions to improve the combined selection of concurrent software testing techniques  20
Contributions to improve the combined selection of concurren...
收藏 引用
5th Brazilian Symposium on Systematic and Automated Software Testing (SAST)
作者: Santos, Italo Furlanetti, Andre B. P. Melo, Silvana M. Lopes de Souza, Paulo Sergio Delamaro, Marcio E. Souza, Simone R. S. Univ Sao Paulo ICMC USP Sao Carlos SP Brazil Fed Univ Grande Dourados UFGD Dourados MS Brazil
[Context] There are a variety of testing techniques available that present different and often complementary characteristics (e.g., cost of application, effectiveness in revealing defects, types of defects). Consideri... 详细信息
来源: 评论
React++: A Lightweight Actor Framework in C++
React++: A Lightweight Actor Framework in C++
收藏 引用
作者: Khan, Md Navid Alvee University of Waterloo
学位级别:硕士
Distributed software remains susceptible to data races and poor scalability because of the widespread use of locks and other low-level synchronization primitives. Furthermore, using this programming approach is known ... 详细信息
来源: 评论