The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Sorting has tremendous usage in the applications that handle massive amount of data. Existing techniques accelerate sorting using multiprocessors or GPGPUs where a data set is partitioned into disjunctive subsets to allow multiple sorting threads working in parallel. Hardware sorters implemented in FPGAs have the potential of providing high-speed and low-energy solutions but the partition algorithms...
Software Defined Networking (SDN) is an emerging networking paradigm which intends to merge networks into the age of the cloud, providing fine-grained control, simplified configurations, unprecedented flexibility and seamless scalability. However, due to the large set of unresolved challenges as well as the deployment cost, network evolution to fully SDN systems will take a long time. In fact, SDN...
Automatic detection of the finite state machines (FSMs) in a register transfer level (RTL) design is a widely utilised technique in logical synthesis for optimised FSM implementation and in hardware verification for the fast coverage of the control circuit. It is believed that FSM detection can also be used to explore the potential system partitions. Chosen an optimal partition, a large scale synchronous...
Business processes have been identified as effective means to developing service-based applications. It is an important and challenging research problem to check consistency between conceptual and executable business processes. Most existing approaches analyze the consistency based on qualitative equivalence relations between business processes and only provide a "true"/"false"...
With the popularization of multi-core processors, transaction memory, as a concurrent control mechanism with easy programing and high scalability, has attracted more and more attention. As a result, the reliability problems of transactional memory become a concerning issue. This paper addresses a transactional implementation of the Lu benchmark of SPLASH-2, and proposes a fault-tolerant Lu algorithm...
Regression test selection is to select a subset of existing tests to run, so as to identify the possible faults in the modified program. A promising regression test selection technique needs to be safe, that is, to select tests from the original test suite that can expose faults in the modified program under controlled regression testing. Existing safe regression test selection techniques however...
According to the strong interference in performance and the difficulty in register of the multi-color web offset press ,this paper uses the anti-interference ability of PLC and rich hardware and software resources of computer, adopting PLC and PC respectively as the on-site slave computer and host computer, at the same time, it uses camera as image acquisition tool. Based on all these above, the paper...
The purpose of this paper was to investigate Chinese learners' behaviors in self-regulated computer-assisted language learning environments in order to shed light on the role of the teacher in such environments. Fifty-one students from a metropolitan city in North China were surveyed regarding their learning behaviors in a two-year English listening learning program at a self-access language learning...
This paper introduces an embedded system of smart home development with AADL in, which is useful to analyze requirement, design software model, and verify relations between hardware and software in an embedded system. AADL is very convenient and scaleable to manage home equipment in smart home system, and enhance the developing quality of embedded software.
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.