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.
Concept of algorithm is proposed using the generalized parametrical model. Described approach creates conditions for a growth of complexity characteristics set including time, hardware(object), capacitive, program and structural ones. Implementation of parametrical models is considered for specialized computer systems.
Model predictive control (MPC) has been used in a wide range of application areas including chemical engineering, food processing, automotive engineering, aerospace, and metallurgy. MPC is often computation intensive, which limits the class of systems to which it can be applied and the performance criteria it can use. This paper describes a general framework called reactive, control-integrated dataflow...
In this paper, we propose a robust and accurate algorithm based on a multimodal Sigma-Delta background estimation to extract the moving objects in image sequence of size 768 x 576 pixels taken from a static camera. Sigma-Delta estimation is used to compute two orders of temporal statistics for each pixel of the sequence providing a pixel-level decision framework. A serious limitation of this approach...
Hardware-in-the-Loop (HIL) simulation is an important method in the design and validation process of complex hardware/software systems like electronic control units (ECU) for automotive applications. In [1] we presented an approach called Chip Hardware-In-The-Loop Simulation (CHILS) to embed a microcontroller (MC) into different simulation environments. To optimize the coupling between simulation...
Functional validation is a major bottleneck in the current SOC design methodology. While specification-based validation techniques have proposed several promising ideas, the time and resources required for directed test generation can be prohibitively large. This paper presents an efficient test generation methodology using incremental satisfiability. The existing researches have used incremental...
Visibility culling is a fundamental problem in computer graphics. By combining object-space coherence with image-space coherence, this paper presents a novel algorithm for speeding up complex models rendering. The algorithm is based on the new concept of occupancy proportion (OP), which offers a simple, fast and efficient approach to visibility culling. We exploit the hardware accelerator character,...
Applications like 4G baseband modem require single-chip implementation to meet the integration and the power consumption requirements. These applications involve a high computation performance with real-time constraints, low power consumption and low cost. The concept of MPSoC is well suited to this problem. It makes it possible to adjust the architecture, by allocating the computational power where...
Many designs intermingle large memories with wide data paths and nontrivial control. Verifying such systems is challenging, and users often get little traction when applying model checking to decide full or partial end-to-end correctness of such designs. Interestingly, a subclass of these systems can be proven correct by reasoning only about a small number of the memory entries at a limited number...
Particle filter is a filter method based on Monte Carlo and recursive Bayesian estimation, which has special advantage in dealing with the state and parameter estimation in the nonlinear and non-Gaussian system. However, high computational complexity and lack of dedicated embedded DSP and ARM hardware for real-time processing have adversely affected its application in real life. In this paper, we...
We introduce an approach to coherent ray tracing based on a new stream filtering algorithm. This algorithm, which is motivated by breadth-first ray traversal and elimination of inactive ray elements, exploits the coherence exhibited by processing arbitrarily-sized groups of rays in SIMD fashion. These groups are processed by a series of filters that partition rays into active and inactive subsets...
Notice of Violation of IEEE Publication Principles"Efficient Collision Detection for Arbitrary Polyhedral Model Based on GPU and Swept Volume"by Shujuan Peng and Yuanxiang Li and Hui Zengin the Proceedings of the International Colloquium on Computing, Communication, Control and Management, ISECS, Vol 2, August 2008, pp. 260-264After careful and considered review of the content and authorship...
For MIMO transmissions lattice reduction-aided equalizers have emerged as a potential low-complexity method for achieving the same receiver diversity as high-complexity maximum likelihood (ML) detectors. Toward the VLSI implementation of lattice reduction algorithms, we address the integer-rounding operation present in these algorithms. In particular we exploit the reciprocal-reuse of a complex-valued...
In this paper, we introduce an innovative CNN algorithm development environment that significantly assists algorithmic design. The introduced graphical user interface uses Matlab Simulink with UMF-like program description, where direct functionality accompanies better accessability. The new generation of graphical cards incorporate many general purpose graphics processing units, giving the power of...
Quantum computing has the potential to revolutionize the field of computing, but with hardware and algorithms unlike any in use today. Due to the primitive state of existing quantum hardware, simulation is one of the most effective methods for studying quantum computing issues. Our team previously developed a general-purpose simulator capable of modeling arbitrary quantum algorithms executing on any...
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.