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

Multicore Software Engineering, Performance, and Tools 1

丛书名： Lecture Notes in computer Science

1000年

作者： Victor Pankratius Michael Philippsen

ISBN: (数字)9783642312021

ISBN: (纸本)9783642312014

This book constitutes the refereed proceedings of the International Conference on Multiscore Software Engineering, Performance, and Tools, MSEPT 2012, held in Prague in May/June 2012. The 9 revised papers, 4 of which are short papers were carefully reviewed and selected from 24 submissions. The papers address new work on optimization of multicore software, program analysis, and automatic parallelization. They also provide new perspectives on programming models as well as on applications of multicore systems.

关键词： Special Purpose and Application-Based Systems System Performance and Evaluation Software Engineering programming Languages, Compilers, Interpreters Operating Systems programming Techniques

来源：评论

学校读者我要写书评

暂无评论

Information technology of remote monitoring and control

Information technology of remote monitoring and control

引用

2021 IEEE International Conference on Electrical, computer, Communications and Mechatronics Engineering, ICECCME 2021

作者： Mnushka, Oksana Savchenko, Volodymyr Leonov, Serhii Shaposhnikova, Olena Kharkiv National Automobile and Highway University Computer Technology and Mechatronics Department Kharkiv Ukraine Globallogic Ukraine Kharkiv Ukraine National Technical University 'Kharkiv Polytechnical Institute' Computer Engineering and Programming Department Kharkiv Ukraine

ISBN: (纸本)9781665412629

Remote monitoring of objects or technological processes is used in many industries and service-oriented companies to obtain up-to-date information about the state of things or technical processes. The article is devoted to developing, analyzing, and implementing information technology (IT) for remote monitoring. The high-level design of IT and system for its implementation is based on the IDEF0 Functional Modeling methodology that describes the system hierarchy and establishes horizontal links between various activities. The achieved results confirm the possibility of implementing the proposed technology. The results will be of interest to technical specialists involved in the development of relevant applications but also to business analysts and managers for a better understanding of modern applied information technologies. © 2021 IEEE.

关键词： Remote control

来源：评论

学校读者我要写书评

暂无评论

High-speed migration by anticipative mobility

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2003年 2913卷 500-510页

作者： Stoops, Luk Verelst, Karsten Mens, Tom D'Hondt, Theo Department of Computer Science Programming Technology Laboratory Vrije Universiteit Brussel Belgium

In the advent of ambient intelligence, introducing ubiquitous mobile systems and services in general and mobile code in particular, network latency becomes a critical factor, especially in wireless, low-bandwidth environments. This paper investigates anticipative mobility, a high performance computing technique that exploits parallelism between loading and execution of applications to reduce network latency. The technique sends the mobile application code anticipative to the remote host, long before the actual migration is requested. Then, at the actual migration, we won't transfer the complete application anymore but only the delta of the current computational state with the already migrated computational state. Our experiments show that some applications can migrate in 2% of their original migration time. This allows applications to migrate very fast from host to host without a significant loss of execution time during the migration phase. © Springer-Verlag Berlin Heidelberg 2003.

关键词： Ambient intelligence

来源：评论

学校读者我要写书评

暂无评论

Modular Fault Diagnosis in Fixed-Block Railway Signaling Systems

引用

IFAC-PapersOnLine 2016年第3期49卷 459-464页

作者： Durmus, Mustafa S. Ustoglu, lker Tsarev, Roman Y. Schwarz, Michael Electrical and Electronics Engineering Department Pamukkale University Denizli Turkey Control and Automation Engineering Department Yildiz Technical University Istanbul Turkey Institute of Space and Information Technology Siberian Federal University Krasnoyarsk Russia Computer Architecture and System Programming Kassel University Kassel Germany

The diagnosis of possible faults in railway signaling systems is an important issue to provide safe travel and transportation in railways. Signaling system designers have to consider the possible faults which may occur in railway field components both on the requirements preparation phase and on the development phase of the signaling system software or namely, the interlocking system. Although the diagnosis of different unobservable faults is relatively hard, especially for large scale railway fields, this complexity can be overcome by using the Discrete Event System (DES) based modular diagnosis approach which is explained in this paper. The main advantage of using such modular approach for fault diagnosis in fixed-block signaling systems is the inspection of the diagnosability of the whole system with respect to its subsystems (railway field components). In this study, the diagnosability of the railway field equipment and the whole system is also explained with a case study. © 2016

关键词： Fault detection Discrete event simulation Failure analysis Railroad signal systems Railroads Signaling Development phase Field components Field equipment Fixed block signaling Interlocking systems Modular approach Railway signaling systems Signaling systems

来源：评论

学校读者我要写书评

暂无评论

A Method for Forecasting the Demand for Pharmaceutical Products in a Distributed Pharmacy Network Based on an Integrated Approach Using Fuzzy Logic and Neural Networks

A Method for Forecasting the Demand for Pharmaceutical Produ...

引用

International Conference on Intelligent and Fuzzy Systems, INFUS 2020

作者： Oglu, Alekperov Ramiz Balashirin Kizi, Isgandarova Ilhama Tarlan Information Technology and Programming Azerimed LLC BakuAZ1147 Azerbaijan Department of Computer Engineering Odlar Yurdu University BakuAZ1072 Azerbaijan

ISBN: (纸本)9783030511555

This article discusses the use of fuzzy logic and a neural network to predict the demand for pharmaceutical products in a distributed network, in conditions of insufficient information, a large assortment and the influence of risk factors. A comprehensive approach to solving forecasting problems is proposed using: the theory of fuzzy logic - when forecasting emerging and unmet needs and a neural network - if there is a lot of retrospective information about the actual sale of drugs and drugs. Using this approach to solve the problems of forecasting demand allows you to get statistics and experience. The general algorithm, mathematical interpretation and examples of forecasting the demand for pharmaceutical products in the face of uncertainty of information are given, and the general structure of the system for forecasting the demand for drugs is described. © 2021, The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Uncertainty analysis

来源：评论

学校读者我要写书评

暂无评论

Software transactional memory

引用

Queue 2008年第5期6卷 46-58页

作者： Cascaval, Calin Blundell, Colin Michael, Maged Cain, Harold W. Wu, Peng Chiras, Stefanie Chatterjee, Siddhartha Programming models and tools for scalable systems IBM's T.J. Watson Research Center University of Pennsylvania IBM's Systems and Technology Group Austin Research Laboratory Department of Computer Science University of Texas Austin United States

No abstract available

关键词：

来源：评论

学校读者我要写书评

暂无评论

Evaluating Keyphrase Extraction Methods for Clustering Influenza-Related Scientific Papers 8

Evaluating Keyphrase Extraction Methods for Clustering Influ...

引用

8th International Iranian Conference on Signal Processing and Intelligent Systems, ICSPIS 2022

作者： Forghani, Majid Firstkov, Artyom Alyannezhadi, Mohammad. M. Forghani, Kazem Krasovskii Institute of Mathematics & Mechanics Mathematical Programming Lab. Yekaterinburg Russia University of Science and Technology of Mazandaran Department of Science Behshahr Iran Iran University of Science and Technology Computer Science Department Tehran Iran

ISBN: (纸本)9781665476232

The number of annual scientific publications is growing year by year, which has led to the accumulation and formation of large databases. This increases the complexity of the search for relevant articles. Modern search engines leverage keyphrases to improve the performance of search results. Keyphrases (or keywords) are a set of single or multi-word expressions which provide a very compact summary of contents and describe the overall topic of a document. Implementation of keyphrase extraction can be varied for specific-domain databases. This motivated us to evaluate these methods on a database of influenza scientific literature. In this work, we considered 9 well known methods for extracting keyphrases. Our preliminary results show txhat graph-based methods which employ topics outperform others using our database. We also determined that influenza-related papers can be grouped into three general topics: public health & medical care;molecular biology & immunology;and phylogenetic & epidemiological studies. © 2022 IEEE.

关键词： Database systems

来源：评论

学校读者我要写书评

暂无评论

A proof-theoretic approach to logic programming. I. Clauses as rules

引用

Journal of Logic and Computation 1990年第2期1卷 261-283页

作者： Hallnäs, Lars Schroeder-Heister, Peter Programming Methodology Group Department of Computer Science Chalmers University of Technology Sweden Universität Tubingen 7400 Tubingen FRG Germany University of Göteborg 412 96 Goteborg Sweden

In this paper definite Horn clause programs are investigated within a proof-theoretic framework;program clauses being considered rules of a formal system. Based on this approach, the soundness and completeness of SLD-resolution is established by purely proof-theoretic methods. Extended Horn clauses are defined as rules of higher levels and related to an approach based on implication formulae in the bodies of clauses. In a further extension, which is treated in Part II of this series, program clauses are viewed as clauses in inductive definitions of atoms, justifying an additional inference schema: a reflection principle that roughly corresponds to interpreting the program clauses as introduction rules in the sense of natural deduction. The evaluation procedures for queries with respect to the defined extensions of definite Horn clause programs are shown to be sound and complete. The sequent calculus with the general elimination schema even permits the introduction of a genuine notion of falsity which is not defined via a meta-rule. © 1990 Oxford University Press.

关键词： Inductive definition Logic programming Proof theory Rule

来源：评论

学校读者我要写书评

暂无评论

On-demand content delivery grid

On-demand content delivery grid

引用

5th International Conference on Information technology and Applications, ICITA 2008

作者： Luk, Vincent Wing-Hei Chan, Jacky Ng, Kam-Wing Wong, Albert Kai-Sun Department of Electronic and Computer Engineering Hong Kong University of Science and Technology Hong Kong Programming Practices Laboratory Department of Computer Science and Engineering Chinese University of Hong Kong Hong Kong Department of Computer Science and Engineering Chinese University of Hong Kong Hong Kong

ISBN: (纸本)9780980326727

In this paper, we propose an On-Demand Content Delivery Grid system that supplements the traditional content delivery network to deal with problems such as the huge influx of network traffic in a short period of time and the high cost in renting a fixed number of servers. We present its system architecture and describe its implementation in details. An experimental high-definition movie streaming site was setup using our content delivery grid system to demonstrate its capabilities with performance analysis.

关键词： Grid computing

来源：评论

学校读者我要写书评

暂无评论

Scheduling Algorithm to Select Optimal Programme Slots in Television Channels: A Graph Theoretic Approach

引用

International Journal of Applied and Computational Mathematics 2017年第3期3卷 1931-1950页

作者： Pal, Madhumangal Pal, Anita Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore 721 102 India Department of Mathematics National Institute of Technology Durgapur Mahatma Gandhi Avenue Durgapur 713 209 West Bengal India

In this paper, it is shown that all programmes of all television channels can be modelled as an interval graph. The programme slots are taken as the vertices of the graph and if the time duration of two programme slots have non-empty intersection, the corresponding vertices are considered to be connected by an edge. The number of viewers of a programme is taken as the weight of the vertex. A set of programmes that are mutually exclusive in respect of time scheduling is called a session. We assume that a company sets the objective of selecting the popular programmes in k parallel sessions among different channels so as to make its commercial advertisement reach the maximum number of viewers, that is, a company selects k suitable programme slots simultaneously for advertisement. The aim of the paper is, therefore, to help the companies to select the programme slots, which are mutually exclusive with respect to the time schedule of telecasting time, in such a way that the total number of viewers of the selected programme in k parallel slots rises to the optimum level. It is shown that the solution of this problem is obtained by solving the maximum weight k-colouring problem on an interval graph. An algorithm is designed to solve this just-in-time optimization problem using O(kMn ² ) time, where n and M represent the total number of programmes of all channels and the upper bound of the viewers of all programmes of all channels respectively. The problem considered in this paper is a daily life problem which is modeled by k-colouring problem on interval graph. © 2016, Springer India Pvt. Ltd.

关键词： Design and analysis of algorithms Graph colouring Graph theory Interval graphs Modelling

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：