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.
In modern cloud computing and analytics applications, large-scale data is often represented in the form of graphs. Many recent works have focused on understanding and improving performance of graph processing frameworks. Power consumption, which also serves as a key factor in the deployment and management of graph processing frameworks, has not been extensively studied. In this paper, we demonstrate...
In this extended abstract, we briefly survey the vision and goals of On-The-Fly (OTF) computing. Then we turn to heterogeneous multi-cores which, as platforms for OTF computing scenarios, have to support a high dynamics in both the workload and the system state. We argue that concepts and models of self-awareness studied in, for example, psychology, have been successfully transferred to the computing...
SystemC is a system-level modeling language increasingly adopted by the semiconductor industry. Quality assurance for SystemC designs is important, since undetected errors may propagate to final silicon implementations and become very costly to fix. The errors, if not fixed, can cause major damage and even endanger lives. However, quality assurance for SystemC designs is very challenging due to their...
Discrete Event Simulation (DES) allows the modelling of ever more complex systems in a variety of domains ranging from biological systems to road networks. The increasing need to model larger systems stresses the demand for efficient parallel implementations of DES engines. Recently, Graphics Processing Units have emerged as an efficient alternative to Central Processing Units for the computation...
This paper describes the co-simulation methodology adopted for hardware verification of a next generation network packet processing engine (Advanced I/O Processor or AIOP) utilizing virtual prototype models developed originally for software verification. Though co-simulation strategies are common in verification of stand-alone processors, they have seldom been used for mega-modules and SoC, which...
In the era of big data, Hive has quickly gained popularity for its superior capability to manage and analyze very large datasets, both structured and unstructured, residing in distributed storage systems. However, great opportunity comes with great challenges: Hive query performance is impacted by many factors which makes capacity planning and tuning for Hive cluster extremely difficult. These factors...
In the last decades, there has been a lot of work on formal verification techniques for embedded hardware/software systems. The main barriere for the application of these techniques in industrial application is the state-space explosion problem, i.e., The lacking scalability of formal verification. To tackle this problem, we propose a modular verification framework that supports the whole design flow...
This paper reviews the requirements and methods associated with executing a test program application in simulation mode. The simulation requires running the application with a subset of instrumentation or without any instrumentation and with or without the Unit Under Test (UUT). In simulation mode some of the instruments or the UUT may not exist, which requires that the simulation environment filter...
Compute-intensive applications are emerging in intelligent home, retail store and automotive industries. These applications are becoming more sophisticated with new features rich in audio, video, image, and machine learning capabilities that demand heavy computations. We present the EMERALD (EMERging Applications and algorithms for Low power Device) workload suite. We profile the workloads to show...
Modeling wave propagation through the earth is an important application in geoscience. We present a framework for wave propagation modeling on special-purpose hardware, which dramatically improves the application performance compared to conventional CPUs. We utilize custom hardware platforms consisting of a mix of x86 CPUs and dataflow engines connected by high-bandwidth communication links. Application...
Nowadays, many organizations use BPM for capturing and monitoring their business processes. The introduction of BPM in an organization may become expensive, because of the upfront investments on software and hardware. Therefore, organizations can choose for a cloud-based BPM system, in which a BPM system can be used in a pay-per-use manner. Opting for cloud-based solutions may normally raise concerns...
We present a novel computing model that allows to conveniently construct multi-core systems with different computer architectures, ranging from homogeneous many-core architectures to networks of heterogeneous general purpose processor cores or signal processing engines. A hardware library implemented on Field Programmable Gate Arrays (FPGAs) and a compiler provide a platform for prototyping and constructing...
An engine ECU hardware-in-loop simulation system of good versatility and scalability is designed based on the LabVIEW development environment which is a virtual instrument. Using PC as the host computer, it establishes the engine dynamic model and assumes the engine running in the host computer. By using TMS320F2812-DSP signal processor interface, system design, simulation engine and collect all the...
With the issue that traditional special effect simulation by particle system in computer games makes a lot of problems, such as low controllability and high computation cost, a novel approach based on particle system editor supported by Graphic Process Units (GPU) is proposed. The controllability of special effect design can be improved by the particle system editor, and the rendering of large amount...
Cloud Computing, Business Process Modeling (BPM) and Service-oriented architectures (SOA) are playing a relevant role in the evolution of Information Technology (IT). A considerable number of system developers are using Cloud technologies to deploy and make available systems over the Internet. Business Process Management standards are being widely used to model business requirements. In addition,...
One of the scariest aspects of doing business is the failure to come up with the right decision. This is one of the reasons why many businesses have failed because of one small wrong decision. So the aim of this paper is to develop web based business intelligence software as a service to help the enterprise to maximize the profit by analyzing the data and providing detailed graphical view of the business...
The domain of distributed applications is developing rapidly. Facilities to support distributed applications have till now been designed on a case by case basis for each specialized user application. A systematic study and a generic facility framework for executing distributed applications are currently nonexistent and progress towards their development would have a significant impact in the seamless...
The eikonal partial differential equation is solved using a modified level set algorithm which is then transformed into a proposed field programmable gate array implementation. The numerical method for isotropic material eikonal hardware engines is extended to angle dependent anisotropic media in two dimensions. This new method transforms the eigenvalue iteration into a process which executes in constant...
Wide-operand modular math functions pose an enormous challenge for verification. We present a novel method to verify a modular reduction engine implemented as a finite state machine (FSM), leveraging a combination of model checking and theorem proving. As a first step of the verification, preconditions and post-conditions for each state transition of the FSM are identified. Next the implications from...
Engine control systems, consisted of ECU hardware, software, sensors, and actuators, are the most significant part of automotive control, and can be considered as mixed-signal systems which interact with engine through sensors and actuators. In this article, we present a component-based modeling and simulation framework for automotive system design. This component framework is compatible with AUTOSAR...
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.