云南高校图书馆联盟文献共享服务平台- SCHEDULER

SCHEDULER: 作品数：57被引量：40H指数：3; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：姜海燕高跃明杜民陈建国贺阳更多>>; 相关机构：福州大学中国民航大学国防科学技术大学中国恩菲工程技术有限公司更多>>; 相关期刊：更多>>; 相关基金：国家自然科学基金国家高技术研究发展计划广西壮族自治区自然科学基金中国博士后科学基金更多>>

Model Checking Computation Tree Logic over Multi-Valued Decision Processes and Its Reduction Techniques: 《Chinese Journal of Electronics》2024年第6期1399-1411,共13页Wuniu LIU Junmei WANG Qing HE Yongming LI; supported by the National Natural Science Foundation of China(Grant Nos.12071271 and 11671244);the Fundamental Research Funds for the C entral Universities(Grant No.2020CSLY016)。; Model checking computation tree logic based on multi-valued possibility measures has been studied by Li et al.on Information Sciences in 2019.However,the previous work did not consider the nondeterministic choices inh...; 关键词：Multi-valued decision processes Multi-valued computation tree logic SCHEDULER Reduction techniques Model checking

Aquilo:Temperature-aware scheduler for millimeter-wave devices and networks: 《High-Confidence Computing》2024年第4期34-47,共14页Moh Sabbir Saadat Sanjib Sur Srihari Nelakuditi; supported by the NSF(CNS-1910853,MRI-2018966 and CAREER-2144505)。; Millimeter-wave is the core technology to enable multi-Gbps throughput and ultra-low latency connectivity.But the devices need to operate at very high frequency and ultra-wide bandwidth:They consume more energy,dissip...; 关键词：5G MILLIMETER-WAVE Temperature-aware design Multi-antenna scheduler

MCWOA Scheduler:Modified Chimp-Whale Optimization Algorithm for Task Scheduling in Cloud Computing被引量：1: 《Computers, Materials & Continua》2024年第2期2593-2616,共24页Chirag Chandrashekar Pradeep Krishnadoss Vijayakumar Kedalu Poornachary Balasundaram Ananthakrishnan; Cloud computing provides a diverse and adaptable resource pool over the internet,allowing users to tap into various resources as needed.It has been seen as a robust solution to relevant challenges.A significant delay ...; 关键词：Cloud computing SCHEDULING chimp optimization algorithm whale optimization algorithm

D-scheduler:A scheduler in time-triggered distributed system through decoupling dependencies between tasks and messages: 《Science China(Technological Sciences)》2024年第1期183-196,共14页YANG TingTing ZHANG YuQi YUE FengLai WUNIRI QiQiGe TONG Chao; partially supported by the National Natural Science Foundation of China(Grant Nos.62176016 and 72274127);the National Key R&D Program of China(Grant No.2021YFB2104800);Guizhou Province Science and Technology Project:Research and Demonstration of Sci.Tech Big Data Mining Technology Based on Knowledge Graph(supported by Qiankehe[2021]General 382);Teaching Reform Project of Beihang University in 2020:Standardized Teaching and Intelligent Analysis System Construction for Production Practice;Capital Health Development Research Project(Grant No.2022-2-2013);the Young Talent Development Grant of Beijing Economic-Technological Development Area(Grant No.2140030001870)。; Time-triggered architecture,as a mainstream design of the distributed real-time system,has been successfully applied in the aerospace,automotive and mechanical industries.However,time-triggered scheduling is a challen...; 关键词：time-triggered architecture time-triggered scheduling communication affinity parameter task-message decoupling model

Performance Improvement through Novel Adaptive Node and Container Aware Scheduler with Resource Availability Control in Hadoop YARN: 《Computer Systems Science & Engineering》2023年第12期3083-3108,共26页J.S.Manjaly T.Subbulakshmi; The default scheduler of Apache Hadoop demonstrates operational inefficiencies when connecting external sources and processing transformation jobs.This paper has proposed a novel scheduler for enhancement of the perfo...; 关键词：Big data HADOOP YARN hadoop distributed file system(HDFS) MapReduce scheduling fair scheduler

采用NPV Scheduler软件对某大型露天矿山进行境界优化: 《采矿技术》2023年第6期49-53,共5页程志平; 江西铜业股份有限公司德兴铜矿科研项目(DTYJ2021001)。; 某大型矿床随着开采的进行以及补充勘探的深入,加上市场的变化,使得原来的境界设计条件发生了一些变化,因此需要根据最新的边界条件对境界进行优化设计。采用NPV Scheduler软件用L-G图论法对该铜矿的最终开采境界进行了优化圈定,使得最...; 关键词：NPV Scheduler 补充勘探境界优化 L-G图论法采选成本

A Novel Energy and Communication Aware Scheduling on Green Cloud Computing: 《Computers, Materials & Continua》2023年第12期2791-2811,共21页Laila Almutairi Shabnam Mohamed Aslam; The rapid growth of service-oriented and cloud computing has created large-scale data centres worldwide.Modern data centres’operating costs mostly come from back-end cloud infrastructure and energy consumption.In clo...; 关键词：EC-scheduler green cloud energy efficiency task scheduling task sorting resource allocation

Model Checking for Probabilistic Multiagent Systems: 《Journal of Computer Science & Technology》2023年第5期1162-1186,共25页付辰 Andrea Turrini 黄小炜宋磊冯元张立军; supported by the National Natural Science Foundation of China under Grant No.61836005;the Australian Research Council under Grant Nos.DP220102059 and DP180100691。; In multiagent systems,agents usually do not have complete information of the whole system,which makes the analysis of such systems hard.The incompleteness of information is normally modelled by means of accessibility ...; 关键词：probabilistic multiagent system model checking uniform scheduler probabilistic epistemic temporal logic

Tax-Scheduler:An interactive visualization system for staff shifting and scheduling at tax authorities: 《Visual Informatics》2023年第2期30-40,共11页Linping Yuan Boyu Li Siqi Li Kam Kwai Wong Rong Zhang Huamin Qu; This research is supported by the grant FSUST19-CWB09 under the Foshan-HKUST Projects.; Given a large number of applications and complex processing procedures,how to efficiently shift and schedule tax officers to provide good services to taxpayers is now receiving more attention from tax authorities.The ...; 关键词：Staff scheduling Tax service Genetic algorithm Time series prediction

A Modified Firefly Optimization Algorithm-Based Fuzzy Packet Scheduler for MANET: 《Intelligent Automation & Soft Computing》2023年第6期2685-2702,共18页Mercy Sharon Devadas N.Bhalaji Xiao-Zhi Gao; In Mobile ad hoc Networks(MANETs),the packet scheduling process is considered the major challenge because of error-prone connectivity among mobile nodes that introduces intolerable delay and insufficient throughput wi...; 关键词：Packet scheduling firefly algorithm ad hoc networks fuzzy scheduler opnet simulator

SCHEDULER