Search Results - Concurrent Programming – Parallel Program- ming

ConcSpectre: Be Aware of Forthcoming Malware Hidden in Concurrent Programs by 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…”
Get full text

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

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

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

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

GCMS: A Global Contention Management Scheme in Hardware Transactional Memory by 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…”
Get full text

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

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

Incremental parallelization using navigational programming: a case study by 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…”
Get full text

Data-parallel concurrent constraint programming by 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…”
Get full text

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

“…Program parallelization requires mapping computation and data to processing elements…”
Get full text

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

“…One approach to distributed parallel programming is to utilize self-migrating threads…”
Get full text

Software testing and metrics for concurrent computation by 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…”
Get full text

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

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

An object-oriented approach to develop software fault-tolerant mechanisms for parallel programming systems by 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…”
Get full text

Design of a dynamic distributed mobile computing environment by 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,…”
Get full text

Task decomposition testing and metrics for concurrent programs by 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…”
Get full text

A logic semantics for a class of nondeterministic concurrent constraint logic programs by 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…”
Get full text

Implementation of a portable parallelizing compiler with loop partition by 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…”
Get full text

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

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

Parallel Algorithm Study of Petri Net Based on Multi-core Clusters by 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…”
Get full text

Formal Reasoning About Lazy-STM Programs by 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…”
Get full text

The agility of enterprise production plan and its promotion by 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…”
Get full text