This paper presents the design and development of a web-based system that allows Hungarian university students to create personalized and optimized timetables during the subject-taking period. The system is based on a...
详细信息
This paper presents techniques for the formal specification and efficient incremental implementation of spreadsheet-like tools. The spreadsheets are specified by strong attribute grammars. In this style of attribute g...
详细信息
ISBN:
(纸本)3540201025
This paper presents techniques for the formal specification and efficient incremental implementation of spreadsheet-like tools. The spreadsheets are specified by strong attribute grammars. In this style of attribute grammar programming every single inductive computation is expressed within the attribute grammar formalism. Well-known attribute grammar techniques are used to reason about such grammars. For example, ordered scheduling algorithms can be used to statically guarantee termination of the attribute grammars and to derive efficient implementations. A strong attribute grammar for a spreadsheet is defined and the first incremental results are presented.
this paper, we consider a scheduling algorithm being applied with multi-level security that allows two or more hierarchical classification levels of information to be processed simultaneously. There are various load s...
详细信息
ISBN:
(纸本)9781604234961
this paper, we consider a scheduling algorithm being applied with multi-level security that allows two or more hierarchical classification levels of information to be processed simultaneously. There are various load scheduling algorithms pre-built into the Linux Virtual Server system that have been tested and proven effective for distributing the load among the real servers. While these algorithms may work effectively, there is no current scheduling algorithm that considers a multi-level security protocol to determine which clients have access rights among the servers.
The purpose of the current study is to identify key parameters and provide reasonable guidelines for the design of an efficient route structure in the extended terminal airspace area under dense air traffic flows. Fir...
详细信息
Along with the growing diversity and complexity of real-time embedded systems, it is becoming common that different types of tasks, periodic tasks and aperiodic tasks, reside in a system. In such systems, it is import...
详细信息
A parallel optimisation technique for large join queries is presented. The technique processes the search space of query execution plans twice: the first scan is based on iterative improvement;the second scan uses the...
详细信息
In order to reduce the energy consumption of communications network and optimize the system control of necessary maintenance, the effective service strategy for optimal service-system performance are considered. A Geo...
详细信息
From the perspective of the characteristics of the elevator group control system, this paper selects the shortest distance algorithm as a scheduling strategy, and constructs elevator running model. On this basis, this...
详细信息
Behavior Tree (BT) is a behavior modeling tool derived from computer game design. It has the advantages of modularity, hierarchy, reactivity, and readability, which can be used to model the behavior of agents and impl...
详细信息
ISBN:
(纸本)9781665481106
Behavior Tree (BT) is a behavior modeling tool derived from computer game design. It has the advantages of modularity, hierarchy, reactivity, and readability, which can be used to model the behavior of agents and implement task-switching functionalities. Parallel task execution in behavior trees may encounter resource conflicts similar to those in concurrent programming. To solve the problem of resource conflicts in parallel executions of BT, the actions are usually set execution priority in advance. However, this method is not optimal for scheduling parallel tasks in many BT applications. In this paper, we propose to integrate several classic resource scheduling algorithms into a popular BT framework and evaluate it by multiple experiments. The BT resource scheduling mechanism expands the architecture of the classic behavior tree.
Cloud provides convenient and on demand network access for computing resources available over internet. Individuals and organizations can access the software and hardware such as network, storage, server and applicati...
详细信息
ISBN:
(纸本)9781467382878
Cloud provides convenient and on demand network access for computing resources available over internet. Individuals and organizations can access the software and hardware such as network, storage, server and applications which are located remotely easily with the help of Cloud Service. The tasks/jobs submitted to this cloud environment needs to be executed on time using the resources available so as to achieve proper resource utilization, efficiency and lesser makespan which in turn requires efficient task scheduling algorithm for proper task allocation. In this paper, we have introduced an Optimized Task scheduling Algorithm which adapts the advantages of various other existing algorithms according to the situation while considering the distribution and scalability characteristics of cloud resources.
暂无评论