The performance of airplane in commercial airline environment is determined by, and therefore an indicator of performance measure of, the thermodynamic properties of airplane. The aim of this study was to establish th...
详细信息
This paper proposes a method to recommend the relevant information of the document which recorded in the development support systems such as BTS and VCS. We improve a system which we implemented in previous work with ...
详细信息
This paper proposes a method to recommend the relevant information of the document which recorded in the development support systems such as BTS and VCS. We improve a system which we implemented in previous work with the method proposed in this paper. Our method get a document from the support systems, extract the word, then calculate the feature vector based on the TF-IDF value of each word. In the experiment, we apply the proposal method to the dataset from an open source software projects, and evaluate the recommendation accuracy between the six clustering algorithm. The result of the experiment shows that the proposed method improves the recommendation accuracy compared with the previous work.
In this paper, we propose, implement and analyze the performance of a reconfigurable sequential consistency algorithm (RSCA) using simulation. Extending the concepts of reconfigurable devices to the algorithmic level,...
详细信息
In this paper, we propose, implement and analyze the performance of a reconfigurable sequential consistency algorithm (RSCA) using simulation. Extending the concepts of reconfigurable devices to the algorithmic level, we model RSCA that is a reconfigurable sequential consistency algorithm for asynchronous distributedsystems that manage concurrent objects stating. As our main results, we present that, on average, the performance of RSCA was 36% better than the traditional sequential consistency algorithms. The main contributions of this paper are: the definition, proposal, implementation and performance analysis of RSCA.
This paper presents features of an object based concurrent language called Actel. In particular, it introduces the mechanisms of inter and intra-object concurrency and synchronisation. Inter object concurrency is achi...
详细信息
This paper presents features of an object based concurrent language called Actel. In particular, it introduces the mechanisms of inter and intra-object concurrency and synchronisation. Inter object concurrency is achieved with conventional message passing (value and priority) and also with a new mode of message passing called the semi-reference. Intra-object concurrency may be achieved with parallel functions, parallel compound statements, simultaneous compound statement, and multiple methods invocation. Synchronisation may be achieved with simple, multiple, or overloaded future variables. An example illustrates various Actel features.
Scientific simulations modeling complex physical phenomena exhibit varying degrees of spatiotemporal and computational heterogeneity, which can pose significant challenges in algorithmic efficiency and runtime perform...
详细信息
ISBN:
(纸本)1565553136
Scientific simulations modeling complex physical phenomena exhibit varying degrees of spatiotemporal and computational heterogeneity, which can pose significant challenges in algorithmic efficiency and runtime performance. Addressing these challenges often requires an understanding of application behavior and the impact of heterogeneity on the simulation, especially when analytical approaches are not feasible. Runtime calibration is used to analyze the impact of computational heterogeneity on the performance of two different load balancing strategies applied to two different problems of 2-D methane-air combustion using different chemistry models. Experimental evaluation demonstrates that such empirical approaches are inevitable in component-based scientific computations, where performance is determined by the problem characteristics and the particular connectivity of components in the simulation code, none of which are known before runtime.
Nowadays, directory-based cache coherence protocols have been the best choice in designing large-scaled CC-NUMA systems. Directory contains the shared information of all memory blocks in system. The number of copies o...
详细信息
Nowadays, directory-based cache coherence protocols have been the best choice in designing large-scaled CC-NUMA systems. Directory contains the shared information of all memory blocks in system. The number of copies of shared data in system and their distributing characteristics are deeply influenced by the characteristics of application programs. In this paper, a Markov chains model is built for the distributing pattern of shared data in CC-NUMA systems. It's proved that, the average number of cache copies of shared data is small in CC-NUMA systems. Especially, when the percentage of shared read operations in applications is lower than 80%, this number is less than 5.
GraphBLAS is an emerging paradigm for graph computation that makes it easy to program new graph algorithms in a highly abstract language of linear algebra. The promise of GraphBLAS is that an abstract graph program wi...
详细信息
ISBN:
(纸本)9781509036837
GraphBLAS is an emerging paradigm for graph computation that makes it easy to program new graph algorithms in a highly abstract language of linear algebra. The promise of GraphBLAS is that an abstract graph program will execute in a wide variety of programming environments, ranging from embedded environments to distributed memory computers. In this paper we present our initial implementation of GraphBLAS primitives for graphics processing unit (GPU) systems called GraphBLAS Template Library (GBTL). Our implementation is an ongoing effort in the context of GraphBLAS standardization efforts by a diverse group of academics and representatives of the industry. Our implementation consists of a high-level C ++ frontend, and the GPU functionality is implemented with a combination of the CUSP library for sparse-matrix computation on GPU and the NVIDIA Thrust framework for abstract GPU programs. We give initial performance results of our implementations, and we discuss solutions to the problems we encountered when providing a low-level implementation for a high-level generic interface.
Recommendation systems have played a large role in the softwareengineering research landscape. Applications have ranged from source code elements, APIs and reviewer recommendations, with techniques borrowed from the ...
详细信息
ISBN:
(纸本)9781665447324
Recommendation systems have played a large role in the softwareengineering research landscape. Applications have ranged from source code elements, APIs and reviewer recommendations, with techniques borrowed from the Information Retrieval, and Machine Learning domains. In recent times, there has been work into a new method of interaction, which is ChatBots, especially for softwareengineering. Early work has been aimed at using bots for mining software repositories, providing task-oriented feedback for the software developer. In this work, we would like to take the ChatBots one step forward, but using them inconjunction with recommendation systems to provide an interactive experience for recommendations. As a case study, we focus on the existing reviewer recommendation systems, and propose how using a ChatBot may enhance the solution, to provide a more accurate and realistic recommendation for the practitioner. In the end, we highlight the potential and next steps to utilize ChatBots into existing softwareengineering recommendation systems.
In order to achieve predictability, time-triggered communication systems have been proposed for use in in-vehicle applications, in particular for safety-critical applications. Timing properties play a crucial role in ...
详细信息
ISBN:
(纸本)9780769532639
In order to achieve predictability, time-triggered communication systems have been proposed for use in in-vehicle applications, in particular for safety-critical applications. Timing properties play a crucial role in a time-triggered system as activities in such a system are all triggered by the passage of time. In this paper, we propose techniques for specifying and verifying the timing properties of the FlexRay protocol, an emerging time-triggered communication protocol for automotive systems. Essential timing properties of the protocol are defined and proved. Mechanical support with the theorem prover Isabelle/HOL is also considered.
Present a novel parallel programming model called Cluster-M. This model provides an environment for efficiently designing highly parallel machine independent software. Cluster-M is a generic model consisting of a coll...
详细信息
Present a novel parallel programming model called Cluster-M. This model provides an environment for efficiently designing highly parallel machine independent software. Cluster-M is a generic model consisting of a collection of clusters such that each cluster represents a set of processors having similar level of interconnectivity. For every multiprocessor architecture there exists a Cluster-M representation. This leads to a mapping mechanism which allows a single software to be ported among various parallel computing systems.< >
暂无评论