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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

4,365 篇 会议
406 篇 期刊文献
73 册 图书
22 篇 学位论文

馆藏范围

4,866 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2,968 篇 工学
- 2,606 篇 计算机科学与技术...
- 2,375 篇 软件工程
- 290 篇 控制科学与工程
- 247 篇 电气工程
- 149 篇 信息与通信工程
- 47 篇 电子科学与技术（可...
- 46 篇 机械工程
- 41 篇 建筑学
- 38 篇 土木工程
- 26 篇 生物工程
- 23 篇 材料科学与工程（可...
- 20 篇 航空宇航科学与技...
- 18 篇 仪器科学与技术
- 15 篇 光学工程
- 12 篇 环境科学与工程（可...
- 11 篇 化学工程与技术
- 10 篇 交通运输工程
415 篇 理学
- 294 篇 数学
- 49 篇 系统科学
- 43 篇 物理学
- 37 篇 生物学
- 22 篇 统计学（可授理学、...
- 15 篇 化学
362 篇 管理学
- 193 篇 图书情报与档案管...
- 192 篇 管理科学与工程(可...
- 74 篇 工商管理
44 篇 教育学
- 43 篇 教育学
25 篇 法学
- 24 篇 社会学
17 篇 医学
- 13 篇 临床医学
11 篇 经济学
- 11 篇 应用经济学
9 篇 文学
5 篇 农学
4 篇 军事学
1 篇 艺术学

主题

1,686 篇 object oriented ...
859 篇 object oriented ...
444 篇 application soft...
436 篇 computer languag...
305 篇 java
268 篇 programming
236 篇 software systems
233 篇 computer science
221 篇 software enginee...
207 篇 programming prof...
176 篇 computer archite...
161 篇 unified modeling...
140 篇 object oriented ...
134 篇 object-oriented ...
118 篇 database systems
96 篇 computational mo...
93 篇 prototypes
90 篇 real time system...
89 篇 operating system...
89 篇 concurrent compu...

机构

9 篇 software composi...
8 篇 ibm
8 篇 carnegie mellon ...
8 篇 univ bern softwa...
8 篇 swiss fed inst t...
8 篇 univ texas austi...
7 篇 purdue universit...
6 篇 cwi
6 篇 ibm thomas j. wa...
6 篇 school of comput...
6 篇 ibm corp thomas ...
6 篇 university of il...
5 篇 school of comput...
5 篇 university of te...
5 篇 georgia inst tec...
5 篇 univ waterloo wa...
5 篇 ibm t.j. watson ...
5 篇 department of co...
5 篇 victoria univers...
5 篇 siemens ag

作者

13 篇 noble james
12 篇 aldrich jonathan
11 篇 de meuter wolfga...
10 篇 biddle robert
10 篇 cook william r.
9 篇 ricci alessandro
9 篇 de champeaux den...
9 篇 yonezawa akinori
9 篇 nierstrasz oscar
9 篇 johnson ralph
9 篇 chambers c
8 篇 coad peter
8 篇 madsen ole lehrm...
8 篇 abi-antoun marwa...
8 篇 salvaneschi guid...
8 篇 vitek jan
8 篇 s.s. yau
7 篇 hirschfeld rober...
7 篇 visser eelco
7 篇 ancona davide

语言

4,746 篇 英文
107 篇 其他
12 篇 中文
1 篇 日文

检索条件"任意字段=Conference on Object-Oriented Programming Systems, Languages, and Applications"

共 4866 条记录，以下是191-200 订阅

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

详细简洁

排序：

Experience report: How to extract security protocols' specifications from C libraries 42

Experience report: How to extract security protocols' specif...

引用

42nd Annual IEEE-Computer-Society Computers, Software and applications (COMPSAC) conference - Staying Smarter in a Smartening World

作者： Sandoval, Itzel Vazquez Lenzini, Gabriele Univ Luxembourg Interdisciplinary Ctr Secur Reliabil & Trust SnT Luxembourg Luxembourg

ISBN: (纸本)9781538626672

Often, analysts have to face a challenging situation when formally verifying the implementation of a security protocol: they need to build a model of the protocol from only poorly or not documented code, and with little or no help from the developers to better understand it. Security protocols implementations frequently use services provided by libraries coded in the C programming language;automatic tools for code-level reverse engineering offer good support to comprehend the behavior of code in object-oriented languages but are ineffective to deal with libraries in C. Here we propose a systematic, yet human-dependent approach, which combines the capabilities of state-of-the-art tools in order to help the analyst to retrieve, step by step, the security protocol specifications from a library in C. Those specifications can then be used to create the formal model needed to carry out the analysis.

关键词： Libraries Protocols Security Tools Software Documentation Task analysis

来源：评论

学校读者我要写书评

暂无评论

Retro-: An event-sourced platform for serverless applications with retroactive computing support 12

Retro-: An event-sourced platform for serverless application...

引用

12th ACM International conference on Distributed and Event-Based systems, DEBS 2018

作者： Meißner, Dominik Erb, Benjamin Kargl, Frank Tichy, Matthias Institute of Distributed Systems Ulm University Germany Institute of Software Engineering and Programming Languages Ulm University Germany

ISBN: (纸本)9781450357821

State changes over time are inherent characteristics of stateful applications. So far, there are almost no attempts to make the past application history programmatically accessible or even modifiable. This is primarily due to the complexity of temporal changes and a difficult alignment with prevalent programming primitives and persistence strategies. Retroactive computing enables powerful capabilities though, including computations and predictions of alternate application timelines, post-hoc bug fixes, or retroactive state explorations. We propose an event-driven programming model that is oriented towards serverless computing and applies retroaction to the event sourcing paradigm. Our model is deliberately restrictive, but therefore keeps the complexity of retroactive operations in check. We introduce retro-, a runtime platform that implements the model and provides retroactive capabilites to its applications. While retro- only shows negligible performance overheads compared to similar solutions for running regular applications, it enables its users to execute retroactive computations on the application histories as part of its programming model. © 2018 Copyright held by the owner/author(s).

关键词： Event processing Event sourcing Event-driven architecture Retroaction Retroactive computing Serverless computing

来源：评论

学校读者我要写书评

暂无评论

Enhancement of User Experience with Mobile App 18

Enhancement of User Experience with Mobile App

引用

47th International conference on Parallel Processing (ICPP) / International Workshop on Embedded Multicore systems (EMS)

作者： Zunnurhain, Kazi Gonzalez, Arian J. Kean Univ Sch Comp Sci Union NJ 07083 USA

ISBN: (纸本)9781450365239

Nowadays mobile users expect data to be retrieved with minimal effort. Many iOS Mobile applications such as Yelp, ***, and Groupon provide the users simplified data within their application. This project implements a method to retrieve data from a third-party application and exhibit data with less effort than current iOS applications. Our approach uses iOS App extension that allows developers to extend customized functionalities. With app extensions, users achieve the privilege to interact with mobile applications while performing other tasks on the mobile device. For instance, a user might want to see the closest top ranked 5 restaurants in the area. In Yelp the user needs to follow multiple steps for that kind of information. With our extension, just a simple swipe down is sufficient to activate the notification center. Then the user is permitted to obtain that information without any previous application interaction. Users can view most recent data from their notification center from a third-party application.

关键词： Widgets Mobile Devices API languages Application specific development environments Graphical user interfaces object oriented languages

来源：评论

学校读者我要写书评

暂无评论

Interoperability Performance in Adaptive Middleware for Enterprise Business applications

Interoperability Performance in Adaptive Middleware for Ente...

引用

International conference on Smart systems and Inventive Technology (ICSSIT)

作者： T Sathis Kumar K Latha Saranathan College of Engineering Tiruchirappalli TN India Anna University (BIT Campus) Tiruchirappalli TN India

To improve the presentation of B2B (Business to Business) and B2C (Business to Consumer) regarding venture wide Service oriented Architecture (SOA), we need middleware interoperability particularly with agent building to be specific CORBA (Common object Request Broker Architecture) proposed by object Management Group ORB programming named ORBeline. Unmistakable models for client server correspondences have just been created and executed specifically Handle Driven ORB (H-ORB), Forwarding ORB (F-ORB), and the Adaptive ORB (A- ORB). This paper concentrates how to improve the presentation of the interoperability in Adaptive ORB (A-ORB) as for client server collaboration in N-level engineering alongside multithreading condition. We have presented a strategy called linear discriminant interoperable support learning method and how it will in general be used for improving the presentation of interoperability is examined. The outcome gives the framework conduct especially the impact of message measure, between hub deferrals; torpidity and flexibility of solicitation/reaction administration times for the A-ORB engineering are broke down.

关键词：

来源：评论

学校读者我要写书评

暂无评论

International conference on Architectural Support for programming languages and Operating systems - ASPLOS

International Conference on Architectural Support for Progra...

引用

23rd International conference on Architectural Support for programming languages and Operating systems, ASPLOS 2018

ISBN: (纸本)9781450349116

The proceedings contain 56 papers. The topics discussed include: hardware multithreaded transactions;Slim NoC: a low-diameter on-chip network topology for high energy efficiency and scalability;skyway: connecting managed heaps in distributed big data systems;espresso: brewing Java for more non-volatility with non-volatile memory;enhancing cross-ISA DBT through automatically learned translation rules;Gloss: seamless live reconfiguration and reoptimization of stream programs;filtering translation bandwidth with virtual caching;automatic matching of legacy code to heterogeneous APIs: an idiomatic approach;understanding and auto-adjusting performance-sensitive configurations;CALOREE: learning control for predictable latency and low energy;Darwin: a genomics co-processor provides up to 15,000x acceleration on long read assembly;liquid silicon-Monona: a reconfigurable memory-oriented computing fabric with scalable multi-context support;exploiting dynamic thermal energy harvesting for reusing in smartphone with mobile applications;quantum computing is getting real: architecture, PL, and OS roles in closing the gap between quantum algorithms and machines;DAMN: overhead-free IOMMU protection for networking;statistical reconstruction of class hierarchies in binaries;FCatch: automatically detecting time-of-fault bugs in cloud systems;and LTRF: enabling high-capacity register files for GPUs via hardware/software cooperative register prefetching.

关键词：

来源：评论

学校读者我要写书评

暂无评论

JSCore: Architectural Support for Accelerating JavaScript Execution (Short WIP Paper) 2018

JSCore: Architectural Support for Accelerating JavaScript Ex...

引用

ACM SIGPLAN/SIGBED conference on languages, Compilers, and Tools for Embedded systems (LCTES)

作者： Chadha, Gaurav Oracle Amer Inc Redwood City CA 94065 USA

ISBN: (纸本)9781450358033

JavaScript has seen meteoric growth in popularity as it has increasingly become the language of choice for developers, both for front-end web development and server code development through various JavaScript frameworks and ***. Part of the reason for its wide use is that it is a prototype based language with dynamic types, making it easy to learn and program in. This flexibility and ease of programming comes at the cost of performance. There are two sources of significant slowdown. First, since the number and type of properties of prototypes is dynamic, accessing a property involves a slow dictionary lookup, as opposed to it being present at a fixed offset from the base address. Second, the dynamism in type of values necessitates wrapping and unwrapping of values into objects with a variety of checks including for type of the value. To mitigate these performance problems, this paper proposes JSCore, a core specialized for JavaScript execution, that vastly reduces the performance degradation due to the above two causes. It uses a hardware lookup table to accelerate property access, and extends the data path to store data types with the data, nearly eliminating the second source of slowdown. Combining the two, JSCore accelerates real world JavaScript applications by 23%.

关键词： JavaScript Microarchitecture Property and object access

来源：评论

学校读者我要写书评

暂无评论

Software Engineering by Source Transformation – Experience with TXL (Most Influential Paper, SCAM 2001)

Software Engineering by Source Transformation – Experience ...

引用

IEEE International Workshop on Source Code Analysis and Manipulation

作者： James R. Cordy Thomas R. Dean Andrew Malton Kevin A. Schneider Queen's University Kingston Canada Blackberry Waterloo Canada University of Saskatchewan Saskatoon Saskatchewan Canada

It has been 30 years since the first publication of TXL, and almost that long since its first public release in the *** newsgroup in 1991. TXL's original purpose was to provide rapid prototyping of new programming languages and dialects by source-to-source syntactic transformation from new language features to old, and the first applications of TXL demonstrated its use in prototyping new features of the Turing programming language such as objects, polymorphism and interval arithmetic. Very rapidly it became apparent that TXL could be used for much more than that, and we quickly began to explore its wider application in software engineering, in particular to design recovery and code generation from models. With the arrival of the Year 2000 challenge in the mid -90s, TXL made its transition to industrial practice, and was used to analyze and reprogram billions of lines of Cobol, RPG and PL/I code at Legasys Corp and IBM Global Services in the years leading up to 2000.

关键词： Cloning object oriented modeling Software Computational modeling Software engineering Rapid prototyping Unified modeling language

来源：评论

学校读者我要写书评

暂无评论

Improving availability in distributed tuple spaces via sharing abstractions and replication strategies 26

Improving availability in distributed tuple spaces via shari...

引用

26th Euromicro International conference on Parallel, Distributed, and Network-Based Processing (PDP)

作者： Buravlev, Vitaly De Nicola, Rocco Lafuente, Alberto Lluch Mezzina, Claudio Antares IMT Sch Adv Studies Lucca Lucca Italy Tech Univ Denmark Lyngby Denmark

ISBN: (纸本)9781538649756

Data availability is a key aspect of modern distributed systems. We discuss an extension of coordination languages based on tuple spaces with programming abstractions for sharing data and guaranteeing availability with different consistency guarantees. Data can be spread over the system according to user-specified replica placement strategies and user-specified consistency requirements. The framework takes care then of low-level management of the replicas, so that the programmer can just focus on the business logic of the application. We advocate that the proposed programming primitives are beneficial for data-oriented applications where different kinds of data may have different needs in terms of availability and consistency.

关键词： tuple space dynamic replication data consistency network

来源：评论

学校读者我要写书评

暂无评论

RETRO-λ: An Event-sourced Platform for Serverless applications with Retroactive Computing Support 18

RETRO-λ: An Event-sourced Platform for Serverless Applicati...

引用

12th ACM International conference on Distributed and Event-Based systems (DEBS)

作者： Meissner, Dominik Erb, Benjamin Kargl, Frank Tichy, Matthias Ulm Univ Inst Distributed Syst Ulm Germany Ulm Univ Inst Software Engn & Programming Languages Ulm Germany

ISBN: (纸本)9781450357821

State changes over time are inherent characteristics of stateful applications. So far, there are almost no attempts to make the past application history programmatically accessible or even modifiable. This is primarily due to the complexity of temporal changes and a difficult alignment with prevalent programming primitives and persistence strategies. Retroactive computing enables powerful capabilities though, including computations and predictions of alternate application timelines, post-hoc bug fixes, or retroactive state explorations. We propose an event-driven programming model that is oriented towards serverless computing and applies retroaction to the event sourcing paradigm. Our model is deliberately restrictive, but therefore keeps the complexity of retroactive operations in check. We introduce RETRO-lambda, a runtime platform that implements the model and provides retroactive capabilites to its applications. While RETRO-lambda only shows negligible performance overheads compared to similar solutions for running regular applications, it enables its users to execute retroactive computations on the application histories as part of its programming model.

关键词： event sourcing retroactive computing event processing serverless computing event-driven architecture retroaction

来源：评论

学校读者我要写书评

暂无评论

BeagleBone black for embedded measurement and control applications 125

BeagleBone black for embedded measurement and control applic...

引用

125th ASEE Annual conference and Exposition

作者： Strom, Stephen A. Loker, David R. Pennsylvania State University Electrical and Computer Engineering Technology Department Erie United States

Lower-division courses in an Electrical and Computer Engineering Technology (ECET) program provide the background needed for introductory programming and embedded microprocessors. A C/C++ programming course emphasizes the software development process, language constructs, algorithms, and structured procedural design and possibly object oriented design. A microprocessor based course covers software design in C for input and output interfacing for various applications. For IoT applications, there is a need in upper-division courses to cover new, powerful, and inexpensive system-on-a-chip (SoC) devices that are capable of performing the responsibilities of a computer on a single chip and can be used in a variety of courses. One such device, the BeagleBone Black (BBB), is an open-source Linux platform that contains a variety of busses (SPI, I2C, CAN), general purchase I/O pins, serial ports, PWM outputs, and analog inputs. The intent of this paper is to demonstrate the usage of the BBB in a variety of upper division courses, illustrating several applications. Some potential courses include measurements and instrumentation, wireless communications, control systems, and advanced microprocessors. Labs covered with the BBB include digital and analog I/O operations, UART interface, TCP/IP interface, touch screen display, and student chosen end-of-semester lab projects. programming is achieved using C++ and Python. Several of these labs will be discussed in this paper, along with schematics, configurations, and results. © American Society for Engineering Education, 2018.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共487页 << < 16 17 18 19 20 21 22 23 24 25 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：