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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

631 篇 会议
69 篇 期刊文献
3 册 图书

馆藏范围

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

日期分布

学科分类号

581 篇 工学
- 483 篇 软件工程
- 440 篇 计算机科学与技术...
- 30 篇 电气工程
- 27 篇 控制科学与工程
- 16 篇 信息与通信工程
- 6 篇 建筑学
- 5 篇 土木工程
- 5 篇 生物工程
- 4 篇 化学工程与技术
- 4 篇 生物医学工程（可授...
- 3 篇 材料科学与工程（可...
- 2 篇 力学（可授工学、理...
- 2 篇 机械工程
- 2 篇 光学工程
- 2 篇 动力工程及工程热...
- 2 篇 农业工程
60 篇 理学
- 49 篇 数学
- 6 篇 生物学
- 6 篇 统计学（可授理学、...
- 5 篇 物理学
- 4 篇 化学
- 2 篇 系统科学
38 篇 教育学
- 38 篇 教育学
29 篇 管理学
- 18 篇 图书情报与档案管...
- 12 篇 管理科学与工程(可...
- 5 篇 工商管理
6 篇 法学
- 6 篇 社会学
2 篇 经济学
- 2 篇 应用经济学
2 篇 农学
- 2 篇 作物学
2 篇 医学
- 2 篇 临床医学

主题

105 篇 functional progr...
66 篇 languages
64 篇 computer program...
46 篇 design
35 篇 computer program...
32 篇 haskell
30 篇 programming
20 篇 object oriented ...
20 篇 dependent types
18 篇 functional react...
18 篇 theory
18 篇 programming lang...
17 篇 performance
13 篇 domain-specific ...
13 篇 semantics
12 篇 algorithms
12 篇 logic programmin...
11 篇 generic programm...
11 篇 verification
11 篇 continuations

机构

8 篇 carnegie mellon ...
7 篇 northeastern uni...
7 篇 portland state u...
5 篇 univ penn philad...
5 篇 chalmers univ te...
4 篇 inria
4 篇 microsoft res ca...
3 篇 north carolina s...
3 篇 indiana univ blo...
3 篇 georgia inst tec...
3 篇 univ edinburgh e...
3 篇 univ strathclyde...
3 篇 harvard univ cam...
3 篇 univ new s wales...
3 篇 it university of...
3 篇 carnegie mellon ...
3 篇 univ cambridge c...
3 篇 univ utah salt l...
3 篇 yale univ dept c...
3 篇 luca school of a...

作者

7 篇 krishnaswami nee...
6 篇 findler robert b...
5 篇 flatt matthew
5 篇 keller gabriele
5 篇 jones mark p.
4 篇 xi hw
4 篇 mcbride conor
4 篇 vafeiadis viktor
4 篇 weirich stephani...
4 篇 claessen koen
4 篇 jeuring johan
4 篇 chlipala adam
4 篇 dreyer derek
4 篇 peyton jones sim...
4 篇 walker david
3 篇 oliveira bruno c...
3 篇 dolstra eelco
3 篇 loh andres
3 篇 leshchinskiy rom...
3 篇 watanabe takuo

语言

642 篇 英文
55 篇 其他
2 篇 法文
2 篇 葡萄牙文
2 篇 中文

检索条件"任意字段=15th ACM SIGPLAN International Conference on Functional Programming"

共 703 条记录，以下是361-370 订阅

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

详细简洁

排序：

SOS (save our systems): A uniform programming interface for non-relational systems 12

SOS (save our systems): A uniform programming interface for ...

引用

15th international conference on Extending Database Technology, EDBT 2012

作者： Atzeni, Paolo Bugiotti, Francesca Rossi, Luca Università Roma Tre Italy

ISBN: (纸本)9781450307901

the recent growth of non-relational databases (often termed as NoSQL) is an interesting phenomenon that has generated both interest and criticism. One of the major drawbacks that is often referred to is the heterogeneity of the languages and interfaces they offer to developers and users. SOS is proposed as a common interface to them, in order to support application development by hiding the specific details of the various systems. It is based on a metamodeling approach, in the sense that the specific interfaces of the various systems are mapped to a common one. the tool provides interoperability as well, since a single application can interact with several systems at the same time. the demonstration will focus on a simple yet powerful application scenario which accesses three different NoSQL systems. © 2012 Authors.

关键词： Interoperability

来源：评论

学校读者我要写书评

暂无评论

Session details: programming with graphs and search 12

Session details: Programming with graphs and search

引用

Proceedings of the 17th acm sigplan international conference on functional programming

作者： Jeremy Gibbons University of Oxford

No abstract available.

ISBN: (纸本)9781450310543

No abstract available.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Artificial Intelligence: Methodology, Systems, and Applications - 15th international conference, AIMSA 2012, Proceedings

Artificial Intelligence: Methodology, Systems, and Applicati...

引用

15th international conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2012

ISBN: (纸本)9783642331848

the proceedings contain 36 papers. the topics discussed include: ontology-based information and event extraction for business intelligence;modelling highly symmetrical molecules: linking ontologies and graphs;personalizing and improving tag-based search in folksonomies;views and synthesis of cognitive maps;identification of the compound subjective rule interestingness measure for rule-based functional description of genes;automatic generation and learning of finite-state controllers;FactForge: data service or the diversity of inferred knowledge over LOD;from path-consistency to global consistency in temporal qualitative constraint networks;rule quality measure-based induction of unordered sets of regression rules;a study on the utility of parametric uniform crossover for adaptation of crossover operator;and decomposition, merging, and refinement approach to boost inductive logic programming algorithms.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Tales from the Jungle 12

Tales from the Jungle

引用

acm Special Interest Group on programming Languages international conference on functional programming

作者： Peter Sewell University of Cambridge

ISBN: (纸本)9781450310543

We rely on a computational infrastructure that is a densely inter-wined mass of software and hardware: programming languages, network protocols, operating systems, and processors. It has accumulated great complexity, from a combination of engineering design decisions, contingent historical choices, and sheer scale, yet it is defined at best by prose specifications, or, all too often, just by the common implementations. Can we do better? More specifically, can we apply rigorous methods to this mainstream infrastructure, taking the accumulated complexity seriously, and if we do, does it help? My colleagues and I have looked at these questions in several contexts: the TCP/IP network protocols with their Sockets API; programming language design, including the Java module system and the C11/C++11 concurrency model; the hardware concurrency behaviour of x86, IBM POWER, and ARM multiprocessors: and compilation of concurrent code. In this talk I will draw some lessons from what did and did not succeed, looking especially at the empirical nature of some of the work, at the social process of engagement with the various different communities, and at the mathematical and software tools we used. Domain-specific modelling languages (based on functional programming ideas) and proof assistants were invaluable for work- ing with the large and loose specifications involved: idioms within HOL4 for TCP, our Ott tool for programming language specification, and Owens's Lem tool for portable semantic definitions, with HOL4, Isabelle, and Coq, for the relaxed-memory concurrency semantics work. Our experience with these suggests something of what is needed to make full-scale rigorous semantics a commonplace reality.

关键词： Mainstream systems Jungles Network protocols Tales Narration Semantics Computer programming Languages Software Tools Specifications design engineering Concurrency Collected papers PROCESSOR

来源：评论

学校读者我要写书评

暂无评论

Applying design by contract to feature-oriented programming

Applying design by contract to feature-oriented programming

引用

15th international conference on Fundamental Approaches to Software Engineering, FASE 2012, Held as Part of the European Joint conferences on theory and Practice of Software, ETAPS 2012

作者： thüm, thomas Schaefer, Ina Kuhlemann, Martin Apel, Sven Saake, Gunter University of Magdeburg Germany University of Braunschweig Germany University of Passau Germany

ISBN: (纸本)9783642288715

Feature-oriented programming (FOP) is an extension of ob- ject-oriented programming to support software variability by refining existing classes and methods. In order to increase the reliability of all implemented program variants, we integrate design by contract (DbC) with FOP. DbC is an approach to build reliable object-oriented software by specifying methods with contracts. Contracts are annotations that document and formally specify behavior, and can be used for formal verification of correctness or as test oracles. We present and discuss five approaches to define contracts of methods and their refinements in FOP. Furthermore, we share our insights gained by performing five case studies. this work is a foundation for research on the analysis of feature-oriented programs (e.g., for verifying functional correctness or for detecting feature interactions). © 2012 Springer-Verlag Berlin Heidelberg.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

15th international Symposium on Advances in Abrasive Technology, ISAAT 2012

15th International Symposium on Advances in Abrasive Technol...

引用

15th international Symposium on Advances in Abrasive Technology, ISAAT 2012

ISBN: (纸本)9783037854679

the proceedings contain 109 papers. the special focus in this conference is on grinding and grinding wheels, truing and dressing techniques for grinding wheels, finishing, lapping, honing and polishing, abrasive jet machining, advances in machining technologies, micro/nano-fabrication. the topics include: study on grinding, processing of sapphire wafer;study on the high-efficiency smoothness grinding of soft magnetic powder cores;study on the simulation of grinding burn;accurate extraction of normal residual error for compensation grinding;a grinding protocol for the fabrication of micro/meso aspheric moulds for optic application;industrial application of the MCG (minimum coolant grinding) technology;an experimental investigation of ultrasonic assisted grinding in DOE approach;design of ultrasonic horn for grinding using finite element method;effect of ultrasonic frequencies on grinding force of nano-composite ceramics based on nonlocal theory;experimental research on dry grinding of titanium alloy with graphite coated brazed cBN mounted wheel;research on functional surface grinding of medical titanium plate;thermal characteristics analysis of liquid hybrid bearing on ultra-high speed grinding;three dimensional analysis of a grinding wheel surface with image processing;genetic programming for grinding surface roughness modelling;thermo-chemical dressing of coarse grained diamond grinding wheels;vibratory finishing of immobilized cylinders;a framework for the analysis of mass finishing processes;simulation of 1D abrasive vibratory finishing process;thermal-mechanical analysis of hybrid spindle system based on FEM and effect of fabrication conditions on ultra-fine abrasive polishing pad.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Nameless, Painless 11

Nameless, Painless

引用

16th acm sigplan international conference on functional programming (ICFP 11)

作者： Pouillard, Nicolas INRIA Paris France

ISBN: (纸本)9781450308656

De Bruijn indices are a well known technique for programming with names and binders. they provide a representation that is both simple and canonical. However, programming errors tend to be really easy to make. We propose a safer programming interface implemented as a library. Whereas indexing the types of names and terms by a numerical bound is a famous technique, we index them by worlds, a different notion of index that is both finer and more abstract. While being more finely typed, our approach incurs no loss of expressiveness or efficiency. Via parametricity we obtain properties about functions polymorphic on worlds. For instance, well-typed world-polymorphic functions over open lambda-terms commute with any renaming of the free variables. Our whole development is conducted within Agda, from the code of the library, to its soundness proof and the properties of external functions. the soundness of our library is demonstrated via the construction of a logical relations argument.

关键词： Design Languages theory names binders meta-programming name abstraction de Bruijn indices

来源：评论

学校读者我要写书评

暂无评论

A Semantic Model for Graphical User Interfaces 11

A Semantic Model for Graphical User Interfaces

引用

16th acm sigplan international conference on functional programming (ICFP 11)

作者： Krishnaswami, Neelakantan R. Benton, Nick Microsoft Research Cambridge United Kingdom

ISBN: (纸本)9781450308656

We give a denotational model for graphical user interface (GUI) programming using the Cartesian closed category of ultrametric spaces. the ultrametric structure enforces causality restrictions on reactive systems and allows well-founded recursive definitions by a generalization of guardedness. We capture the arbitrariness of user input (e. g., a user gets to decide the stream of clicks she sends to a program) by making use of the fact that the closed subsets of an ultrametric space themselves form an ultrametric space, allowing us to interpret nondeterminism with a "powerspace" monad. Algebras for the powerspace monad yield a model of intuitionistic linear logic, which we exploit in the definition of a mixed linear/non-linear domain-specific language for writing GUI programs. the non-linear part of the language is used for writing reactive stream-processing functions whilst the linear sublanguage naturally captures the generativity and usage constraints on the various linear objects in GUIs, such as the elements of a DOM or scene graph. We have implemented this DSL as an extension to OCaml, and give examples demonstrating that programs in this style can be short and readable.

关键词： Languages theory Design denotational semantics ultrametric spaces functional reactive programming guarded recursion linear logic

来源：评论

学校读者我要写书评

暂无评论

Frenetic: A Network programming Language 11

Frenetic: A Network Programming Language

引用

16th acm sigplan international conference on functional programming (ICFP 11)

作者： Foster, Nate Harrison, Rob Freedman, Michael J. Monsanto, Christopher Rexford, Jennifer Story, Alec Walker, David Cornell Univ Ithaca NY 14853 USA Princeton Univ Princeton NJ 08544 USA

ISBN: (纸本)9781450308656

Modern networks provide a variety of interrelated services including routing, traffic monitoring, load balancing, and access control. Unfortunately, the languages used to program today's networks lack modern features-they are usually defined at the low level of abstraction supplied by the underlying hardware and they fail to provide even rudimentary support for modular programming. As a result, network programs tend to be complicated, error-prone, and difficult to maintain. this paper presents Frenetic, a high-level language for programming distributed collections of network switches. Frenetic provides a declarative query language for classifying and aggregating network traffic as well as a functional reactive combinator library for describing high-level packet-forwarding policies. Unlike prior work in this domain, these constructs are-by design-fully compositional, which facilitates modular reasoning and enables code reuse. this important property is enabled by Frenetic's novel run-time system which manages all of the details related to installing, uninstalling, and querying low-level packet-processing rules on physical switches. Overall, this paper makes three main contributions: (1) We analyze the state-of-the art in languages for programming networks and identify the key limitations;(2) We present a language design that addresses these limitations, using a series of examples to motivate and validate our choices;(3) We describe an implementation of the language and evaluate its performance on several benchmarks.

关键词： Languages Design Network programming languages domain-specific languages functional reactive programming OpenFlow

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共71页 << < 33 34 35 36 37 38 39 40 41 42 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：