Výsledky vyhledávání - Concurrent Programming – Parallel Program- ming
-
1
ConcSpectre: Be Aware of Forthcoming Malware Hidden in Concurrent Programs
ISSN: 0018-9529, 1558-1721Vydáno: New York IEEE 01.06.2022Vydáno v IEEE transactions on reliability (01.06.2022)“…Concurrent programs with multiple threads executing in parallel are widely used to unleash the power of multicore computing systems…”
Získat plný text
Journal Article -
2
Medical Image Viewing On Multi-Core Platforms Using Software Patterns For Parallel Computing
ISSN: 1520-9202, 1941-045XVydáno: IEEE 2019Vydáno v IT professional (2019)“… Over the years, the parallel programming community has accumulated a significant amount of experience in the form of software patterns…”
Získat plný text
Journal Article -
3
Medical Image Viewing on Multicore Platforms Using Parallel Computing Patterns
ISSN: 1520-9202Vydáno: Washington IEEE 01.03.2010Vydáno v IT professional (01.03.2010)“…The parallel programming community has accumulated a significant amount of experience in the form of software patterns…”
Získat plný text
Journal Article -
4
GCMS: A Global Contention Management Scheme in Hardware Transactional Memory
ISSN: 1556-6056, 1556-6064Vydáno: New York IEEE 01.01.2011Vydáno v IEEE computer architecture letters (01.01.2011)“…Hardware Transactional Memory (HTM) is a promising Transactional Memory (TM) implementation because of its strong atomicity and high performance…”
Získat plný text
Journal Article -
5
Formal Reasoning About Lazy-STM Programs
ISSN: 1000-9000, 1860-4749Vydáno: Boston Springer US 01.07.2010Vydáno v Journal of computer science and technology (01.07.2010)“…Transactional memory (TM) is an easy-using parallel programming model that avoids common problems associated with conventional locking techniques…”
Získat plný text
Journal Article -
6
Incremental parallelization using navigational programming: a case study
ISBN: 9780769523804, 0769523803ISSN: 0190-3918Vydáno: IEEE 2005Vydáno v 2005 International Conference on Parallel Processing (ICPP'05) (2005)“… 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…”
Získat plný text
Konferenční příspěvek -
7
Data-parallel concurrent constraint programming
ISSN: 0743-1066, 1873-5789Vydáno: Elsevier Inc 01.05.1998Vydáno v The journal of logic programming (01.05.1998)“…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…”
Získat plný text
Journal Article -
8
Toward Automatic Data Distribution for Migrating Computations
ISSN: 0190-3918Vydáno: IEEE 01.09.2007Vydáno v Proceedings of the International Conference on Parallel Processing (01.09.2007)“…Program parallelization requires mapping computation and data to processing elements…”
Získat plný text
Konferenční příspěvek -
9
From distributed sequential computing to distributed parallel computing
ISBN: 9780769520186, 0769520189ISSN: 1530-2016“…One approach to distributed parallel programming is to utilize self-migrating threads…”Vydáno: IEEE 2003
Získat plný text
Konferenční příspěvek -
10
Software testing and metrics for concurrent computation
ISBN: 9780818676383, 0818676388Vydáno: IEEE 1996Vydáno v Asia-Pacific Software Engineering Conference: ASPEC 96. No. 3 (1996)“… 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…”
Získat plný text
Konferenční příspěvek -
11
On the Verification of Strong Atomicity in Programs Using STM
ISBN: 0769537588, 9780769537580Vydáno: IEEE 01.07.2009Vydáno v SSIRI 2009 : proceedings : 2009 third IEEE International Conference on Secure Integration and Reliability Improvement : 8-10 July 2009, Shanghai, China (01.07.2009)“…Transactional memory(TM) provides an easy-using and high-performance parallel programming model for multicore systems…”
Získat plný text
Konferenční příspěvek -
12
An object-oriented approach to develop software fault-tolerant mechanisms for parallel programming systems
ISSN: 0164-1212, 1873-1228Vydáno: New York, NY Elsevier Inc 01.03.1996Vydáno v The Journal of systems and software (01.03.1996)“…Some parallel programming systems are libraries that allow programmers to write thread-based parallel programs with existing sequential languages…”
Získat plný text
Journal Article -
13
Design of a dynamic distributed mobile computing environment
ISBN: 9781424418893, 1424418895ISSN: 1521-9097Vydáno: IEEE 01.12.2007Vydáno v 2007 International Conference on Parallel and Distributed Systems (01.12.2007)“…Many of the embedded systems have integrated the features of multimedia, networking, and mobility in a device. With the capability of wireless communication,…”
Získat plný text
Konferenční příspěvek -
14
Task decomposition testing and metrics for concurrent programs
ISBN: 0818677074, 9780818677076ISSN: 1071-9658“… 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…”Vydáno: IEEE 1996
Získat plný text
Konferenční příspěvek -
15
A logic semantics for a class of nondeterministic concurrent constraint logic programs
ISBN: 0818665076, 9780818665073Vydáno: IEEE Comput. Soc. Press 1994Vydáno v Parallel Architectures, Algorithms and Networks, 1994 International Symposium (ISPAN '94) (1994)“…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…”
Získat plný text
Konferenční příspěvek -
16
Implementation of a portable parallelizing compiler with loop partition
ISBN: 9780818665554, 0818665556“… 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…”Vydáno: IEEE 1994
Získat plný text
Konferenční příspěvek -
17
Safe and scalable parallel programming with session types
Vydáno: ProQuest Dissertations & Theses 01.01.2014“…Parallel programming is a technique that can coordinate and utilise multiple hardware resources simultaneously, to improve the overall computation performance…”
Získat plný text
Dissertation -
18
Parallel Algorithm Study of Petri Net Based on Multi-core Clusters
Vydáno: IEEE 01.08.2015Vydáno v 2015 14th International Symposium on Distributed Computing and Applications for Business Engineering and Science (DCABES) (01.08.2015)“…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…”
Získat plný text
Konferenční příspěvek -
19
Formal Reasoning About Lazy-STM Programs
ISSN: 1000-9000Vydáno: School of Computer Science and Technology,University of Science and Technology of China,Hefei 230027,China Software Security Laboratory,Suzhou Institute for Advanced Study,University of Science and Technology of China Suzhou 215123,China 2010Vydáno v 计算机科学技术学报(英文版) (2010)“…TP3; Transactional memory(TM)is an easy-using parallel programming model that avoids common problems associated with conventional locking…”
Získat plný text
Journal Article -
20
The agility of enterprise production plan and its promotion
ISBN: 1424490871, 9781424490875Vydáno: IEEE 01.10.2010Vydáno v 2010 International Conference on Future Information Technology and Management Engineering (01.10.2010)“… 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…”
Získat plný text
Konferenční příspěvek

