Reservation-Based State Feedback Scheduler for Hybrid Real-Time Systems

When the traditional heterogeneous multi-core scheduling algorithm performs tasks with high resource density, a large amount of idle time often occurs on the processor core. Therefore, based on the environment of heterogeneous multi-core processors, this paper studies the static heuristic table scheduling algorithm, and proposes an optimization approach for the problem of single priority assignment and too simple task assignment. We design optimization in the static heuristic scheduling algorithm list generation phase and task allocation phase, and propose a hybrid task allocation method with three strategies to improve the standby time utilization of processor core. Then, DVFS technology is used to optimize the scheduling results, so that the task can run with lower energy consumption without increasing makespan. Finally, the new algorithm is compared with three traditional scheduling algorithms through design experiments, and it is proved that the new algorithm has better performance when executing more tasks.

Unpacking the Relationship between Prosecutors and Democracy in the United States

A summary is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.

Agile software engineering increasingly seeks to incorporate design modification and continuous refactoring in order to maintain code quality even in highly dynamic environments. However, there does not currently appear to be an industry-wide consensus on how to do this and research in this area expresses conflicting opinions. This paper presents an empirical study based upon an industry survey aimed at understanding the different ways that refactoring is thought of by the different people carrying out different roles in agile processes and how these different people weigh the importance of refactoring versus other kinds of tasks in the process. The study found good support for the importance of refactoring, but most respondents agreed that deferred refactoring impacts the agility of their process. Thus there was no universally agreed-upon strategy for planning refactoring. The survey findings also indicated that different roles have different perspectives on the different kinds of tasks in an agile process although all seem to want to increase the priority given to refactoring during planning for the iterations in agile development. Analysis of the survey raised many interesting questions suggesting the need for a considerable amount of future research.

Predicting disease progress with imprecise lab test results

This chapter asks what changes should be made, in the here and now, to improve the moral balance sheet of organizations. It introduces the notion of ‘bottom-up’ requirements on the basic structure of a society, which stem from the inner life of organizations and which aim at minimizing the risk of violations of basic moral norms. Two such ‘non-ideal’ proposals are discussed: first, improvements in the protection of individual rights against organizations, and second, a better match between organizational forms, and the pressures that come with them, and organizations with different kinds of task. For example, some organizations should be shielded from financial pressures in order to fulfil their tasks, such as care for patients, without creating grave moral risks. This is a matter of market regulation, but also of the line between public and private organizations.

In Portugal, the training of educators and teachers of the early years includes various components, requiring the conclusion of an internship report on the supervised teaching practice. In the Escola Superior de Educacao de Santarem this report includes a research component. This qualitative study analyzes the role of research conducted by future teachers and educators in mathematics with regard to their professional development, aiming to identify aspects of didactical knowledge concerning the tasks, which are evident in these reports. The data are collected by documentary analysis of the reports made in the courses that enable to teach Childhood Education to the 2nd cycle of basic education, school years 2010-2011 to 2014-2015. The studies conducted involving various mathematical topics and the use of different kinds of tasks that rely essentially on the use of manipulatives and the promotion of various representations. The study evidence shows that the investigative component, focused on teaching and learning of mathematics, allows them to develop research skills and deepen their knowledge of tasks, in particular, the analysis and reflection of its implementation with students, their productions and work in the classroom. Future teachers and educators identify gains and suggest future action strategies.

Selective and nonselective neuronal NOS inhibitors impair cognitive function in the three panel runway and passive avoidance tasks in rats

Hadoop has become true industry standard for kernel of the distributed operating system in Big data. Hadoop has picked up its prevalence because of its capacity of processing huge data, breaking down and getting to substantial measure of information, rapidly and also it is more stable technology. “Hadoop” has HDFS, YARN and Map Reduceas its core components. To supplement the Hadoop modules there are additionally an assortment of different components that give particular administrations and are extensively used to make Hadoop more available and more usable which is known as Hadoop Ecosystem. Late HadoopEco system comprises of various layers, each layer performing different kind of tasks like storing your data, processing stored data, resource allocating and supporting different programming languages to develop various applications. Granular Computing (GrC) can be considered as a common name of theories, methodologies, techniques and tools that make use of granules, i.e. groups, classes, or clusters of a universe, in the process of solving problems. Basic ideas of crisp information granulation have appeared in related fields. This paper proposes a new Ecosystem for Hadoop which can process date in image format and analyze to give proper results.

With increasing applications of image processing in manufacturing, it has become necessary to provide industry with powerful as well as flexible means of adapting the technology to the solution of different kinds of tasks at hand. Besides the standard components of an image processing system, the availability ofvarious software tools to fill the gap between design, digitization, measurement and the manufacturing phases should be emphasized. The users could e.g., desire to transfer grabbed images into certain computer graphics data format for further processing. They may want to apply image processing for the measurement of machine parts interactively or automatically, or they may want to convert the pictures processd, e.g. with edge detectors, into some CAD data format, or even to generate a numerical control file to machine the parts directly from the image processing data. With this motivation, two software packages FIPS—Flexible Image Processing System, and IQIS— Integrated QUality Inspection System have been developed for manufacturing and quality inspection and have been used by industry for various purposes from simple image digitization and processing, luminance adjustment, data and file format conversion, generation of control files for numerical control in laser cuffing, to direct control of robot movement, and interactive as well as automatic machine part measurement.

The article uses Ukraine as a case study to demonstrate various forms of organization of studies at small-sized rural schools. It mentions factors that affect shrinking of number of pupils in rural schools: demographics, external and internal labour migration. It elaborates on the notion of a «small-sized school» and names its positive features and drawbacks. It characterises the major types of small sized junior schools in rural areas: a small-sized school of the 1st grade, an educational complex «junior school-kindergarten», educational establishment «family school». The article mentions and characterises forms of education that could be used in different types of small-sized junior schools: a lesson at a small-sized school, a lesson in a joint grade (grade set), an individual form of studying. The existence of possibilities for individualized studying is a peculiarity of a lesson in a small-sized junior school. The characteristic peculiarities of a lesson in a joint grade (grade set) are the individual work, limited opportunities for the use of illustrative material, multimedia tools of studying, separate methods in every grade. Types of work are mebtioned that are advisable to use in a grade set at the stage of «individual work» (practice exercises, fulfilling tasks according to a scheme, instruction, a memo, algorithmic prescription, test tasks, different kinds of language parsing, silent reading of a text, with different kinds of tasks etc.) and «work with a teacher» (using the explanation of new material, checking students’ knowledge, skills and abilities, different kinds of reading the text, doing oral exercises, calculations, repetition of educational material etc.). The peculiarities of organization of lessons with pupils of small rural schools with an individual form of studying are described. The teaching for such students is organized based on an individual curriculum, which is based on a typical curriculum. One to five students of one or different grades may be engaged under the individual form of studying with a teacher. Depending on the duration of lessons and the number of students the following forms of work are to be chosen: teacher’s explanation, doing practice exercises, different types of work on essays and so on. In such circumstances a teacher has an opportunity to create an individual approach to students. The forms of organization of studying process at a «family school» establishment depends on the number of grades and pupils in these grades. It may be a simple lesson with few pupils, a lesson in a grade set or an individual lesson.

When we use language, we combine sounds, signs, and letters into words that then form sentences, which together tell a story. Both language production and language comprehension rely on representations that need to be continuously and rapidly activated, selected, and combined. These representations are specific to language, but many processes that regulate their use, such as inhibition of competitors or updating of working memory, are domain-general abilities that apply across different kinds of tasks. Here, we provide an overview of the behavioral and neurophysiological evidence for domain-general abilities underpinning language skills and describe which aspects of production and comprehension draw on such cognitive resources. We discuss how this line of research reveals important similarities between production and comprehension and also helps establish links between language and other cognitive domains. Finally, we argue that studying how domain-general abilities are used in language leads to important insights into the highly dynamic communication between brain networks that is necessary to successfully go from sounds to stories.

Automated and interactive theorem proving are the two main directions in the field of deduction. Most chapters of this book belong to either the one or the other, whether focusing on theory, on methods or on systems. This reflects the fact that, for a long time, research in computer-aided reasoning was divided into these two directions, driven forward by different communities. Both groups offer powerful tools for different kinds of tasks, with different solutions, leading to different performance and application profiles. Some important examples are: ACL2 (Kaufmann and Moore, 1988), HOL (Gordon, 1988), IMPS (Farmer et al., 1996), Isabelle (Paulson, 1994), KIV (Reif et al., 1997) (see also Chapter II.1.1), NQTHM (Boyer and Moore, 1979), and PVS (Owre et al., 1992) for the interactive (or tactical) theorem proving community; and KoMeT (Bibel et al., 1994), Otter (Wos et al., 1992), Protein (Baumgartner and Furbach, 1994), Setheo (Goller et al., 1994), Spass (Weidenbach et al., 1996), and 3 TAP (Beckert et al., 1996) for the automated theorem proving community.KeywordsTheorem ProverSequent CalculusSoftware VerificationAutomate Theorem ProverProof SearchThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Definition of General Requirements for Graph Visualization SoftwareThis paper contains comparative analysis of some modern graph visualization packages (for example, "Graphviz", "yFiles", "Wilmascope 3D", etc) in order to outline and characterize general requirements that could be useful for development of new graph visualization software (GVS). Relations between identified requirements and necessary related components of potential GVS are being derived. To precise these requirements there were studied an additional theoretical information sources. The main goal of this research is to improve development of new GVS providing mechanism of design templates for different kinds of tasks (for example - visualization of general graphs, diagrams, routing and communication networks, etc). The result of this research is presented in tabular form. That allows identifying the set of main components of new frameworks at early stages of software development (starting with a list of desired features and transforming it into a list of necessary components). An example of using such table in DBMS MS Access environment is provided in a study of development of imaginary GVS as a part of generic air traffic control routing system. There is made conclusion about the achieved results. It is presented information about future researches in this field.

Applying telepresence and augmented reality to teleoperate field robots