咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是101-110 订阅
排序:
DHash: Dynamic Hash Tables With Non-Blocking Regular Operations
收藏 引用
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS 2022年 第12期33卷 3274-3290页
作者: Wang, Junchang Liu, Dunwei Fu, Xiong Xiao, Fu Tian, Chen Nanjing Univ Posts & Telecommun Sch Comp Sci Nanjing 210023 Peoples R China Nanjing Univ State Key Lab Novel Software Technol Nanjing 210008 Peoples R China
Once started, existing hash tables cannot change their pre-defined hash functions, even if the incoming data cannot be evenly distributed to the hash table buckets. In this paper, we present DHash, a type of hash tabl... 详细信息
来源: 评论
Application specific conversation schemes for Ada programs
MICROPROCESSING AND MICROPROGRAMMING
收藏 引用
MICROPROCESSING AND MICROprogramming 1996年 第10期41卷 703-713页
作者: Romanovsky, A LENINGRAD STATE TECH UNIV DEPT MATH APPLST PETERSBURG 195251RUSSIA
The paper considers a development of the conversation scheme version proposed by A. Clematis and V. Gianuzzi in Microprocessing and Microprogramming (Vol. 32, No, 1-5, 1991) [5] and Computer Languages (Vol. 18, No. 3,... 详细信息
来源: 评论
Instant replay debugging of concurrent logic programs
收藏 引用
NEW GENERATION COMPUTING 1996年 第1期14卷 79-107页
作者: Shen, K Gregory, S Department of Computer Science University of Bristol Bristol U.K.
One problem with debugging (committed choice) concurrent logic programs is that their behaviour may be non-deterministic, in that successive executions of the same program may produce different results. We describe a ... 详细信息
来源: 评论
Empirical research on concurrent software testing: A systematic mapping study
收藏 引用
INFORMATION AND SOFTWARE TECHNOLOGY 2019年 105卷 226-251页
作者: Melo, Silvana M. Carver, Jeffrey C. Souza, Paulo S. L. Souza, Simone R. S. Univ Sao Paulo Inst Math & Comp Sci Ave Trabalhador Sao Carlense400 Ctr BR-13566590 Sao Carlos SP Brazil Univ Alabama Dept Comp Sci 3441 SECBox 870290 Tuscaloosa AL 35487 USA
Background: concurrent software testing is a costly and difficult task, especially due to the exponential increase in the test sequences caused by non-determinism. Such an issue has motivated researchers to develop te... 详细信息
来源: 评论
concurrent SYSTEM TO RESOLVE REAL-TIME CONFLICTS IN MULTIROBOT SYSTEMS
收藏 引用
ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE 1995年 第2期8卷 169-175页
作者: COHEN, G Rafael Israel
Multi-robot systems consist of several robots, machines and processes with strong interrelationships. A multi-robot system is characterized by the dynamics of ifs transfers from one state to another. Because of limite... 详细信息
来源: 评论
Dynamic slicing of concurrent AspectJ programs: An explicit context-sensitive approach
收藏 引用
SOFTWARE-PRACTICE & EXPERIENCE 2018年 第1期48卷 233-260页
作者: Singh, Jagannath Mohapatra, Durga Prasad KIIT Univ Sch Comp Engn Bhubaneswar Orissa India Natl Inst Technol Dept Comp Sci & Engn Rourkela India
This paper presents a context-sensitive dynamic slicing technique for the concurrent and aspectized programs. To effectively represent the concurrent aspect-oriented programs, we propose an intermediate graph called t... 详细信息
来源: 评论
CAPSULES - A SHARED-MEMORY ACCESS MECHANISM FOR concurrent C/C++
收藏 引用
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS 1993年 第7期4卷 795-811页
作者: GEHANI, NH AT and T Bell Laboratories Inc. Murray Hill NJ USA
concurrent C/C++ is a superset of C and C++ that provides parallel programming facilities based on message passing. Upon porting concurrent C/C++ to a shared memory multiprocessor, we felt it would be appropriate to s... 详细信息
来源: 评论
Efficient clustering for ultra-scale application tracing
收藏 引用
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING 2016年 第0期98卷 25-39页
作者: Bahmani, Amir Mueller, Frank North Carolina State Univ Dept Comp Sci Raleigh NC 27695 USA
Extreme-scale computing poses a number of challenges to application performance. Developers need to study application behavior by collecting detailed information with the help of tracing toolsets to determine shortcom... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
*** 3.0: Remote Robotic Platform for Teaching Innovation
收藏 引用
REVISTA IBEROAMERICANA DE AUTOMATICA E INFORMATICA INDUSTRIAL 2010年 第1期7卷 54-+页
作者: Pavon, Nieves Ferruz, Joaquin Univ Huelva EPS Rabida Dept Tecnol Informac Palos De La Frontera 21071 Huelva Spain Univ Seville Dept INgn Sistemas & Automat Escuela Ingenieros Seville 41092 Spain
During the last three academic years, the Basic ENvironment for DEveloping Robotic software (BENDER robotic platform) has been used ill concurrent programming, (a subject lectured during the second year in the syllabu... 详细信息
来源: 评论