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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

324 篇 会议
10 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

266 篇 工学
- 243 篇 计算机科学与技术...
- 187 篇 软件工程
- 34 篇 信息与通信工程
- 25 篇 生物工程
- 16 篇 生物医学工程（可授...
- 15 篇 控制科学与工程
- 13 篇 电气工程
- 12 篇 电子科学与技术（可...
- 11 篇 建筑学
- 10 篇 动力工程及工程热...
- 7 篇 土木工程
- 7 篇 环境科学与工程（可...
- 6 篇 材料科学与工程（可...
- 5 篇 机械工程
- 5 篇 仪器科学与技术
- 4 篇 力学（可授工学、理...
- 4 篇 光学工程
90 篇 理学
- 57 篇 数学
- 25 篇 生物学
- 12 篇 物理学
- 12 篇 统计学（可授理学、...
- 8 篇 系统科学
- 4 篇 大气科学
63 篇 管理学
- 35 篇 图书情报与档案管...
- 30 篇 管理科学与工程(可...
- 23 篇 工商管理
11 篇 法学
- 8 篇 社会学
7 篇 医学
- 6 篇 基础医学(可授医学...
- 6 篇 临床医学
6 篇 经济学
- 6 篇 应用经济学
5 篇 农学
3 篇 教育学
1 篇 军事学

主题

22 篇 mobile computing
12 篇 cloud computing
7 篇 ubiquitous compu...
6 篇 quantum computin...
5 篇 distributed comp...
5 篇 edge computing
4 篇 computation theo...
4 篇 application soft...
4 篇 computer archite...
4 篇 recommender syst...
4 篇 processor schedu...
4 篇 semantics
4 篇 virtual machine
3 篇 internet of thin...
3 篇 reinforcement le...
3 篇 genes
3 篇 grid computing
3 篇 computer applica...
3 篇 energy utilizati...
3 篇 computing power

机构

8 篇 school of comput...
5 篇 school of comput...
5 篇 department of co...
3 篇 school of comput...
3 篇 school of comput...
3 篇 school of comput...
2 篇 nit calicut
2 篇 hong kong polyte...
2 篇 university of be...
2 篇 key laboratory o...
2 篇 school of comput...
2 篇 university of co...
2 篇 the hong kong po...
2 篇 marquette univer...
2 篇 dept. of compute...
2 篇 computing instit...
2 篇 institute of com...
2 篇 center for relia...
2 篇 school of comput...
2 篇 university of wa...

作者

6 篇 hong jiman
5 篇 hung chih-cheng
5 篇 song enmin
4 篇 zulkernine moham...
4 篇 cho yookun
4 篇 liu hong
3 篇 kim bongjae
3 篇 varadharajan vij...
3 篇 zambonelli franc...
3 篇 ahamed sheikh iq...
3 篇 leong hong va
3 篇 rahman ataur
2 篇 song jie
2 篇 kühn eva
2 篇 sheikh iqbal aha...
2 篇 weldemariam komm...
2 篇 mayer wolfgang
2 篇 freitas fred
2 篇 claycomb william
2 篇 yu mali

语言

334 篇 英文

检索条件"任意字段=Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing"

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

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

详细简洁

排序：

Don't Hesitate to Share! A Novel IoT Data Protection Scheme Based on BGN Cryptosystem 19

Don't Hesitate to Share! A Novel IoT Data Protection Scheme ...

引用

34th acm/sigapp Annual International symposium on applied computing (SAC)

作者： Halder, Subir Conti, Mauro Univ Padua Dept Math Padua Italy

ISBN: (纸本)9781450359337

In cloud-based Internet of things (IoT), sharing of data with third-party services and other users, inherently incurs potential risk and leads to unique security and privacy concerns. Existing cryptographic solutions ensure the security of IoT data, but due to their significant computational overhead, most of them are not suitable for resource-constrained IoT devices. To address these concerns, we propose a data protection system to store encrypted IoT data in a cloud while still allowing query processing over the encrypted data. More importantly, our proposed system features a novel encrypted data sharing scheme based on Boneh-Goh-Nissim (BGN) cryptosystem, with revocation capabilities and in-situ key update. We perform exhaustive experiments on real datasets, primarily to assess the feasibility of the proposed system on resource-constrained IoT devices. We next measure the computation overhead, storage overhead and throughput. the experimental results show that our system is not only feasible, but also provides a high level of security. Furthermore, the results show that our system is 34% more computationally faster, requires 25% less storage and 15% more throughput than the best performed system in the state-of-the-art.

关键词： BGN cryptosystem Cloud computing Data security Internet of things Somewhat homomorphic encryption Secure sharing

来源：评论

学校读者我要写书评

暂无评论

Streaming Piecewise Linear Approximation for Efficient Data Management in Edge computing 19

Streaming Piecewise Linear Approximation for Efficient Data ...

引用

34th acm/sigapp Annual International symposium on applied computing (SAC)

作者： Duvignau, Romaric Gulisano, Vincenzo Papatriantafilou, Marina Savic, Vladimir Chalmers Univ Technol CTH Gothenburg Sweden

ISBN: (纸本)9781450359337

In our digitalization era, where large and continuous data streams are produced by an ever increasing number of sensors, data retrieval and storage from edge devices is hampered when data volumes exceed the communication bandwidth of cyber-physical systems. Piecewise Linear Approximation (PLA), which trades space against precision by representing some portion of data by segments, could reduce the volume of transmitted and stored data and thus be beneficial to a wide range of edge/ fog system architectures, saving communication bandwidth and addressing the aforementioned drawback. Porting a well-established tool such as PLA into the streaming paradigm is nonetheless challenging, and attention has to be payed to balance achievable compression, delays and imprecision. We analyze such challenges and propose different solutions to meet them. Our main contribution is a set of streaming PLA techniques that allow compression of the input data stream on the fly, tolerating a bounded maximum error. through an experimental study based on real data, we demonstrate the superiority of our techniques in all sought aspects over preceding methods.

关键词： data compression piecewise linear approximation edge computing

来源：评论

学校读者我要写书评

暂无评论

Planning Workflow Executions when Using Spot Instances in the Cloud 19

Planning Workflow Executions when Using Spot Instances in th...

引用

34th acm/sigapp Annual International symposium on applied computing (SAC)

作者： Martinez, Richard Gil Lopes, Antonia Rodrigues, Luis Univ Lisbon IST INESC ID Lisbon Portugal Univ Lisbon FC LaSIGE Lisbon Portugal

ISBN: (纸本)9781450359337

When running workflows in the cloud it is appealing to use spot instances that can be acquired at a fraction of the cost of on-demand instances. Unfortunately, spot instances can be revoked at any time, creating uncertainty about task completion times, which is an impairment for workflows with timeliness requirements. While workflow scheduling has been subject to extensive research, the problem of optimally scheduling deadline-constraint workflows in the cloud while dealing with the uncertainty caused by spot instance revocations has not been fully addressed. In this paper, we plan the execution of workflows in cloud environments to minimize the monetary cost while being subject to timeliness constraints. Our approach constructs a Markov Decision Process (MDP) of the workflow execution and looks up for the optimal policy taking into account the user preferences in time and cost. the optimal solution is generated offline and actions selected on-the-fly, depending on the occurrence of failures due to instance revocations. Experimental results with a real-world scientific workflow application demonstrate that, in comparison to approaches that rely on simple heuristics to schedule tasks, our planning-based approach is able to generate reliable solutions that are cheaper and able to meet deadlines.

关键词： Cloud computing Spot Instances Workflow Execution Planning and Scheduling Resource Management

来源：评论

学校读者我要写书评

暂无评论

Musket: A Domain-Specific Language for High-Level Parallel Programming with Algorithmic Skeletons 19

Musket: A Domain-Specific Language for High-Level Parallel P...

引用

34th acm/sigapp Annual International symposium on applied computing (SAC)

作者： Rieger, Christoph Wrede, Fabian Kuchen, Herbert Univ Munster ERCIS Munster Germany

ISBN: (纸本)9781450359337

Parallel programming for an infrastructure of multi-core or many-core clusters is a challenge for developers without experience in this domain. Developers need to use several libraries such as MPI, OpenMP, and CUDA to efficiently use the hardware which may include additional accelerators such as GPUs. Also, performing low-level optimizations is required in order to reach high performance. One approach to overcome these issues is the concept of Algorithmic Skeletons. these are instances of typical patterns for parallel programming, such as map, fold, and zip, which can simply be composed by an application programmer without taking care of low-level programming aspects. We propose a domain-specific language called Musket that includes algorithmic skeletons as domain abstractions which seamlessly integrate with sequential code while aligning with the C++ programming language for fast learnability. For improved usability, the editing component validates the correctness of models and provides solution hints in the integrated development environment. From the naive program specification, automatic transformations are applied in order to optimize the code for parallel execution. Subsequently, low-level C++ programs are generated which are optimized for multi-core parallelism on a cluster infrastructure. We evaluate the language using benchmark models written in our DSL and compare the execution time and speedup achieved through model preprocessing and code generation. Our experimental results show that the performance of Musket programs can be significantly improved through intermediate optimizations. the DSL approach thus simplifies multi-core application development and enables performance optimizations through model transformations.

关键词： Domain-Specific Language Algorithmic Skeletons High-level Parallel Programming High Performance computing

来源：评论

学校读者我要写书评

暂无评论

Secure Container Orchestration in the Cloud: Policies and Implementation 19

Secure Container Orchestration in the Cloud: Policies and Im...

引用

34th acm/sigapp Annual International symposium on applied computing (SAC)

作者： Fernandez, Gabriel P. Brito, Andrey Tech Univ Dresden Dresden Germany Univ Fed Campina Grande Campina Grande Brazil

ISBN: (纸本)9781450359337

In the late few years, cloud computing has been moving towards becoming the predominant infrastructure paradigm because of its scale economy advantages. Consequently, a great deal of sensitive and valuable information has begun to inhabit the cloud environment. At the current stage, a large amount of organizations is yet to step to the public cloud world because, primarily, the loss of infrastructure ownership gives away control of such information, and that is generally perceived as a severe security risk. Currently available cloud security platforms fail to present a process to accomplish a secure and cloud compatible operation flow. In this work we propose a policy that enforces data security in the cloud. To implement the cloud based components of that policy we created SCO (Secure Container Orchestrator) a container orchestration engine that makes use of the most recent hardware-based trusted execution environment technologies for data protection, in our case, Intel SGX. SCO implements SGX friendly container auto-scaling schemes, load balancing routing and packs SGX compatibility features. these characteristics enable the deployment of trusted applications in alignment with standard cloud practices. We also compare SCO to the state-of-the-practice in container orchestration (Kubernetes), demonstrate the inherent costs of employing this security enhanced solution, and present a methodology to support business decisions regarding its utilization.

关键词： Cloud computing Container Orchestration Trusted Execution Environment Secure Load Balancing Identity Authentication

来源：评论

学校读者我要写书评

暂无评论

Minimizing Financial Cost of Scientific Workflows Under Deadline Constraints in Multi-Cloud Environments 19

Minimizing Financial Cost of Scientific Workflows Under Dead...

引用

34th acm/sigapp Annual International symposium on applied computing (SAC)

作者： Gao, Tianyu Wu, Chase Q. Hou, Aiqin Wang, Yongqiang Li, Ruxia Xu, Mingrui Northwest Univ Sch Informat Sci & Technol Xian 710127 Shaanxi Peoples R China New Jersey Inst Technol Dept Comp Sci Newark NJ 07102 USA

ISBN: (纸本)9781450359337

In recent years, cloud platforms have been rapidly developed and deployed around the globe and many large-scale scientific workflows have been migrated to multiple clouds for cost-effective data analysis. In such cloud-based workflow applications, financial cost is a major concern in addition to traditional performance requirements such as execution time. In this paper, we formulate a workflow mapping problem to minimize the financial cost of deadline-constrained scientific workflows executed in multi-cloud environments, referred to as MinCost-MC, which is shown to be NP-complete. Within a generic three-layer workflow execution framework, we propose a Workflow Mapping algorithm for Financial Cost Optimization, referred to as WMFCO. this algorithm takes in consideration storage requirements, I/O operations, and data transfers to minimize the financial cost of a given workflow within a specified deadline. Extensive simulation results show that WMFCO exhibits a superior performance over existing algorithms in terms of financial cost in multi-cloud environments.

关键词： Workflow mapping cloud computing cost optimization

来源：评论

学校读者我要写书评

暂无评论

My Cloudy Time Machine: A scalable microservice-based platform for data processing in Cloud-Edge systems A proof of concept for the ROBIN-Cloud project 19

My Cloudy Time Machine: A scalable microservice-based platfo...

引用

34th acm/sigapp Annual International symposium on applied computing (SAC)

作者： Neatu, Darius-Florentin Stochitoiu, Radu-Dumitru Postoaca, Andrei-Vlad Filip, Ion-Dorinel Pop, Florin Univ Polithen Bucharest Comp Sci Dept Bucharest Romania

ISBN: (纸本)9781450359337

As Cloud computing is a very well developed domain, many companies tend to move their entire activity in Cloud. At the same time, there is a tendency to move some of the data processing from Cloud to Edge as close as possible to the end devices. One main advantage of this approach is minimizing the latency in communication between the end devices and Cloud. Better usage of on premise devices is also a good achievement of the Edge offload. In this paper, we propose an architecture for applications that are connected to ROBIN-Cloud or to a general Cloud. We present how we have encapsulated Python-based microservices in Docker containers. We provide an implementation for the My Cloudy Time Machine application - GIGEL (Guided Intelligent GEared Legend), a nearby autonomous assistive robot. We use this prototype to evaluate the scalability of the proposed architecture. We also present results that show how to gain high performance by tuning a container-based embedded system.

关键词： Cloud computing Edge computing Microservices Data Processing Auto-scalability

来源：评论

学校读者我要写书评

暂无评论

proceedings of the acm symposium on applied computing

Proceedings of the ACM Symposium on Applied Computing

引用

34th Annual acm symposium on applied computing, SAC 2019

ISBN: (纸本)9781450359337

the proceedings contain 351 papers. the topics discussed include: a two-step approach to predictive modeling of individual-based environmental health risks;applying situation-awareness for recommending phonological processes in the children's speech;graph sparsification with parallelization to optimize the identification of causal genes and dysregulated pathways;resolving data interoperability in ubiquitous health profile using semi-structured storage and processing;an iterative oversampling approach for ordinal classification;student research abstract: mortality prediction using medical notes;ask toscanini! – architecting a search engine for music scores beyond metadata;hybrid molecule-based information retrieval;ensemble trees learning based improved predictive maintenance using IIoT for turbofan engines;and communication-based cooperative tasks: how the language expressiveness affects reinforcement learning.

关键词：

来源：评论

学校读者我要写书评

暂无评论

2019 34th Annual acm/IEEE symposium on Logic in Computer Science, LICS 2019

2019 34th Annual ACM/IEEE Symposium on Logic in Computer Sci...

引用

34th Annual acm/IEEE symposium on Logic in Computer Science, LICS 2019

ISBN: (纸本)9781728136080

the proceedings contain 62 papers. the topics discussed include: separation and covering for group based concatenation hierarchies;why propositional quantification makes modal logics on trees robustly hard?;higher-kinded data types: syntax and semantics;model comparison games for horn description logics;the logic of action lattices is undecidable;point-width and max-CSPs;path spaces of higher inductive types in homotopy type theory;perspective games;the geometry of Bayesian programming;categorical semantics for time travel;backprop as functor: a compositional perspective on supervised learning;descriptive complexity for minimal time of cellular automata;a sequent calculus for opetopes;and approximate span liftings: compositional semantics for relaxations of differential privacy.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Session details: theme: Information systems: WICE - Web-based technologies for interactive computing education track 19

Session details: Theme: Information systems: WICE - Web-base...

引用

proceedings of the 34th acm/sigapp symposium on applied computing

作者： Maiga Chang Hasan Jamil Athabasca University Canada University of Idaho

ISBN: (纸本)9781450359337

the Web-based Technologies for Interactive computing Education at the acm SAC is the first experimental track in SAC's 34-year tradition co-chaired by Maiga Chang and Hasan Jamil. this track is a response to the growing global realization that computer and information literacy is a basic and essential educational component needed to maintain a competitive edge in a global economy. this edition of this track has been to encourage and foster new models for conversational intelligent tutoring system for computing instruction delivery, and tutoring over the web. Overall, we aimed to offer a platform for cross fertilization of ideas from the communities of computer scientists and educational technologists toward developing smart web-based technologies and platforms for computing education.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：