Works about THREADS (Computer programs)

Results: 143

Comparative modelling and verification of Pthreads and Dthreads.

Published in:

Journal of Software: Evolution & Process, 2018, v. 30, n. 3, p. 1, doi. 10.1002/smr.1919

By:

Fei, Yuan;
Zhu, Huibiao;
Wu, Xi;
Fang, Huixing;
Qin, Shengchao

Publication type:

Article

Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos.

Published in:

Acta Informatica, 2013, v. 50, n. 3, p. 199, doi. 10.1007/s00236-013-0178-2

By:

Hesselink, Wim

Publication type:

Article

Synchronous cooperation for explicit multi-threading.

Published in:

Acta Informatica, 2007, v. 44, n. 7/8, p. 525, doi. 10.1007/s00236-007-0057-9

By:

Bergstra, J.;
Middelburg, C.

Publication type:

Article

Decision problems for pushdown threads.

Published in:

Acta Informatica, 2007, v. 44, n. 2, p. 75, doi. 10.1007/s00236-007-0040-5

By:

Bergstra, Jan;
Bethke, Inge;
Ponse, Alban

Publication type:

Article

FORWARD ANALYSIS OF DYNAMIC NETWORK OF PUSHDOWN SYSTEMS IS EASIER WITHOUT ORDER.

Published in:

International Journal of Foundations of Computer Science, 2011, v. 22, n. 4, p. 843, doi. 10.1142/S0129054111008453

By:

LUGIEZ, DENIS;
Bournez, Oliver;
Potapov, Igor

Publication type:

Article

Teaching Biblical Studies Online.

Published in:

Teaching Theology & Religion, 2011, v. 14, n. 3, p. 256, doi. 10.1111/j.1467-9647.2011.00719.x

By:

Delamarter, Stephen;
Gravett, Sandra L.;
Ulrich, Daniel W.;
Nysse, Richard W.;
Polaski, Sandra Hack

Publication type:

Article

High-Speed Gridding System for Geological Surfaces using Multi-threading Technology.

Published in:

International Journal of Geoinformatics, 2017, v. 13, n. 1, p. 1

By:

Nojiogaki, S.;
Masumoto, S.;
Nemoto, T.

Publication type:

Article

Are Cross-Gender Conversations in Threaded Discussions Reminiscent of Communicating Across Cultural Boundaries?

Published in:

International Journal of Information & Communication Technology Education, 2007, v. 3, n. 2, p. 60, doi. 10.4018/jicte.2007040107

By:

Gefen, David;
Geri, Nitza;
Paravastu, Narasimha

Publication type:

Article

Heap-abstraction for an object-oriented calculus with thread classes.

Published in:

Software & Systems Modeling, 2008, v. 7, n. 2, p. 177, doi. 10.1007/s10270-007-0065-9

By:

Ábrahám, Erika;
Grüner, Andreas;
Steffen, Martin

Publication type:

Article

Synthesizing Multithreaded Code from Real-Time Object-Oriented Models via Schedulability-Aware Thread Derivation.

Published in:

IEEE Transactions on Software Engineering, 2014, v. 40, n. 4, p. 413, doi. 10.1109/TSE.2013.47

By:

Kim, Saehwa

Publication type:

Article

Exploiting Purity for Atomicity.

Published in:

IEEE Transactions on Software Engineering, 2005, v. 31, n. 4, p. 275, doi. 10.1109/TSE.2005.47

By:

Flanagan, Cormac;
Freund, Stephen N.;
Qadeer, Shaz

Publication type:

Article

Advanced Exception Handling Mechanisms.

Published in:

IEEE Transactions on Software Engineering, 2000, v. 26, n. 9, p. 820, doi. 10.1109/32.877844

By:

Buhr, Peter A.;
Mok, W. Y. Russell

Publication type:

Article

Verifying Temporal Heap Properties Specified via Evolution Logic.

Published in:

Logic Journal of the IGPL, 2006, v. 14, n. 5, p. 755, doi. 10.1093/jigpal/jzl009

By:

Yahav, E.;
Reps, T.;
Sagiv, M.;
Wilhelm, R.

Publication type:

Article

LLVMVF: A Generic Approach for Verification of Multicore Software.

Published in:

Journal of Electronic Testing, 2013, v. 29, n. 5, p. 635, doi. 10.1007/s10836-013-5405-9

By:

Sousa, Marcelo;
Sen, Alper

Publication type:

Article

Using Machine Learning Techniques to Detect Parallel Patterns of Multi-threaded Applications.

Published in:

International Journal of Parallel Programming, 2016, v. 44, n. 4, p. 867, doi. 10.1007/s10766-015-0396-z

By:

Deniz, Etem;
Sen, Alper

Publication type:

Article

Helper Thread Prefetching Control Framework on Chip Multi-processor.

Published in:

International Journal of Parallel Programming, 2015, v. 43, n. 2, p. 180, doi. 10.1007/s10766-013-0299-9

By:

Zhang, Jianxun;
Gu, Zhimin;
Huang, Yan;
Zheng, Ninghan;
Hu, Xiaohan

Publication type:

Article

Collaborative Technique for Concurrency Bug Detection.

Published in:

International Journal of Parallel Programming, 2015, v. 43, n. 2, p. 260, doi. 10.1007/s10766-014-0304-y

By:

Wu, Zhendong;
Lu, Kai;
Wang, Xiaoping;
Zhou, Xu

Publication type:

Article

Multi-Threaded Parallel I/O for OpenMP Applications.

Published in:

International Journal of Parallel Programming, 2015, v. 43, n. 2, p. 286, doi. 10.1007/s10766-014-0306-9

By:

Mehta, Kshitij;
Gabriel, Edgar

Publication type:

Article

User-Guided Dynamic Data Race Detection.

Published in:

International Journal of Parallel Programming, 2015, v. 43, n. 2, p. 159, doi. 10.1007/s10766-013-0296-z

By:

Metzger, Markus;
Tian, Xinmin;
Tedeschi, Walfred

Publication type:

Article

Graphs for Mining-Based Defect Localization in Multithreaded Programs.

Published in:

International Journal of Parallel Programming, 2013, v. 41, n. 4, p. 570, doi. 10.1007/s10766-012-0237-2

By:

Oßner, Christopher;
Böhm, Klemens

Publication type:

Article

ForestGOMP: An Efficient OpenMP Environment for NUMA Architectures.

Published in:

International Journal of Parallel Programming, 2010, v. 38, n. 5/6, p. 418, doi. 10.1007/s10766-010-0136-3

By:

Broquedis, François;
Furmento, Nathalie;
Goglin, Brice;
Wacrenier, Pierre-André;
Namyst, Raymond

Publication type:

Article

Speculative Parallelization of Sequential Loops on Multicores.

Published in:

International Journal of Parallel Programming, 2009, v. 37, n. 5, p. 508, doi. 10.1007/s10766-009-0111-z

By:

Chen Tian;
Min Feng;
Nagarajan, Vijay;
Gupta, Rajiv

Publication type:

Article

MPI Correctness Checking for OpenMP/MPI Applications.

Published in:

International Journal of Parallel Programming, 2009, v. 37, n. 3, p. 277, doi. 10.1007/s10766-009-0099-4

By:

Hilbrich, Tobias;
Müller, Matthias S.;
Krammer, Bettina

Publication type:

Article

A Collaborative Approach for Multi-Threaded SAT Solving.

Published in:

International Journal of Parallel Programming, 2009, v. 37, n. 3, p. 324, doi. 10.1007/s10766-009-0097-6

By:

Vander-Swalmen, Pascal;
Dequen, Gilles;
Krajecki, Michaël

Publication type:

Article

Capturing and Analyzing the Execution Control Flow of OpenMP Applications.

Published in:

International Journal of Parallel Programming, 2009, v. 37, n. 3, p. 266, doi. 10.1007/s10766-009-0100-2

By:

Fürlinger, Karl;
Moore, Shirley

Publication type:

Article

Analyzing the Effects of Hyperthreading on the Performance of Data Management Systems.

Published in:

International Journal of Parallel Programming, 2008, v. 36, n. 2, p. 206, doi. 10.1007/s10766-007-0066-x

By:

Hassanein, Wessam;
Rashid, Layali;
Hammad, Moustafa

Publication type:

Article

Dual-thread Speculation: A Simple Approach to Uncover Thread-level Parallelism on a Simultaneous Multithreaded Processor.

Published in:

International Journal of Parallel Programming, 2008, v. 36, n. 2, p. 166, doi. 10.1007/s10766-007-0064-z

By:

Warg, Fredrik;
Stenstrom, Per

Publication type:

Article

A Case for Chip Multiprocessors Based on the Data-Driven Multithreading Model.

Published in:

International Journal of Parallel Programming, 2006, v. 34, n. 3, p. 213, doi. 10.1007/s10766-006-0016-z

By:

Trancoso, Pedro;
Evripidou, Paraskevas;
Stavrou, Kyriakos;
Kyriacou, Costas

Publication type:

Article

Raising a Collective Voice: Martín Zimmerman and Seven Spots on the Sun.

Published in:

Brooklyn Rail, 2017, p. 1

By:

Olmos, Matthew Paul

Publication type:

Article

Inter-thread communication efficiency.

Published in:

Annales UMCS, Informatica, 2015, v. 15, n. 1, p. 12, doi. 10.17951/ai.2015.15.1.12-15

By:

Sagan, Jarosław

Publication type:

Article

A study and toolkit of CHECK-THEN-ACT idioms of Java concurrent collections.

Published in:

Software Testing: Verification & Reliability, 2015, v. 25, n. 4, p. 397, doi. 10.1002/stvr.1567

By:

Lin, Yu;
Dig, Danny

Publication type:

Article

High-level data races<FN>An earlier version of this paper was originally presented at the First International Workshop on Verification and Validation of Enterprise Information Systems, held at Angers, France on 22 April 2003. It is reproduced here in modified form with the permission of the Workshop organizers and the publishers of the proceedings, ICEIS. </FN>

Published in:

Software Testing: Verification & Reliability, 2003, v. 13, n. 4, p. 207, doi. 10.1002/stvr.281

By:

Artho, Cyrille;
Havelund, Klaus;
Biere, Armin

Publication type:

Article

UTILIZATION OF GRAPHICS PROCESSING UNIT IN SOUND SOURCE LOCALIZATION BASED ON DIGITAL BEAMFORMING.

Published in:

Annals of DAAAM & Proceedings, 2011, p. 451

By:

Dostalek, Petr;
Dolinay, Jan;
Vasek, Vladimir

Publication type:

Article

Tales From the Bleeding Edge: The Qualitative Analysis of Complex Video Data Using Transana.

Published in:

Forum: Qualitative Social Research / Qualitative Sozialforschung, 2011, v. 12, n. 1, p. 1

By:

Woods, David K;
Dempster, Paul G.

Publication type:

Article

DESIGNING MULTITHREADED SOFTWARE BASED ON CONCURRENCY IN THE PROBLEM DOMAIN.

Published in:

TASK Quarterly, 2021, v. 25, n. 2, p. 183, doi. 10.34808/tq2021/25.2/c

By:

SANDÉN, BO I.

Publication type:

Article

Similarity search for numerous patterns over multiple time series streams under dynamic time warping which supports data normalization.

Published in:

Vietnam Journal of Computer Science (Springer Nature), 2016, v. 3, n. 3, p. 181, doi. 10.1007/s40595-016-0062-4

By:

Giao, Bui;
Anh, Duong

Publication type:

Article

Asynchronous event handling and Safety Critical Java.

Published in:

Concurrency & Computation: Practice & Experience, 2012, v. 24, n. 8, p. 813, doi. 10.1002/cpe.1756

By:

Wellings, Andy;
Kim, MinSeong

Publication type:

Article

Application-specific thread schedulers for internet server applications.

Published in:

Concurrency & Computation: Practice & Experience, 2012, v. 24, n. 3, p. 281, doi. 10.1002/cpe.1822

By:

Roper, Matthew D.;
Olsson, Ronald A.

Publication type:

Article

Application-specific thread schedulers for distributed applications.

Published in:

Concurrency & Computation: Practice & Experience, 2012, v. 24, n. 3, p. 260, doi. 10.1002/cpe.1821

By:

Roper, Matthew D.;
Olsson, Ronald A.

Publication type:

Article

Special Issue: Exploring the frontiers of computing science and technology: efficiently utilizing multicore and many-core processors.

Published in:

Concurrency & Computation: Practice & Experience, 2012, v. 24, n. 2, p. 109, doi. 10.1002/cpe.1864

By:

Zhou, Shujia;
Yesha, Yelena;
Halem, Milton

Publication type:

Article

Performance study on CUDA GPUs for parallelizing the local ensemble transformed Kalman filter algorithm.

Published in:

Concurrency & Computation: Practice & Experience, 2012, v. 24, n. 2, p. 167, doi. 10.1002/cpe.1859

By:

Blattner, Timothy;
Yang, Shiming

Publication type:

Article

Experiences in building and scaling an enterprise application on multicore systems.

Published in:

Concurrency & Computation: Practice & Experience, 2012, v. 24, n. 2, p. 111, doi. 10.1002/cpe.1872

By:

Seelam, Seetharami;
Liu, Yanbin;
Dube, Parijat;
Ito, Megumi;
Binay, Deniz;
Dawson, Michael;
Nagaraja, Pramod;
Johnson, Graeme;
Fong, Liana;
Hack, Michel;
Meng, Xiaoqiao;
Gao, Yuqing;
Zhang, Li

Publication type:

Article

Optimizing utilization of resource pools in web application servers.

Published in:

Concurrency & Computation: Practice & Experience, 2010, v. 22, n. 18, p. 2421, doi. 10.1002/cpe.1572

By:

Totok, Alexander;
Karamcheti, Vijay

Publication type:

Article

A high-performance face detection system using OpenMP.

Published in:

Concurrency & Computation: Practice & Experience, 2009, v. 21, n. 15, p. 1819, doi. 10.1002/cpe.1389

By:

Hadjidoukas, P. E.;
Dimakopoulos, V. V.;
Delakis, M.;
Garcia, C.

Publication type:

Article

Increasing data reuse of sparse algebra codes on simultaneous multithreading architectures.

Published in:

Concurrency & Computation: Practice & Experience, 2009, v. 21, n. 15, p. 1838, doi. 10.1002/cpe.1404

By:

Pichel, J. C.;
Heras, D. B.;
Cabaleiro, J. C.;
Rivera, F. F.

Publication type:

Article

Stabilizing large-scale generalized systems on parallel computers using multithreading and message-passing.

Published in:

Concurrency & Computation: Practice & Experience, 2007, v. 19, n. 4, p. 531, doi. 10.1002/cpe.1148

By:

Benner, Peter;
Castillo, Maribel;
Mayo, Rafael;
Quintana-Ortí, Enrique S.;
Quintana-Ortí, Gregorio

Publication type:

Article

Choosing among alternative pasts.

Published in:

Concurrency & Computation: Practice & Experience, 2007, v. 19, n. 3, p. 341, doi. 10.1002/cpe.1062

By:

Biberstein, Marina;
Farchi, Eitan;
Ur, Shmuel

Publication type:

Article

FairThreads: mixing cooperative and preemptive threads in C.

Published in:

Concurrency & Computation: Practice & Experience, 2006, v. 18, n. 5, p. 445, doi. 10.1002/cpe.919

By:

Boussinot, Frédéric

Publication type:

Article

A comparison of concurrent programming and cooperative multithreading under load balancing applications.

Published in:

Concurrency & Computation: Practice & Experience, 2004, v. 16, n. 4, p. 345, doi. 10.1002/cpe.751

By:

Maris, Justin T.;
Keen, Aaron W.;
Takashi Ishibara;
Olsson, Ronald A.

Publication type:

Article

Implementation of the EARTH programming model on SMP clusters: a multi-threaded language and runtime system.

Published in:

Concurrency & Computation: Practice & Experience, 2003, v. 15, n. 9, p. 821, doi. 10.1002/cpe.729

By:

Tremblay, G.;
Morrone, C. J.;
Amaral, J. N.;
Gao, G. R.

Publication type:

Article