Suchergebnisse - Concurrent Programming – Parallel Program- ming

ConcSpectre: Be Aware of Forthcoming Malware Hidden in Concurrent Programs von Liu, Yang, Xu, Zisen, Fan, Ming, Hao, Yu, Chen, Kai, Chen, Hao, Cai, Yan, Yang, Zijiang, Liu, Ting

“… Concurrent programs with multiple threads executing in parallel are widely used to unleash the power of multicore computing systems …”
Volltext

Medical Image Viewing On Multi-Core Platforms Using Software Patterns For Parallel Computing von Zhu, Yang-Ming

“… Over the years, the parallel programming community has accumulated a significant amount of experience in the form of software patterns …”
Volltext

Medical Image Viewing on Multicore Platforms Using Parallel Computing Patterns von Zhu, Yang-Ming, Cochoff, Steven M.

“… The parallel programming community has accumulated a significant amount of experience in the form of software patterns …”
Volltext

GCMS: A Global Contention Management Scheme in Hardware Transactional Memory von Wang, Xiaoqun, Ji, Zhen, Fu, Chen, Hu, Ming

“… Hardware Transactional Memory (HTM) is a promising Transactional Memory (TM) implementation because of its strong atomicity and high performance …”
Volltext

Formal Reasoning About Lazy-STM Programs von 李勇 张昱 陈意云 付明

“… Transactional memory （TM） is an easy-using parallel programming model that avoids common problems associated with conventional locking techniques …”
Volltext

Incremental parallelization using navigational programming: a case study von Pan, L., Zhang, W., Asuncion, A., Lai, M.K., Dillencourt, M.B., Bic, L.F.

“… Our navigational programming (NavP) methodology is based on the principle of self-migrating computations and is truly incremental, in that each step represents a functioning program and every intermediate program is an improvement over its predecessor …”
Volltext

Data-parallel concurrent constraint programming von Tong, Bo-Ming, Leung, Ho-Fung

“… With the advent of cost-effective massively parallel computers, researchers conjecture that the future concurrent constraint programming system is composed of a massively parallel constraint solver …”
Volltext

Toward Automatic Data Distribution for Migrating Computations von Lei Pan, Jingling Xue, Ming Kin Lai

“… Program parallelization requires mapping computation and data to processing elements …”
Volltext

From distributed sequential computing to distributed parallel computing von Lei Pan, Bic, L.F., Dillencourt, M.B., Ming Kin Lai

“… One approach to distributed parallel programming is to utilize self-migrating threads …”
Volltext

Software testing and metrics for concurrent computation von Shih, T.K., Chi-Ming Chung, Ying-Hong Wang, Ying-Feng Kuo, Wei-Chuan Lin

“… The emergence of concurrent computation in recent years, however, introduces new testing problems and difficulties that cannot be solved by the traditional sequential program testing techniques …”
Volltext

On the Verification of Strong Atomicity in Programs Using STM von Yong Li, Yu Zhang, Yiyun Chen, Ming Fu

“… Transactional memory(TM) provides an easy-using and high-performance parallel programming model for multicore systems …”
Volltext

An object-oriented approach to develop software fault-tolerant mechanisms for parallel programming systems von Shieh, Ce-Kuen, Mac, Su-Cheong, Chang, Tzu-Chiang, Lai, Chung-Ming

“… Some parallel programming systems are libraries that allow programmers to write thread-based parallel programs with existing sequential languages …”
Volltext

Design of a dynamic distributed mobile computing environment von Wen-Yew Liang, Yu-Ming Hsieh, Zong-Ying Lyu

“… Many of the embedded systems have integrated the features of multimedia, networking, and mobility in a device. With the capability of wireless communication, …”
Volltext

Task decomposition testing and metrics for concurrent programs von Chi-Ming Chung, Shih, T.K., Ying-Hong Wang, Wei-Chuan Lin, Ying-Feng Kou

“… The emergence of concurrent programming in recent years introduces new testing problems and difficulties that cannot be solved by testing techniques for traditional sequential programs …”
Volltext

A logic semantics for a class of nondeterministic concurrent constraint logic programs von Ho-Fung Leung, Bo-Ming Tong

“… M.J. Maher (1987) proposed the ALPS class of committed-choice languages, which can be seen as a further development of concurrent logic programming languages in the direction of CLP(X …”
Volltext

Implementation of a portable parallelizing compiler with loop partition von Ming-Chang Hsiao, Shian-Shyong Tseng, Chao-Tung Yang, Chang-Sheng Chen

“… Our compiler is highly modularized so that the porting to other platforms will be very easy, and it can partition parallel loops into multithreaded codes based on several loop partition algorithms …”
Volltext

Safe and scalable parallel programming with session types von Ng, Chun Wang Nicholas

“… Parallel programming is a technique that can coordinate and utilise multiple hardware resources simultaneously, to improve the overall computation performance …”
Volltext

Parallel Algorithm Study of Petri Net Based on Multi-core Clusters von Wenjing Li, Zhong-Ming Lin, Ying Pan, Ze-Yu Tang

“… The parallel algorithm of Petri net based on multi-core clusters is put forward in order to make the Petri net system with concurrent synchronous function realize parallel control and running …”
Volltext

Formal Reasoning About Lazy-STM Programs von Yong Li, Yu Zhang, Yi-Yun Chen, Ming Fu

“… TP3; Transactional memory(TM)is an easy-using parallel programming model that avoids common problems associated with conventional locking …”
Volltext

The agility of enterprise production plan and its promotion von Tian-ming Zhang, You-ming Cheng

“… of the production plan, including shorting the duration, program objects and the scope, cutting down planning time by Parallel work and using agile programming methods based …”
Volltext