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.
The emerging trend of network devices with configurable data planes is pushing software switches as convenient playgrounds for experimenting novel programming paradigms and abstractions. OfSoftSwitch is a popular tool for carrying on such experimentation, as it provides a straightforward implementation of a pipeline of match-action tables. Unfortunately, OfSoftSwitch is not performance oriented and...
Scientific HPC applications along with the emerging class of Big Data and Machine Learning workloads are rapidly driving the fabric scale both on premises and in the cloud. Achieving high aggregate fabric throughput is paramount to the overall performance of the application. However, achieving high fabric throughput at scale can be challenging - that is, the application communication pattern will...
The application of simulation optimization in water distribution network analysis and design is a promising method for generating solutions to existing challenges. The absence of a standard interface for coupling the open source EPANET software package to optimization algorithms increases the implementation effort and limits the comparison of results. This work presents a methodology for implementing...
The sizes of databases are increasing every day. Hence, now days, accessing data in an acceptable time is one of the biggest challenges in centralized database. In centralized databases, the records can be categorized according to the access frequencies; least accessed records (cold data) and most accessed records (hot data). In a study it shows that more than 90% cases query are requested for hot...
This paper introduces two complementary techniques, memoization-based and dependency-based incremental symbolic execution, that aim to optimize the analysis of state machine models that undergo change. We implement the two proposed techniques on IBM Rhapsody Statecharts and present some evaluation results.
Catalytic converter has become a necessity to achieve low emissions in all the C I engine driven vehicles. The design of catalytic converter has become critical which requires a thorough understanding of fluid flow inside the catalytic converter. In the present work, an attempt has been made to design and optimise the Close Coupled Catalytic converter using commercial Design software (IDEAS) and CFD...
In order to assist physicians and other health professionals for health care improvement, clinical decision support systems, through interactive computerized software, become very popular in clinical practice. The crisis associated with kidney organ shortage has triggered an innovative strategy, termed as Kidney Paired Donation (KPD) program, to address a rapidly expanding demand for donor kidneys...
In front of an increasingly competition internationalized, companies must always stay competitive. To respect the triptych "Quality-Cost-Time" design trends are moving toward a routine design. The goal of this paper will be to propose a method to change these trends and allow companies, wishing to enhance their competitiveness, to allocate more time to high value added design and innovative...
Commercial services for provisioning software components and virtual infrastructure in the cloud are emerging. For customers, this creates a multitude of possibilities for outsourcing part of the IT-stack to third parties in order to run their applications. These possibilities are associated with different running costs, so cloud customers have to determine the optimal solution. In this paper, we...
Malware signature detectors use patterns of bytes, or variations of patterns of bytes, to detect malware attempting to enter a systems. This approach assumes the signatures are both or sufficient length to identify the malware, and to distinguish it from non-malware objects entering the system. We describe a technique that can increase the difficulty of both to an arbitrary degree. This technique...
The potential of applying search-based testing principles to functional testing has been demonstrated in various cases. The focus was mainly on simulating the system under test using a model or compiled source code in order to evaluate test cases. However, in many cases only the final hardware unit is available for testing. This research presents an approach in which evolutionary functional testing...
The virtual prototyping model of Crank and Link Mechanism of Engine was constructed on ADAMS software by three dimensional model which produced on three dimensional modeling software; Through theoretical analysis of inertial force and moment of Crank and Link Mechanism, dynamical simulation was carried on in ADAMS software, and then the position of mass point of Crank and Link Mechanism of Engine...
In order to reduce development cycle, powertrain control and optimization is increasingly based on system modeling and several steps of simulation are needed. As an intermediate step, real-time simulation aim to prepare further test bed validations embedding the actual engine. This article discusses the challenge to find a real-time execution model offering the determinism needed to maintain the numerical...
With the development of communication, digital video compression technology turns into one of the most flourishing realm. In this paper the author introduces an AVS decoder design based on a multimedia chip-platform. In order to obtain the optimal performance, the structure of decoder adopts parallel algorithm with the centre processer and the coprocessor. The performance of the decoder which is about...
One main requirement for virtual organizations are short-term collaborations between business partners to provide efficient and individualized services to customers. The MOVE project targets at a methodology and a software framework to support such flexible collaborations based on process oriented design and communication by Web services. MOVEs framework supports the graphical design and verification...
It is important to define suitable indexes when optimizing a database. Usually, index is defined in the design phase of the database, and there is no guarantee for these indexes to match the future demands, especially in XML database. A new way to optimize index automatically based on the characteristic of XML document, combined with the ISP principium automaticity optimization KeyX index has been...
Dynamic binary translator (DBT) systems enable the architectural incompatible platforms to execute binaries of other architectures transparently. And binary translation and optimization are always deemed as the key techniques to constructing high performance DBT systems. Many previous optimization including fragment chaining, trace/superblock formation, translated code optimization, has been applied...
With the rise of applications in the area of software as a service it becomes crucial to operate profitable even with small profit margins. The possibility of customers to switch between different hosted solutions makes the calculation of the total cost of ownership even more important. Not only the application design is an important factor in this calculation but as well the employed storage techniques...
In this paper a BISR architecture for embedded memories is presented. The proposed scheme utilises a multiple bank cache-like memory for repairs. Statistical analysis is used for minimisation of the total resources required to achieve a very high fault coverage. Simulation results show that the proposed BISR scheme is characterised by high efficiency and low area overhead, even for high defect densities...
Building on the extensive research in Virtual Reality (VR), we are proposing a new dynamic prototype for modelling and simulating carbon emissions in a virtual village called VIRVIL. VIRVIL is a simulated settlement for the assessment of the impact of low and zero carbon technologies and measures in the built environment. The prototype will focus on the impact on the community as a whole, as well...
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.