检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

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 条记录，以下是311-320 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Development and Analysis of Synchronization Detection Framework in TDD 2018

Development and Analysis of Synchronization Detection Framew...

引用

2nd International Conference on Management Engineering, Software Engineering and Service Sciences (ICMSS)

作者： Hsieh, Chao-Hsien Ye, Shuzhen Hua, Rui Huang, Shenquan Wenzhou Univ Wenzhou Peoples R China Qufu Normal Univ Qufu Peoples R China

ISBN: (纸本)9781450354318

Testing method using Test-Driven Development has its specific features and requirements. However, the performance of synchronization has not yet been studied in the environment of test cases which is handled in different quantity concurrently. So, in this article, a framework is developed to test the test case in two ways: multi-thread and single-thread. By means of distributed computing and concurrent testing, a testing model is built and analyzed further. Finally, the experiments shows the utilization rate of the CPU and the run time of system depending on the number of threads as well as the test cases shared by each thread. The better test method is shown as the number of test cases is setup. Furthermore, it can be applied to software and hardware environment in different platforms.

关键词： Thread Test-Driven Development JUnit Unit Testing concurrent programming

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9781450387552

[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). Considering these complementary characteristics make the selection process even more complex. Testers must make decisions on which techniques they will use in a specific situation. Combining different testing techniques outperforms the use of any single technique alone. [Objective] This paper proposes an approach to support the combined selection of testing techniques for concurrent software projects. The approach is implemented in the SeleCTT-v2 tool, supporting testers to find complementary testing techniques in the body of knowledge proposed in SeleCTT-v1. [Method] We conducted a case study to evaluate the combined selection approach (SeleCTT-v2) with the previous version of the SeleCTT-v1 and to investigate how testers perform a combined selection task for concurrent software projects. [Results and Conclusions] The results indicated a rise in the effectiveness of the combined selection of concurrent testing techniques suggested, which demonstrates SeleCTT-v2 is less likely to make an incorrect recommendation of combined techniques for a concurrent software project, thus avoiding costs associated with the incorrect application of a testing technique. If the testers could access a tool that supports the selection process, the effectiveness of the results would have reached a higher value, as evidenced by our approach. Performing the combination of testing techniques is essential to ensure that software under test has all their features tested to prevent possible errors.

关键词： testing techniques selection combined selection concurrent programming concurrent software testing

来源：评论

学校读者我要写书评

暂无评论

Parallel Reachability Testing Based on Hadoop MapReduce 8th

Parallel Reachability Testing Based on Hadoop MapReduce

引用

8th Annual International Conference on Software Analysis, Testing, and Evolution (SATE)

作者： Qi, Xiaofang Li, Yueran Southeast Univ Sch Comp Sci & Engn Nanjing 211189 Peoples R China

ISBN: (纸本)9783030042721;9783030042714

Reachability testing is an important approach to testing concurrent programs. It generates and executes all the possible sequences of a concurrent program automatically with a given input while not saving any sequences that have already been executed. However, for a large and complex concurrent program, the number of synchronization sequences that are exercised is too large. It will take too long time to perform leachability testing, which limits its application. In this paper, we propose a parallel leachability testing approach based on Hadoop MapReduce called PRT, aiming to improve its performance. PRT adopts the framework of Hadoop MapReduce with a heuristic strategy to realize dynamic loading balance. We present the algorithms used in PRT, and reports the results of five concurrent Java programs that were conducted to evaluate the speed-up with respect to the sequential execution of leachability testing. Experimental results demonstrate that our PRT is an effective approach to parallelizing leachability testing.

关键词： Reachability testing Hadoop MapReduce Software testing concurrent programming

来源：评论

学校读者我要写书评

暂无评论

REAL-TIME LOAD BALANCING OF AN INTERACTIVE MULTIPLAYER GAME SERVER

REAL-TIME LOAD BALANCING OF AN INTERACTIVE MULTIPLAYER GAME ...

引用

11th International Conference on Intelligent Games and Simulation

作者： Munro, James Dickinson, Patrick Lincoln Univ Lincoln Sch Comp Sci Brayford Pool Lincoln LN6 7TS England

ISBN: (纸本)9789077381588

We investigate optimal load balancing strategies for a scalable parallel game server architecture. Our work develops from an existing multi-threaded implementation of the QuakeWorld game server: we investigate the comparative efficiency of different load-balancing algorithms, and determine how different metrics can be used to analyse performance. We find that achieving optimal performance is a trade-off between achieving an even workload distribution whilst minimising intra-frame wait time, and that a combined set of metrics is required to understand how load balancing affects performance.

关键词： Game Architecture concurrent programming Multiplayer Games Scalability

来源：评论

学校读者我要写书评

暂无评论

Reasoning About Actors that Share State

Reasoning About Actors that Share State

引用

作者： Caldwell, Sam Northeastern University

学位级别：Ph.D., Doctor of Philosophy

concurrent programming is notoriously difficult. That challenge has prompted researchers to investigate approaches to organizing and understanding concurrent behavior. The recent dataspace model of actors is one such example of an organization methodology. It recognizes the benefit of isolation between components but also the need for sharing. My dissertation tackles the other aspect---understanding concurrency---by exploring the potential of reasoning about dataspace programs using types. The first challenge is integrating dataspace programming to a typed setting. Doing so allows for checking that each actor agrees on the types of communicated values. In initial work, I designed a type system that incorporates an approximation of the dataspace communication mechanism to ensure this structural agreement. The rest of the dissertation concerns the question of reasoning about the communication behavior of program components. By utilizing a structured notation for programming such actors, I show that it is possible to automatically check behavioral properties of programs.

关键词： Actor model Behavioral types concurrent programming Type systems Dataspace programming

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9781450346481

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 abstractions that help designing deterministic concurrent programs, although this property cannot be guaranteed statically in mainstream programming languages. Deterministic-by-construction concurrent programming models avoid this issue, but they typically restrict expressiveness in important ways. This paper introduces a concurrent programming model, Reactive Async, which decouples concurrent computations using so-called cells, shared locations which generalize futures as well as recent deterministic abstractions such as LVars. Compared to previously proposed programming models Reactive Async provides (a) a fallback mechanism for the case where no computation ever computes the value of a given cell, and (b) explicit and optimized handling of cyclic dependencies. We present a complete implementation of the Reactive Async programming model as a library in Scala. Finally, the paper reports on a case study applying Reactive Async to static analyses of JVM bytecode based on the Opal framework.

关键词： asynchronous programming concurrent programming deterministic concurrency static analysis Scala

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9781509028238

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 access to shared data, via the familiar abstraction of atomic transactions. The latter serves to schedule and synchronize the parallel execution of computations whose results are not immediately required. While TM and futures are two widely investigated topics, the problem of how to exploit these two abstractions in synergy is still largely unexplored in the literature. This paper fills this gap by introducing Java Transactional Futures (JTF), a Java-based TM implementation that allows programmers to use futures to coordinate the execution of parallel tasks, while leveraging transactions to synchronize accesses to shared data. JTF provides a simple and intuitive semantic regarding the admissible serialization orders of the futures spawned by transactions, by ensuring that the results produced by a future are always consistent with those that one would obtain by executing the future sequentially. Our experimental results show that the use of futures in a TM allows not only to unlock parallelism within transactions, but also to reduce the cost of conflicts among top-level transactions in high contention workloads.

关键词： concurrent programming Futures Transactional Memory

来源：评论

学校读者我要写书评

暂无评论

Real-time modeling with UML:: The ACCORD approach 1st

引用

1st International Workshop UML 98: Beyond the Notation

作者： Lanusse, A Gérard, S Terrier, F CEA Saclay DEIN LETI F-91191 Gif Sur Yvette France PSA Puegeot Citroen Direct Technol Informat & Informat F-92250 La Garenne Colombes France

ISBN: (纸本)3540662529

Adopting object oriented modeling in the real-time domain appears to be essential in order to face the rapidly changing market conditions. Main obstacles have been, in the past, the lack of standards and no good adequation with real-time needs. With the standardization of UML 1.1, the first main drawback is coming down. The challenge is then to handle properly these notations and provide a clean general framework for real-time design yet still object oriented. This goal may be reached through different approaches, the most common one consists in defining new versions of UML dedicated to real-time. The ACCORD approach, described in this paper, advocates the idea that only very few adaptations centered on a small subset of concepts are necessary to make out of UML a good framework for real-time design. We show how thanks to the realtime active object concept that encapsulates concurrency control and temporal constraints handling.

关键词： real-time UML concurrent programming active object

来源：评论

学校读者我要写书评

暂无评论

A Study of Student Strategies for the Corrective Maintenance of concurrent Software 08

A Study of Student Strategies for the Corrective Maintenance...

引用

30th International Conference on Software Engineering

作者： Fleming, Scott D. Kraemer, Eileen Stirewalt, R. E. K. Xie, Shaohua Dillon, Laura K. Michigan State Univ Dept Comp Sci & Engn E Lansing MI 48824 USA

ISBN: (纸本)9781605580791

Graduates of computer science degree programs are increasingly being asked to maintain large, multi-threaded software systems;however, the maintenance of such systems is typically not well-covered by software engineering texts or curricula. We conducted a think-aloud study with 15 students in a graduate-level computer science class to discover the strategies that students apply, and to what effect, in performing corrective maintenance on concurrent software. We collected think-aloud and action protocols, and annotated the protocols for a number of behavioral attributes and maintenance strategies. We divided the protocols into groups based on the success of the participant in both diagnosing and correcting the failure. We evaluated these groups for statistically significant differences in these attributes and strategies. In this paper, we report a number of interesting observations that came from this study. All participants performed diagnostic executions of the program to aid program comprehension;however, the participants that used this as their predominant strategy for diagnosing the fault were all unsuccessful. Among the participants that successfully diagnosed the fault and displayed high confidence in their diagnosis, we found two commonalities. They all recognized that the fault involved the violation of a concurrent-programming idiom. And, they all constructed detailed behavioral models (similar to UML sequence diagrams) of execution scenarios. We present detailed analyses to explain the attributes that correlated with success or lack of success. Based on these analyses, we make recommendations for improving software engineering curriculums by better training students how to apply these strategies effectively.

关键词： think-aloud method concurrent programming software maintenance

来源：评论

学校读者我要写书评

暂无评论

Evaluation of Early Introduction to concurrent Computing Concepts in Primary School 20th

Evaluation of Early Introduction to Concurrent Computing Con...

引用

20th International Conference on Interactive Collaborative Learning (ICL)

作者： Fatourou, Eleni Zygouris, Nikolaos C. Loukopoulos, Thanasis Stamoulis, Georgios I. Univ Thessaly Dept Comp Sci 2-4 Papasiopoulou St Lamia 35100 Greece Univ Thessaly Comp Sci & Biomed Informat Dept 2-4 Papasiopoulou St Lamia 35100 Greece Univ Thessaly Dept Elect & Comp Engn 37 Glavani St Volos 38221 Greece

ISBN: (纸本)9783319732107;9783319732091

Learning computer programming is a basic literacy in the digital age, which helps children develop creative problem solving, logical thinking and mental flexibility. Many countries have introduced computer science in their curriculum. For example, in the educational system of United Kingdom, pupils are introduced to computer science topics from the age of six, while in Greece the teaching of computer programming commences at the age of eleven. Given differences in culture, available infrastructures, as well as the age pupils are introduced to computer science, the challenge of forming a computer science curriculum that not only offers basic background but expands the cognitive horizon and cultivates the imagination of students, still remains a challenge. Towards this end, this study focuses on exploring the potential merits of introducing concurrent programming concepts early in the learning process. Results indicate that uninitiated to programming pupils at the age of eleven were able to comprehend basic concurrency topics, while pupils at the age of twelve with some programming familiarity were able to understand more advanced concepts and use them successfully for problem solving.

关键词： concurrent programming Constructivism Scratch

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共40页 << < 28 29 30 31 32 33 34 35 36 37 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：