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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

118 篇 会议
34 册 图书
3 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

73 篇 工学
- 68 篇 软件工程
- 66 篇 计算机科学与技术...
- 3 篇 电气工程
- 2 篇 控制科学与工程
- 1 篇 电子科学与技术（可...
- 1 篇 信息与通信工程
- 1 篇 建筑学
12 篇 理学
- 10 篇 数学
- 1 篇 大气科学
- 1 篇 系统科学
12 篇 管理学
- 7 篇 管理科学与工程(可...
- 7 篇 工商管理
- 5 篇 图书情报与档案管...
2 篇 教育学
- 2 篇 教育学

主题

27 篇 software enginee...
25 篇 software enginee...
15 篇 operating system...
14 篇 computer languag...
14 篇 programming lang...
13 篇 programming
13 篇 programming tech...
12 篇 mathematical log...
12 篇 logics and meani...
10 篇 artificial intel...
9 篇 computer communi...
8 篇 programming prof...
8 篇 computer program...
7 篇 real time system...
7 篇 hardware
7 篇 algorithm analys...
6 篇 software systems
6 篇 theory of comput...
6 篇 application soft...
5 篇 semantics

机构

2 篇 faculty of scien...
2 篇 metacase yliston...
1 篇 chair for softwa...
1 篇 lucent technol m...
1 篇 rechen- und komm...
1 篇 univ copenhagen ...
1 篇 mohammed v unive...
1 篇 logicblox atlant...
1 篇 politehnica univ...
1 篇 395 dreese labor...
1 篇 university of li...
1 篇 conacyt centroge...
1 篇 the laurels tele...
1 篇 caltech jet prop...
1 篇 natl univ of les...
1 篇 distributed prog...
1 篇 dipartimento di ...
1 篇 microsoft
1 篇 lehrstuhl für wi...
1 篇 universitat poli...

作者

3 篇 gray jeff
3 篇 spinczyk olaf
2 篇 clarke dave
2 篇 friesel daniel
2 篇 rossi matti
2 篇 b.c.p. tang
2 篇 tolvanen juha-pe...
2 篇 sprinkle jonatha...
2 篇 ferguson edward ...
2 篇 michel r. v. cha...
2 篇 ligler george t.
1 篇 dražen drašković
1 篇 gerard allwein
1 篇 h. tokuda
1 篇 fredlund lars-åk...
1 篇 arnd poetzsch-he...
1 篇 handurukande s.b...
1 篇 c. aiswarya
1 篇 hammond l
1 篇 erik proper

语言

154 篇 英文
1 篇 其他

检索条件"任意字段=11th Workshop on Programming Languages and Operating Systems"

共 155 条记录，以下是81-90 订阅

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

详细简洁

排序：

Using AOP to develop architectural-neutral operating system components 11

Using AOP to develop architectural-neutral operating system ...

引用

11th workshop on ACM SIGOPS European workshop, EW 11

作者： Spinczyk, Olaf Lohmann, Daniel Friedrich-Alexander-University Erlangen-Nuremberg Department of Computer Science 4 Germany

ISBN: (纸本)9781450378079

the architecture of an operating system, e.g. micro kernel or monolithic kernel, is usually seen as something static. Even during the long lasting evolution of operating system code it is extremely hard and, thus, expensive to change the architecture. However, our experience is that architectural evolution is often required and an architecture-neutral way to develop operating system components should be found. After analyzing why architectural flexibility is so difficult to achieve, we propose Aspect-Oriented programming (AOP) as a solution. An example from the PURE OS family, which is implemented in an aspect-oriented programming language called AspectC++, will demonstrate the usefulness of the approach, which allows to separate the code that implements architectural properties from the core functionality.

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

HOIST: A system for automatically deriving static analyzers for embedded systems

HOIST: A system for automatically deriving static analyzers ...

引用

11th International Conference on Architectural Support for programming languages and operating systems

作者： Regehr, J Reid, A Univ Utah Sch Comp Salt Lake City UT 84112 USA

ISBN: (纸本)1581138040

Embedded software must meet conflicting requirements such as being highly reliable, running on resource-con strained platforms, and being developed rapidly. Static program analysis can help meet all of these goals. People developing analyzers for embedded object code face a difficult problem: writing an abstract version of each instruction in the target architecture(s). this is currently done by hand, resulting in abstract operations that are both buggy and imprecise. We have developed Hoist: a novel system that solves these problems by automatically constructing abstract operations using a microprocessor (or simulator) as its own specification. With almost no input from a human, Hoist generates a collection of C functions that are ready to be linked into an abstract interpreter. We demonstrate that Hoist generates abstract operations that are correct, having been extensively tested, sufficiently fast, and substantially more precise than manually written abstract operations. Hoist is currently limited to eight-bit machines due to costs exponential in the word size of the target architecture. It is essential to be able to analyze software running on these small processors: they are important and ubiquitous, with many embedded and safety-critical systems being based on them.

关键词： reliability languages verification abstract interpretation static analysis program verification object code

来源：评论

学校读者我要写书评

暂无评论

programming with transactional coherence and consistency (TCC)

Programming with transactional coherence and consistency (TC...

引用

11th International Conference on Architectural Support for programming languages and operating systems, ASPLOS XI

作者： Hammond, Lance Carlstrom, Brian D. Wong, Vicky Hertzberg, Ben Chen, Mike Kozyrakis, Christos Olukotun, Kunle Computer Systems Laboratory Stanford University Stanford CA 94305 United States

ISBN: (纸本)1581138040

Transactional Coherence and Consistency (TCC) offers a way to simplify parallel programming by executing all code within transactions. In TCC systems, transactions serve as the fundamental unit of parallel work, communication and coherence. As each transaction completes, it writes all of its newly produced state to shared memory atomically, while restarting other processors that have speculatively read stale data. With this mechanism, a TCC-based system automatically handles data synchronization correctly, without programmer intervention. To gain the benefits of TCC, programs must be decomposed into transactions. We describe two basic programming language constructs for decomposing programs into transactions, a loop conversion syntax and a general transaction-forking mechanism. With these constructs, writing correct parallel programs requires only small, incremental changes to correct sequential programs. the performance of these programs may then easily be optimized, based on feedback from real program execution, using a few simple techniques.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

An approach for the verification of UML models using B

An approach for the verification of UML models using B

引用

Proceedings - 11th IEEE International Conference and workshop on the Engineering of Computer-Based systems, ECBS 2004

作者： Truong, Ninh-thuan Souquieres, Jeanine LORIA 54506 Vandœvre les Nancy cedex France

ISBN: (纸本)0769521258

this paper describes the formal verification of UML models using B abstract machines and a support tool (AtelierB). We transform the UML metamodel to B and automatically check proof obligations generated by using the B prover. the correctness of the properties of UML models is ensured by the well-formedness rules in the UML semantics which are transformed to B as the invariants of abstract machines. We address the class diagram and study the Core Package 1(Backbone and Relationships) of the UML metamodel as well as the well-formedness rules of these packages.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

programming with transactional coherence and consistency (TCC)

Programming with transactional coherence and consistency (TC...

引用

11th International Conference on Architectural Support for programming languages and operating systems

作者： Hammond, L Carlstrom, BD Wong, V Hertzberg, B Chen, M Kozyrakis, C Olukotun, K Stanford Univ Comp Syst Lab Stanford CA 94305 USA

关键词： performance design languages. transactions feedback optimization multiprocessor architecture

来源：评论

学校读者我要写书评

暂无评论

Exploiting semantic clustering in the eDonkey P2P network

Exploiting semantic clustering in the eDonkey P2P network

引用

11th workshop on ACM SIGOPS European workshop, EW 11

作者： Handurukande, S.B. Kermarrec, A.-M. Fessant, F. Le Massoulié, L. Distributed Programming Laboratory EPFL Switzerland INRIA Rennes France INRIA-Futurs and Lix Palaiseau France Microsoft Research Cambridge United Kingdom

Peer-to-peer file sharing now represents a significant portion of the Internet traffic and has generated a lot of interest from the research community. Some recent measurements studies of peer-to-peer workloads have demonstrated the presence of semantic proximity between peers. One way to improve performance of peer-to-peer file sharing systems is to exploit this locality of interest in order to connect semantically related peers so as to improve the search both in flooding- and server-based systems. Creating these additional connections raises interesting challenges and in particular (i) how to capture the semantic relationship between peers (ii) how to exploit these relationships and (iii) how to evaluate these improvements. In this paper, we evaluate several strategies to exploit the semantic proximity between peers against a real trace collected in November 2003 in the eDonkey 2000 peer-to-peer network. We present the results of this evaluation which confirm the presence of clustering in such networks and the interest to exploit it.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Architectural description with integrated data consistency models

Architectural description with integrated data consistency m...

引用

International Conference and workshop on Engineering of Computer-Based systems

作者： P. Tabeling Hasso-Plattner Institute of Software Systems Engineering Potsdam Germany

the focus of typical architectural models is the description of large systems. Even though these systems are usually distributed, aspects of distributed systems are only addressed in a rudimentary way. While typical approaches pay attention to technical issues like deployment, data consistency problems are mostly ignored. We present a modeling approach which integrates assumptions about data consistency into architectural models. the concepts of abstract locations and operations play a central role in this context. they allow transactions and snapshots to be implicitly defined by mapping high-level architectural models to low-level models. the decision about the application of transactional techniques and snapshot algorithms can then be based on architectural models. Furthermore, the approach can be integrated into programming languages and platforms. In this case, a runtime environment could automatically detect and process both transactions and snapshots.

关键词： Computer architecture Software systems systems engineering and theory Software architecture Hardware Data engineering Application software Computer languages Runtime environment Multitasking

来源：评论

学校读者我要写书评

暂无评论

An approach for the verification of UML models using B

An approach for the verification of UML models using B

引用

International Conference and workshop on Engineering of Computer-Based systems

作者： N.-T. Truong J. Souquieres LORIA Vandoeuvre-les-Nancy France

We describe the formal verification of UML models using B abstract machines and a support tool (AtelierB). We transform the UML metamodel to B and automatically check proof obligations generated by using the B proven the correctness of the properties of UML models is ensured by the well-formedness rules in the UML semantics which are transformed to B as the invariants of abstract machines. We address the class diagram and study the Core Package (backbone and relationships) of the UML metamodel as well as the well-formedness rules of these packages.

关键词： Unified modeling language Object oriented modeling Packaging machines programming Specification languages Formal verification Spine Software standards Software systems Formal specifications

来源：评论

学校读者我要写书评

暂无评论

WICCAP: from semi-structured data to structured data

WICCAP: from semi-structured data to structured data

引用

International Conference and workshop on Engineering of Computer-Based systems

作者： Zhoa Li Wee Keong Ng School of Computer Engineering Nanyang Technological University Singapore

ISBN: (纸本)0769521258

Web data extraction is a technique for extracting and integrating data from Web based semistructured data. Wrappers function like the kernel of Web data extraction systems providing information mediator between users and a large number of heterogeneous data sources. Typically, they process semistructured documents generated from structured databases based on rules that are usually hidden to users. Much research has been done to use various methods to represent the knowledge of hidden rules and exploit techniques such as grammar induction, inductive logic programming, etc., to discover these rules that can be used by wrappers to extract data. An important property of semistructured data is its hierarchical structure. Intuitively, we can devise a method that can use this structure information to generate wrappers. We describe a Web data extraction system - WICCAP and its internal Web Data Extraction Language (WDEL) that provides unified view of Web data resources and extracted data. We describe some rule generation features of WICCAP and provide detailed description of the internal language and its implementation. We have conducted experiments to show the ease on generating wrappers with this approach.

关键词： Data mining Induction generators Data engineering Tree graphs Kernel Databases Logic programming Natural language processing Natural languages Maintenance engineering

来源：评论

学校读者我要写书评

暂无评论

TALK2C: a tool for automatic migration

TALK2C: a tool for automatic migration

引用

IEEE workshop on Program Comprehension

作者： J.S. Dhinakar M. Das Appl. Technol. Group Tata Infotech Ltd. Bangalore India Applied Technology Group Tata Infotech Limited Bangalore INDIA

the IT infrastructure of today's organizations is often populated with yesterday's legacy systems which trace an evolutionary path, with ad hoc changes and enhancements spread over a period of time and an inadequate change history. the inherent knowledge is normally contained in the code, which is written in an arcane language, understandable to a few and hard to maintain. Automated translation provides a convenient solution to these issues when maintaining the existing system is the main issue and the source and target languages share the same programming paradigms. TALK2C was developed to automate the conversion of code from SabreTalk to C language. SabreTalk a derivative of PL/1, runs on an earlier version of the TPF (Transaction Processing Facility) system.

关键词： Lab-on-a-chip operating systems Jacobian matrices History Automatic programming Banking Real time systems Costs Containers Databases

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共16页 << < 5 6 7 8 9 10 11 12 13 14 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：