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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

75 篇 会议
3 册 图书
3 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

54 篇 工学
- 50 篇 计算机科学与技术...
- 35 篇 软件工程
- 5 篇 电气工程
- 4 篇 信息与通信工程
- 2 篇 仪器科学与技术
- 1 篇 机械工程
- 1 篇 光学工程
- 1 篇 电子科学与技术（可...
- 1 篇 控制科学与工程
7 篇 理学
- 6 篇 数学
- 1 篇 大气科学
3 篇 管理学
- 2 篇 图书情报与档案管...
- 1 篇 管理科学与工程(可...
2 篇 教育学
- 2 篇 教育学

主题

16 篇 functional progr...
7 篇 logic programmin...
6 篇 computer program...
4 篇 application soft...
4 篇 software enginee...
4 篇 grid computing
3 篇 object oriented ...
3 篇 concurrent compu...
3 篇 programming
3 篇 fault tolerance
3 篇 parallel program...
3 篇 semantics
3 篇 programming tech...
3 篇 programming lang...
3 篇 haskell
3 篇 web services
2 篇 computer science
2 篇 software systems
2 篇 systems engineer...
2 篇 supercomputers

机构

2 篇 department of co...
2 篇 university of ok...
1 篇 university of co...
1 篇 univ of waikato ...
1 篇 school of comput...
1 篇 cisco systems in...
1 篇 univ toronto dep...
1 篇 univ montreal mo...
1 篇 faculty of infor...
1 篇 waseda univ sch ...
1 篇 portland state u...
1 篇 univ verona dipa...
1 篇 engineering econ...
1 篇 department of el...
1 篇 brigham young un...
1 篇 univ missouri de...
1 篇 nadvirna vocatio...
1 篇 univ politecn ma...
1 篇 department of ma...
1 篇 univ complutense...

作者

2 篇 page rex
2 篇 horváth zoltán
2 篇 zsók viktória
2 篇 antoy sergio
2 篇 saenz-perez fern...
2 篇 hanus michael
2 篇 dimitri p. berts...
1 篇 mishra prateek
1 篇 gerard allwein
1 篇 pace gordon
1 篇 borza paul nicol...
1 篇 wassermann demia...
1 篇 kaiser markus
1 篇 petrashchuk yaro...
1 篇 playne daniel
1 篇 david lesens
1 篇 takayuki shiina
1 篇 zou xingliang
1 篇 r. nieuwenhuis
1 篇 johnson martin

语言

81 篇 英文

检索条件"任意字段=11th Symposium on Trends in Functional Programming"

共 81 条记录，以下是71-80 订阅

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

详细简洁

排序：

An enterprise-based grid resource management system

An enterprise-based grid resource management system

引用

International symposium on High Performance Distributed Computing

作者： Q. Snell K. Tew J. Ekstrom M. Clement Brigham Young University Provo UT USA

As the Internet began its exponential growth into a global information environment, software was often unreliable, slow and had difficulty in interoperating with other systems. Supercomputing node counts also continue to follow high growth trends. Supercomputer and grid resource management software must mature into a reliable computational platform in much the same way that web services matured for the Internet. DOGMA the Next Generation (DOGMA-NG) improves on current resource management approaches by using tested off-the-shelf enterprise technologies to build a robust, scalable, and extensible resource management platform. Distributed web service technologies constitute the core of DOGMA-NG's design and provide fault tolerance and scalability. DOGMA-NG's use of open standard web technologies and efficient management algorithms promises to reduce management time and accommodate the growing size of future supercomputers. the use of web technologies also provides the opportunity for anew parallel programming paradigm, enterprise web services parallel programming, that also gains benefit from the scalable, robust component architecture.

关键词： Resource management Web services Supercomputers Robustness Technology management Parallel programming Grid computing Web and internet services Testing Fault tolerance

来源：评论

学校读者我要写书评

暂无评论

Petalisp: A Common Lisp Library for Data Parallel programming 2018

Petalisp: A Common Lisp Library for Data Parallel Programmin...

引用

Proceedings of the 11th European Lisp symposium on European Lisp symposium

作者： Marco Heisig FAU Erlangen-Nürnberg Cauerstraβe 11 Erlangen 91058 Germany

ISBN: (纸本)9782955747421

We describe the design and implementation of Petalisp - a Common Lisp library for data parallel programming. At its core, Petalisp is a lazy, functional array language. All its statements are an- alyzed, simplified and compiled at runtime. this approach limits expressive power and introduces significant overhead, but also un-locks unprecedented potential for optimization. We explain Petalisp from a users' perspective, compare its performance with other libraries for data parallel computation and finally discuss important facets of our implementation.

关键词： High Performance Computing SIMD Compilers Common Lisp

来源：评论

学校读者我要写书评

暂无评论

Basic paramodulation and decidable theories

Basic paramodulation and decidable theories

引用

Annual symposium on Logic in Computer Science

作者： R. Nieuwenhuis Technical University of Catalonia Barcelona Spain

We prove that for sets of Horn clauses saturated under basic paramodulation, the word and unifiability problems are in NP, and the number of minimal unifiers is simply exponential (i). For Horn sets saturated wrt. a special ordering under the more restrictive inference rule of basic superposition, the word and unifiability problems are still decidable and unification is finitary (ii). We define standard theories, which include and significantly extend shallow theories. Standard presentations can be finitely closed under superposition and result (ii) applies. Generalizing shallow theories to the Horn case, we obtain (two versions of) a language we call Catalog, a natural extension of Datalog to include functions and equality. the closure under paramodulation is finite for Catalog sets, hence (i) applies. Since for shallow sets this closure is even polynomial, shallow unifiability is in NP, which is optimal: unifiability in ground theories is already NP-hard. We even go beyond: the shallow word problem is tractable and for Catalog sets S we prove decidability of the full first-order theory of T(F)/=/sub s/.

关键词： Equations Logic programming Polynomials Heart Application software Constraint theory functional programming Knowledge based systems Humans Deductive databases

来源：评论

学校读者我要写书评

暂无评论

A Grammar-Based Reverse Engineering Framework for Behavior Verification

A Grammar-Based Reverse Engineering Framework for Behavior V...

引用

11th IEEE High Assurance Systems Engineering symposium(HASE 2008)(第十一届IEEE高可信系统工程国际研讨会)

作者： Chunying Zhao Kang Zhang The University of Texas at Dallas

A high assurance system requires both functional and nonfunctional correctness before the system is put into operation. To examine whether a system's actual performance complies with the requirement, an effective reasoning and verification mechanism is needed. this paper presents a graph grammar based reverse engineering framework for the behavior verification of high assurance systems. It casts the program verification problem to a visual language parsing problem, *** the graphical representation of program behavior with user-specified constraints and properties expressed as a graph grammar the approach allows developers to check the acceptable sequence of method calls corresponding to the specifications for some requirements.

关键词： Reverse engineering Unified modeling language Instruments Systems engineering and theory Flowcharts Information technology Computer errors Documentation programming profession Information analysis

来源：评论

学校读者我要写书评

暂无评论

A Multi-Periodic Synchronous Data-Flow Language

A Multi-Periodic Synchronous Data-Flow Language

引用

IEEE International Symposim on High Assurance Systems Engineering

作者： Julien Forget Frédéric Boniol David Lesens Claire Pagetti ONERA Toulouse France EADS-Astrium Space Transportation Les Mureaux France

Implementing real-time critical systems is an increasingly complex process that calls for high-level formal programming languages. Existing languages mainly focus on mono-periodic systems, implementing multi-periodic systems with these languages is possible but inefficient. As a result, current practice usually consists in writing one program for each different rate and then letting a real-time operating system handle the multi-rate aspects. this can be a source of non-determinism as communications between processes of different rates are not precisely defined. We propose a new language, built upon synchronous data-flow languages, to handle multi-rate systems properly. It has strong formal semantics, which prevents non-deterministic communications, and relies on real-time primitives that enable efficient use of existing multi-periodic schedulers.

关键词： Clocks Real time systems Computer languages Delay Transportation Operating systems Processor scheduling functional programming Data engineering Systems engineering and theory

来源：评论

学校读者我要写书评

暂无评论

Confluence and preservation of strong normalisation in an explicit substitutions calculus

Confluence and preservation of strong normalisation in an ex...

引用

Annual symposium on Logic in Computer Science

作者： C. Munoz Inst. Nat. de Recherche en Inf. et Autom. Le Chesnay France

Explicit substitutions calculi are formal systems that implement /spl beta/-reduction by means of an internal substitution operator. In that calculi it is possible to delay the application of a substitution to a term or to consider terms with partially applied substitutions. the /spl lambda//sub /spl sigma//-calculus of explicit substitutions, proposed by M. Abadi et al. (1991), is a first-order rewriting system that implements substitution and renaming mechanism of /spl lambda/-calculus. However; /spl lambda//sub /spl sigma// does not preserve strong normalisation of /spl lambda/-calculus and it is not a confluent system. Typed variants of /spl lambda//sub /spl sigma// without composition are strongly normalising but not confluent, while variants with composition are confluent but do not preserve strong normalisation. Neither of them enjoys both properties. In this paper we propose the /spl lambda//sub /spl zeta//-calculus. this is, as far as we know, the first confluent calculus of explicit substitutions that preserves strong normalisation.

关键词： Calculus Delay Computer applications functional programming

来源：评论

学校读者我要写书评

暂无评论

Dynamic code coverage metrics: a lognormal perspective

Dynamic code coverage metrics: a lognormal perspective

引用

International symposium on Software Metrics

作者： S.S. Gokhale R.E. Mullen University of Connecticut Storrs CT USA Cisco Systems Inc. Boxborough MA USA

the logical interrelationship between different code coverage types has been well studied, but less so their evolution through time or test. We study the dynamic relationship of four coverage types, namely, block, decision, c-use and p-use by comparing their growth using empirical coverage data generated from extensive testing of a software application with 35 KLOC of code. Our results indicate that as testing increases, the growth trends for each coverage type are surprisingly similar. Not only is each trend consistent with an underlying lognormal distribution of event rate, but also the parameters of the fitted lognormal distributions are closely related. Within the limits of the data, we find quantitative relations between the four coverage types. the paper thus takes a significant step in linking concepts from prior studies of software test sufficiency, test efficiency, and reliability in the context of software execution

关键词： Software testing Application software Logic testing Software reliability System testing Joining processes programming Costs Flow graphs

来源：评论

学校读者我要写书评

暂无评论

An Embedded DSL Framework for Distributed Embedded Systems: Doctoral symposium 17

An Embedded DSL Framework for Distributed Embedded Systems: ...

引用

Proceedings of the 11th ACM International Conference on Distributed and Event-based Systems

作者： Adrian Mizzi Joshua Ellul Gordon Pace Department of Computer Science University of Malta Malta

ISBN: (纸本)9781450350655

programming distributed embedded systems gives rise to a number of challenges. the distributed nodes are typically resource constrained, requiring expert systems programming skills to manage the limited power, communication bandwidth, and memory and computation constraints. the challenge of raising the level of abstraction of programming such systems without incurring too high of an execution performance penalty is thus an important one, and many approaches have been explored in the *** work presented in this paper investigates a framework and domain specific language (DSL) to enable programming of such systems at a global network level. the framework enables the compilation, analysis, transformation and interpretation of high-level descriptions of stream processing applications in which information is received and processed in *** ongoing research aims at investigating the following directions. Firstly, a framework to allow the manipulation and multiple interpretations of a stream processor description to support the heterogeneity aspect of devices. Secondly, a language to hide the low-level detail from the developer, while allowing the developer to add hints to enable more efficient compilations. thirdly, through transformations, different stream processing applications can be fused together to run on the same distributed network to make best of use of available resources.

关键词： embedded DSL distributed embedded systems domain specific languages wireless sensor networks functional programming

来源：评论

学校读者我要写书评

暂无评论

Stochastic unit commitment problem in electricity market

Stochastic unit commitment problem in electricity market

引用

International symposium on Soft Computing and Intelligent Systems (SCIS)

作者： Ryusei Mikami Takayuki Shiina Ken-ichi Tokoro School of Creative Science and Engineering Waseda University Tokyo Japan Central Research Institute of Electric Power Industry Tokyo Japan

ISBN: (数字)9781728197326

ISBN: (纸本)9781728197333

In Japan, the electric power market has been fully deregulated since April 2016, and many Independent Power Producers have entered the electric power market. Companies participating in the market, conduct transactions between market participants to maximize their profits. When companies consider maximization of their profit, it is necessary to optimize operation of generators in consideration of market transactions. However, it is not easy to consider trading in the market because the market contains many complex and uncertain factors. Even now, the number of participating companies is increasing, and research on operation of generators in consideration of market transactions is an important field. In the power market, there are various markets such as a day-ahead market and an adjustment market, and various transactions are performed between market participants. In this study, we discuss the day-ahead market trading. In the day-ahead market, power prices and demands vary greatly depending on the trends in power sell and purchase bidding. It is necessary for business operators to set operational schedules that takes into account fluctuations in power prices and demand. We consider an optimization model of generator operation considering market transactions and apply stochastic programming to solve the problem. In addition, we show that scheduling based on the stochastic programming method is better than conventional deterministic planning.

关键词： Generators Contracts Fuels Companies programming Power systems Stochastic processes

来源：评论

学校读者我要写书评

暂无评论

Experimental research on early identification of landsliding by using radarsat-2 programming data 11th

Experimental research on early identification of landsliding...

引用

11th International symposium on Landslides and 2nd North American symposium on Landslides, 2012

作者： Xie, M.W. Fan, D.H. Huang, J.H. Chai, X.Q. Liu, X.Y. Li, P.F. Lab of GeoSpatial Information for GeoHazard Application The University of Science and Technology Beijing China

ISBN: (纸本)9780415621236

Monitoring and early warning are the main means to reduce the harm of landslide disaster effectively. Differing from the traditional method of monitoring, differential interferometry synthetic aperture radar (D-InSAR) technique has the advantage of detecting and penetrating earth surface in all weather conditions and at all times, with large area and low cost, it can meet the needs of wide-area landslide moving early recognition and dynamic time-spatial monitoring. It have been verified the layover and shadow greatly influence the results of monitoring in mountain areas, in order to obtain reliable monitoring results, 8 images Radarsat-2 programming data are used, and the three-pass differential interferometric processing method is adopted for D-InSAR analysis. In the data analysis process, many aspects may probably produce errors, considering the influence of many-sided errors, one filtering processing method has been proposed to obtain mass moving induced vertical displacement value. As result, 12 landsliding areas are identified by D-InSAR analysis. Compared the differential interference results with the field investigation results, it is found that deformation locations and trends are consistent with on-site investigation results. It is shown that the combination of D-InSAR technology and data filtering for deformation analysis is a feasible approach for detecting landslides moving, and the technique also can meet the purpose of discovering changes and monitoring moving trends. © 2012 Taylor & Francis Group, London.

关键词： Landslides

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共9页 << < 1 2 3 4 5 6 7 8 9 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：