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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

592 篇 会议
18 册 图书
5 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

440 篇 工学
- 385 篇 计算机科学与技术...
- 333 篇 软件工程
- 48 篇 电气工程
- 25 篇 控制科学与工程
- 24 篇 信息与通信工程
- 10 篇 光学工程
- 9 篇 土木工程
- 8 篇 生物工程
- 6 篇 材料科学与工程（可...
- 5 篇 建筑学
- 4 篇 电子科学与技术（可...
- 4 篇 生物医学工程（可授...
- 3 篇 力学（可授工学、理...
- 3 篇 机械工程
- 3 篇 仪器科学与技术
- 3 篇 测绘科学与技术
- 3 篇 化学工程与技术
- 3 篇 环境科学与工程（可...
- 2 篇 交通运输工程
70 篇 理学
- 51 篇 数学
- 9 篇 生物学
- 7 篇 物理学
- 4 篇 化学
- 2 篇 系统科学
60 篇 管理学
- 33 篇 管理科学与工程(可...
- 29 篇 图书情报与档案管...
- 5 篇 工商管理
20 篇 教育学
- 20 篇 教育学
8 篇 法学
- 8 篇 社会学
3 篇 医学
- 3 篇 临床医学
1 篇 农学

主题

176 篇 object oriented ...
29 篇 software enginee...
19 篇 object-oriented ...
18 篇 object oriented ...
18 篇 java programming...
16 篇 programming tech...
15 篇 programming
15 篇 java
14 篇 programming lang...
13 篇 aspect oriented ...
12 篇 logic programmin...
10 篇 programming prof...
10 篇 functional progr...
10 篇 object recogniti...
9 篇 computer program...
9 篇 logics and meani...
9 篇 unified modeling...
8 篇 application soft...
8 篇 c++ (programming...
8 篇 permission

机构

4 篇 statoilhydro
4 篇 miles consulting
4 篇 sti university o...
4 篇 b&r ind automat ...
4 篇 victoria univers...
4 篇 technische unive...
4 篇 sintef
3 篇 department of co...
3 篇 carnegie mellon ...
3 篇 letterkenny inst...
2 篇 microsoft corp r...
2 篇 oberon microsyst
2 篇 univ essex dept ...
2 篇 univ chinese aca...
2 篇 technion haifa
2 篇 imperial college...
2 篇 tech univ darmst...
2 篇 adayana inc.
2 篇 tech univ darmst...
2 篇 open university ...

作者

6 篇 meyer bertrand
6 篇 aldrich jonathan
5 篇 noble james
5 篇 salvaneschi guid...
5 篇 mezini mira
4 篇 hirschfeld rober...
4 篇 berre arne jørge...
4 篇 preschern christ...
4 篇 yoshida nobuko
4 篇 zeid amir
4 篇 roman dumitru
4 篇 landre einar
4 篇 udnæs morten
4 篇 van den heuvel w...
3 篇 baniassad elisa
3 篇 thiemann peter
3 篇 skår lars arne
3 篇 nanz sebastian
3 篇 xinogalos stelio...
3 篇 foster jeffrey s...

语言

610 篇 英文
2 篇 其他
2 篇 中文
1 篇 法文

检索条件"任意字段=Proceedings of the 24th European conference on Object-oriented programming"

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

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

详细简洁

排序：

Transparent object proxies for JavaScript 29

Transparent object proxies for JavaScript

引用

29th european conference on object-oriented programming, ECOOP 2015

作者： Keil, Matthias Guria, Sankha Narayan Schlegel, Andreas Geffken, Manuel thiemann, Peter Institute for Computer Science University of Freiburg Freiburg Germany Indian Institute of Technology Jodhpur Jodhpur India

ISBN: (纸本)9783939897866

Proxies are the swiss army knives of object adaptation. they introduce a level of indirection to intercept select operations on a target object and divert them as method calls to a handler. Proxies have many uses like implementing access control, enforcing contracts, virtualizing resources. One important question in the design of a proxy API is whether a proxy object should inherit the identity of its target. Apparently proxies should have their own identity for security-related applications whereas other applications, in particular contract systems, require transparent proxies that compare equal to their target objects. We examine the issue with transparency in various use cases for proxies, discuss different approaches to obtain transparency, and propose two designs that require modest modifications in the JavaScript engine and cannot be bypassed by the programmer. We implement our designs in the SpiderMonkey JavaScript interpreter and bytecode compiler. Our evaluation shows that these modifications of have no statistically significant impact on the benchmark performance of the JavaScript engine. Furthermore, we demonstrate that contract systems based on wrappers require transparent proxies to avoid interference with program execution in realistic settings. © Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, and Peter thiemann;.

关键词： Transparency

来源：评论

学校读者我要写书评

暂无评论

13th International conference on Logic programming and Nonmonotonic Reasoning, LPNMR 2015

引用

13th International conference on Logic programming and Nonmonotonic Reasoning, LPNMR 2015

ISBN: (纸本)9783319232638

the proceedings contain 48 papers. the special focus in this conference is on Logic programming and Nonmonotonic Reasoning. the topics include: Stable models for temporal theories;algorithmic decision theory meets logic;relational and semantic data mining;shift design with answer set programming;advances in WASP;improving coordinated SMT-based system synthesis by utilizing domain-specific heuristics;integrating ASP into ROS for reasoning in robots;automated inference of rules with exception from past legal cases using ASP;solving constraint satisfaction problems with answer set programming;a theory of intentions for intelligent agents;answer set programming modulo acyclicity;a framework for goal-directed query evaluation with negation;implementing preferences with asprin;diagnosing automatic whitelisting for dynamic remarketing ads using hybrid ASP;performance tuning in answer set programming;enablers and inhibitors in causal justifications of logic programs;efficient problem solving on tree decompositions using binary decision diagrams;knowledge acquisition via non-monotonic reasoning in distributed heterogeneous environments;a formal theory of justifications;a new computational logic approach to reason with conditionals;interactive debugging of non-ground ASP programs;linking open-world knowledge bases using nonmonotonic rules;ASP, amalgamation, and the conceptual blending workflow;diagnostic reasoning for robotics using action languages;connecting object-oriented and logic programming;reasoning with forest logic programs using fully enriched automata;ASP solving for expanding universes and combining heuristics for configuration problems using answer set programming;infinitary equilibrium logic and strong equivalence and compacting boolean formulae for inference in probabilistic logic programming.

关键词：

来源：评论

学校读者我要写书评

暂无评论

the Eureka programming Model for speculative task parallelism 29

The Eureka Programming Model for speculative task parallelis...

引用

29th european conference on object-oriented programming, ECOOP 2015

作者： Imam, Shams Sarkar, Vivek Rice University HoustonTX United States

ISBN: (纸本)9783939897866

In this paper, we describe the Eureka programming Model (EuPM) that simplifies the expression of speculative parallel tasks, and is especially well suited for parallel search and optimization applications. the focus of this work is to provide a clean semantics for, and efficiently support, such "eureka-style" computations (EuSCs) in general structured task parallel programming models. In EuSCs, a eureka event is a point in a program that announces that a result has been found. A eureka triggered by a speculative task can cause a group of related speculative tasks to become redundant, and enable them to be terminated at well-defined program points. Our approach provides a bound on the additional work done in redundant speculative tasks after such a eureka event occurs. We identify various patterns that are supported by our eureka construct, which include search, optimization, convergence, and soft real-time deadlines. these different patterns of computations can also be safely combined or nested in the EuPM, along with regular task-parallel constructs, thereby enabling high degrees of composability and reusability. As demonstrated by our implementation, the EuPM can also be implemented efficiently. We use a cooperative runtime that uses delimited continuations to manage the termination of redundant tasks and their synchronization at join points. In contrast to current approaches, EuPM obviates the need for cumbersome manual refactoring by the programmer that may (for example) require the insertion of if checks and early return statements in every method in the call chain. Experimental results show that solutions using the EuPM simplify programmability, achieve performance comparable to hand-coded speculative task-based solutions and out-perform non-speculative task-based solutions. © Shams Imam and Vivek Sarkar;.

关键词： Parallel programming

来源：评论

学校读者我要写书评

暂无评论

Trust, but verify: Two-phase typing for dynamic languages 29

Trust, but verify: Two-phase typing for dynamic languages

引用

29th european conference on object-oriented programming, ECOOP 2015

作者： Vekris, Panagiotis Cosman, Benjamin Jhala, Ranjit Univeristy of California San Diego San DiegoCA92093 United States

ISBN: (纸本)9783939897866

A key challenge when statically typing so-called dynamic languages is the ubiquity of value-based overloading, where a given function can dynamically reflect upon and behave according to the types of its arguments. thus, to establish basic types, the analysis must reason precisely about values, but in the presence of higher-order functions and polymorphism, this reasoning itself can require basic types. In this paper we address this chicken-and-egg problem by introducing the framework of two-phased typing. the first "trust" phase performs classical, i.e. flow-, path- and value-insensitive type checking to assign basic types to various program expressions. When the check inevitably runs into "errors" due to value-insensitivity, it wraps problematic expressions with DEAD-casts, which explicate the trust obligations that must be discharged by the second phase. the second phase uses refinement typing, a flow- and path-sensitive analysis, that decorates the first phase's types with logical predicates to track value relationships and thereby verify the casts and establish other correctness properties for dynamically typed languages. © Panagiotis Vekris, Benjamin Cosman, and Ranjit Jhala;.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

REScala: Bridging between object-oriented and functional style in reactive applications 14

REScala: Bridging between object-oriented and functional sty...

引用

13th International conference on Modularity, MODULARITY 2014 (Formerly AOSD)

作者： Salvaneschi, Guido Hintz, Gerold Mezini, Mira Software Technology Group Technische Universität Darmstadt Germany

ISBN: (纸本)9781450327725

Traditionally, object-oriented software adopts the Observer pattern to implement reactive behavior. Its drawbacks are well-documented and two families of alternative approaches have been proposed, extending object-oriented languages with concepts from functional reactive and dataflow programming, respectively event-driven programming. the former hardly escape the functional setting;the latter do not achieve the declarativeness of more functional approaches. In this paper, we present RESCALA, a reactive language which integrates concepts from event-based and functional-reactive programming into the object-oriented world. RESCALA supports the development of reactive applications by fostering a functional declarative style which complements the advantages of object-oriented design. Copyright © 2014 ACM.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

ECOOP 2013, object-oriented programming - 27th european conference, proceedings

ECOOP 2013, Object-Oriented Programming - 27th European Conf...

引用

27th european conference on object-oriented programming, ECOOP 2013

ISBN: (纸本)9783642390371

the proceedings contain 29 papers. the topics discussed include: feature-oriented programming with object algebras;feature-oriented programming with object algebras;combining form and function: static types for JQuery programs;heap decomposition inference with linear programming;a formal semantics for isorecursive and equirecursive state abstractions;trustworthy proxies: virtualizing objects with invariants;the billion-dollar fix: safe modular circular initialization with placeholders and placeholder types;ownership-based isolation for concurrent actors on multi-core machines;enabling modularity and re-use in dynamic program analysis tools for the java virtual machine;reducing lookups for invariant checking;and verification condition generation for permission logics with abstract predicates and abstraction functions.

关键词：

来源：评论

学校读者我要写书评

暂无评论

JIOP: A java intelligent optimisation and machine learning framework

JIOP: A java intelligent optimisation and machine learning f...

引用

28th european conference on Modelling and Simulation, ECMS 2014

作者： Hatledal, L.I. Sanfilippo, F. Zhang, H. Department of Maritime Technology and Operations Aalesund University College Postbox 1517 6025 Aalesund Norway

ISBN: (纸本)9780956494481

this paper presents an open source, object-oriented machine learning framework, formally named Java Intelligent Optimisation (JIOP). While JIOP is still in the early stages of development, it already provides a wide variety of general learning algorithms that can be used. Initially designed as a collection of existing learning methods, JIOP aims to emphasise commonalities and dissimilarities of algorithms in order to identify their strengths and weaknesses, providing a simple, coherent and unified view. For this reason, JIOP is suitable for pedagogical purposes, such as for introducing bachelor and master degree students to the concepts of intelligent algorithms. the problems that JIOP aims to solve are initially discussed to demonstrate the need for such a framework. Later on, the design architecture and the current functions of the framework are outlined. As a validating case study, a real application where JIOP is used to minimise the cost function for solving the inverse kinematics (IK) of a KUKA industrial robotic arm with six degrees of freedom (DOF) is also presented. Related simulations are carried out to prove the effectiveness of the proposed framework. proceedings 28th european conference on Modelling and Simulation © ECMS Flaminio Squazzoni, Fabio Baronio, Claudia Archetti, Marco Castellani (Editors).

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Learning and practicing object-oriented programming using a collaborative web-based IDE 44

Learning and practicing object-oriented programming using a ...

引用

44th Annual Frontiers in Education conference, FIE 2014

作者： Nguyen, Vu Dang, Hai H. Do, Kha N. Tran, thu D. Faculty of Information Technology University of Science Vietnam National University Ho Chi Minn city Viet Nam

ISBN: (纸本)9781479939213

Collaborative programming is an effective approach to software development, improving software quality, programmer's satisfaction and shortening delivery time this study examines the application of a collaborative Web-based IDE named IDEOL to execute a four-week multi-submission programming assignment in an introductory object-oriented programming class. Forty eight students forming 24 two-member groups in class used the IDE to interact and write source code required by the project. All collaborative and programming activities performed by students were recorded by IDEOL. the results of the study shows that students tend to postpone their programming work until the submission dates. this study also provides an approach to designing and executing an extended programming exercises, which receives high student satisfaction. Our results imply that IDEOL is a useful environment for students to collaborate, learn, and practice programming to improve their learning satisfaction. In addition, as students tend to procrastinate, IDEOL is a useful tool to facilitate, monitor, and report student progress in extended programming exercises. © 2014 IEEE.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Near-Optimal Nonmyopic Contact Center Planning Using Dual Decomposition 24

Near-Optimal Nonmyopic Contact Center Planning Using Dual De...

引用

24th International conference on Automated Planning and Scheduling (ICAPS)

作者： Kumar, Akshat Singh, Sudhanshu Gupta, Pranav Parija, Gyana IBM India Res Lab New Delhi 110070 India

ISBN: (纸本)9781577356608

We address the problem of minimizing staffing cost in a contact center subject to service level requirements over multiple weeks. We handle both the capacity planning and agent schedule generation aspect of this problem. Our work incorporates two unique business requirements. First, we develop techniques that can provide near-optimal staffing for 24x7 contact centers over long term, upto eight weeks, rather than planning myopically on a week-on-week basis. Second, our approach is usable in an online interactive setting in which staffing managers using our system expect high quality plans within a short time period. Results on large real world and synthetic instances show that our Lagrangian relaxation based technique can achieve a solution within 94% of optimal on an average, for eight week problems within ten minutes, whereas a generic integer programming solver can only achieve a solution within 80% of optimal. Our approach is also deployed in live business environment and reduces headcount by a decile over techniques used previously by our client business units.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

Identifying Mandatory Code for Framework Use via a Single Application Trace

Identifying Mandatory Code for Framework Use via a Single Ap...

引用

28th european conference on object-oriented programming (ECOOP)

作者： Nitta, Naoya Kume, Izuru Takemura, Yasuhiro Konan Univ Grad Sch Nat Sci Kobe Hyogo Japan Nara Inst Sci & Technol Grad Sch Informat Sci Nara Japan Osaka Univ Arts Dept Character Creat Arts Osaka Japan

ISBN: (纸本)9783662442029;9783662442012

Application frameworks allow application developers to effectively reuse both designs and implementations which frequently appear in their intended domains. However, when using a framework with large scale APIs, its usage to implement an application-specific behavior tends to be complicated. thus, in practice, application developers use existing sample application code as references for their development, but the task to locate the parts which are related to their application usually becomes a burden. To address this problem, in this paper, we characterize the problem as a kind of dynamic flow analysis problem, and based on the characterization, we present a method to automatically identify the mandatory code for the framework use using only a single sample application's trace. We have conducted case studies with several real-world frameworks to validate our method and the results indicate that the method is suitable to extract the mandatory framework usage.

关键词： Application programming interfaces (API)

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：