We present an adaptation of input/output conformance (ioco) testing principles to families of similar implementation variants as appearing in product line engineering. Our proposed product line testing theory relies o...
详细信息
Transactional memory addresses a number of important issues in lock-based parallel programs. Unfortunately, the semantics of transactions are different from those of critical sections defined by locks. The semantic di...
详细信息
Software product line (SPL) engineering provides a promising approach for developing variant-rich software systems. But, testing of every product variant in isolation to ensure its correctness is in general not feasib...
详细信息
The paper contains threshold results and demonstrates a perspective for ongoing research in the field of digitalization of the economy. The relationship between the knowledge economy and intangible and material produc...
详细信息
ISBN:
(纸本)9781912764501
The paper contains threshold results and demonstrates a perspective for ongoing research in the field of digitalization of the economy. The relationship between the knowledge economy and intangible and material production is presented. The value of knowledge as a factor of production and goods, as well as a production asset and a production resource is determined. Evolutionary changes in the paradigm of knowledge management in connection with the transition to a new economic formation – the digital economy are outlined. The results of research of the concept and structure of intellectual capital on the basis of a systematic approach are summarized. The problems of both theoretical and applied nature that prevent more effective implementation of the results of the research in the practice of organizations in all spheres of the economy are systematized. The problems are presented in the context of considering the role and place of knowledge in the formation and increment of intellectual capital. The greatest development was the question associated with the development of a model describing the process of increment of intellectual capital through the change of parameters included in the model of describing the increment of knowledge acquired (produced) by the subject of the economy. The perspective direction of research of mutual influence (correlation) of parameters of increment of knowledge and reflecting influence of these parameters on volume and rates of increment of intellectual capital is specified. The methods of mathematical modeling are indicated as tools for the research. This will not only describe the process of increment/change in the volume of intellectual capital using a finite number of parameters, but also explore the possibility of manipulating parameters. The results of the study stated the establishment of mutual correlation with changes in the parameters of the studied processes at various scales. It will allow to form the forecast of behavior of
Transactional memory solves many problems in lock-based parallel programs. Unfortunately, the semantics of transactions are different from those of critical sections defined by locks. The semantic differences make it ...
详细信息
Hardware trends suggest that large-scale CMP architectures, with tens to hundreds of processing cores on a single piece of silicon, are iminent within the next decade. While existing CMP machines have traditionally be...
详细信息
ISBN:
(纸本)159593636X
Hardware trends suggest that large-scale CMP architectures, with tens to hundreds of processing cores on a single piece of silicon, are iminent within the next decade. While existing CMP machines have traditionally been handled in the same way as SMPs, this magnitude of parallelism introduces several fundamental challenges at the architectural level and this, in turn, translates to novel challenges in the design of the software stack for these platforms. This paper presents the "Many Core Run Time" (McRT), a software prototype of an integrated language runtime that was designed to explore configurations of the software stack for enabling performance and scalability on large scale CMP platforms. This paper presents the architecture of McRT and discusses our experiences with the system, including experimental evaluation that lead to several interesting, non-intuitive findings, providing key insights about the structure of the system stack at this scale. A key contribution of this paper is to demonstrate how McRT enables near linear improvements in performance and scalability for desktop workloads such as the popular XviD encoder and a set of RMS (recognition, mining, and synthesis) applications. Another key contribution of this work is its use of McRT to explore non-traditional system configurations such as a light-weight executive in which McRT runs on "bare metal" and replaces the traditional OS. Such configurations are becoming an increasingly attractive alternative to leverage heterogeneous computing uints as seen in today's CPU-GPU configurations. Copyright 2007 ACM.
In large projects parallelization of existing programs or refactoring of source code is time consuming as well as error-prone and would benefit from tool support. However, existing automatic transformation systems are...
详细信息
While using a single GPU is fairly easy, using multiple CPUs and GPUs potentially distributed over multiple machines is hard because data needs to be kept consistent using message exchange and the load needs to be bal...
详细信息
Since the publication, in April, 1971, of the Data Base Task Group (DBTG) report (ref . 1 ) to the CODASYL programming Language (=COBOL) Committee (PLC) several committees and task gncups of the CODASYL organisation h...
详细信息
暂无评论