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.
Testing every product of a software product line (SPL) is often not feasible due to the exponential number of products in the number of features. Thus, the order in which products are tested matters, because it can increase the early rate of fault detection. Several approaches have been proposed to prioritize products based on configuration similarity. However, current approaches are oblivious to...
In today's modern computing environment we are surrounded by a vast sea of electronic computing systems and devices. These systems are now closely integrated into our everyday lives and provide us with a wealth of computing power. While these systems provide us with great computational values, these very systems we have come to rely upon now also face issues regarding their own long term longevity...
Very deep convolutional networks have recently demonstrated impressive classification performance on competitive benchmarks such as the ImageNet or COCO tasks. However, training such deep convolutional networks becomes more difficult. In this paper, we propose a novel deep network structure called cross-layer architecture to make the best use of information learned from all the lower-level layers...
Presenting large formal instruction set models as executable functions makes them accessible to engineers and useful for less formal purposes such as simulation. However, it is more difficult to extract information about the behaviour of individual instructions for reasoning. We present a method which combines symbolic evaluation and symbolic execution techniques to provide a rule-based view of instruction...
Dynamic Adaptive Neural Network Arrays (DANNAs) are neuromorphic computing systems developed as a hardware based approach to the implementation of neural networks. They feature highly adaptive and programmable structural elements, which model artificial neural networks with spiking behavior. We design them to solve problems using evolutionary optimization. In this paper, we highlight the current hardware...
To accelerate research and development of the autonomous capabilities of micro aerial vehicles we have developed flight control framework, ROSflight, as a research tool. ROSflight makes development of autopilot code easier and more efficient by minimizing the use of embedded systems, incorporating the Robot Operating System and using off-the-shelf and open-source hardware and software. Motivation...
This paper presents work on the design and development of a simulation environment for testing the two competing mission command technologies and their implementations. To illustrate the utility of the system, several usage scenarios are presented and evaluated. Specifically, requirements such as the requisite collection of goal satisfaction data, craft performance and computing system (and software)...
Cloud computing is one of the key innovations in this era of technology. Fuelling us into a century of massively distributed cloud applications and services, cloud applications can be accessed with the greatest of ease simply via a web browser. As we advance further into this world of cloud computing, it is highly essential to develop methods to gauge the performance level of the cloud environment...
Many Organizations depend on Web Applications for performing various activities and stores the collected details in the database. Testing of the database is done to ensure the correctness for the design and working of the database. This paper performs testing of database design for the application using the Entity Relationship diagram for various components used in the database, the model is generated...
This work presents a technique for testing real-time embedded systems using Hardware-in-the-Loop (HIL) simulation, exploiting High-Level Architecture (HLA) standard for interoperability and synchronization of heterogeneous architectures. The proposed testing approach uses the Ptolemy framework to verify in real-time models running in hardware against their respective reference models developed in...
While pursuing high performance and cost effectiveness for directed acyclic graph (DAG)-structured scientific workflow executions in the cloud, it is critical to identify appropriate resource instances and their quantity. This paper presents a testing engine that employs a resource-selection heuristic, which statically analyzes the DAG structure to guide the selection of resource instances, how many...
In this paper, we propose the Multi-Layer Perceptron (MLP) technique for Neighbor Selection in Peer-to-Peer (P2P) Computing to reduce the communication overhead. The selection of Neighbor is one of the challenging areas in P2P Computing. Root Mean Square Error and Testing time are two Parameters considered for neighbor selection in P2P network. The objective of the proposed technique is to minimize...
We describe the political and technical complications encountered during the astronomical CosmoGrid project. CosmoGrid is a numerical study on the formation of large scale structure in the universe. The simulations are challenging due to the enormous dynamic range in spatial and temporal coordinates, as well as the enormous computer resources required. In Cosmo-Grid we dealt with the computational...
We present a novel technique for static slicing of SoaML Service Interface Diagram. In this technique, a Service Interface Diagram is converted into an intermediate representation which we have named as Service Interface Dependency Graph(SIDG). The SIDG identifies Service Call Dependency and Composite Dependency from Service Interface Diagram. Giving slicing criterion as input, our aglorithm traverses...
Based on our previous researches for building a Reading Answering System Model (RASM) which can read many simple news titles of ICTNEWS (http://ictnews.vn/) to answer related Vietnamese questions. The construction of RASM is based on an approach of computational semantics. In this paper we focus on introducing our approach to build the RASM, the general architecture, and functional operations of RASM...
Constructing effective representations is a critical but challenging problem in multimedia understanding. The traditional handcraft features often rely on domain knowledge, limiting the performances of exiting methods. This paper discusses a novel computational architecture for general image feature mining, which assembles the primitive filters (i.e. Gabor wavelets) into compositional features in...
Small-scale Unmanned Aerial Vehicles (UAVs) are gaining the attention of researchers around the world, due to their versatility and performance in both indoor and outdoor applications. The whole project aims to specify and implement a symbiotic simulation platform to assist the design, development and testing of UAVs that use a quad-rotor configuration. Additionally, in this paper we firstly discuss...
This paper describes the hardware-in-the-loop (HIL) simulation methodology used for the verification of functional requirements of e-st @r-I CubeSat. The satellite's behavior is investigated via HIL simulation, and the results obtained are consistent with the expected values in any operative conditions. It is proven that HIL simulation is a valuable means for supporting the verification process of...
In online model-based testing, test execution is interleaved with test generation. Test cases should be generated and executed with minimal delay, while still achieving targeted coverage criteria quickly. Extensive model analysis in such case is not possible as any delays in choosing the next step will immediately impact the response times of test execution. The algorithms thus need to be as fast...
Software is a generic term for organized collections of computer data and instructions; it is amalgamation of machine understandable instructions that preside over the processor of computer to perform itemized operations. The importance of software accompanies the effect of its malleability towards software development life cycle. Antecedent models such as Prototyping model, Incremental model, waterfall...
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.