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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

220 篇 会议
57 篇 期刊文献
1 册 图书

馆藏范围

278 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

236 篇 工学
- 223 篇 计算机科学与技术...
- 165 篇 软件工程
- 15 篇 控制科学与工程
- 5 篇 电气工程
- 5 篇 电子科学与技术（可...
- 5 篇 建筑学
- 4 篇 信息与通信工程
- 4 篇 土木工程
- 4 篇 生物工程
- 3 篇 化学工程与技术
- 3 篇 环境科学与工程（可...
- 2 篇 材料科学与工程（可...
- 2 篇 纺织科学与工程
- 1 篇 光学工程
- 1 篇 冶金工程
- 1 篇 交通运输工程
- 1 篇 农业工程
40 篇 理学
- 21 篇 数学
- 12 篇 系统科学
- 5 篇 生物学
- 4 篇 物理学
- 3 篇 化学
- 1 篇 地质学
29 篇 管理学
- 20 篇 图书情报与档案管...
- 12 篇 管理科学与工程(可...
- 8 篇 工商管理
4 篇 法学
- 4 篇 社会学
- 1 篇 法学
4 篇 教育学
- 4 篇 教育学
1 篇 农学
- 1 篇 作物学

主题

38 篇 object oriented ...
30 篇 computer systems...
25 篇 computer program...
7 篇 java programming...
6 篇 aspect oriented ...
6 篇 parallel program...
6 篇 concurrency
4 篇 computer systems...
4 篇 static analysis
4 篇 semantics
4 篇 synchronization
3 篇 message passing
3 篇 languages
3 篇 memory managemen...
3 篇 pattern matching
3 篇 logic programmin...
3 篇 computer graphic...
3 篇 specifications
2 篇 computer circuit...
2 篇 type systems

机构

3 篇 uppsala univ upp...
3 篇 university of ca...
3 篇 university of to...
3 篇 mit united state...
3 篇 university of bo...
3 篇 stockholm univer...
3 篇 purdue universit...
2 篇 univ of rocheste...
2 篇 univ bologna dis...
2 篇 univ edinburgh e...
2 篇 brown univ unite...
2 篇 school of softwa...
2 篇 columbia univ un...
2 篇 tokyo inst of te...
2 篇 univ paris vi
2 篇 carnegie mellon ...
2 篇 ibm research
2 篇 virginia tech un...
2 篇 department of co...
2 篇 department of co...

作者

7 篇 ricci alessandro
6 篇 wrigstad tobias
5 篇 agha gul
5 篇 masuhara hidehik...
4 篇 hirschfeld rober...
4 篇 yonezawa akinori
4 篇 tokoro mario
3 篇 watanabe takuo
3 篇 nystrom nathanie...
3 篇 santi andrea
3 篇 van den bos jan
3 篇 kafura dennis
3 篇 sarkar vivek
3 篇 springer matthia...
3 篇 vitek jan
2 篇 wegner peter
2 篇 meseguer josé
2 篇 ducasse stéphane
2 篇 wheelhouse mark
2 篇 lincke daniel

语言

277 篇 英文
1 篇 其他

检索条件"任意字段=Proceedings of the ACM SIGPLAN Workshop on Object-Based Concurrent Programming"

共 278 条记录，以下是141-150 订阅

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

详细简洁

排序：

X10: concurrent programming for modern architectures 07

X10: Concurrent programming for modern architectures

引用

2007 acm sigplan Symposium on Principles and Practice of Parallel programming, PPoPP'07

作者： Saraswat, Vijay A. Sarkar, Vivek Von Praun, Christoph IBM TJ Watson Research Center

ISBN: (纸本)1595936025

Two major trends are converging to reshape the landscape of concurrent object-oriented programming languages. First, trends in modern architectures (multi-core, accelerators, high performance clusters such as Blue Gene) are making concurrency and distribution inescapable for large classes of OO programmers. Second, experience with first-generation concurrent OO languages (e.g. Java threads and synchronization) have revealed several drawbacks of unstructured threads with lock-based synchronization. X10 is a second generation OO language designed to address both programmer productivity and parallel performance for modern architectures. It extends sequential Java with a handful of constructs for concurrency and distribution. It introduces a clustered address space to deal with distribution. A computation is thought of as running at multiple places, with many simultaneous activities operating in each place. objects and activities once created in a particular place stay confined to that place. However, a data-structure (object) allocated in one place may contain a reference to an object allocated in anoter place. (Thus X10 supports a partitioned global address space. X10 is an explicitly concurrent language. It provides constructs for lightweight asynchrony, making it easy for programmers to write code for target architectures that provide massive parallelism. It provides for recursive fork-join parallelism for structured concurrency. It provides for termination detection so that collections of activities may be reliably sequenced (even if they run across multiple places). It provides for a very simple form of atomic blocks in lieu of locks for mutual exclusion. These constructs can be used to define more sophisticated synchronization constructs such as futures and clocks. X10 supports a rich notion of multi-dimensional index spaces (regions), together with a rich set of operations on regions. Regions are first-class data-structures - they can be produced dynamically, st

关键词： concurrent engineering

来源：评论

学校读者我要写书评

暂无评论

proceedings of the Conference on object-Oriented programming Systems, Languages, and Applications, OOPSLA 2007 - Companion

Proceedings of the Conference on Object-Oriented Programming...

引用

22nd International Conference on object-Oriented programming Systems, Languages, and Applications, OOPSLA 2007 - Companion

ISBN: (纸本)9781595938657

The proceedings contain 110 papers. The topics discussed include: making frameworks work: a project retrospective;once upon a time, like never before: the challenge of telling the next story;second life: the world's biggest programming environment;collaboration and telecollaboration in design;Elephant 2000: a programming language based on speech acts;precise software documentation: making object-orientation work better;context, perspective, and programs;complexity management;1st international workshop on in process software engineering measurement and analysis (ISEMA 2007);the first international workshop on patterns languages: addressing challenges (PLAC 2007);fifth international workshop on SOA & Web services best practices;and the 7th OOPSLA workshop on domain-specific modeling.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Semantic-based systems development

Semantic-based systems development

引用

22nd International Conference on object-Oriented programming Systems, Languages, and Applications, OOPSLA 2007 - Companion

作者： De Cesare, Sergio Holland, Grant Holtmann, Carsten Lycett, Mark Brunel University United Kingdom Sun Microsystems United States University of Karlsruhe Germany

ISBN: (纸本)9781595938657

Software systems are intrinsically complex from a number of perspectives. The level of complexity is increasing due to the growing need to integrate different and diverse systems in order to achieve organizational goals (evolving toward ecosystems as an ideal). Effective integration may be argued as important as, from a knowledge-based perspective of organizations, the effectiveness of services rendered by resources depends upon how they are combined and applied. Consequently, systems development and re-engineering must focus on ways of dealing with the complexity of modern software systems in an effective manner. Since software systems, in essence, model real world phenomena, it is necessary to adopt modeling and development techniques founded on semantics. Broadly speaking, semantics enable the precise mapping between complex real world phenomena and their modeled counterparts and/or enable the (dynamic) mapping/integration between different representations (and understandings) of real world phenomena. In recent years, ontologies have emerged as the prime focus of semantic modeling, with the main focus on the development of representation languages and the resulting ontologies. Limited work has been carried out within the software engineering community in relation to the development of semantic-based systems - though research into the modeling, alignment and evolution of ontologies has progressed significantly among the Semantic Web community. It would seem plausible that languages, tools and techniques developed to achieve the objectives of the Semantic Web could be integrated within the software development process as a means to produce more flexible and adaptive systems. Numerous challenges exist however, as the development of semantic-based systems will have to manage things that exist (ontology), specific organizational knowledge of what exists (epistemology) and the required organizational action (pragmatics). With that in mind, this workshop aims to bring t

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

An object-oriented approach to datatype-generic programming

An object-oriented approach to datatype-generic programming

引用

WGP'06 - acm sigplan 2006 workshop on Generic programming

作者： Moors, Adriaan Piessens, Frank Joosen, Wouter Computer Science Department KU Leuven Belgium

Datatype-generic programming (DGP) is the next step beyond abstracting overtypes using parametric polymorphism, which is often called "genericity" in object-oriented languages. However, unlike genericity, DGP has not received much attention in the OO community. Nonetheless, in the context of functional languages, it has proven to make programs more robust with respect to changes in the type structure, as well as in many other applications, such as type-safe XML processing and marshalling, To carry these strengths over to an OO language, we present an extensible library for lightweight DGP in Scala, based on an existing lightweight approach in Haskell, We discuss the challenges in developing and using our library, and explore ways to overcome them. Copyright © 2006 acm.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Companion to the 21st acm sigplan Conference on object-oriented programming Systems, Languages, and Applications, OOPSLA 2006

Companion to the 21st ACM SIGPLAN Conference on Object-orien...

引用

21st Annual acm sigplan Conference on object-oriented programming Systems, Languages, and Applications, OOPSLA 2006

ISBN: (纸本)159593491X

The proceedings contain 122 papers. The topics discussed include: scale changes everything;a growable language;faith, evolution, and programming languages: from haskell to java to links;the geography of programming;applying a UML-based agent modeling language to the autonomic computing domain;keeping track of crosscutting requirements in UML models via context-based constraints;pegasus: first steps toward a naturalistic programming language;a commensalistic software system;collaborative diffusion: programming antiobjects;JDA: a step towards large-scale reuse on the web;model-based DSL frameworks;LCSD: library-centric software design;eclipse technology exchange workshop (ETX2006);the 6th OOPSLA workshop on domain-specific modeling;workshop on event driven architecture;escaped from the lab: software practices in large organizations;creating an informative workspace;and 4th int'l workshop on SOA and web services.

关键词： Technical presentations

来源：评论

学校读者我要写书评

暂无评论

OOPSLA'06 workshop outline: 1st workshop on model-based testing and object-oriented systems (M-TOOS)

OOPSLA'06 workshop outline: 1st workshop on model-based test...

引用

21st Annual acm sigplan Conference on object-oriented programming Systems, Languages, and Applications, OOPSLA 2006

作者： Grieskamp, Wolfgang Richardson, Debra Williams, Clay E. Microsoft Research One Microsoft Way Redmond WA 98052 United States University of California - Irvine Donald Bren School of Information and Computer Sciences ICS 444 Irvine CA 92697 United States IBM T.J. Watson Research Center 19 Skyline Drive Hawthorne NY 10532 United States

No abstract available

ISBN: (纸本)159593491X

No abstract available

关键词： Model-based testing object-oriented testing

来源：评论

学校读者我要写书评

暂无评论

McRT-STM: A high performance software transactional memory system for a multi-core runtime

McRT-STM: A high performance software transactional memory s...

引用

2006 acm sigplan Symposium on Principles and Practice of Parallel programming, PPOPP'06

作者： Saha, Bratin Adl-Tabatabai, Ali-Reza Hudson, Richard L. Chi, Cao Minh Hertzberg, Benjamin Programming System Lab. Microprocessor Technology Lab. Intel Corporation Computer Architecture Lab. Stanford University Palo Alto CA

ISBN: (纸本)1595931899

Applications need to become more concurrent to take advantage of the increased computational power provided by chip level multiprocessing. Programmers have traditionally managed this concurrency using locks (mutex based synchronization). Unfortunately, lock based synchronization often leads to deadlocks, makes fine-grained synchronization difficult, hinders composition of atomic primitives, and provides no support for error recovery. Transactions avoid many of these problems, and therefore, promise to ease concurrent programming. We describe a software transactional memory (STM) system that is part of McRT, an experimental Multi-Core RunTime. The McRT-STM implementation uses a number of novel algorithms, and supports advanced features such as nested transactions with partial aborts, conditional signaling within a transaction, and object based conflict detection for C/C++ applications. The McRT-STM exports interfaces that can be used from C/C++ programs directly or as a target for compilers translating higher level linguistic constructs. We present a detailed performance analysis of various STM design tradeoffs such as pessimistic versus optimistic concurrency, undo logging versus write buffering, and cache line based versus object based conflict detection. We also show a MCAS implementation that works on arbitrary values, coexists with the STM, and can be used as a more efficient form of transactional memory. To provide a baseline we compare the performance of the STM with that of fine-grained and coarse-grained locking using a number of concurrent data structures on a 16-processor SMP system. We also show our STM performance on a non-synthetic workload - the Linux sendmail application. Copyright © 2006 acm.

关键词： Data storage equipment

来源：评论

学校读者我要写书评

暂无评论

EUnit - A lightweight unit testing framework for erlang

EUnit - A lightweight unit testing framework for erlang

引用

Erlang'06 - proceedings of the acm sigplan 2006 Erlang workshop

作者： Carlsson, Richard Rémond, Mickaël Process-One

ISBN: (纸本)1595934901

In recent years, agile development methods have become increasingly popular, and although few people seem willing to go all the way with Extreme programming, it seems that there is a general consensus today that test-driven development with unit testing is a Good Thing. However, this requires that tests are easy to write, since programmers are generally lazy, and that running the tests is easy and quick and the test results are presented in a concise manner, to make the feedback loop as short as possible. Failing this, it is likely that testing will not be extensively used during development. The concept of a lightweight unit testing framework that fulfils these goals, tailored to a particular programming language, was popularized by the JUnit framework for Java, written by Kent Beck and Erich Gamma. This was based on an earlier framework for Smalltalk called SUnit, by Kent Beck. The ideas in JUnit are easily transferred to any other object-oriented language, and today variants have been written for many different programming languages. We will here present our adaptation of these ideas to Erlang. The EUnit framework provides the usual features of such frameworks: writing tests is very easy indeed, and so is running them. Like most other similar frameworks, we rely on program introspection and naming conventions to reduce the amount of coding necessary to write tests. However, there are also some unusual aspects. Since Erlang is functional, rather than object oriented, it is not possible to use inheritance to provide basic test functionality, nor to use object instantiation to handle things like setup/teardown of contexts for tests. Instead, we base our system on a "language" for describing sets of tests, using mainly lists, tuples, and lambda expressions. We also make rather heavy use of preprocessor macros to allow more compact and readable notation. Because test descriptions are data, they can be easily combined, abstracted over, or even be generated on the fly.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

object capabilities for security

Object capabilities for security

引用

PLAS 2006 - 2006 programming Languages and Analysis for Security workshop

作者： Wagner, David Computer Science Division University of California Berkeley United States

ISBN: (纸本)1595933743

Existing systems often do a poor job of meeting the principle of least privilege. I will discuss how object capability systems and language-based methods can help address this shortcoming. In language-based object capability systems, an object reference is treated as a capability;unforgeability of references ensures unforgeability of capabilities;and all privileges are expressed as capabilities in this way. This makes it possible to decompose the system into distrusting "privilege-separated" components, providing each component with the least privilege it needs to do its job;to reason about the privileges and powers available to various program elements, often in a local (modular) way;and to avoid common pitfalls, such as confused deputy and TOCTTOU vulnerabilities. I will attempt to introduce the audience to some work in this area that is perhaps not so widely known, and I will describe some work in progress to construct a subset of Java, called Joe-E, that is intended to enable capability-style programming using a programming syntax that is familiar to Java programmers.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

PLAS 2006 - proceedings of the 2006 programming Languages and Analysis for Security workshop

PLAS 2006 - Proceedings of the 2006 Programming Languages an...

引用

PLAS 2006 - 2006 programming Languages and Analysis for Security workshop

ISBN: (纸本)1595933743

The proceedings contain 11 papers. The topics discussed include: object capabilities for security;applying flow-sensitive CQUAL to verify MINIX authorization check placement;certified in-lined reference monitoring on .NET;combining type-based analysis and model checking for finding counterexamples against non-interference;precise alias analysis for static detection of web application vulnerabilities;specifying distributed trust management in LolliMon;a microkernel virtual machine: building security with clear interfaces;empirical relation between coupling and attackability in software systems: a case study on DOS;trusted declassification: high-level policy for a security-typed language;refactoring programs to secure information flows;and efficient type inference for secure information flow.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共28页 << < 11 12 13 14 15 16 17 18 19 20 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：