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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

161 篇 期刊文献
158 篇 会议
3 篇 学位论文
2 册 图书

馆藏范围

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

日期分布

学科分类号

291 篇 工学
- 239 篇 计算机科学与技术...
- 79 篇 电气工程
- 66 篇 软件工程
- 22 篇 信息与通信工程
- 15 篇 控制科学与工程
- 8 篇 环境科学与工程（可...
- 7 篇 机械工程
- 3 篇 土木工程
- 3 篇 水利工程
- 3 篇 交通运输工程
- 2 篇 动力工程及工程热...
- 2 篇 化学工程与技术
- 2 篇 石油与天然气工程
31 篇 理学
- 16 篇 数学
- 9 篇 物理学
- 2 篇 大气科学
- 2 篇 系统科学
- 1 篇 化学
- 1 篇 地球物理学
- 1 篇 地质学
- 1 篇 生物学
- 1 篇 统计学（可授理学、...
29 篇 管理学
- 26 篇 管理科学与工程(可...
- 4 篇 工商管理
- 2 篇 公共管理
10 篇 经济学
- 6 篇 应用经济学
- 5 篇 理论经济学
3 篇 法学
- 3 篇 社会学
3 篇 教育学
- 2 篇 心理学(可授教育学...
- 1 篇 教育学
2 篇 医学
1 篇 农学

主题

324 篇 programming mode...
13 篇 consensus
13 篇 cloud computing
11 篇 programming
11 篇 group decision m...
11 篇 gpu
10 篇 parallel program...
9 篇 runtime system
9 篇 dataflow
9 篇 opencl
9 篇 distributed comp...
8 篇 performance
8 篇 runtime
8 篇 mpi
8 篇 additive consist...
8 篇 heterogeneous co...
8 篇 middleware
7 篇 computer archite...
7 篇 mapreduce
7 篇 design

机构

10 篇 cent s univ sch ...
10 篇 cent south univ ...
7 篇 barcelona superc...
6 篇 nanjing audit un...
4 篇 hunan univ comme...
4 篇 beijing wuzi uni...
3 篇 nanjing univ inf...
3 篇 oak ridge natl l...
3 篇 lancaster univer...
3 篇 nanjing univ inf...
3 篇 politecn milan d...
3 篇 north carolina s...
3 篇 cent s univ sch ...
3 篇 ohio state univ ...
3 篇 shanghai univ sc...
2 篇 inria
2 篇 univ edinburgh c...
2 篇 tech univ crete ...
2 篇 vimar spa marost...
2 篇 ecole polytech f...

作者

21 篇 meng fanyong
14 篇 tang jie
7 篇 badia rosa m.
7 篇 giorgi roberto
6 篇 jin zheming
5 篇 mendelson avi
4 篇 chen xiaohong
4 篇 xu zeshui
4 篇 tan chunqiao
4 篇 vetter jeffrey s...
4 篇 zhang shaolin
4 篇 lordan francesc
4 篇 sarkar vivek
4 篇 ayguade eduard
3 篇 fornaciari willi...
3 篇 samuel h. christ...
3 篇 cristal adrian
3 篇 an qingxian
3 篇 mencagli gabriel...
3 篇 forsell martti

语言

305 篇 英文
16 篇 其他
3 篇 中文

检索条件"主题词=Programming Model"

共 324 条记录，以下是231-240 订阅

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

详细简洁

排序：

Integrated Optimization for Supply Chain with Facility Disruption

Integrated Optimization for Supply Chain with Facility Disru...

引用

10th IEEE International Conference on Mechatronics and Automation (ICMA)

作者： Wang, Yong Ming Yin, Hong Li Kunming Univ Sci & Technol Fac Management & Econ Kunming 650093 Peoples R China Yunnan Normal Univ Sch Comp Sci & Informat Kunming 650093 Peoples R China

ISBN: (纸本)9781467355605

Supply chain optimization models typically assume that facilities never fail. However, in the real world cases facilities are always subject to disruptions of various sorts due to natural disasters, strikes, machine breakdowns, power outages, and other factors. This paper investigates an integrated supply chain optimization problem that optimizes facility locations, customer allocations, and inventory management decisions when facilities are subject to disruption risks. When a facility fails, its customers may be reassigned to other operational facilities in order to avoid the high penalty costs associated with losing service. The problem is formulated as a mixed integer nonlinear programming to minimize the sum of the expected total costs. The model simultaneously determines the location of distribution centres and the allocation of disruption affected customer to distribution centres. In order to solve the proposed model, an effective solution approach based on genetic algorithm is presented. Finally, computational results for several instances of the problem are given to validate the effectiveness of the proposed model and algorithm.

关键词： Supply chain Facility disruption programming model Genetic algorithm

来源：评论

学校读者我要写书评

暂无评论

Mimic: UI Compatibility Testing System for Android Apps 19

Mimic: UI Compatibility Testing System for Android Apps

引用

41st IEEE/ACM International Conference on Software Engineering (ICSE)

作者： Ki, Taeyeon Park, Chang Min Dantu, Karthik Ko, Steven Y. Ziarek, Lukasz SUNY Buffalo Dept Comp Sci & Engn Buffalo NY 14260 USA

ISBN: (纸本)9781728108698

This paper proposes Mimic, an automated UI compatibility testing system for Android apps. Mimic is designed specifically for comparing the UI behavior of an app across different devices, different Android versions, and different app versions. This design choice stems from a common problem that Android developers and researchers face how to test whether or not an app behaves consistently across different environments or internal changes. Mimic allows Android app developers to easily perform backward and forward compatibility testing for their apps. It also enables a clear comparison between a stable version of app and a newer version of app. In doing so, Mimic allows multiple testing strategies to be used, such as randomized or sequential testing. Finally, Mimic programming model allows such tests to be scripted with much less developer effort than other comparable systems. Additionally, Mimic allows parallel testing with multiple testing devices and thereby speeds up testing time. To demonstrate these capabilities, we perform extensive tests for each of the scenarios described above. Our results show that Mimic is effective in detecting forward and backward compatibility issues, and verify runtime behavior of apps. Our evaluation also shows that Mimic significantly reduces the development burden for developers.

关键词： Mobile apps UI compatibility testing Parallel testing programming model

来源：评论

学校读者我要写书评

暂无评论

High-Throughput Stream Processing with Actors 10

High-Throughput Stream Processing with Actors

引用

10th International Workshop on programming Based on Actors, Agents, and Decentralized Control (AGERE)

作者： Rinaldi, Luca Torquati, Massimo Mencagli, Gabriele Danelutto, Marco Univ Pisa Comp Sci Dept Pisa Italy

ISBN: (纸本)9781450381857

The steady growth of data volume produced as continuous streams makes paramount the development of software capable of providing timely results to the users. The Actor model (AM) offers a high-level of abstraction suited for developing scalable message-passing applications. It allows the application developer to focus on the application logic moving the burden of implementing fast and reliable inter-Actors message-exchange to the implementation framework. In this paper, we focus on evaluating the model in high data rate streaming applications targeting scale-up servers. Our approach leverages Parallel Pattern (PP) abstractions to model streaming computations and introduces optimizations that otherwise could be challenging to implement without violating the Actor model's semantics. The experimental analysis demonstrates that the new implementation skeletons we propose for our PPs can bring significant performance boosts (more than 2x) in high data rate streaming applications implemented in CAF.

关键词： Actor model Parallel Patterns Data Stream Processing programming model Multi-Cores

来源：评论

学校读者我要写书评

暂无评论

Logical Time for Reactive Software

Logical Time for Reactive Software

引用

Cyber-Physical Systems and Internet-of-Things Week (CPS-IoT Week)

作者： Lohstroh, Marten Lee, Edward A. Edwards, Stephen A. Broman, David Univ Calif Berkeley Berkeley CA 94720 USA Columbia Univ New York NY USA KTH Royal Inst Technol Stockholm Sweden

ISBN: (纸本)9798400700491

Timing is an essential feature of reactive software. It is not just a performance metric, but rather forms a core part of the semantics of programs. This paper argues for a notion of logical time that serves as an engineering model to complement a notion of physical time, which models the physical passage of time. programming models that embrace logical time can provide deterministic concurrency, better analyzability, and practical realizations of timing-sensitive applications. We give definitions for physical and logical time and review some languages and formalisms that embrace logical time.

关键词： timing reactive systems programming model software

来源：评论

学校读者我要写书评

暂无评论

Accessible Near -Storage Computing with FPGAs 20

Accessible Near -Storage Computing with FPGAs

引用

15th European Conference on Computer Systems (EuroSys)

作者： Schmid, Robert Plauth, Max Wenzel, Lukas Eberhardt, Felix Polze, Andreas Univ Potsdam Hasso Plattner Inst Potsdam Germany

ISBN: (纸本)9781450368827

Data transfers impose a major bottleneck in heterogenous system architectures. As a mitigation strategy, compute resources can be introduced in places where data occurs naturally. The increased diversity of compute resources in turn affects programming models and practicalities of software development for near-data compute kernels and raises the question of how those resources can be made accessible to users and applications. We introduce the Metal FS framework to improve the accessibility of FPGA-based near-storage accelerators: Firstly, we present a near-storage-compute-aware file system that enables self-contained, reusable compute kernels to operate on the granularity of file data streams. Secondly, we provide an integrated build process for FPGA overlay images that starts with the acquisition of compute kernels through a package manager and finally allows to dynamically configure near-storage compute pipelines consisting of them. Thirdly, we integrate the framework into Linux as a file system driver and repurpose UNIX Pipes as a well-known operating system primitive to orchestrate near -storage compute pipelines.

关键词： Near -Storage Computing Near -Data Processing FPGA programming model Data -Flow Paradigm

来源：评论

学校读者我要写书评

暂无评论

An Automated Mapping of Timed Functional Specification to A Precision Timed Architecture 08

An Automated Mapping of Timed Functional Specification to A ...

引用

12th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications

作者： Forbes, Shanna-Shaye Patel, Hiren D. Lee, Edward A. Andrade, Hugo A. Univ Calif Berkeley Dept Elect Engn & Comp Sci 545 Cory Hall Berkeley CA 94720 USA Natl Instruments Corp Berkeley CA 94704 USA

ISBN: (纸本)9780769534251

Most common real-time embedded programming languages provide a means to specify functionality;however, they have few constructs to specify precise timing constraints. LabVIEW is one example ( fa graphical programming language that supports timing specifications in the form of timed-loops. In this work, we present a plug-in for LabVIEW Embedded that maps the LabVIEW G graphical programming language and its timing specifications to the PREcision Timed machine (PRET), an architecture that exposes timing instructions in its instruction set architecture. We demonstrate the use of the plug-in with a simple producer/consumer example that uses timing to enforce synchronization.

关键词： programming model

来源：评论

学校读者我要写书评

暂无评论

DataMods: Programmable File System Services

DataMods: Programmable File System Services

引用

25th ACM/IEEE International Conference for High Performance Computing, Networking, Storage and Analysis (SC)

作者： Watkins, Noah Maltzahn, Carlos Brandt, Scott Manzanares, Adam Univ Calif Santa Cruz Santa Cruz CA 95064 USA Calif State Univ Chico Chico CA 95929 USA

ISBN: (纸本)9780769549569;9781467362184

As applications become more complex, and the level of concurrency in systems continue to rise, developers are struggling to scale complex data models on top of a traditional byte stream interface. Middleware tailored for specific data models is a common approach to dealing with these challenges, but middleware commonly reproduces scalable services already present in many distributed file systems. We present DataMods, an abstraction over existing services found in large-scale storage systems that allows middleware to take advantage of existing, highly tuned services. Specifically, DataMods provides an abstraction for extending storage system services in order to implement native, domain-specific data models and interfaces throughout the storage hierarchy.

关键词： programming model active storage distributed file system

来源：评论

学校读者我要写书评

暂无评论

On the model of OoS multicast routing problems in active networks

On the model of OoS multicast routing problems in active net...

引用

2nd International Conference on Computer Networks and Mobile Computing

作者： Yu, ZW Pan, Y Wang, LC China Univ Min & Technol Beijing Beijing 100083 Peoples R China

ISBN: (纸本)0769520332

In this paper, we propose the concept of order of services (OoS) and construct the programming model of OoS multicast routing in active networks. We also give methods to assure services and to compute the violation degree of OoS. Then, based on an improved prufer encoding method, we design a novel genetic algorithm for the new model. The complexities of encoding and decoding of our algorithm do not exceed O(n(2)). A great number of numerical experiments suggest that our algorithm is feasible and efficient.

关键词： active networks genetic algorithms telecommunication network routing encoding multicast communication OoS order of services multicast routing active networks programming model violation degree prufer encoding method genetic algorithm

来源：评论

学校读者我要写书评

暂无评论

Exploring Dataflow-based Thread Level Parallelism in Cyber-Physical Systems (invited paper) 16

Exploring Dataflow-based Thread Level Parallelism in Cyber-P...

引用

ACM International Conference on Computing Frontiers (CF)

作者： Giorgi, Roberto Univ Siena Dept Informat Engn & Math Siena Italy

ISBN: (纸本)9781450341288

Smart Cyber-Physical Systems (SCPS) aim not only at integrating computational platforms and physical processes, but also at creating larger "systems of systems" capable of satisfying multiple critical constraints such as energy efficiency, high-performance, safety, security, size and cost. The AXIOM project aims at designing such systems by focusing on low-cost Single Board Computers (SBC), based on current System-on-Chips (SoC) that include both programmable logic (FPGA), multi-core CPUs, accelerators and peripherals. A dataflow execution model, partially developed in the TERAFLUX project, brings a more predictable and reliable execution. The goals of AXIOM include: i) the possibility to easily program the system with a shared-memory model based on OmpSs;ii) the possibility of scaling up the system through a custom but inexpensive interconnect;iii) the possibility of accelerating a specific function on a single or multiple FPGAs of the system. The dataflow execution model operates at thread-level granularity. In this paper the AXIOM execution model and the related memory memory model is further detailed. The memory model is key for the execution of threads while reducing the need of data transfers. The preliminary results confirm the scalability of this model.

关键词： Thread-Level Parallelism Dataflow Cyber-Physical System Scalability Distributed Shared Memory programming model

来源：评论

学校读者我要写书评

暂无评论

Evaluation of Blue Gene/Q Hardware Support for Transactional Memories 12

Evaluation of Blue Gene/Q Hardware Support for Transactional...

引用

21st International Conference on Parallel Architectures and Compilation Techniques (PACT)

作者： Wang, Amy Gaudet, Matthew Wu, Peng Amaral, Jose Nelson Ohmacht, Martin Barton, Christopher Silvera, Raul Michael, Maged IBM Toronto Software Lab Markham ON Canada Univ Alberta Dep Comp Sci Edmonton AB Canada IBM Res Yorktown Hts NY USA

ISBN: (纸本)9781450311823

This paper describes an end-to-end system implementation of the transactional memory (TM) programming model on top of the hardware transactional memory (HTM) of the Blue Gene/Q (BG/Q) machine. The TM programming model supports most C/C++ programming constructs on top of a best-effort HTM with the help of a complete software stack including the compiler, the kernel, and the TM runtime. An extensive evaluation of the STAMP benchmarks on BG/Q is the first of its kind in understanding characteristics of running coarse-grained TM workloads on HTMs. The study reveals several interesting insights on the overhead and the scalability of BG/Q HTM with respect to sequential execution, coarse-grain locking, and software TM.

关键词： Hardware Transactional Memories programming model Run-time System Software Support

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共33页 << < 20 21 22 23 24 25 26 27 28 29 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：