Search Results - Threads (Computer programs)

TSVD4J: Thread-Safety Violation Detection for Java.

Authors: Rahman, Shanto Li, Chengpeng Shi, August

Source: ICSE: International Conference on Software Engineering; 2023, p78-82, 5p

Subject Terms: JAVA programming language, DATA structures, WEB-based user interfaces, DEBUGGING, THREADS (Computer programs)

Maurer Computers with Single-Thread Control.

Authors: Bergstra, Jan A. Middelburg, Cornelis A.

Source: Fundamenta Informaticae. 2007, Vol. 80 Issue 4, p333-362. 30p. 12 Charts.

Subject Terms: *THREADS (Computer programs), *COMPUTER software, *ALGEBRA, *COMPUTER programming, *ALGORITHMS, *MATHEMATICAL analysis

Virtual Threads, Structured Concurrency, and Scoped Values

Authors: Ron Veen David Vlijmincx

Resource Type: eBook.

Subjects: Threads (Computer programs), Java (Computer program language)

Categories: COMPUTERS / Languages / Java, COMPUTERS / Languages / General, COMPUTERS / Software Development & Engineering / General

Memory Models: A Case for Rethinking Parallel Languages and Hardware.

Authors: ADVE, SARITA V. BOEHM, HANS-J.

Source: Communications of the ACM. Aug2010, Vol. 53 Issue 8, p90-101. 12p. 1 Illustration, 5 Charts.

Subject Terms: *PARALLEL programming, *COMPUTER storage devices, *COMPUTER science, THREADS (Computer programs), PARALLEL programs (Computer programs), CONCEPTUAL structures, DEBUGGING

Studies on the distribution properties of cocoon numbers per thread in the fixed size reeling process I. On computer programs for calculating the distribution

Authors: Akinori SHIMAZAKI Fumiaki FUJITA

Source: The Journal of Sericultural Science of Japan. 1975, 44(2):111

Two Hardware-Based Approaches for Deterministic Multiprocessor Replay.

Authors: Hower, Derek R. Montesinos, Pablo Ceze, Luis et al.

Source: Communications of the ACM. Jun2009, Vol. 52 Issue 6, p93-100. 8p. 6 Diagrams, 3 Charts, 4 Graphs.

Subject Terms: *MULTIPROCESSORS, *PARALLEL processing, PARALLEL programs (Computer programs), THREADS (Computer programs), MULTIPROGRAMMING (Electronic computers), MICROPROCESSORS

Scalable Synchronous Queues.

Authors: Scherer, III, William N. Lea, Doug Scott, Michael L.

Source: Communications of the ACM. May2009, Vol. 52 Issue 5, p100-108. 9p. 8 Diagrams, 4 Graphs.

Subject Terms: *DATA structures, *COMPUTER software, *COMPUTER multitasking, *ELECTRONIC data processing, *ALGORITHMS, THREADS (Computer programs)

Noninterference for concurrent programs and thread systems

Authors: Boudol, Gérard Castellani, Ilaria

Source: Theoretical Computer Science. Jun2002, Vol. 281 Issue 1/2, p109. 22p.

Subject Terms: *COMPUTER science, *THREADS (Computer programs)

Managing Contention for Shared Resources on Multicore Processors.

Authors: FEDOROVA, ALEXANDRA BLAGODUROV, SERGEY ZHURAVLEV, SERGEY

Source: Communications of the ACM. Feb2010, Vol. 53 Issue 2, p49-57. 9p. 1 Diagram, 2 Charts, 8 Graphs.

Subject Terms: *SOFTWARE engineering, MULTICORE processors, THREADS (Computer programs), CENTRAL processing units, CONTENTION resolution protocols (Computer network protocols), SYSTEMS on a chip

You Don't Know Jack About Shared Variables or Memory Models.

Authors: Boehm, Hans-J. Adve, Sarita V.

Source: Communications of the ACM. Feb2012, Vol. 55 Issue 2, p48-54. 7p.

Subject Terms: *COMPUTER software, *COMPUTER storage devices, *PROGRAMMING languages, *COMPUTER architecture, THREADS (Computer programs), JAVA programming language

DESIGNING MULTITHREADED SOFTWARE BASED ON CONCURRENCY IN THE PROBLEM DOMAIN.

Authors: SANDÉN, BO I.

Source: TASK Quarterly; 2021, Vol. 25 Issue 2, p183-201, 19p

Subject Terms: THREADS (Computer programs), ARCHITECTURE, FINITE state machines, TELECOMMUNICATION equipment, INTERNET of things

Using Bulletin Boards in an Educational Setting.

Authors: Dos Santos, Brian L. Wright, Andrew L.

Source: Communications of the ACM. Mar2006, Vol. 49 Issue 3, p115-118. 4p. 2 Black and White Photographs.

Subject Terms: *COMPUTER bulletin boards, *INFORMATION sharing, *SUPPORT services (Management), THREADS (Computer programs), BULLETIN boards, DISTANCE education, GROUP work in education

METHOD OF EXECUTING ORDERED TRANSACTIONS IN MULTIPLE THREADS, COMPUTER FOR EXECUTING THE TRANSACTIONS, AND COMPUTER PROGRAM THEREFOR

Thread management to prevent race conditions in computer programs

Classification of thread profiles for scaling application behavior.

Authors: Mariani, Giovanni Anghel, Andreea Jongerius, Rik et al.

Source: Parallel Computing. Aug2017, Vol. 66, p1-21. 21p.

Subject Terms: *THREADS (Computer programs), *APPLICATION software, *CLUSTER analysis (Statistics), *MACHINE learning, *CLOUD computing

Parallel Louvain Community Detection Algorithm Based on Dynamic Thread Assignment on Graphic Processing Unit.

Authors: Mohammadi, M. Fazlali, M. Hosseinzadeh, M.

Source: Journal of Electrical & Computer Engineering Innovations (JECEI); Winter-Spring2022, Vol. 10 Issue 1, p75-88, 14p

Subject Terms: COMMUNICATION network analysis, SOCIAL sciences, ALGORITHMS, THREADS (Computer programs), PHYSICS

Scalability.

Source: Communications of the ACM; Aug1992, Vol. 35 Issue 8, p32-35, 4p

Subject Terms: SYSTEMS design, SCALABILITY, MONTE Carlo method software, LOCAL area networks, MICROCOMPUTER workstations (Computers), THREADS (Computer programs)

Analysis of Threading Libraries for High Performance Computing

Authors: Adrian Castello Rafael Mayo Gual Sangmin Seo et al.

Contributors: Adrian Castello Rafael Mayo Gual Sangmin Seo et al.

Source: Repositori Universitat Jaume I
Universitat Jaume I
RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
Universitat Politècnica de València (UPV)
RiuNet: Repositorio Institucional de la Universitat Politécnica de Valéncia
instname
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
IEEE Transactions on Computers

Subject Terms: GLT, programming models, POSIX threads, Libraries, 02 engineering and technology, Instruction sets, Hardware, Informàtica [Àrees temàtiques de la UPC], Parallel processing, 0202 electrical engineering, electronic engineering, information engineering, Threads (Computer programs), Programming Models, Lightweight Threads, POSIX Threads, Software engineering, Concurrent computing, Computers, Message systems, Programming models, lightweight threads, OpenMP, Ordinadors, ARQUITECTURA Y TECNOLOGIA DE COMPUTADORES, Lightweight threads, Task analysis, Enginyeria de programari, Àrees temàtiques de la UPC::Informàtica, OpenMP (Application program interface)

File Description: application/pdf

Access URL: https://upcommons.upc.edu/bitstream/2117/187368/1/TC2970706.pdf
http://hdl.handle.net/10234/189059
https://doi.org/10.1109/TC.2020.2970706
http://hdl.handle.net/10234/189059
https://riunet.upv.es/handle/10251/168795
https://hdl.handle.net/2117/187368
https://doi.org/10.1109/tc.2020.2970706

Counterexample-guided abstraction refinement for symmetric concurrent programs.

Authors: Donaldson, Alastair Kaiser, Alexander Kroening, Daniel et al.

Source: Formal Methods in System Design; Aug2012, Vol. 41 Issue 1, p25-44, 20p

Subject Terms: THREADS (Computer programs), COMPUTER software, MATHEMATICAL logic, ELECTRONIC information resource searching, COMPUTER systems

Cooperative types for controlling thread interference in Java.

Authors: Yi, Jaeheon Disney, Tim Freund, Stephen N. et al.

Source: Science of Computer Programming. Nov2015 Part 3, Vol. 112, p227-260. 34p.

Subject Terms: *THREADS (Computer programs), *JAVA programming language, *COMPUTER programmers, *SOURCE code, *REASONING