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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

959 篇 会议
62 篇 期刊文献
1 册 图书

馆藏范围

1,022 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

905 篇 工学
- 859 篇 软件工程
- 783 篇 计算机科学与技术...
- 155 篇 控制科学与工程
- 28 篇 信息与通信工程
- 16 篇 电气工程
- 12 篇 建筑学
- 10 篇 光学工程
- 9 篇 土木工程
- 9 篇 生物工程
- 6 篇 材料科学与工程（可...
- 5 篇 机械工程
- 4 篇 电子科学与技术（可...
- 4 篇 化学工程与技术
- 3 篇 冶金工程
- 3 篇 航空宇航科学与技...
- 2 篇 力学（可授工学、理...
123 篇 理学
- 92 篇 数学
- 17 篇 系统科学
- 12 篇 生物学
- 6 篇 统计学（可授理学、...
- 5 篇 化学
- 3 篇 物理学
- 2 篇 地质学
109 篇 管理学
- 78 篇 图书情报与档案管...
- 42 篇 管理科学与工程(可...
- 23 篇 工商管理
16 篇 教育学
- 15 篇 教育学
8 篇 法学
- 8 篇 社会学
2 篇 经济学
- 2 篇 应用经济学
2 篇 医学
- 2 篇 基础医学(可授医学...
1 篇 农学

主题

468 篇 object oriented ...
24 篇 languages
22 篇 object oriented ...
17 篇 object-oriented ...
16 篇 computer languag...
15 篇 performance
15 篇 java
12 篇 design
10 篇 computer program...
10 篇 user interfaces
9 篇 software enginee...
9 篇 verification
8 篇 application soft...
8 篇 semantics
8 篇 computer aided s...
7 篇 computer science
7 篇 parallel program...
7 篇 static analysis
7 篇 scala
6 篇 reliability

机构

7 篇 swiss fed inst t...
6 篇 univ texas austi...
5 篇 ibm t.j. watson ...
5 篇 carnegie mellon ...
5 篇 university of il...
4 篇 ecole polytech f...
4 篇 univ waterloo wa...
4 篇 victoria univers...
4 篇 at and t united ...
3 篇 ibm united state...
3 篇 school of comput...
3 篇 university of te...
3 篇 univ of washingt...
3 篇 university of il...
3 篇 oregon graduate ...
3 篇 ibm
3 篇 schlumberger-dol...
3 篇 department of co...
3 篇 intel corp santa...
3 篇 computer science...

作者

9 篇 biddle robert
9 篇 aldrich jonathan
8 篇 de champeaux den...
8 篇 noble james
8 篇 cook william r.
7 篇 johnson ralph
7 篇 coad peter
7 篇 abi-antoun marwa...
6 篇 baniassad elisa
6 篇 yonezawa akinori
6 篇 jacobson ivar
5 篇 mckinley kathryn...
5 篇 sweeney peter f.
5 篇 palsberg jens
5 篇 grothoff christi...
5 篇 helm richard
5 篇 yoder joseph w.
5 篇 alphonce carl
5 篇 kiczales gregor
5 篇 ungar david

语言

998 篇 英文
24 篇 其他

检索条件"任意字段=1988 Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 1988"

共 1022 条记录，以下是891-900 订阅

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

详细简洁

排序：

BuddyCache: High-performance object storage for collaborative strong-consistency applications in a WAN 02

BuddyCache: High-performance object storage for collaborativ...

引用

17th ACM conference on object-Orientated programming systems, languages, and applications

作者： Bjornsson, Magnus E. Shrira, Liuba Department of Computer Science Brandeis University Waltham MA 02454-9110 United States

ISBN: (纸本)9781581134711

Collaborative applications provide a shared work environment for groups of networked clients collaborating on a common task. They require strong consistency for shared persistent data and efficient access to fine-grained objects. These properties are difficult to provide in wide-area networks because of high network latency. BuddyCache is a new transactional caching approach that improves the latency of access to shared persistent objects for collaborative strong-consistency applications in high-latency network environments. The challenge is to improve performance while providing the correctness and availability properties of a transactional caching protocol in the presence of node failures and slow peers. We have implemented a BuddyCache prototype and evaluated its performance. Analytical results, confirmed by measurements of the BuddyCache prototype using the multi-user 007 benchmark indicate that for typical Internet latencies, e.g. ranging from 40 to 80 milliseconds round trip time to the storage server, peers using BuddyCache can reduce by up to 50% the latency of access to shared objects compared to accessing the remote servers directly.

关键词： Cache memory

来源：评论

学校读者我要写书评

暂无评论

CodeGenie: a tool for test-driven source code search

CodeGenie: a tool for test-driven source code search

引用

WikiSym'07, ISMM'07, HPC-GECO/CompFrame'07, DLS'07 - 22nd ACM SIGPLAN conference on object-oriented programming systems and applications Companion, oopsla'07

作者： Lemos, Otávio Augusto Lazzarini Bajracharya, Sushil Joel, Ossher Departamento de Sistemas de Computacão ICMC/USP-São Carlos - Caixa Postal 668 13560-970 São Carlos-SP-Brasil Brazil Donald Bren School of Information and Computer Sciences University of California Irvine United States

ISBN: (纸本)9781595938657

We present CodeGenie, a tool that implements a test-driven approach to search and reuse of code available on largescale code repositories. With CodeGenie, developers design test cases for a desired feature first, similar to Test-driven Development (TDD). However, instead of implementing the feature from scratch, CodeGenie automatically searches for an existing implementation based on information available in the tests. To check the suitability of the candidate results in the local context, each result is automatically woven into the developer's project and tested using the original tests. The developer can then reuse the most suitable result. Later, reused code can also be unwoven from the project as wished. For the code searching and wrapping facilities, CodeGenie relies on Sourcerer, an Internet-scale source code infrastructure that we have developed.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

2nd European conference on object oriented programming, ECOOP 1988

引用

2nd European conference on object oriented programming, ECOOP 1988

ISBN: (纸本)9783540500537

The proceedings contain 23 papers. The special focus in this conference is on object oriented programming. The topics include: Prototyping an interactive electronic book system using an object-oriented approach;SCOOP structured concurrent object oriented Prolog;the implementation of a distributed Smalltalk;implementing concurrency control in reliable distributed object-oriented systems;An implementation of an operating system kernel using concurrent object oriented language ABCL/c+;debugging concurrent systems based on object groups;fitting round objects into square databases;database concepts discussed in an object oriented perspective;object oriented programming and computerised shared material;teaching object-oriented programming is more than teaching object-oriented programming languages;asynchronous data retrieval from an object-oriented database;an overview of OOPS+, an object-oriented database programming Language;PCLOS: A flexible implementation of CLOS persistence;a shared, persistent object store;the Mjølner environment: direct interaction with abstractions;inheritance as an incremental modification mechanism or what like is and Isn’t like;GSBL: an algebraic specification language based on inheritance;name collision in multiple classification hierarchies;Reflexive architecture: From ObjVLisp to CLOS;Nesting in an object oriented language is NOT for the Birds;an object-oriented exception handling system for an object-oriented language.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Enforcing object Protocols by Combining Static and Runtime Analysis 08

Enforcing Object Protocols by Combining Static and Runtime A...

引用

23rd Annual ACM conference on object-oriented programming, systems, languages and applications

作者： Gopinathan, Madhu Rajamani, Sriram K. Indian Inst Sci Bangalore 560012 Karnataka India Microsoft Res India Bangalore Karnataka India

ISBN: (纸本)9781605582153

In this paper, we consider object protocols that constrain interactions between objects in a program. Several such protocols have been proposed in the literature [3, 9, 6, 5]. For many APIs (such as JDOM [23], JDBC [22]), API designers constrain how API clients interact with API objects. In practice, API clients violate such constraints, as evidenced by postings in discussion forums for these APIs. Thus, it is important that API designers specify constraints using appropriate object protocols and enforce them. The goal of an object protocol is expressed as a protocol invariant. Fundamental properties such as ownership can be expressed as protocol invariants. We present a language, PROLANG, to specify object protocols along with their protocol invariants, and a tool, INVCOP++, to check if a program satisfies a protocol invariant. INVCOP++ separates the problem of checking if a protocol satisfies its protocol invariant (called protocol correctness), from the problem of checking if a program conforrns to a protocol (called program conformance). The former is solved using static analysis, and the latter using runtime analysis. Due to this separation (1) errors made in protocol design are detected at a higher level of abstraction, independent of the program's source code, and (2) performance of conformance checking is improved as protocol correctness has been verified statically. We present theoretical guarantees about the way we combine static and runtime analysis, and empirical evidence that our tool INVCOP++ finds usage errors in widely used APIs. We also show that statically checking protocol correctness greatly optimizes the overhead of checking program conformance, thus enabling API clients to test whether their programs use the API as intended by the API designer.

关键词： Invariants Aspect oriented programming Program Verification

来源：评论

学校读者我要写书评

暂无评论

Agile and object oriented practices in embedded systems

Agile and object oriented practices in embedded systems

引用

ACM International conference on systems, programming, languages, and applications: Software for Humanity, SPLASH'11

作者： Matthews, Charles E. Douglass, Bruce Powel Kiekbusch, Jim Fifth Generation Systems Ltd. Markham ON Canada IBM Rational Fairfax VA United States OMNI Engineering Systems Inc. Winona MN United States

ISBN: (纸本)9781450309424

Embedded systems are the most prevalent of all computer systems in the world. More than 99% of all computer/microcontroller products that are sold each year are single purpose embedded systems rather than workstations, desktops, laptops, or server systems. This workshop will gather embedded systems programmers and engineers to discuss how Agile and object oriented practices affect the design and implementation of embedded systems. We will explore how/whether a product design is affected when an embedded system implements functionality that is inherently object oriented in nature. We will explore how constraints that are unique to embedded systems affect the adoption of Agile and objected oriented processes and practices. The primary goal for this workshop is to provide feedback to the embedded systems community on which practices are judged as useful and which are not.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

Introducing computer science with project Hoshimi

Introducing computer science with project Hoshimi

引用

WikiSym'07, ISMM'07, HPC-GECO/CompFrame'07, DLS'07 - 22nd ACM SIGPLAN conference on object-oriented programming systems and applications Companion, oopsla'07

作者： Pérez, Ramiro A. Berrelleza Sánchez, Javier González Chávez Echeagaray, Maria Elena B.S. Computer System Engineering Tecnológico De Monterrey Campus Guadalajara Zapopan Jalisco Mexico Computer Science Department Tecnológico de Monterrey Campus Guadalajara Zapopan Jalisco Mexico

ISBN: (纸本)9781595938657

Introductory programming course have two very specific difficulties for novice students. First is the lack of real world examples in the sessions. It is very difficult to find areas of application where all the students are familiar enough and that offers challenging and engaging examples. Second it is the lack of palpable results of the job done. Introductory courses in other fields generate products that the students can show to others, and feel proud about it. In CS1, for example, explaining loops by printing a series of numbers on the screen doesn't yield the same sense of accomplishment as drawing a basic perspective in an architecture course. We propose using Project Hoshimi [1], a Microsoft Platform, as a base for introducing computer programming to CS1 students. Through the paper we discuss how it could be implemented in the classroom, the main advantages and disadvantages in our experience of using Project Hoshimi, comparing its use against other more traditional approaches, as well as against other graphic programming methods such as Alice or videogame based learning.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Concurrent aspects 06

Concurrent aspects

引用

5th International conference on Generative programming and Component Engineering, GPCE'06. Co-located with the 21st International conference on object-oriented programming, systems, languages, and applications, oopsla 2006

作者： Douence, Rémi Le Botlan, Didier Noyé, Jacques Südholt, Mario OBASCO Project École des Mines de Nantes Département Informatik 44307 Nantes Cedex 3 France

ISBN: (纸本)1595932372

Aspect-oriented programming (AOP) promises the modularization of so-called crosscutting functionalities in large applications. Currently, almost all approaches to AOP provide means for the description of sequential aspects that are to be applied to a sequential base program. In particular, there is no formally-defined concurrent approach to AOP, with the result that coordination issues between aspects and base programs as well as between aspects cannot precisely be *** paper presents Concurrent Event-based AOP (CEAOP), which addresses this issue. Our contribution can be detailed as follows. First, we formally define a model for concurrent aspects which extends the sequential Event-based AOP approach. The definition is given as a translation into concurrent specifications using Finite Sequential Processes (FSP), thus enabling use of the Labelled Transition System Analyzer (LTSA) for formal property verification. Further, we show how to compose concurrent aspects using a set of general composition operators. Finally, we sketch a Java prototype implementation for concurrent aspects, which generates coordination specific code from the FSP model defining the concurrent AO application. Copyright © 2006 ACM.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Synthesizing Method Sequences for High-Coverage Testing 11

Synthesizing Method Sequences for High-Coverage Testing

引用

2th ACM International conference on systems, programming, languages, and applications: Software for Humanity (SPLASH)

作者： Thummalapenta, Suresh Xie, Tao Tillmann, Nikolai de Halleux, Jonathan Su, Zhendong IBM Res Bangalore Karnataka India

ISBN: (纸本)9781450309400

High-coverage testing is challenging. Modern object-oriented programs present additional challenges for testing. One key difficulty is the generation of proper method sequences to construct desired objects as method parameters. In this paper, we cast the problem as an instance of program synthesis that automatically generates candidate programs to satisfy a user-specified intent. In our setting, candidate programs are method sequences, and desired object states specify an intent. Automatic generation of desired method sequences is difficult due to its large search space sequences often involve methods from multiple classes and require specific primitive values. This paper introduces a novel approach, called Seeker, to intelligently navigate the large search space. Seeker synergistically combines static and dynamic analyses: (1) dynamic analysis generates method sequences to cover branches;(2) static analysis uses dynamic analysis information for not-covered branches to generate candidate sequences;and (3) dynamic analysis explores and eliminates statically generated sequences. For evaluation, we have implemented Seeker and demonstrate its effectiveness on four subject applications totalling 28K LOC. We show that Seeker achieves higher branch coverage and def-use coverage than existing state-of-the-art approaches. We also show that Seeker detects 34 new defects missed by existing tools.

关键词： object-oriented testing Symbolic execution

来源：评论

学校读者我要写书评

暂无评论

Tracking bad apples: Reporting the origin of null and undefined value errors

Tracking bad apples: Reporting the origin of null and undefi...

引用

22nd Annual ACM SIGPLAN International conference on object-oriented programming, systems, languages, and applications, oopsla'07

作者： Bond, Michael D. McKinley, Kathryn S. Kent, Stephen W. Nethercote, Nicholas N. Guyer, Samuel Z. Dept. of Computer Sciences University of Texas at Austin United States National ICT Australia Australia Dept. of Computer Science Tufts University United States

ISBN: (纸本)1595937862

Programs sometimes crash due to unusable values, for example, Java and C# programs dereference null pointers when C and C++ programs use undefined values to program behavior. A stack trace produced on such a identifies the effect of the unusable value, not its cause, is often not much help to the programmer. paper presents efficient origin tracking of unusable ; it shows how to record where these values come into, correctly propagate them, and report them if they an error. The key idea is value piggybacking: when original program stores an unusable value, value piggybacking stores origin information in the spare bits of unusable value. Modest compiler support alters the program propagate these modified values through operations as assignments and comparisons. We evaluate two implementations: first tracks null pointer origins in a JVM, the second tracks undefined value origins in a memorychecking built with Valgrind. These implementations that origin tracking via value piggybacking is fast and useful, and in the Java case, has low enough overhead for use in a production environment. Copyright 2007 ACM.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Agile enterprise software development using domain-driven design and test first

Agile enterprise software development using domain-driven de...

引用

WikiSym'07, ISMM'07, HPC-GECO/CompFrame'07, DLS'07 - 22nd ACM SIGPLAN conference on object-oriented programming systems and applications Companion, oopsla'07

作者： Landre, Einar Wesenberg, Harald Olmheim, Jorn Statoil ASA Application Development Center Forusbeen 50 N-4035 Stavanger Norway Statoil ASA Energy Trading Support Rotvoll N-7005 Trondheim Norway Statoil ASA Application Development Center Rotvoll N-7005 Trondheim Norway

ISBN: (纸本)9781595938657

In this paper we present the experience gained and lessons learned when the IT department at Statoil ASA, a large Oil and Gas company in Norway, applied Domain-Driven design techniques in combination with agile software development practices to assess the software architecture of our next generation oil trading and supply chain application. Our hypothesis was that the use of object oriented techniques, Domain-Driven design and a proper objectrelational mapping tool would significantly improve the performance and reduce the code base compared with current legacy systems. The legacy system is based on several Oracle databases serving a variety of clients written in Java, Gupta Centura Team Developer and HTML. The databases have a layer of business logic written in PL/SQL offering various system services to the clients. To validate our new object oriented software architecture, we re-implemented one of the most computationally heavy and data intensive services using Test First and Domain-Driven design techniques. The resulting software was then tested on a set of servers with a representative subset of data from the production environment. We found that using these techniques improved our software architecture with respect to performance as well as code quality when running on top of our Oracle databases. We also tested the switch to an object database from Versant and achieved additional performance gains.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共103页 << < 86 87 88 89 90 91 92 93 94 95 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：