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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Design adaptability for multilingual mobile application software 24

Design adaptability for multilingual mobile application soft...

引用

24th International conference on Software Engineering and Data Engineering, SEDE 2015

作者： Netinant, Paniti College of Information Technology and Communication Rangsit University Patumthani Thailand Concurrent Programming Research Group Illinois Institute of Technology ChicagoIL United States

ISBN: (纸本)9781510812277

Developing adaptable mobile application software is very difficult. An adaptability in multilingual mobile software becomes inevitable numerous changes. this paper presents not only perimeter reusability, but also makes modification invasive changes to meet new requirements for the mobile software design of multilingual mobile application software. the multilingual mobile software has to reengineer, in order to meet the new language requirements. A misunderstanding that an object-oriented approach generally endorses adaptability, as none of these problems is routinely imposed. Software designers and developers have to specifically considered software making adaptability stress-free. We present a mobile application framework which is a better supporting adaptability. In the framework, functional components and nonfunctional components are relatively separated. this technique makes multilingual mobile software developing much better adaptability. A framework enables manageable reusability and adaptability for building of multilingual mobile software. Our research focuses on a decomposition of an interaction in a multilingual mobile software development and our goal is to demonstrate a better model of multilingual mobile software design and development.

关键词： Reusability

来源：评论

学校读者我要写书评

暂无评论

JSKETCH: Sketching for Java 2015

JSKETCH: Sketching for Java

引用

10th Joint Meeting of the european Software Engineering conference (ESEC) / ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE)

作者： Jeon, Jinseong Qiu, Xiaokang Foster, Jeffrey S. Solar-Lezama, Armando Univ Maryland College Pk MD 20742 USA MIT Cambridge MA 02139 USA

ISBN: (纸本)9781450336758

Sketch-based synthesis, epitomized by the SKETCH tool, lets developers synthesize software starting from a partial program., also called a,sketch or template. this paper presents JSKETCH, a tool that brings sketcli-based synthesis to Java. JSKETCH'S input is a partial Java program that may include holes, which are unknown constants, expression generators, which range over sets of expressions, and class generators, which are partial classes. JSKETCH then translates the synthesis problem into a SKETCH problem;this translation is complex because SKETCH is not object oriented. Finally, JSKETCH synthesizes an executable Java program by interpreting the output of SKETCH.

关键词： Program Synthesis programming by Example Java SKETCH

来源：评论

学校读者我要写书评

暂无评论

Towards a decoupled context-oriented programming language for the internet of things

Towards a decoupled context-oriented programming language fo...

引用

International Workshop on Context-oriented programming, COP 2015

作者： Maingret, Baptiste Le Mouël, Frédéric Ponge, Julien Stouls, Nicolas Cao, Jian Loiseau, Yannick University of Lyon INSA-Lyon Telecommunication Dpt VilleurbanneF-69621 France University of Lyon INSA-Lyon CITI-INRIA Lab VilleurbanneF-69621 France Shanghai Jiao Tong University 800 Dongchuan Road Shanghai200240 China Blaise Pascal University 24 Avenue des Landais AubièreF-63170 France

ISBN: (纸本)9781450336543

Easily programming behaviors is one major issue of a large and reconfigurable deployment in the Internet of things. Such kind of devices often requires to externalize part of their behavior such as the sensing, the data aggregation or the code offloading. Most existing context-oriented programming languages integrate in the same class or close layers the whole behavior. We propose to abstract and separate the context tracking from the decision process, and to use event-based handlers to interconnect them. We keep a very easy declarative and non-layered programming model. We illustrate by defining an extension to Golo - a JVM-based dynamic language.

关键词： Internet of things

来源：评论

学校读者我要写书评

暂无评论

Towards practical gradual typing 29

Towards practical gradual typing

引用

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

作者： Takikawa, Asumu Feltey, Daniel Dean, Earl Flatt, Matthew Findler, Robert Bruce Tobin-Hochstadt, Sam Felleisen, Matthias Northeastern University BostonMA United States Indiana University BloomingtonIN United States University of Utah Salt Lake CityUT United States Northwestern University EvanstonIL United States

ISBN: (纸本)9783939897866

Over the past 20 years, programmers have embraced dynamically-typed programming languages. By now, they have also come to realize that programs in these languages lack reliable type information for software engineering purposes. Gradual typing addresses this problem;it empowers programmers to annotate an existing system with sound type information on a piecemeal basis. this paper presents an implementation of a gradual type system for a full-featured class-based language as well as a novel performance evaluation framework for gradual typing. © Asumu Takikawa, Daniel Feltey, Eeal Dean, Matthew Flatt, Robert Bruce Findler.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Java-Meets Eclipse: An IDE for teaching Java following the object-later approach 10

Java-Meets Eclipse: An IDE for teaching Java following the o...

引用

10th International conference on Software Paradigm Trends, ICSOFT-PT 2015

作者： Bettini, Lorenzo Crescenzi, Pierluigi Dipartimento di Informatica University of Turin Turin Italy Dipartimento di Ingegneria dell'Informazione University of Florence Florence Italy

ISBN: (纸本)9789897581151

In this paper, we introduce a new Eclipse-based IDE for teaching Java following the object-later approach. In particular, this IDE allows the programmer to write code in Java-, a smaller version of the Java language that does not include object-oriented features. For the implementation of this language we used Xtext, an Eclipse framework for implementing Domain Specific Languages;besides the compiler mechanisms, Xtext also allows to easily implement all the IDE tooling mechanisms in Eclipse. By using Xtext we were able to provide an implementation of Java-with all the powerful features available when using an IDE like Eclipse (including debugging, automatic building, and project wizards). With our implementation, it is also straightforward to create self-assessment exercises for students, which are integrated in Eclipse and JUnit. Copyright © 2015 SCITEPRESS - Science and Technology Publications. All rights reserved.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Adaptive context-sensitive analysis for JavaScript 29

Adaptive context-sensitive analysis for JavaScript

引用

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

作者： Wei, Shiyi Ryder, Barbara G. Department of Computer Science Virginia Tech BlacksburgVA United States

ISBN: (纸本)9783939897866

Context sensitivity is a technique to improve program analysis precision by distinguishing between function calls. A specific context-sensitive analysis is usually designed to accommodate the programming paradigm of a particular programming language. JavaScript features both the objectoriented and functional programming paradigms. Our empirical study suggests that there is no single context-sensitive analysis that always produces precise results for JavaScript applications. this observation motivated us to design an adaptive analysis, selecting a context-sensitive analysis from multiple choices for each function. Our two-staged adaptive context-sensitive analysis first extracts function characteristics from an inexpensive points-to analysis and then chooses a specialized context-sensitive analysis per function based on the heuristics. the experimental results show that our adaptive analysis achieved more precise results than any single contextsensitive analysis for several JavaScript programs in the benchmarks. © Shiyi Wei and Barbara G. Ryder;.

关键词： Functional programming

来源：评论

学校读者我要写书评

暂无评论

24th european Symposium on programming, ESOP 2015 Held as Part of the european Joint conferences on theory and Practice of Software, ETAPS 2015

引用

24th european Symposium on programming, ESOP 2015 held as part of the european Joint conferences on theory and Practice of Software, ETAPS 2015

ISBN: (纸本)9783662466681

the proceedings contain 35 papers. the special focus in this conference is on programming Languages and Systems. the topics include: Static analysis of spreadsheet applications for type-unsafe operations detection;running probabilistic programs backwards;a verified compiler for probability density functions;segment abstraction for worst-case execution time analysis;automatic static cost analysis for parallel programs;sound, modular and compositional verification of the input/output behavior of programs;unrestricted termination and non-termination arguments for bit-vector programs;combining navigational and pattern matching approaches;the problem of PL concurrency semantics;trading efficiency and optimality in fence insertion for TSO;specifying and verifying concurrent algorithms with histories and subjectivity;automatically generating well-typed terms from the definition of a type-system;refinement types for incremental computational complexity;monotonic references for efficient gradual typing;inter-procedural two-variable herbrand equalities;desynchronized multi-state abstractions for open programs in dynamic languages;fine-grained detection of privilege escalation attacks on browser extensions;analysis of asynchronous programs with event-based synchronization;a new approach to practical complete predicate refinement;propositional reasoning about safety and termination of heap-manipulating programs;concurrent local subjective logic;a separation logic for fictional sequential consistency;binding structures as an abstract data type and type-based allocation analysis for co-recursion in lazy functional languages.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Streams à la carte: Extensible pipelines with object algebras 29

Streams à la carte: Extensible pipelines with object algebr...

引用

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

作者： Biboudis, Aggelos Palladinos, Nick Fourtounis, George Smaragdakis, Yannis Dept. of Informatics and Telecommunications University of Athens Greece Nessos Information Technologies S.A. Athens Greece

ISBN: (纸本)9783939897866

Streaming libraries have become ubiquitous in object-oriented languages, with recent offerings in Java, C#, and Scala. All such libraries, however, suffer in terms of extensibility: there is no way to change the semantics of a streaming pipeline (e.g., to fuse filter operators, to perform computations lazily, to log operations) without changes to the library code. Furthermore, in some languages it is not even possible to add new operators (e.g., a zip operator, in addition to the standard map, filter, etc.) without changing the library. We address such extensibility shortcomings with a new design for streaming libraries. the architecture underlying this design borrows heavily from Oliveira and Cook's object algebra solution to the expression problem, extended with a design that exposes the push/pull character of the iteration, and an encoding of higher-kinded polymorphism. We apply our design to Java and show that the addition of full extensibility is accompanied by high performance, matching or exceeding that of the original, highly-optimized Java streams library. © Aggelos Biboudis, Nick Palladinos, George Fourtounis, and Yannis Smaragdakis;.

关键词： Algebra

来源：评论

学校读者我要写书评

暂无评论

Saul: Towards Declarative Learning Based programming 24

Saul: Towards Declarative Learning Based Programming

引用

1st International Workshop on Social Influence Analysis / 24th International Joint conference on Artificial Intelligence (IJCAI)

作者： Kordjamshidi, Parisa Roth, Dan Wu, Hao Univ Illinois Champaign IL 61820 USA

ISBN: (纸本)9781577357384

We present Saul, a new probabilistic programming language designed to address some of the shortcomings of programming languages that aim at advancing and simplifying the development of AI systems. Such languages need to interact with messy, naturally occurring data, to allow a programmer to specify what needs to be done at an appropriate level of abstraction rather than at the data level, to be developed on a solid theory that supports moving to and reasoning at this level of abstraction and, finally, to support flexible integration of these learning and inference models within an application program. Saul is an object-functional programming language written in Scala that facilitates these by (1) allowing a programmer to learn, name and manipulate named abstractions over relational data;(2) supporting seamless incorporation of trainable (probabilistic or discriminative) components into the program, and (3) providing a level of inference over trainable models to support composition and make decisions that respect domain and application constraints. Saul is developed over a declaratively defined relational data model, can use piecewise learned factor graphs with declaratively specified learning and inference objectives, and it supports inference over probabilistic models augmented with declarative knowledge-based constraints. We describe the key constructs of Saul and exemplify its use in developing applications that require relational feature engineering and structured output prediction.

关键词： Application programs

来源：评论

学校读者我要写书评

暂无评论

Large Java Arrays and their Applications 13

Large Java Arrays and Their Applications

引用

International conference on High Performance Computing and Simulation (HPCS)

作者： Wendykier, Piotr Borucki, Bartosz Nowinski, Krzysztof S. Univ Warsaw Interdisciplinary Ctr Math & Computat Modeling Pawinskiego 5aBlock D5th Floor PL-02106 Warsaw Poland

ISBN: (纸本)9781467378130

All current implementations of Java Virtual Machines allow the creation of one-dimensional arrays of length smaller than 2(31) elements. In addition, since Java lacks true multidimensional arrays, most of numerical libraries use one-dimensional arrays to store multidimensional data. With the current limitation, it is not possible to store volumes of size larger than 1290(3). On the other hand, the data from scientific simulations or medical scanners continuously grow in size and it is not uncommon to go beyond that limit. this work addresses the problem of maximal size of one-dimensional Java arrays. JLargeArrays is a Java library of one-dimensional arrays that can store up to 2(63) elements. Performance comparison with native Java arrays and Fastutil library shows that JLargeArrays is the fastest solution overall. Possible applications in Java collections as well as numerical and visualization frameworks are also discussed.

关键词： D.1.3 Concurrent programming D.1.5 object-oriented programming D.2.8.b Performance measures D.2m.a Software libraries D.3.2.j Java E.1.a Arrays

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：