Search Results - "D.1.3 Concurrent Programming"
-
1
Authors: et al.
Contributors: et al.
Source: Discrete Applied Mathematics. 325:9-36
Subject Terms: FOS: Computer and information sciences, [INFO.INFO-DC]Computer Science [cs]/Distributed, 0102 computer and information sciences, Parallel, 01 natural sciences, and Cluster Computing [cs.DC], 2012 ACM Subject Classification D.1.3 Concurrent Programming (Distributed programming), Computer Science - Distributed, Parallel, and Cluster Computing, proof-labeling scheme, Local certification, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], locally checkable proofs, Distributed, Parallel, and Cluster Computing (cs.DC), 0101 mathematics
File Description: application/pdf
Access URL: http://arxiv.org/abs/2007.08084
-
2
Authors:
Source: In: 2024 IEEE/ACM International Symposium on Code Generation and Optimization (CGO). (pp. pp. 334-348). IEEE: Edinburgh, United Kingdom. (2024)
Subject Terms: D.1.3 Concurrent Programming, B.1.2.b Formal models, B.1.4.b Languages and compilers, D.2.5.r Testing tools
File Description: application/pdf
Relation: https://discovery.ucl.ac.uk/id/eprint/10191895/1/paper.pdf; https://discovery.ucl.ac.uk/id/eprint/10191895/
-
3
Authors:
Source: Electronic Proceedings in Theoretical Computer Science, Vol 258, Iss Proc. CoALP-Ty 2016, Pp 36-51 (2017)
Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, QA75.5-76.95, 0102 computer and information sciences, 01 natural sciences, Logic in Computer Science (cs.LO), Computer Science - Distributed, Parallel, and Cluster Computing, Electronic computers. Computer science, D.1.3 Concurrent Programming---Parallel programming, D.2.4 Software/Program Verification---Formal methods, D.3.1 Formal Definitions and Theory---Semantics, F.3.2 Semantics of Programming Languages---Denotational semantics---Operational semantics---Process, QA1-939, Distributed, Parallel, and Cluster Computing (cs.DC), 0101 mathematics, Mathematics, Programming Languages (cs.PL)
Access URL: https://arxiv.org/pdf/1709.04714
http://arxiv.org/abs/1709.04714
https://doaj.org/article/15158e0a85a14927bdf0b8076f88930b
https://arxiv.org/pdf/1709.04714
https://arxiv.org/abs/1709.04714
http://ui.adsabs.harvard.edu/abs/2017arXiv170904714I/abstract
https://cronfa.swan.ac.uk/Record/cronfa33725/Download/0033725-12072017230838.pdf
https://arxiv.org/abs/1709.04714v1
https://cronfa.swan.ac.uk/Record/cronfa33725
https://cronfa.swan.ac.uk/Record/cronfa33725/Download/0033725-12072017230838.pdf -
4
Authors:
Source: International Conference on Parallel Processing. ICPP 2005 Workshops, pp. 29–33, Oslo, Norway, June 14-17, 2005
info:cnr-pdr/source/autori:Puppin D.; Laforenza D.; Tonellotto N./congresso_nome:International Conference on Parallel Processing. ICPP 2005 Workshops/congresso_luogo:Oslo, Norway/congresso_data:June 14-17, 2005/anno:2005/pagina_da:29/pagina_a:33/intervallo_pagine:29–33Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, Distributed computing, MPI, Web Services, D.1.3 Concurrent Programming, 02 engineering and technology
File Description: application/pdf
Access URL: http://hpc.isti.cnr.it/~diego/papers/oslo.pdf
https://ieeexplore.ieee.org/document/1488674/
http://dblp.uni-trier.de/db/conf/icppw/icppw2005.html#PuppinTL05
https://dblp.uni-trier.de/db/conf/icppw/icppw2005.html#PuppinTL05
https://hdl.handle.net/11568/1043229
https://doi.org/10.1109/ICPPW.2005.39 -
5
Authors: et al.
Contributors: et al.
Source: https://hal.science/hal-01343592 ; [Research Report] RR-8932, Institut National de la Recherche en Informatique et Automatique (Inria). 2016.
Subject Terms: C.2.4 Distributed databases, D.1.3 Concurrent programming, D.2.4 Software/Program Verification, E.1 Distributed data structures, Consistency models, Replicated data, Structural invariants, Correctness of distributed systems, E.1 Structures de données réparties, C.2.4 Bases de données réparties, D.1.3 Programmation parallèle, D.2.4 Vérification de programme et de logiciel, Modèles de cohérence, Données répliquées, Invariants de structurels, Caractère correct de système réparti, [INFO]Computer Science [cs]
-
6
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.3.3 [Language Constructs and Features, Concurrent programming structures, D.1.3 [Concurrent Programming, Parallel programming, D.3.1 [Formal Definitions and Theory, Semantics, D.3.2 [Language Classifications, Concurrent, distributed, and parallel languages Keywords
File Description: application/pdf
-
7
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, C.1.2 [Multiple Data Stream Architectures (Multiprocessors, Parallel processors, D.1.3 [Concurrent Programming, Parallel programming, F.3.1 [Specifying and Verifying and Reasoning about Programs] General Terms, Reliability, Theory, Verification Additional Key Words and Phrases, Relaxed Memory Models, Semantics, Verified Compilation ACM Reference Format
File Description: application/pdf
-
8
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, C.1.2 [Multiple Data Stream Architectures (Multiprocessors, Parallel processors, D.1.3 [Concurrent Programming, Parallel programming, F.3.1 [Specifying and Verifying and Reasoning about Programs] General Terms, Reliability, Theory, Verification Additional Key Words and Phrases, Relaxed Memory Models, Verified Compilation, Semantics Contents
File Description: application/pdf
-
9
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.1.3 [Concurrent Programming, Parallel Programming, K.6.4 [System Management, Centralization/decentralization Keywords High Performance Computing, Clouds, Resource Scheduling Copyright is held by the author/owner(s). HPDC’12, June 18–22
Time: 2012
File Description: application/pdf
-
10
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.1.3 [Concurrent Programming, Distributed programming, Parallel programming General Terms, Algorithms, Design, Performance Keywords, Interpolation, MPI, CUDA, Terrain Modeling
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.242.5792; http://www.cs.swarthmore.edu/%7Eadanner/docs/acmGIS12MPICUDA.pdf
-
11
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.1.3 [Concurrent Programming, Parallel Programming General Terms Experimentation Keywords MapReduce, Hadoop, scientific ensembles, data-intensive, workflows
File Description: application/pdf
-
12
Authors:
Contributors:
Subject Terms: B.4.1 [Data Communications Devices, Receivers (Bluetooth, Transmitters (Bluetooth) D.1.3 [Concurrent Programming, Asynchronous Events I.2.10 [Vision and Scene Understanding, Stereoscopic Triangulation I.4.2 [Compression (Coding, Size Functions I.5.1 [Models, Deterministic, Neural Networks, Statistical I.5.2 [Design Methodology, Classifier Design and Evaluation, Feature Evaluation and Selection, Pattern Analysis I.5.4 [Applications, Computer Vision I.5.5 [Implementation, Interactive Systems
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.458.3868; http://www.cs.ru.ac.za/research/g07L2273/downloads/Thesis.pdf
-
13
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.4 [Software/Program Verification, Validation, D.2.5 [Testing and Debugging, Monitors, D.1.3 [Concurrent Programming, Distributed programming General Terms Design Keywords Adaptation, context-awareness, mobile computing, model- based analysis
File Description: application/pdf
-
14
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.1.3 [Concurrent Programming, Algorithms General Terms Algorithms, Performance Keywords Multiprocessors, Concurrent Data-Structures, Synchronization
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.413.3407; http://www.cs.tau.ac.il/research/moran.tzafrir/papers/spaa2010_flat_combining.pdf
-
15
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.1.3 [Concurrent Programming, Parallel Programming. General Terms, Algorithms, Design, Performance. Keywords, Commit-Time Invalidation, Software Transactional Memory
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.360.3256; http://ecee.colorado.edu/~siek/cgo10.pdf
-
16
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.1.3 [Concurrent Programming, Algorithms General Terms Algorithms, Performance Keywords Multiprocessors, Concurrent Data-Structures, Synchronization
File Description: application/pdf
-
17
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.3.3 [Language Constructs and Features, Concurrent programming structures, D.1.3 [Concurrent Programming, memoization, D.3.1 [Formal Definitions and Theory, Semantics Keywords Concurrent programming, partial memoization, software transactions, Concurrent ML, multicore systems
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.330.7482; http://www.cs.purdue.edu/homes/suresh/papers/icfp09.pdf
-
18
Authors:
Contributors:
Subject Terms: C.1.4 [Parallel Architectures]. D.1.3 [Concurrent Programming, Distributed programming, parallel programming. B.7.1 [Integrated Circuits, Microprocessors, Very Large Scale Integration (VLSI). General Terms Algorithms, Performance, Design. Keywords Multicore, Massively Parallel Processing, Parallel Architectures and Algorithms
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.673.9033; http://kona.ee.pitt.edu/steve/Recent+Publications/DAC_2009.pdf
-
19
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.3.3 [Programming Languages, D.1.3 [Concurrent Programming] General Terms Design, Languages Keywords concurrency, programming language, access permissions
File Description: application/pdf
-
20
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.1.3 [Concurrent Programming, Parallel Programming. General Terms Algorithms, Performance, Measurement. Keywords Finite Difference, GPU, CUDA, Parallel Algorithms
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.472.447; http://developer.download.nvidia.com/CUDA/CUDA_Zone/papers/gpu_3dfd_rev.pdf
Full Text Finder 
Nájsť tento článok vo Web of Science