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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是321-330 订阅

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

详细简洁

排序：

Session types for functional multithreading

Session types for functional multithreading

引用

15th International Conference on Concurrency Theory

作者： Vasconcelos, V Ravara, A Gay, S Univ Lisbon Fac Ciencias Dept Informat P-1749016 Lisbon Portugal Inst Super Tecn Dept Matemat P-1049001 Lisbon Portugal Univ Glasgow Dept Comp Sci Glasgow G12 8QQ Lanark Scotland

ISBN: (纸本)354022940X

We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, associated with a communication channel, specifies the state transitions of a protocol and also the data types of messages associated with transitions;thus typechecking can verify both correctness of individual messages and correctness of sequences of transitions. Previously session types have mainly been studied in the context of the pi-calculus;instead, our formulation is based on a multi-threaded functional language with side-effecting input/output operations. Our typing judgements statically describe dynamic changes in the types of channels, our channel types statically track aliasing, and our function types not only specify argument and result types but also describe changes in channels. We formalize the syntax, semantics and typing rules of our language, and prove subject reduction and runtime type safety theorems.

关键词： session types static typechecking concurrent programming specification of communication protocols

来源：评论

学校读者我要写书评

暂无评论

On the integration of the actor model in mainstream technologies the Scala perspective

On the integration of the actor model in mainstream technolo...

引用

2012 2nd ACM Workshop on programming Systems, Languages and Applications Based on Actors, Agents, and Decentralized Control Abstractions, AGERE 2012

作者： Haller, Philipp Typesafe Inc. United States

ISBN: (纸本)9781450316309

Integrating the actor model into mainstream software platforms is challenging because typical runtime environments, such as the Java Virtual Machine, have been designed for very different concurrency models. Moreover, to enable integration with existing infrastructures, execution modes and constructs foreign to the pure actor model have to be supported. This paper provides an overview of past and current efforts to address these challenges in the context of the Scala programming language. Copyright © 2012 by the Association for Computing Machinery, Inc.

关键词： Actors concurrent programming Distributed programming Scala Threads

来源：评论

学校读者我要写书评

暂无评论

ORANGE LOCKING - CHANNEL-FREE DATABASE CONCURRENCY-CONTROL VIA LOCKING

ORANGE LOCKING - CHANNEL-FREE DATABASE CONCURRENCY-CONTROL V...

引用

6TH WORKING CONF ON DATABASE SECURITY

作者： MCDERMOTT, J JAJODIA, S USN RES LABWASHINGTONDC 20375 GEORGE MASON UNIV DEPT INFORMAT SYST & SYST ENGNFAIRFAXVA 22030

The concurrency control lock (e.g. file lock, table lock) has long been used as a canonical example of a covert channel in a database system. Locking is a fundamental concurrency control technique used in many kinds of computer systems besides database *** is generally considered to be interfering and hence unsuitable for multilevel systems. In this paper we show how such locks can be used for concurrency control, without introducing covert channels.

关键词： concurrent programming SECURITY AND PROTECTION DATABASE MANAGEMENT SYSTEMS

来源：评论

学校读者我要写书评

暂无评论

SALSA Lite: A Hash-Based Actor Runtime for Efficient Local Concurrency

SALSA Lite: A Hash-Based Actor Runtime for Efficient Local C...

引用

International Symposium on concurrent Objects and Beyond - From Theory to High-Performance Computing

作者： Desell, Travis Varela, Carlos A. Univ N Dakota Dept Comp Sci Grand Forks ND 58201 USA Rensselaer Polytech Inst Dept Comp Sci Troy NY 12180 USA

ISBN: (纸本)9783662444719;9783662444702

As modern computer processors continue becoming more parallel, the actor model plays an increasingly important role in helping develop correct concurrent systems. In this paper, we consider efficient runtime strategies for non-distributed actor programming languages. While the focus is on a non-distributed implementation, it serves as a platform for a future efficient distributed implementation. Actors extend the object model by combining state and behavior with a thread of control, which can significantly simplify concurrent programming. Further, with asynchronous communication, no shared memory, and the fact an actor only processes one message at a time, it is possible to easily implement transparent distributed message passing and actor mobility. This paper discusses SALSA Lite, a completely re-designed actor runtime system engineered to maximize performance. The new runtime consists of a highly optimized core for lightweight actor creation, message passing, and message processing, which is used to implement more advanced coordination constructs. This new runtime is novel in two ways. First, by default the runtime automatically maps the lightweight actors to threads, allowing the number of threads used by a program to be specified at runtime transparently, without any changes to the code. Further, language constructs allow programmers to have first class control over how actors are mapped to threads (creating new threads if needed). Second, the runtime directly maps actor garbage collection to object garbage collection, allowing non-distributed SALSA programs to use Java's garbage collection " for free". This runtime is shown to have comparable or better performance for basic actor constructs (message passing and actor creation) than other popular actor languages: Erlang, Scala, and Kilim.

关键词： concurrent programming Actor Model Actor Languages Fairness State Encapsulation SALSA Erlang Kilim Scala

来源：评论

学校读者我要写书评

暂无评论

MECHANIZED VERIFICATION OF CIRCUIT DESCRIPTIONS USING THE LARCH PROVER

MECHANIZED VERIFICATION OF CIRCUIT DESCRIPTIONS USING THE LA...

引用

INTERNATIONAL CONF ON THEOREM PROVERS IN CIRCUIT DESIGN : THEORY, PRACTICE AND EXPERIENCE

作者： STAUNSTRUP, J GARLAND, SJ GUTTAG, JV

来源：评论

学校读者我要写书评

暂无评论

Detecting First Races in Shared-Memory Parallel Programs with Random Synchronization

Detecting First Races in Shared-Memory Parallel Programs wit...

引用

Conf on Grid and Distributed Computing/Int Conf on Industrial Environment, Safety and Health/Int Conf on Computer Graphics, Animation and Games

作者： Park, Hee-Dong Jun, Yong-Kee Joongbu Univ Kumsan ChungNam South Korea Gyeongsang Natl Univ Jinju South Korea

ISBN: (纸本)9783642355998

Detecting data races is a hard problem when debugging shared memory parallel programs, because the races could exhibit unpredictable results in execution of programs. It is even harder for programmers to decide whether or how the reported data races can appear in the actual program executions. Previous techniques for detecting races cannot provide method to discover first races in parallel programs with random synchronization. We present an algorithm, in this paper, which extracts first races to occur by comparing the concurrency of the traced information with the candidate accesses which are from a particular execution of parallel programs.

关键词： data race first race post-mortem analysis concurrent programming parallel program debugging random synchronization

来源：评论

学校读者我要写书评

暂无评论

Attached and Detached Closures in Actors 8

Attached and Detached Closures in Actors

引用

8th ACM SIGPLAN International Workshop on programming Based on Actors, Agents, and Decentralized Control (AGERE)

作者： Castegren, Elias Clarke, Dave Fernandez-Reyes, Kiko Wrigstad, Tobias Yang, Albert Mingkun KTH Royal Inst Technol Stockholm Sweden Uppsala Univ Informat Technol Uppsala Sweden Uppsala Univ Uppsala Sweden

ISBN: (纸本)9781450360661

Expressive actor models combine aspects of functional programming into the pure actor model enriched with futures. Such functional features include first-class closures which can be passed between actors and chained on futures. Combined with mutable objects, this opens the door to race conditions. In some situations, closures may not be evaluated by the actor that created them yet may access fields or objects owned by that actor. In other situations, closures may be safely fired off to run as a separate task. This paper discusses the problem of who can safely evaluate a closure to avoid race conditions, and presents the current solution to the problem adopted by the Encore language. The solution integrates with Encore's capability type system, which influences whether a closure is attached and must be evaluated by the creating actor, or whether it can be detached and evaluated independently of its creator. Encore's current solution to this problem is not final or optimal. We conclude by discussing a number of open problems related to dealing with closures in the actor model.

关键词： closures parallel programming concurrent programming type systems

来源：评论

学校读者我要写书评

暂无评论

Kmclib: Automated Inference and Verification of Session Types from OCaml Programs 28th

Kmclib: Automated Inference and Verification of Session Type...

引用

28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) Held as Part of the 25th European Joint Conferences on Theory and Practice of Software (ETAPS)

作者： Imai, Keigo Lange, Julien Neykova, Rumyana Gifu Univ Gifu Japan Royal Holloway Univ London London England Brunel Univ London London England

ISBN: (纸本)9783030995249;9783030995232

Theories and tools based on multiparty session types offer correctness guarantees for concurrent programs that communicate using message-passing. These guarantees usually come at the cost of an intrinsically top-down approach, which requires the communication behaviour of the entire program to be specified as a global type. This paper introduces kmclib: an OCaml library that supports the development of correct message-passing programs without having to write any types. The library utilises the meta-programming facilities of OCaml to automatically infer the session types of concurrent programs and verify their compatibility (k-MC [15]). Well-typed programs, written with kmclib, do not lead to communication errors and cannot get stuck.

关键词： Multiparty Session Types concurrent programming OCaml

来源：评论

学校读者我要写书评

暂无评论

Test-First Java Concurrency for the Classroom 10

Test-First Java Concurrency for the Classroom

引用

41st ACM Technical Symposium on Computer Science Education

作者： Ricken, Mathias Cartwright, Robert Rice Univ Dept Comp Sci Houston TX 77005 USA

ISBN: (纸本)9781605588858

concurrent programming is becoming more important due to the growing dominance of multi-core processors and the prevalence of graphical user interfaces (GUIs). To prepare students for the concurrent future, instructors have begun to address concurrency earlier in their curricula. Unfortunately, test-driven development, which enables students and practitioners to quickly develop reliable single-threaded programs, is not as effective in the domain of concurrent programming. This paper describes how ConcJUnit can simplify the task of writing unit tests for multi-threaded programs, and provides examples that can be used to introduce students to concurrent programming.

关键词： CS education Java JUnit unit testing concurrent programming tools software engineering

来源：评论

学校读者我要写书评

暂无评论

Search based software testing for the generation of synchronization sequences for mutation testing of concurrent programs

Search based software testing for the generation of synchron...

引用

作者： Rodolfo Adamshuk Silva UNIVERSIDADE DE SAO PAULO

学位级别：博士

concurrent programming has become an essential paradigm for reductions in the computational time in many application domains. However, the validation and testing activity is more complex than the testing for sequential programs due to the non-determinism, synchronization and inter-process communication. Mutation testing is based on mistakes produced by software developers and presents a high effectiveness to reveal faults. However, high computational costs limit its applicability even for sequential code, becoming higher for concurrent programs in which each test has to be executed with different (ideally all) thread schedules. To date, only selective mutation have been applied to reduce the number of mutants in concurrent programs, however, the problem of state explosion of thread schedules still remains. This Ph. D. thesis presents the SBBMuT approach that applies deterministic execution and genetic algorithm for the generation and execution of a set of synchronization sequences during the mutation testing of Java multithreaded programs. An experimental study was conducted, and the results showed that the set of synchronization sequences generated by SBBMuT achieved a higher mutation score in comparison with the use of the Java PathFinder model checking tool.

关键词： concurrent programming Mutation testing Search based software testing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：