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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

6,253 篇 会议
1,401 篇 期刊文献
24 篇 学位论文
11 册 图书
6 篇 科技报告

馆藏范围

7,695 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

5,638 篇 工学
- 5,062 篇 计算机科学与技术...
- 4,689 篇 软件工程
- 504 篇 电气工程
- 334 篇 控制科学与工程
- 244 篇 信息与通信工程
- 115 篇 机械工程
- 93 篇 土木工程
- 88 篇 建筑学
- 87 篇 电子科学与技术（可...
- 48 篇 材料科学与工程（可...
- 47 篇 生物工程
- 43 篇 仪器科学与技术
- 42 篇 力学（可授工学、理...
- 37 篇 化学工程与技术
- 33 篇 生物医学工程（可授...
- 32 篇 航空宇航科学与技...
- 32 篇 环境科学与工程（可...
1,131 篇 理学
- 859 篇 数学
- 136 篇 物理学
- 96 篇 系统科学
- 81 篇 统计学（可授理学、...
- 62 篇 生物学
- 47 篇 化学
841 篇 管理学
- 496 篇 管理科学与工程(可...
- 400 篇 图书情报与档案管...
- 218 篇 工商管理
258 篇 教育学
- 242 篇 教育学
64 篇 法学
- 54 篇 社会学
50 篇 医学
- 38 篇 临床医学
40 篇 经济学
- 38 篇 应用经济学
14 篇 农学
13 篇 文学
10 篇 军事学
10 篇 艺术学

主题

7,695 篇 object oriented ...
909 篇 object oriented ...
429 篇 computer languag...
427 篇 programming prof...
424 篇 application soft...
388 篇 computer science
375 篇 java
284 篇 software enginee...
203 篇 software systems
148 篇 computer archite...
142 篇 concurrent compu...
131 篇 libraries
125 篇 encapsulation
121 篇 education
121 篇 software design
121 篇 distributed comp...
117 篇 data structures
116 篇 prototypes
114 篇 object oriented ...
114 篇 logic programmin...

机构

16 篇 victoria univers...
15 篇 software composi...
15 篇 brno university ...
14 篇 department of co...
11 篇 dipartimento di ...
9 篇 univ of texas at...
8 篇 carnegie mellon ...
8 篇 eth
7 篇 cwi
7 篇 sun microsystems
7 篇 ibm
7 篇 eth zurich
7 篇 carnegie mellon ...
7 篇 department of ap...
7 篇 natl univ of sin...
7 篇 tsinghua univ
6 篇 univ of tokyo
6 篇 ohio state univ ...
6 篇 ieee
6 篇 promodel corpora...

作者

38 篇 noble james
19 篇 meyer bertrand
16 篇 nierstrasz oscar
15 篇 ducasse stéphane
15 篇 aldrich jonathan
14 篇 yonezawa akinori
14 篇 drossopoulou sop...
14 篇 de boer frank s.
13 篇 ancona davide
13 篇 mezini mira
12 篇 chen huo yan
11 篇 elrad tzilla
11 篇 black andrew p.
11 篇 xinogalos stelio...
11 篇 masuhara hidehik...
11 篇 vitek jan
10 篇 potanin alex
10 篇 de meuter wolfga...
10 篇 naumann david a.
9 篇 biddle robert

语言

7,460 篇 英文
159 篇 其他
31 篇 中文
14 篇 日文
8 篇 俄文
5 篇 西班牙文
5 篇 法文
4 篇 德文
3 篇 葡萄牙文
3 篇 土耳其文
1 篇 乌克兰文

检索条件"主题词=Object Oriented programming"

共 7695 条记录，以下是871-880 订阅

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

详细简洁

排序：

Handling Cyclic Execution Paths in Timing Analysis of Component-based Software 40

Handling Cyclic Execution Paths in Timing Analysis of Compon...

引用

40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)

作者： Lednicki, Luka Carlson, Jan Malardalen Univ Malardalen Real Time Res Ctr Vasteras Sweden

ISBN: (纸本)9781479957958

Usage of model-driven and component-based development approaches in embedded systems allows timing analysis to be performed using system models. One of the problems rarely addressed by model-level analysis is support for analysis of cyclic execution paths. In this paper we present a method which allows compositional worst-case execution time analysis to be performed on software models containing such cycles. Our method allows defining cycle bounds for components and connections, and provides an algorithm to analyze cyclic paths containing such bounds. Additionally, we provide a possibility to propagate cycle bound definitions through the component hierarchy. The method is applied to the IEC 61499 component model and its applicability has been tested using a prototype tool.

关键词： object-oriented programming program diagnostics IEC 61499 component model component hierarchy component-based development approach component-based software cycle bounds cyclic execution path handling model-driven development approach model-level analysis timing analysis Algorithm design and analysis Analytical models IEC standards Ports (Computers) Prototypes Software WCET analysis based development cycle cyclic execution loop timing object oriented programming time series analysis Algorithm design and analysis analysis programme IEC publications ANALYSIS MODELS computer software PROTOTYPE Loops

来源：评论

学校读者我要写书评

暂无评论

Recovery of Class Hierarchies and Composition Relationships from Machine Code

Recovery of Class Hierarchies and Composition Relationships ...

引用

23rd International Conference on Compiler Construction (CC)

作者： Srinivasan, Venkatesh Reps, Thomas Univ Wisconsin Madison WI 53706 USA GrammaTech Inc Ithaca NY USA

ISBN: (纸本)9783642548079;9783642548062

We present a reverse-engineering tool, called Lego, which recovers class hierarchies and composition relationships from stripped binaries. Lego takes a stripped binary as input, and uses information obtained from dynamic analysis to (i) group the functions in the binary into classes, and (ii) identify inheritance and composition relationships between the inferred classes. The software artifacts recovered by Lego can be subsequently used to understand the object-oriented design of software systems that lack documentation and source code, e.g., to enable interoperability. Our experiments show that the class hierarchies recovered by Lego have a high degree of agreement-measured in terms of precision and recall-with the hierarchy defined in the source code.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

KCoFI: Complete Control-Flow Integrity for Commodity Operating System Kernels 35

KCoFI: Complete Control-Flow Integrity for Commodity Operati...

引用

35th IEEE Symposium on Security and Privacy (SP)

作者： Criswell, John Dautenhahn, Nathan Adve, Vikram Univ Illinois Dept Comp Sci 1304 W Springfield Ave Urbana IL 61801 USA

ISBN: (纸本)9781479946860

We present a new system, KCoFI, that is the first we know of to provide complete Control-Flow Integrity protection for commodity operating systems without using heavyweight complete memory safety. Unlike previous systems, KCoFI protects commodity operating systems from classical control flow hijack attacks, return-to-user attacks, and code segment modification attacks. We formally verify a subset of KCoFI's design by modeling several features in small-step semantics and providing a partial proof that the semantics maintain control-flow integrity. The model and proof account for operations such as page table management, trap handlers, context switching, and signal delivery. Our evaluation shows that KCoFI prevents all the gadgets found by an open-source Return oriented programming (ROP) gadget-finding tool in the FreeBSD kernel from being used;it also reduces the number of indirect control-flow targets by 98.18%. Our evaluation also shows that the performance impact of KCoFI on web server bandwidth is negligible while file transfer bandwidth using OpenSSH is reduced by an average of 13%, and at worst 27%, across a wide range of file sizes. PostMark, an extremely file-system intensive benchmark, shows 2x overhead. Where comparable numbers are available, the overheads of KCoFI are far lower than heavyweight memory-safety techniques.

关键词： Internet file servers object-oriented programming operating system kernels public domain software FreeBSD kernel KCoFI OpenSSH PostMark Web server bandwidth code segment modification attacks commodity operating system kernels control-flow hijack attacks control-flow integrity file transfer bandwidth file-system intensive benchmark formal verification heavyweight memory-safety techniques indirect control-flow targets open-source ROP gadget-finding tool open-source return oriented programming gadget-finding tool page table management return-to-user attacks signal delivery small-step semantics trap handlers Context Hardware Instruction sets Instruments Kernel Security Free BSD compiler operating systems Formal verification operating system kernels Operating systems instruction sets open source software File servers object oriented programming compilers file transfers Computer hardware Kernel Internets

来源：评论

学校读者我要写书评

暂无评论

Fostering Functional Safety of Real-time Systems with Concepts of object Orientation 19

Fostering Functional Safety of Real-time Systems with Concep...

引用

19th International Conference on Methods and Models in Automation and Robotics (MMAR)

作者： Houben, Christina K. Fernuniv Chair Comp Engn Hagen Germany

ISBN: (纸本)9781479950812

Hard-wired control systems are increasingly replaced by program-controlled embedded systems. The programming languages currently employed for their implementation lack constructs and design patterns enforcing intelligible code fostering its verification by certification authorities. Recommendations for such constructs necessary to guarantee safety integrity are given in the international standard IEC 61508-3. One of the recommendations refers to object-oriented programming (OOP). Therefore, we analyse both basic and advanced properties of OOP like encapsulation, polymorphism, inheritance, prototyping, delegation etc. with respect to functional safety. In a resulting programming language based on PEARL90 [1] we demonstrate coding with examples from hard real-time systems.

关键词： IEC standards control engineering computing embedded systems object-oriented programming program verification safety-critical software OOP PEARL90 certification authorities design patterns functional safety hard real-time systems hard-wired control systems intelligible code international standard IEC 61508-3 object orientation program-controlled embedded systems programming languages safety integrity verification Computer languages Concrete Prototypes Real-time systems Runtime Safety Software object oriented programming Computer programming Languages object orientation real-time systems hard real-time system design pattern control engineering computing IEC publications safety-critical software program verification Runtime Embedded systems Consumer safety safety PROTOTYPE

来源：评论

学校读者我要写书评

暂无评论

TESTING OF TRANSPORT SYSTEM MANAGEMENT STRATEGY 12

TESTING OF TRANSPORT SYSTEM MANAGEMENT STRATEGY

引用

Proceedings of IEEE East West Design and Test Symposium ( EWDTS 2014)

作者： Lupin, Sergey Shein, Than Lin, Kyaw Kyaw Davydova, Anastasia Natl Res Univ Elect Technol Zelenograd Dept Comp Sci Moscow Russia

ISBN: (纸本)9781479976300

The paper discusses modelling of transport company management systems in a competitive environment. In order to analyse behaviour of the competing transport companies were modelled using an object-oriented structure. The criterion function applied for optimisation and implemented in the model was defined. The performance algorithm of a competitive environment was developed. To verify the proposed approach the model of transport company operating in a completive environment was simulated using AnyLogic software platform.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

The design of the SIMPLE programming language 11

The design of the SIMPLE programming language

引用

11th Web Information System and Application Conference

作者： Wu, Di Chen, Lin Yu, Bin Xu, Baowen Nanjing Univ State Key Lab Novel Software Technol Nanjing Jiangsu Peoples R China PLA Commun Stn Unit 95028 Wuhan Peoples R China

ISBN: (纸本)9781479957279

Thousands of programming languages have been designed to meet different demands of application. Among the languages, many have been proposed merely for research exploration, while others have been developed for industrial software productions. Whatever the languages are targeted for, they are vehicles for implementing solutions in software engineering. Therefore, it is vital criteria to evaluate a language by principles of software engineering. But to our best knowledge, modern languages, especially the newly designed ones, are mostly designed to address domain-specific requirements, instead of focusing on the basic principles of software engineering. Thus, we develop a general-purpose language, SIMPLE, which supports the concise concepts adhering to the fundamental software engineering principles. To this end, simplicity, readability, reliability, security, scalability, and efficiency are established as goals of the language and various modular language features are provided. In this paper, we introduce the design of SIMPLE and discuss how its language features comply with the software engineering principles.

关键词： programming Language Language Design Language Constructs Procedural programming object oriented programming Functional programming Generic programming

来源：评论

学校读者我要写书评

暂无评论

DKIST Visible Tunable Filter control software: connecting the DKIST framework to OPC UA

DKIST Visible Tunable Filter control software: connecting th...

引用

Conference on Software and Cyberinfrastructure for Astronomy III

作者： Bell, Alexander Halbgewachs, Clemens Kentischer, Thomas J. Schmidt, Wolfgang von der Luehe, Oskar Sigwarth, Michael Fischer, Andreas Kiepenheuer Inst Sonnenphys D-79100 Freiburg Germany

ISBN: (纸本)9780819496201

The Visible Tunable Filter (VTF) is a narrowband tunable filter system for imaging spectroscopy and spectropolarimetry based on large-format Fabry Perot interferometers that is currently built by the Kiepenheuer Institut fuer Sonnenphysik for the Daniel K. Inouye Solar Telescope (DKIST). The control software must handle around 30 motorised drives, 3 etalons, a polarizing modulator, a helium neon laser for system calibration, temperature controllers and a multitude of sensors. The VTF is foreseen as one of the DKISTs first-light instruments and should become operational in 2019. In the design of the control software we strongly separate between the high-level part interfacing to the DKIST common services framework (CSF) and the low-level control system software which guarantees real-time performance and synchronization to precision time protocol (PTP) based observatory time. For the latter we chose a programmable logic controller (PLC) from Beckhoff Automation GmbH which supports a wide set of input and output devices as well as distributed clocks for synchronizing signals down to the sub-microsecond level. In this paper we present the design of the required control system software as well as our work on extending the DKIST CSF to use the OPC Unified Architecture (OPC UA) standard which provides a cross-platform communication standard for process control and automation as an interface between the high-level software and the real-time control system.

关键词： Sun Telescope Spectro Polarimetry object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Design Patterns Applied for Networked First Person Shooting Game programming 15

Design Patterns Applied for Networked First Person Shooting ...

引用

15th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD)

作者： Qu, Junfeng Wei, Yong Song, Yinglei Clayton State Univ Dept Comp Sci & Informat Technol Morrow GA 30260 USA Univ North Georgia Dept Comp Sci Dahlonega GA 30597 USA Jiangsu Univ Sci & Technol Dept Comp Sci Zhenjiang 212001 Peoples R China

ISBN: (纸本)9781479956043

We studied issues in FPS game development such as expressive play, game and character states management, rending scene, maps in game world, online and team communication, weapon management in game, and multi-enemy rendering. In order to increase reusability, maintainability, and quality of game development to adapt to evolutionary game development process, we explored on how to apply design patterns to handle issues with FPS game development. Although some design patterns are discussed, other design patterns might suitable as well because game programming are so complicated to separate each pattern independently.

关键词： Computer Game programming Design Patterns CUL object oriented programming First Person Shooter Game

来源：评论

学校读者我要写书评

暂无评论

A Survey of Sketch Based Modeling Systems 11

A Survey of Sketch Based Modeling Systems

引用

11th International Conference on Computer Graphics, Imaging and Visualization (CGIV) - New Techniques and Trends

作者： Kazmi, Ismail Khalid You, Lihua Zhang, Jian Jun Bournemouth Univ Natl Ctr Comp Animat Bournemouth Dorset England

ISBN: (纸本)9781479957200

3D modeling is an intricate and laboriously process which requires considerable investment of time to master. Researchers have long pondered on creating systems that would automate the steps followed by skilled 3D artists to generate detailed and realistic 3D models. Sketch Based Modeling (SBM) is a very broad area within the field of Computer Science spanning several sub-fields such as Computational Geometry, 3D Shape Retrieval, Computer Vision, Computer Graphics, and object oriented programming to name a few. The interpretation of sketches to assist artists to create 3D models serves as the main idea behind efficient SBM systems. In this paper we have reviewed and analyzed recent and salient state-of-art techniques in Sketch Based Modeling. We have provided a classification of these techniques and pointed out their advantages and disadvantages.

关键词： Computational modeling Geometry object oriented modeling Rivers Shape Solid modeling Three-dimensional displays three-dimensional displays object oriented modeling entity modeling Computational modeling Sketches rivers geometry artist object oriented programming Modeling

来源：评论

学校读者我要写书评

暂无评论

A Modeling Profile for Availability analysis of Composite Cloud Services 9

A Modeling Profile for Availability analysis of Composite Cl...

引用

NINTH INTERNATIONAL CONFERENCE ON P2P, PARALLEL, GRID, CLOUD AND INTERNET COMPUTING (3PGCIC)

作者： Amato, Flora Moscato, Francesco Univ Naples Federico II DIETI Naples Italy Univ Naples 2 DiSciPol Caserta Italy

ISBN: (纸本)9781479941711

Service oriented Architectures and service-centric models arose in the last years as a standard de-facto in IT enterprises for offering practically any kind of services to users world-wide. Heterogeneity (of operating systems, programming languages, software and hardware infrastructures etc.) and transparency (for users) are the key issues of the actual trends in developing and providing services. In particular Cloud-based models provide means for realizing and distributing everything-asa-service, including infrastructures, hardware and software platforms and services. Even if at the moment Service-centric models and technologies are mature in the IT scenario, Composition, analysis and validation of Cloud services is an open research challenge. In this work we describe a methodology based on Multi-Agent Models which allows for description, composition and verification of requirements of Cloud-based services. The methodology uses a modeling profile able to describe services as agents in a multi-agent environment and it is based on Model Driven Engineering (MDE) techniques. The proposed methodology includes a verification process for requirements that exploits formal methods during the whole life cycle of services. An example of the application of the proposed techniques will be reported also.

关键词： cloud computing formal specification formal verification multi-agent systems object-oriented programming service-oriented architecture IT enterprises MDE technique availability analysis cloud service analysis cloud service composition cloud service validation cloud-based model composite cloud services everything-as-a-service formal method hardware platform heterogeneity model driven engineering modeling profile multiagent environment multiagent model requirement composition requirement description requirement verification service development service life cycle service oriented architecture service provision service-centric model software platform transparency Analytical models Availability Cloud computing Monitoring Observers Real-time systems Unified modeling language Cloud Computing Service-oriented architecture Multi-agent systems Model driven engineering UML Hardware Platform Legal Services object oriented programming real-time systems Formal verification Transparency ANALYSIS MODELS Life cycle Observers

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 84 85 86 87 88 89 90 91 92 93 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：