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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

166 篇 会议
5 篇 期刊文献
2 册 图书

馆藏范围

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

日期分布

学科分类号

129 篇 工学
- 119 篇 计算机科学与技术...
- 85 篇 软件工程
- 5 篇 电气工程
- 5 篇 信息与通信工程
- 5 篇 控制科学与工程
- 4 篇 电子科学与技术（可...
- 2 篇 农业工程
- 2 篇 生物医学工程（可授...
- 1 篇 机械工程
- 1 篇 光学工程
- 1 篇 仪器科学与技术
- 1 篇 矿业工程
- 1 篇 石油与天然气工程
- 1 篇 生物工程
- 1 篇 网络空间安全
22 篇 理学
- 16 篇 数学
- 3 篇 系统科学
- 2 篇 统计学（可授理学、...
- 1 篇 物理学
- 1 篇 化学
- 1 篇 生物学
15 篇 管理学
- 8 篇 图书情报与档案管...
- 5 篇 管理科学与工程(可...
- 4 篇 工商管理
- 1 篇 公共管理
2 篇 农学
- 2 篇 作物学
1 篇 经济学
- 1 篇 应用经济学
1 篇 法学
- 1 篇 社会学
1 篇 教育学
- 1 篇 教育学
1 篇 医学
- 1 篇 护理学（可授医学、...

主题

18 篇 computer languag...
12 篇 database languag...
12 篇 query languages
10 篇 logic programmin...
9 篇 database systems
9 篇 functional progr...
8 篇 parallel program...
8 篇 computer program...
7 篇 xml
6 篇 computer science
6 篇 costs
6 篇 semantics
6 篇 computer program...
6 篇 relational datab...
5 篇 object oriented ...
5 篇 programming prof...
5 篇 programming
5 篇 application soft...
5 篇 databases
5 篇 hardware

机构

2 篇 univ valladolid ...
2 篇 carleton univ sc...
2 篇 imdea software
2 篇 department of co...
2 篇 univ aarhus dept...
2 篇 univ calabria di...
2 篇 vienna univ tech...
1 篇 philipps univ ma...
1 篇 xian technol uni...
1 篇 ibm corp almaden...
1 篇 mechanical engin...
1 篇 university paris...
1 篇 department of in...
1 篇 epfl
1 篇 univ nottingham ...
1 篇 dept. of informa...
1 篇 university of te...
1 篇 pontificia unive...
1 篇 school of comput...
1 篇 fakultät für mat...

作者

3 篇 schwartzbach mic...
2 篇 bertossi leopold...
2 篇 chakravarty manu...
2 篇 zhao yidan
2 篇 krennwallner tho...
2 篇 moreton-fernande...
2 篇 van gucht dirk
2 篇 gonzalez-escriba...
2 篇 cozman fabio g.
2 篇 carro manuel
2 篇 eiter thomas
2 篇 moller anders
2 篇 ianni giovambatt...
2 篇 steffen bernhard
2 篇 xiao qinkun
2 篇 li kin fun
2 篇 schindlauer roma...
2 篇 brabrand claus
2 篇 hanus michael
2 篇 keller gabriele

语言

170 篇 英文
2 篇 其他
1 篇 中文

检索条件"任意字段=10th International Symposium on Database Programming Languages"

共 173 条记录，以下是101-110 订阅

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

详细简洁

排序：

A generic programming toolkit for PADS/ML: First-class upgrades for third-party developers

A generic programming toolkit for PADS/ML: First-class upgra...

引用

10th international symposium on Practical Aspects of Declarative languages, PADL 2008

作者： Fernández, Mary Fisher, Kathleen Nathan Foster, J. Greenberg, Michael Mandelbaum, Yitzhak AT and T Research University of Pennsylvania

ISBN: (纸本)3540774416

Domain-specific languages facilitate solving problems in a targeted domain by providing features particular to the domain. Declarative domain-specific languages have the additional benefit that users specify what something means rather than how to do something. As a result, the language compiler is free to choose the best implementation strategies and to generate multiple artifacts from a single description. PADS/ML is a declarative data description language designed to facilitate ad hoc data management. From a single description, the compiler generates a myriad of artifacts, including data structures for the in-memory representation of the data and parsers and printers. In this paper, we describe a new generic programming infrastructure for PADS/ML that allows third-party developers to define additional useful artifacts without modifying the compiler. We report on two case studies that use this infrastructure. In the first, we build a version of PADX for PADS/ML, allowing any data source with a PADS/ML description to be queried as if it were XML. In the second, we extend Harmony with the ability to synchronize any data with a PADS/ML description. © Springer-Verlag Berlin Heidelberg 2008.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

DCGs + Memoing = Packrat parsing but is it worth it?

DCGs + Memoing = Packrat parsing but is it worth it?

引用

10th international symposium on Practical Aspects of Declarative languages, PADL 2008

作者： Becket, Ralph Somogyi, Zoltan NICTA Department of Computer Science and Software Engineering University of Melbourne 111 Barry Street Parkville VIC 3010 Australia

ISBN: (纸本)3540774416

Packrat parsing is a newly popular technique for efficiently implementing recursive descent parsers. Packrat parsing avoids the potential exponential costs of recursive descent parsing with backtracking by ensuring that each production rule in the grammar is tested at most once against each position in the input stream. this paper argues that (a) packrat parsers can be trivially implemented using a combination of definite clause grammar rules and memoing, and that (b) packrat parsing may actually be significantly less efficient than plain recursive descent with backtracking, but (c) memoing the recognizers of just one or two nonterminals, selected in accordance with Amdahl's law, can sometimes yield speedups. We present experimental evidence to support these claims. © Springer-Verlag Berlin Heidelberg 2008.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Automatic coding rule conformance checking using logic programming

Automatic coding rule conformance checking using logic progr...

引用

10th international symposium on Practical Aspects of Declarative languages, PADL 2008

作者： Marpons, Guillem Mariño, Julio Carro, Manuel Herranz, Ángel Moreno-Navarro, Juan José Fredlund, Lars-Åke Universidad Politécnica de Madrid IMDEA Software

ISBN: (纸本)3540774416

An extended practice in the realm of Software Engineering and programming in industry is the application of coding rules. Coding rules are customarily used to constrain the use (or abuse) of certain programming language constructions. However, these rules are usually written using natural language, which is intrinsically ambiguous and which may complicate their use and hinder their automatic enforcement. this paper presents some early work aiming at defining a framework to formalise and check for coding rule conformance using logic programming. We show how a certain class of rules - structural rules - can be reformulated as logic programs, which provides both a framework for formal specification and also for automatic conformance checking using a Prolog engine. Some examples of rules belonging to actual, third-party coding rule sets are discussed, along with the corresponding Prolog code. Experimental data regarding the practicality and impact of their application to real-life software projects is presented and discussed. © Springer-Verlag Berlin Heidelberg 2008.

关键词： Encoding (symbols)

来源：评论

学校读者我要写书评

暂无评论

Soya: A programming model and runtime environment for component composition using SSDL

Soya: A programming model and runtime environment for compon...

引用

10th international symposium on Component-Based Software Engineering

作者： Fornasier, Patric Webber, Jim Gorton, Ian Univ New S Wales Natl ICT Australia Sch Comp Sci & Engn Empir Software Engn Sydney NSW 2052 Australia Pacific NW Natl Lab Richland WA 99352 USA

ISBN: (纸本)9783540735502

the SOAP Service Description Language (SSDL) is a SOAP-centric language for describing Web Service contracts. SSDL focuses on message abstraction as the building block for creating service-oriented applications and provides an extensible range of protocol frameworks that can be used to describe and formally model component composition based on Web Service interactions. Given its novel approach, implementing support for SSDL contracts presents interesting challenges to middleware developers. At one end of the spectrum, programming abstractions that support message-oriented designs need to be created. At the other end, new functionality and semantics must be added to existing SOAP engines. In this paper we explain how component developers can create message-oriented Web Service interfaces with contemporary tool support (specifically the Windows Communication Foundation) using SSDL. We show how SSDL can be used as an alternative and powerful metadata language natively alongside existing tooling without imposing additional burdens on application developers. Moreover, we describe the design and architecture of the Soya middleware which supports SSDL-based development of Web Services on the WCF platform.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Hardware-Near programming in the Common Language Infrastructure

Hardware-Near Programming in the Common Language Infrastruct...

引用

international symposium on Object-Oriented Real-Time Distributed Computing

作者： Stefan Richter Andreas Rasche Andreas Polze Hasso-Plattner-Institute University of Potsdam Potsdam Germany

Virtual machine-based programming languages, such as Java and C # have made the programming of desktop computer systems simpler, less error-prone and more efficient. Embedded systems development rarely benefits from this advantages. this is because the disciplines special needs, such as direct hardware access and timelininess, are rarely considered in these environments. In particular, virtual machines usually do not allow for accessing hardware directly, making it impossible to express substantial parts of embedded systems inside the virtual environment. By specifying additional rules, describing an implementation of a conforming compiler, and presenting examples, we show how the virtual machine defined by the ECMA standard 335 can be carefully extended to support hardware-near programming

关键词： Hardware Utility programs Embedded system Program processors programming profession Virtual machining Libraries Computer languages Java Assembly

来源：评论

学校读者我要写书评

暂无评论

An improved continuation call-based implementation of tabling

An improved continuation call-based implementation of tablin...

引用

10th international symposium on Practical Aspects of Declarative languages, PADL 2008

作者： Chico De Guzmán, Pablo Carro, Manuel Hermenegildo, Manuel V. Silva, Cláudio Rocha, Ricardo School of Computer Science Univ. Politécnica de Madrid Spain Depts. of Comp. Science and Electr. and Comp. Eng. Univ. of New Mexico United States DCC-FC LIACC University of Porto Portugal

ISBN: (纸本)3540774416

Tabled evaluation has been proved an effective method to improve several aspects of goal-oriented query evaluation, including termination and complexity. Several "native" implementations of tabled evaluation have been developed which offer good performance, but many of them require significant changes to the underlying Prolog implementation, including the compiler and the abstract machine. Approaches based on program transformation, which tend to minimize changes to both the Prolog compiler and the abstract machine, have also been proposed, but they often result in lower efficiency. We explore some techniques aimed at combining the best of these worlds, i.e., developing an extensible implementation which requires minimal modifications to the compiler and the abstract machine, and with reasonably good performance. Our preliminary experiments indicate promising results. © Springer-Verlag Berlin Heidelberg 2008.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

A Systematic Approach to Domain-Specific Language Design Using UML

A Systematic Approach to Domain-Specific Language Design Usi...

引用

international symposium on Object-Oriented Real-Time Distributed Computing

作者： Bran Selic IBM Canada

UML includes special extensibility mechanisms, which are used to define domain-specific modeling languages that are based on UML. these mechanisms have been significantly improved in the latest versions of UML. Unfortunately, there is currently a dearth of published material on how to best exploit these capabilities and, consequently, many UML profiles are either invalid or of poor quality. In this paper, we first provide an overview of the new extensibility mechanisms of UML 2.1 and then describe a method for defining profiles that greatly increases the likelihood of producing technically correct quality UML profiles

关键词： Domain specific languages Unified modeling language Computer languages Libraries Costs programming profession Large-scale systems Computer industry Robustness Optimized production technology

来源：评论

学校读者我要写书评

暂无评论

On the Verifiability of Programs Written in the Feature Language Extensions

On the Verifiability of Programs Written in the Feature Lang...

引用

IEEE international Symposim on High Assurance Systems Engineering

作者： Wu-Hon F. Leung Computer Science Department Istituto Italiano di Tecnologia Canada

High assurance in embedded system software is difficult to attain. Verification relies on testing. the unreliable and costly testing process is made much worse because the software base constantly changes: Adding a feature is by changing the code of other features, and the programs of the features entangle in the same reusable program unit of the programming language. For a large class of applications, including those requiring exception handling, this entanglement problem cannot be solved using existing general purpose programming languages. the Feature Language Extensions (FLX) is a set of language constructs designed to enable the programmer to solve the entanglement problem. It provides language support for assertion based verification. the satisfiability of first order assertions composed of variables defined by FLX can be determined without iterations of trials and errors. An executable FLX program is compiled into a finite state machine even if the state variables are unbounded.

关键词： Computer languages programming profession Automata Software systems Software testing Embedded system Embedded software Software reusability Application software Java

来源：评论

学校读者我要写书评

暂无评论

Issues in Designing a Policy Language for Distributed Management of IT Infrastructures

Issues in Designing a Policy Language for Distributed Manage...

引用

IFIP/IEEE international symposium on Integrated Network Management

作者： Dakshi Agrawal Seraphin Calo Kang-Won Lee Jorge Lobo IBM Thomas J. Watson Research Center USA

ISBN: (纸本)1424407982

the objectives of this paper are twofold. First, we introduce a novel policy language, called CIM-SPL (simple policy language for CIM) that complies with the CIM (common information model) Policy Model and fully incorporates CIM constructs. Currently, the CIM standards from distributed management task force (DMTF) include a policy model, but there is no satisfactory way to render this policy model. CIM-SPL is a language that has been defined for this purpose. Second, we address design and implementation issues for policy languages in general, and for CIM-SPL in particular. the design of CIM-SPL was inspired by our previous experiences in designing various policy languages (e.g., PDL from Bell Laboratories, and ACPL from IBM) and lessons learned from studying other well-known policy languages (e.g., Ponder from Imperial College). We will discuss our design choices, evaluating the pros and cons of various alternatives. the ideas presented in this paper are meant to shed light on our design decisions, and provide guidance for those who want to build a CIM-based policy system or some other policy system in the future.

关键词： Computer integrated manufacturing Costs Information management Standards development database languages Writing Page description languages Educational institutions Hardware Sun

来源：评论

学校读者我要写书评

暂无评论

Towards a Layered Architecture for Object-Based Execution in Wide-Area Deeply Embedded Computing

Towards a Layered Architecture for Object-Based Execution in...

引用

international symposium on Object-Oriented Real-Time Distributed Computing

作者： Tarek Abdelzaher Qing Cao Raghu Ganti Dan Henriksson Maifi Khan Jin Heo Chengdu Huang Praveen Jayachandran Hieu Khac Le Liqian Luo Yu-En Tsai Department of Computer Science University of Illinois Urbana-Champaign Urbana IL USA

Sensor networks introduce a new application domain and set of challenges in distributed computing including new network-level programming languages, global system abstractions, and general-purpose communication protocols. these challenges are brought about by the tight integration of computation, communication, and distributed real-time interaction with the physical world. With the growing interest in interconnecting different sensor networks across a wide-area communication infrastructure, an overarching challenge becomes one of arriving at an agreed-upon global sensor network architecture that ensures interoperability. Unlike the Internet, where a layered communication stack (namely, the TCP/IP stack) defines the network architecture, a sensor network architecture must unify not only communication interfaces but also programming interfaces, since network communication and computation functions are tightly intertwined. In that sense, the sensor network architecture refers to a layered stack of distributed computing abstractions. this paper presents an architecture and key considerations in designing and interconnecting local and global sensor networks. Candidate protocols and middleware instantiations are described from the authors' ongoing work that meet the discussed considerations

关键词： Computer architecture Embedded computing Distributed computing Protocols Sensor systems and applications Computer languages Physics computing LAN interconnection IP networks TCPIP

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共18页 << < 7 8 9 10 11 12 13 14 15 16 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：