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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

738 篇 会议
127 篇 期刊文献
1 册 图书

馆藏范围

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

日期分布

学科分类号

777 篇 工学
- 742 篇 软件工程
- 568 篇 计算机科学与技术...
- 35 篇 控制科学与工程
- 19 篇 电气工程
- 19 篇 信息与通信工程
- 16 篇 生物工程
- 8 篇 土木工程
- 6 篇 建筑学
- 4 篇 化学工程与技术
- 3 篇 材料科学与工程（可...
- 3 篇 电子科学与技术（可...
- 3 篇 环境科学与工程（可...
- 2 篇 机械工程
- 2 篇 光学工程
- 2 篇 农业工程
59 篇 理学
- 33 篇 数学
- 18 篇 生物学
- 6 篇 物理学
- 6 篇 化学
- 6 篇 系统科学
- 1 篇 大气科学
- 1 篇 地球物理学
- 1 篇 统计学（可授理学、...
58 篇 管理学
- 34 篇 图书情报与档案管...
- 26 篇 管理科学与工程(可...
- 8 篇 工商管理
12 篇 法学
- 12 篇 社会学
- 1 篇 法学
6 篇 教育学
- 6 篇 教育学
3 篇 农学
- 3 篇 作物学
1 篇 医学

主题

250 篇 languages
111 篇 object oriented ...
83 篇 performance
83 篇 design
52 篇 algorithms
46 篇 verification
43 篇 java
41 篇 experimentation
38 篇 reliability
36 篇 computer program...
34 篇 theory
19 篇 human factors
17 篇 concurrency
16 篇 parallel program...
16 篇 object-oriented ...
15 篇 measurement
14 篇 scala
13 篇 aspect oriented ...
13 篇 javascript
12 篇 type systems

机构

18 篇 univ washington ...
13 篇 ecole polytech f...
12 篇 tech univ darmst...
11 篇 microsoft res re...
9 篇 mit csail cambri...
8 篇 univ texas austi...
7 篇 princeton univ p...
7 篇 univ marburg d-3...
7 篇 univ texas austi...
7 篇 aarhus univ dk-8...
6 篇 johannes kepler ...
6 篇 suny binghamton ...
6 篇 harvard univ cam...
6 篇 purdue univ w la...
6 篇 univ calif berke...
5 篇 univ duisburg es...
5 篇 microsoft res ca...
5 篇 ecole polytech f...
5 篇 mcgill univ mont...
5 篇 univ hong kong p...

作者

12 篇 rajan hridesh
12 篇 odersky martin
11 篇 mezini mira
10 篇 hirschfeld rober...
10 篇 binder walter
9 篇 salvaneschi guid...
9 篇 aldrich jonathan
9 篇 ostermann klaus
8 篇 mckinley kathryn...
8 篇 marr stefan
8 篇 rompf tiark
7 篇 oliveira bruno c...
7 篇 noble james
7 篇 liu yu david
7 篇 kuncak viktor
7 篇 gulwani sumit
6 篇 bond michael d.
6 篇 ceze luis
6 篇 van der storm ti...
6 篇 coad peter

语言

747 篇 英文
116 篇 其他
2 篇 中文
1 篇 俄文

检索条件"任意字段=2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages"

共 866 条记录，以下是331-340 订阅

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

详细简洁

排序：

Comparison of Performance of Finite Element Codes in Different programming languages Converted From Legacy Finite Element Codes

Comparison of Performance of Finite Element Codes in Differe...

引用

The 3rd international conference on Intelligent Computational systems(ICICS’2013);The 3rd international conference on Mechanical,Automotive and Materials Engineering(ICMAME’2013);The 3rd international conference on Electronics,Biomedical Engineering and its Applications(ICEBEA’2013);The 3rd international conference on Ecological,Environmental and Biological Sciences(ICEEBS’2013);The 3rd international conference on Business,Economics,Management and BehavioralSciences 2013(ICBEMBS’2013);The 3rd international conference on Applied Mathematics and Pharmaceutical Sciences(ICAMPS’2013)

作者： Thiruchelvam Arudchelvam Janaka Wijayakulasooriya S. Ratnajeevan H. Hoole Wayamba University of Sri Lanka University of Peradeniya University of Peradeniya Sri Lanka Engineering and Science Michigan State University

The FORTRAN programming language was used in early days, to write programs for finite element based field computation. Much of those codes were developed in an ad hoc basis. Modern software developers face problems in understanding, modifying and utilizing those codes. As modern software engineers are more concerned on object oriented design, if those codes are converted into an object oriented language, those codes could be utilized in order to utilize the codes and redesign in an object oriented system. Those legacy codes are converted not only into an object oriented programming language such as Java but also into functional oriented languages such as C. Conversion of those legacy codes into modern languages gives many advantages. The purpose of this paper is to compare the performances of such legacy Finite element codes written in FORTRAN, the relevant converted C program and the relevant converted Java program. Finite element programs written in FORTRAN are converted into modern languages such as C and Java. Performances of those programs are compared based on the execution time. In addition to that, the memory sizes of the execution file of FORTRAN and C programs are compared.

关键词： Finite Elements Method, Legacy Software, Performance Evaluation, Re-engineering.

来源：评论

学校读者我要写书评

暂无评论

Psi-CAL: Foundations of a programming Language for Services Computing

Psi-CAL: Foundations of a Programming Language for Services ...

引用

IEEE international conference on Services Computing (SCC)

作者： Arun Kumar Vineet Rajani Dharanipragada Janakiram IBM Research India MPI-SWS IIT Madras

Services Computing has turned into the mainstream programming paradigm for building enterprise systems that are distributed in nature. However, the programming power available to the developers of service oriented systems has been slow to catch up. The object abstraction continues to be the prevalent mechanism for implementing services based software systems and has several drawbacks. A key drawback is the fact that programmers are provided the business requirements in terms of services but are expected to implement them using objects, leading to an abstraction gap that the programmer is expected to fill. In this paper, we formalize the notion of services as first class entities through a typed calculus, called Psi-CAL. Psi-CAL models major operations for service manipulation including creation, discovery, and invocation as well as establishing relationships among services. We present the syntax and semantics of Psi-CAL with a corresponding type system, towards building a programming language for services computing.

关键词： programming Semantics object oriented modeling Calculus Computational modeling Protocols Computer languages

来源：评论

学校读者我要写书评

暂无评论

A prototyping system for hardware distributed objects with diversity of programming languages design and preliminary evaluation

A prototyping system for hardware distributed objects with d...

引用

IEEE international conference on Field-Programmable Technology (FPT)

作者： Takeshi Ohkawa Takashi Yokota Kanemitsu Ootsu Graduate School of Engineering Utsunomiya University Utsunomiya Tochigi Japan

A prototyping system for hardware distributed objects using a hardwired ORB (object Request Broker) protocol processing engine was implemented on Xilinx Zynq-7000 platform; by which a circuit IP on an FPGA can be operated from application software on Linux/ARM processor through an object-oriented method call. The proposed framework increases controllability and design-productivity on FPGA-based systems. A developer can define an object-oriented interface for a circuit IP in an FPGA, and implement the control sequence part using JavaRock Java-to-HDL synthesizer. By the conformance to the standard CORBA (Common object Request Broker Architecture) protocol, circuit IPs in an FPGA can be handled through object-oriented interface from diversity of programing languages; like C++, Java, Python and so on. The round trip delay performance measurement of the prototype system was done on Xillybus FIFO interface channel.

关键词： Engines Java Delays Field programmable gate arrays Protocols Hardware

来源：评论

学校读者我要写书评

暂无评论

Checking Reachability using Matching Logic 12

Checking Reachability using Matching Logic

引用

acm international conference on object oriented programming systems languages and Applications

作者： Rosu, Grigore Stefanescu, Andrei Univ Illinois Chicago IL USA Alexandru Ioan Cuza Univ Iasi Romania

ISBN: (纸本)9781450315616

This paper presents a verification framework that is parametric in a (trusted) operational semantics of some programming language. The underlying proof system is language-independent and consists of eight proof rules. The proof system is proved partially correct and relatively complete (with respect to the programming language configuration model). To show its practicality, the generic framework is instantiated with a fragment of C and evaluated with encouraging results.

关键词： languages Verification Theory Reachability Hoare logic matching logic

来源：评论

学校读者我要写书评

暂无评论

Taming MATLAB 12

Taming MATLAB

引用

acm international conference on object oriented programming systems languages and Applications

作者： Dubrau, Anton Hendren, Laurie McGill Univ Montreal PQ H3A 2T5 Canada

ISBN: (纸本)9781450315616

MATLAB is a dynamic scientific language used by scientists, engineers and students worldwide. Although MATLAB is very suitable for rapid prototyping and development, MATLAB users often want to convert their final MATLAB programs to a static language such as FORTRAN. This paper presents an extensible object-oriented toolkit for supporting the generation of static programs from dynamic MATLAB programs. Our open source toolkit, called the MATLAB Tamer, identifies a large tame subset of MATLAB, supports the generation of a specialized Tame IR for that subset, provides a principled approach to handling the large number of builtin MATLAB functions, and supports an extensible interprocedural value analysis for estimating MATLAB types and call graphs.

关键词： Experimentation languages MATLAB Static Compilation Interprocedural Value Analysis Analysis Framework

来源：评论

学校读者我要写书评

暂无评论

Gradual Typing for First-Class Classes 12

Gradual Typing for First-Class Classes

引用

acm international conference on object oriented programming systems languages and Applications

作者： Takikawa, Asumu Strickland, T. Stephen Dimoulas, Christos Tobin-Hochstadt, Sam Felleisen, Matthias Northeastern Univ PLT Boston MA 02115 USA

ISBN: (纸本)9781450315616

Dynamic type-checking and object-oriented programming often go hand-in-hand;scripting languages such as Python, Ruby, and JavaScript all embrace object-oriented (OO) programming. When scripts written in such languages grow and evolve into large programs, the lack of a static type discipline reduces maintainability. A programmer may thus wish to migrate parts of such scripts to a sister language with a static type system. Unfortunately, existing type systems neither support the flexible OO composition mechanisms found in scripting languages nor accommodate sound interoperation with untyped code. In this paper, we present the design of a gradual typing system that supports sound interaction between statically- and dynamically-typed units of class-based code. The type system uses row polymorphism for classes and thus supports mixin-based OO composition. To protect migration of mixins from typed to untyped components, the system employs a novel form of contracts that partially seal classes. The design comes with a theorem that guarantees the soundness of the type system even in the presence of untyped components.

关键词： languages Design gradual typing first-class classes contracts sealing design by contract row polymorphism blame theorem (proof technique)

来源：评论

学校读者我要写书评

暂无评论

Mutation Operators for Cognitive Agent Programs 13

Mutation Operators for Cognitive Agent Programs

引用

international conference on Autonomous Agents and Multiagent systems

作者： Sharmila Savarimuthu Michael Winikoff University of Otago

ISBN: (纸本)9781627487665

Testing multi-agent systems is a challenge, since by definition such systems are distributed, and are able to exhibit autonomous and flexible behaviour. One specific challenge in testing agent programs is developing a collection of tests (a "test suite") that is adequate for testing a given agent program. This requires a way of assessing the adequacy of a test suite. A well-established technique for assessing test suite adequacy is the use of mutation testing, where a test suite is assessed in terms of its ability to distinguish a program from its variants ("mutants"). However, work in this area has focused largely on the mutation of procedural and object-oriented languages. This paper proposes a set of (systematically derived) mutation operators for AgentSpeak.

关键词： Mutation Testing Agent programming

来源：评论

学校读者我要写书评

暂无评论

Modular and Verified Automatic Program Repair 12

Modular and Verified Automatic Program Repair

引用

acm international conference on object oriented programming systems languages and Applications

作者： Logozzo, Francesco Ball, Thomas Microsoft Res Redmond WA USA

ISBN: (纸本)9781450315616

We study the problem of suggesting code repairs at design time, based on the warnings issued by modular program verifiers. We introduce the concept of a verified repair, a change to a program's source that removes bad execution traces while increasing the number of good traces, where the bad/good traces form a partition of all the traces of a program. Repairs are property-specific. We demonstrate our framework in the context of warnings produced by the modular cccheck (***) abstract interpreter, and generate repairs for missing contracts, incorrect locals and objects initialization, wrong conditionals, buffer overruns, arithmetic overflow and incorrect floating point comparisons. We report our experience with automatically generating repairs for the. NET framework libraries, generating verified repairs for over 80% of the warnings generated by cccheck

关键词： Design Documentation Experimentation Human Factors languages Reliability Verification Abstract interpretation Design by contract Program repair Program transformation Refactoring Static analysis

来源：评论

学校读者我要写书评

暂无评论

Constrained Kinds 12

Constrained Kinds

引用

acm international conference on object oriented programming systems languages and Applications

作者： Tardieu, Olivier Nystrom, Nathaniel Peshansky, Igor Saraswat, Vijay IBM Res Yorktown Hts NY USA Univ Lugano Lugano Switzerland Google Mountain View CA USA

ISBN: (纸本)9781450315616

Modern object-oriented languages such as X 1 0 require a rich framework for types capable of expressing both value-dependency and genericity, and supporting pluggable, domain-specific extensions. In earlier work, we presented a framework for constrained types in object-oriented languages, parametrized by an underlying constraint system. Types are viewed as formulas C {c} where C is the name of a class or an interface and c is a constraint on the immutable instance state (the properties) of C. Constraint systems are a very expressive framework for partial information. Many (value-) dependent type systems for object-oriented languages can be viewed as constrained types. This paper extends the constrained types approach to handle type-dependency ("genericity"). The key idea is to introduce constrained kinds: in the same way that constraints on values can be used to define constrained types, constraints on types can define constrained kinds. We develop a core programming language with constrained kinds. Generic types are supported by introducing type variables-literally, variables with "type" Type-and permitting programs to impose subtyping and equality constraints on such variables. We formalize the type-checking rules and establish soundness. While the language now intertwines constraints on types and values, its type system remains parametric in the choice of the value constraint system (language and solver). We demonstrate that constrained kinds are expressive and practical and sketch possible extensions with a discussion of the design and implementation of X10.

关键词： Design languages Theory types generics constraints X10

来源：评论

学校读者我要写书评

暂无评论

19th international workshop on foundations of object-oriented languages (FOOL'12) workshop summary

19th international workshop on foundations of object-oriente...

引用

2012 3rd acm conference on systems, programming, and Applications: Software for Humanity, SPLASH 2012

作者： Aldrich, Jonathan Siek, Jeremy Boyland, John Carnegie Mellon University United States University of Colorado at Boulder United States University of Wisconsin-Milwaukee United States

ISBN: (纸本)9781450315630

The search for sound principles for object-oriented languages has given rise to considerable research during the last few decades, leading to a better understanding of the key concepts of object-oriented languages and to important developments in type theory, semantics, program verification, and program development. The purpose of this workshop is to provide a forum for discussing new ideas in the foundations of object-oriented languages and provide feedback to authors. Submissions to this workshop were invited in the general area of foundations of object-oriented languages, object-oriented languages, including integration with other paradigms and extensions, such as aspects, components, and meta-programming.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共87页 << < 30 31 32 33 34 35 36 37 38 39 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：