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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

FORMALIZING GEOGRAPHICAL MODELS USING SPECIFICATION AND DESCRIPTION LANGUAGE: THE WILDFIRE EXAMPLE 13

FORMALIZING GEOGRAPHICAL MODELS USING SPECIFICATION AND DESC...

引用

Simulation conference

作者： Pau Fonseca i Casas Josep Casanovas Jaume Figueras Antoni Guasch Universitat Politècnica de Catalunya Barcelona Spain

ISBN: (纸本)9781479920778

In this paper we explore how we can use Specification and Description Language, to represent simulation models that make an intensive use of geographical information, like environmental simulation models. The purpose is to perform a complete unambiguous, graphical and formal representation of a wildfire simulation model. Specification and Description Language is a modern object oriented language that allows the definition of distributed systems. It has focused on the modeling of reactive, state/event driven systems, and has been standardized by the international Telecommunications Union (ITU) in the Z. 100. Thanks to the graphical representation of the simulation model, the interaction between the experts that usually come from different areas is simplified. Also, due to the unambiguous and modular nature of the language, all the details of the model can be validated by personnel that do not necessarily are used with programming languages or simulation infrastructures.

关键词： Specifications specification description language Simulation models language description ENVIRONMENT SIMULATION international Telecommunication Union geographical information Computer programming languages Distributed systems Personnel object oriented programming languages Professional personnel

来源：评论

学校读者我要写书评

暂无评论

Xbase: Implementing domain-specific languages for java 12

Xbase: Implementing domain-specific languages for java

引用

11th acm international conference on Generative programming and Component Engineering, GPCE 2012

作者： Efftinge, Sven Eysholdt, Moritz Köhnlein, Jan Zarnekow, Sebastian Hasselbring, Wilhelm Von Massow, Robert Hanus, Michael Itemis AG D-24143 Kiel Germany Software Engineering Group University of Kiel Germany Programming Languages and Compiler Construction Group University of Kiel Germany

ISBN: (纸本)9781450311298

Xtext is an open-source framework for implementing external, textual domain-specific languages (DSLs). So far, most DSLs implemented with Xtext and similar tools focus on structural aspects such as service specifications and entities. Because behavioral aspects are significantly more complicated to implement, they are often delegated to generalpurpose programming languages. This approach introduces complex integration patterns and the DSL's high level of abstraction is compromised. We present Xbase as part of Xtext, an expression language that can be reused via language inheritance in any DSL implementation based on Xtext. Xbase expressions provide both control structures and program expressions in a uniform way. Xbase is statically typed and tightly integrated with the Java type system. languages extending Xbase inherit the syntax of a Java-like expression language as well as language infrastructure components, including a parser, an unparser, a linker, a compiler and an interpreter. Furthermore, the framework provides integration into the Eclipse IDE including debug and refactoring support. The application of Xbase is presented by means of a domain model language which serves as a tutorial example and by the implementation of the programming language Xtend. Xtend is a functional and object-oriented general purpose language for the Java Virtual Machine (JVM). It is built on top of Xbase which is the reusable expression language that is the foundation of Xtend. Copyright 2012 acm.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the acm international conference Companion on object oriented programming systems languages and Applications Companion, SPLASH '10

Proceedings of the ACM International Conference Companion on...

引用

acm international conference Companion on object oriented programming systems languages and Applications Companion, SPLASH '10

ISBN: (纸本)9781450302401

The proceedings contain 77 papers. The topics discussed include: emergent feature modularization;harnessing emergence for manycore programming: early experience integrating ensembles, adverbs, and object-based inheritance;collaborative model merging;sonifying performance data to facilitate tuning of complex systems: performance tuning: music to my ears;a recommender for conflict resolution support in optimistic model versioning;inferring arbitrary distributions for data and computation;object-oriented software considerations in airborne systems and equipment certification;migrating a large modeling environment from XML/UML to Xtext/GMF;software evolution in agile development: a case study;application frameworks: how they become your enemy;MDSD for the iPhone: developing a domain-specific language and IDE tooling to produce real world applications for mobile devices;and stop the software architecture erosion: building better software systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Eval Begone! Semi-Automated Removal of Eval from JavaScript Programs

Eval Begone! Semi-Automated Removal of Eval from JavaScript ...

引用

acm international conference on object oriented programming systems languages and Applications

作者： Meawad, Fadi Richards, Gregor Morandat, Floreal Vitek, Jan Purdue Univ W Lafayette IN 47907 USA

Eval endows JavaScript developers with great power. It allows developers and end-users, by turning text into executable code, to seamlessly extend and customize the behavior of deployed applications as they are running. With great power comes great responsibility, though not in our experience. In previous work we demonstrated through a large corpus study that programmers wield that power in rather irresponsible and arbitrary ways. We showed that most calls to eval fall into a small number of very predictable patterns. We argued that those patterns could easily be recognized by an automated algorithm and that they could almost always be replaced with safer JavaScript idioms. In this paper we set out to validate our claim by designing and implementing a tool, which we call Evalorizer, that can assist programmers in getting rid of their unneeded evals. We use the tool to remove eval from a real-world website and validated our approach over logs taken from the top 100 websites with a success rate over 97% under an open world assumption.

关键词： languages Dynamic languages JavaScript Reflection Dynamic Analysis

来源：评论

学校读者我要写书评

暂无评论

Elastic Scalable Cloud Computing Using Application-Level Migration

Elastic Scalable Cloud Computing Using Application-Level Mig...

引用

5th IEEE/acm international conference on Utility and Cloud Computing (UCC)

作者： Imai, Shigeru Chestna, Thomas Varela, Carlos A. Rensselaer Polytech Inst Dept Comp Sci Troy NY 12180 USA

ISBN: (纸本)9780769548623;9781467344326

We present the Cloud Operating System (COS), a middleware framework to support autonomous workload elasticity and scalability based on application-level migration as a reconfiguration strategy. While other scalable frameworks (e.g., MapReduce or Google App Engine) force application developers to write programs following specific APIs, COS provides scalability in a general-purpose programming framework based on an actor-oriented programming language. When all executing VMs are highly utilized, COS scales a workload up by migrating mobile actors over to newly dynamically created VMs. When VM utilization drops, COS scales the workload down by consolidating actors and terminating idle VMs. Application-level migration is advantageous compared to VM migration especially in hybrid clouds in which migration costs over the Internet are critical to scale out the workloads. We demonstrate the general purpose programming approach using a tightly-coupled computation. We compare the performance of autonomous (i.e., COS-driven) versus ideal reconfiguration, as well as the impact of granularity of reconfiguration, i.e., VM migration versus application-level migration. Our results show promise for future fully automated cloud computing resource management systems that efficiently enable truly elastic and scalable general-purpose workloads.

关键词： cloud computing middleware object-oriented languages object-oriented programming operating systems (computers) resource allocation

来源：评论

学校读者我要写书评

暂无评论

AOSD'12 - Proceedings of the 11th Annual international conference on Aspect oriented Software Development

AOSD'12 - Proceedings of the 11th Annual International Confe...

引用

11th Annual international conference on Aspect oriented Software Development, AOSD'12

ISBN: (纸本)9781450310925

The proceedings contain 23 papers. The topics discussed include: separation of concerns in feature modeling: support and applications;intraprocedural dataflow analysis for software product lines;features and object capabilities: reconciling two visions of modularity;two-way traceability and conflict debugging for AspectLTL programs;a debug interface for debugging multiple domain specific aspect languages;a fine-grained debugger for aspect-oriented programming;a monadic interpretation of execution levels and exceptions for AOP;adaptable generic programming with required type specifications and package templates;do we really need to extend syntax for advanced modularity?;a closer look at aspect interference and cooperation;management of feature interactions with transactional regions;and Method Shelters: avoiding conflicts among class extensions caused by local rebinding.

关键词：

来源：评论

学校读者我要写书评

暂无评论

ASPLOS XVII - 17th international conference on Architectural Support for programming languages and Operating systems

ASPLOS XVII - 17th International Conference on Architectural...

引用

17th international conference on Architectural Support for programming languages and Operating systems, ASPLOS 2012

ISBN: (纸本)9781450307598

The proceedings contain 37 papers. The topics discussed include: PocketWeb: instant web browsing for mobile devices;Reflex: using low-power processors in smartphones without knowing them;clearing the clouds: a study of emerging scale-out workloads on modern hardware;Tarazu: optimizing MapReduce on heterogeneous clusters;leveraging stored energy for handling power emergencies in aggressively provisioned datacenters;Relyzer: exploiting application-level fault equivalence to analyze application resiliency to transient faults;comprehensive kernel instrumentation via dynamic binary translation;continuous object access profiling and optimizations to overcome the memory wall and bloat;data races vs. data race bugs: telling the difference with portend;optimal task assignment in multithreaded processors: a statistical approach;HICAMP: architectural support for efficient concurrency-safe shared structured data access;and DreamWeaver: architectural support for deep sleep.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Multimodal pattern-oriented software architecture for self-configuration and self-healing in autonomic computing systems 12

Multimodal pattern-oriented software architecture for self-c...

引用

2nd international conference on Computational Science, Engineering and Information, CCSEIT 2012

作者： Mannava, Vishnuvardhan Ramesh, T. Department of Computer Science and Engineering K L University Vaddeswaram 522502 Andhra Pradesh India Department of Computer Science and Engineering National Institute of Technology Warangal 506004 Andhra Pradesh India

ISBN: (纸本)9781450313100

Because of the diverse nature of software systems, it is unlikely that systems will be developed using a purely service or component programming paradigms. Therefore, the ability to combine the strength of various programming paradigms and use them in a complementary manner becomes essential. As far as we know, there are no studies on composition of design patterns and pattern languages for autonomic computing domain. The work presented in the paper is concerned with composition of existing design patterns which are taken from various programming paradigms that are used for developing of the self-configuration and self-healing characteristics of the autonomic computing systems. In this paper we propose multimodal pattern-oriented software architecture with composition of Worker object, Look-Up, Row Data Gateway Database access, Adaptation Detector, Case-Based Reasoning, Leader/Followers,and Observer design patterns using Java Web Services (JWS), JUDDI service repository, and Java Aspect Components (JAC) Frame work by Providing multimodality among the application working modes at various levels. We have also focused on the Data-Mining Association Rule Based Learning concept to introduce new service as composition of two or more services and thereby reducing the number of client requests to handle. Copyright © 2012 acm.

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

MORENA: A middleware for programming NFC-enabled android applications as distributed object-oriented programs

MORENA: A middleware for programming NFC-enabled android app...

引用

13th acm/IFIP/USENIX international Middleware conference, Middleware 2012

作者： Lombide Carreton, Andoni Pinte, Kevin De Meuter, Wolfgang Software Languages Lab. Vrije Universiteit Brussel Pleinlaan 2 1050 Brussels Belgium

ISBN: (纸本)9783642351693

NFC is a wireless technology that allows software to interact with RFID tags and that is increasingly integrated into smartphones and other mobile devices. In this paper, we present MORENA: a middleware that treats NFC-enabled programs as distributed object-oriented programs in which RFID tags are represented as intermittently connected remote objects. We draw inspiration from the ambient-oriented programming paradigm to represent these objects as first-class remote references which only offer asynchronous communication with the tag to which they refer. This allows the programmer to implement mobile applications that read from or write to RFID tags without having to handle every single fault manually and without blocking the entire application during read or write operations. We built MORENA on top of the Android platform and evaluated our abstractions by implementing a representative application running on NFC-enabled Android phones using MORENA. © 2012 Springer-Verlag Berlin Heidelberg.

关键词： Radio frequency identification (RFID)

来源：评论

学校读者我要写书评

暂无评论

Assessing composition in modeling approaches

Assessing composition in modeling approaches

引用

2nd international Workshop on Comparing Modeling Approaches, CMA 2012 - acm/IEEE 15th international conference on Model Driven Engineering languages and systems, MODELS 2012

作者： Mussbacher, Gunter Alam, Omar Alhaj, Mohammad Ali, Shaukat Amálio, Nuno Barn, Balbir Bræk, Rolv Clark, Tony Combemale, Benoit Cysneiros, Luiz Marcio Fatima, Urooj France, Robert Georg, Geri Horkoff, Jennifer Kienzle, Jörg Leite, Julio Cesar Lethbridge, Timothy C. Luckey, Markus Moreira, Ana Mutz, Felix Oliveira, A. Padua A. Petriu, Dorina C. Schöttle, Matthias Troup, Lucy Werneck, Vera M. B. SCE Carleton University Ottawa ON Canada SCS McGill University Montreal QC Canada Certus Software V and V Center Simula Research Laboratory Norway LASSY University of Luxembourg Luxembourg Luxembourg SEIS Middlesex University London United Kingdom Dept. of T. Norwegian Uni. of Science and Technology Norway IRISA Rennes France York University Toronto ON Canada CS Dept. Colorado State University Fort Collins CO United States DISI University of Trento Trento Italy Brazil EECS University of Ottawa Ottawa ON Canada University of Paderborn Paderborn Germany Universidade Nova de Lisboa Lisbon Portugal Brazil Dept. of Psychology Colorado State University Fort Collins CO United States

ISBN: (纸本)9781450318433

Modeling approaches are based on various paradigms, e.g., aspect-oriented, feature-oriented, object-oriented, and logic-based. Modeling approaches may cover requirements models to low-level design models, are developed for various purposes, use various means of composition, and thus are difficult to compare. However, such comparisons are critical to help practitioners know under which conditions approaches are most applicable, and how they might be successfully generalized and combined to achieve end-to-end methods. This paper reports on work done at the 2nd international Comparing Modeling Approaches (CMA) workshop towards the goal of identifying potential comprehensive modeling methodologies with a particular emphasis on composition: (i) an improved set of comparison criteria;(ii) 19 assessments of modeling approaches based on the comparison criteria and a common, focused case study. © 2012 acm.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共87页 << < 35 36 37 38 39 40 41 42 43 44 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：