• Suche: "concurrent programming"

Treffer 1 - 20 von 2.722

1

On the Send-Synchronizability Problem for Mailbox Communication
Delpy, Romain ; Muscholl, Anca ; Sutre, Grégoire ; et al.
36th International Conference on Concurrency Theory (CONCUR 2025)., Aug 2025, Aarhus, Denmark. ⟨10.4230/LIPIcs.CONCUR.2025.15⟩

Aarhus, Denmark Synchronizability Verification Mailbox communication Concurrent programming [INFO.INFO-FL]Computer S... …
Konferenz
Zu den Favoriten
2

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
Din, Crystal, Chang ; Hähnle, Reiner ; Henrio, Ludovic ; et al.
ACM Transactions on Programming Languages and Systems (TOPLAS). 46(1):1-58

• Software and its engin... Program semantics Programming logic Theory of computation →... CCS Concepts CCS Concepts: Theory of... …
Zeitschrift
Zu den Favoriten
3

An Axiomatic Theory for Reversible Computation
Lanese, Ivan ; Phillips, Iain ; Ulidowski, Irek ; et al.
ACM Transactions on Computational Logic. 25(2):1-40

CCS Concepts: Theory of... Labelled Transition Syst... Causal Consistency Causal Safety Process calculi Reversible Computation …
Zeitschrift
Zu den Favoriten
4

Round-table discussion on a performance in a wicker basket
Table ronde autour d’une performance dans un panier en osier
Buob, Baptiste ; Demesmaeker, Jérémy ; Maillot, Laurence ; et al.

generative art incremental lability haouking Jean Rouch Kim Kardashian concurrent programming …
Zeitschrift
Zu den Favoriten
5

Exploring Student Misconceptions about Concurrency Using Sonic Pi
Delzanno G. ; Guerrini G. ; Traversaro D.
2025 33rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP). :364-371

Computer Science Educati... Concurrency Education Concurrent Programming Misconception in program... Multithreading
Fachzeitschrift
Zu den Favoriten
6

Syntactic Regions for Concurrent Programs
Mimram, Samuel ; Ulusoy, Aly-Bora ; Laboratoire d'informatique de l'École polytechnique [Palaiseau] (LIX) ; et al.
Proceedings 37th Conference on Mathematical Foundations of Programming Semantics. :184-199

Salzburg, Austria concurrent programming geometric semantics state space [INFO.INFO-LO]Computer S... Logic in Computer Scienc...
Konferenz
Zu den Favoriten
7

Processes, Systems & Tests: Defining Contextual Equivalences
Aubert, Clément ; Varacca, Daniele ; Augusta University ; et al.
Proceedings 14th Interaction and Concurrency Experience (ICE 2021). :1-21

Virtual Event, Malta Process Algebra Concurrency Testing Equivalences Process Semantics ACM: D.: Software …
Konferenz
Zu den Favoriten
8

Local Certification of Graphs with Bounded Genus
Feuilloley, Laurent ; Fraigniaud, Pierre ; Montealegre, Pedro ; et al.
Discrete Applied Mathematics. 325:9-36

2012 ACM Subject Classif... Local certification proof-labeling scheme locally checkable proofs [INFO.INFO-DC]Computer S... Distributed, Parallel, a...
Zeitschrift
Zu den Favoriten
9

Concurrent Realizability on Conjunctive Structures
Beffara, Emmanuel ; Castro, Félix ; Guillermo, Mauricio ; et al.

Rome, Italy Realizability Process Algebras Concurrent Programming Linear Logic [INFO.INFO-LO]Computer S... …
Konferenz
Zu den Favoriten
10

Analysis of tools for detecting concurrency issues in Java: A comparative study
VIGÁRIO, LUÍS FERNANDO DA SILVA NUNES ; Nogueira, Luis Miguel Pinho ; REPOSITÓRIO P.PORTO
urn:tid:204000017

Concurrent programming Java Race conditions Deadlocks Detection tools Atomicity violations …
Zu den Favoriten
11

Multithreading in Java: Techniques for Concurrent Programming
Ashok Lama Software Engineer

Java, Multithreading, Co...
Fachzeitschrift
Zu den Favoriten
12

Parallel integer multiplication
Vivien, Samuel ; Département d'informatique - ENS-PSL (DI-ENS) ; École normale supérieure - Paris (ENS-PSL) ; et al.

Valladoid, Spain ACM: D.: Software D.1: PROGRAMMING TECHNIQ... D.1.3: Concurrent Progra... D.1.3.1: Parallel progra... ACM: G.: Mathematics of... …
Konferenz
Zu den Favoriten
13

Virtual Machine and Integrated Developer Environment for Sleptsov Net Computing
Zaitsev, Dmitry, A ; Shmeleva, Tatiana, R ; Zhang, Qing ; et al.
Parallel Processing Letters. 33(03)

Sleptsov net computing concurrent programming efficient computing computing memory virtual machine integrated developer env... …
Zeitschrift
Zu den Favoriten
14

Melissa: Large Scale In Transit Sensitivity Analysis Avoiding Intermediate Files
Terraz, Théophile ; Ribés, Alejandro ; Fournier, Yvan ; et al.
The International Conference for High Performance Computing. :1-14

Denver, United States In Transit Processing Sobol' Index Ensemble Simulation Multi-run Simulations Sensitivity Analysis …
Konferenz
Zu den Favoriten
15

A Space and Bandwidth Efficient Multicore Algorithm for the Particle-in-Cell Method
Barsamian, Yann, A ; Charguéraud, Arthur ; Ketterlin, Alain ; et al.
PPAM 2017 - 12th International Conference on Parallel Processing and Applied Mathematics. :1-12

Lublin, Poland Particle-in-Cell simulat... Plasma physics Strong scaling Weak scaling Hybrid parallelism …
Konferenz
Zu den Favoriten
16

Monitoring Decentralized Specifications
El-Hokayem, Antoine ; Falcone, Yliès ; Compiler Optimization and Run-time Systems (CORSE) ; et al.
ISSTA 2017. :125-135

Santa Barbara, CA, Unite... Monitorability Decentralized Specificat... Monitoring Runtime Verification Eventual Consistency …
Konferenz
Zu den Favoriten
17

An Experimental Evaluation of Tools for Grading Concurrent Programming Exercises
Barros, Manuel ; Ramos, Maria ; Gomes, Alexandre ; et al.
43th International Conference on Formal Techniques for Distributed Objects. :3-20

Lisbon, Portugal Concurrent programming Testing Verification e-Learning [INFO]Computer Science [... …
Konferenz
Zu den Favoriten
18

Opening Polyhedral Compiler's Black Box
Bagnères, Lénaïc ; Zinenko, Oleksandr ; Huot, Stéphane ; et al.
CGO 2016 - 14th Annual IEEE/ACM International Symposium on Code Generation and Optimization. :128-138

Barcelona, Spain ACM: D.: Software D.2: SOFTWARE ENGINEERIN... D.2.3: Coding Tools and... D.1: PROGRAMMING TECHNIQ... D.1.3: Concurrent Progra... …
Konferenz
Zu den Favoriten
19

Transparent Parallelization of Enrichment Operations in Geometric Modeling
Bourquat, Pierre ; Belhaouari, Hakim ; Meseure, Philippe ; et al.
15th international conference on Computer Graphics Theory and Applications (VISIGRAPP/GRAPP), Feb 2020, La Valette, Malta

La Valette, Malta Generalized Maps Transparently-Parallel M... Geometric Modeling Parallelism Parallel Construction of... …
Konferenz
Zu den Favoriten
20

Putting the Next 500 VM Placement Algorithms to the Acid Test
Putting the Next 500 VM Placement Algorithms to the Acid Test: The Infrastructure Provider Viewpoint
Lebre, Adrien ; Pastor, Jonathan ; Simonet, Anthony ; et al.
IEEE Transactions on Parallel and Distributed Systems. :1-14

energy simulation VM placement Infrastructure-as-a-Serv... Index Terms—Cloud Comput... ACM: D.: Software …
Zeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter