Suchergebnisse - "Distributed programming with message passing"

A semantics comparison workbench for a concurrent, asynchronous, distributed programming language

Autoren: Claudio Corrodi Alexander Heußner Christopher M. Poskitt

Quelle: Formal Aspects of Computing. 30:163-192

Schlagwörter: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, runtime semantics, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Computer Science - Software Engineering, 0202 electrical engineering, electronic engineering, information engineering, Computer Science - Programming Languages, verification/analysis parameterised by semantics, object-oriented programming, SCOOP, GROOVE, 16. Peace & justice, concurrency abstractions, Logic in Computer Science (cs.LO), Software Engineering (cs.SE), Programming Languages and Compilers, Computer Science - Distributed, Parallel, and Cluster Computing, distributed programming with message passing, operational semantics, concurrent asynchronous programming, graph transformation systems, Distributed, Parallel, and Cluster Computing (cs.DC), software engineering, Programming Languages (cs.PL)

Dateibeschreibung: application/pdf

Zugangs-URL: https://ink.library.smu.edu.sg/sis_research/4857
http://arxiv.org/abs/1710.03928
http://export.arxiv.org/abs/1710.03928
https://export.arxiv.org/pdf/1710.03928
https://arxiv.org/pdf/1710.03928.pdf
https://arxiv.org/abs/1710.03928
https://dl.acm.org/doi/10.1007/s00165-017-0443-1
https://doi.org/10.1007/s00165-017-0443-1
https://ink.library.smu.edu.sg/sis_research/4857/
http://ui.adsabs.harvard.edu/abs/2017arXiv171003928C/abstract
https://dblp.uni-trier.de/db/journals/corr/corr1710.html#abs-1710-03928
https://link.springer.com/article/10.1007%2Fs00165-017-0443-1

Refining multiparty session types

Autoren: Zhou, Fangyi Yoshida, Nobuko Wu, Nicolas et al.

Weitere Verfasser: Zhou, Fangyi Yoshida, Nobuko Wu, Nicolas et al.

Relation: alma; http://hdl.handle.net/10044/1/110416; https://doi.org/10.25560/110416; EP/K034413/1; EP/N027833/1

Verfügbarkeit: http://hdl.handle.net/10044/1/110416
https://doi.org/10.25560/110416

A spatiotemporal algebra in Hadoop for moving objects.

Autoren: Bakli, Mohamed S. Sakr, Mahmoud A. Soliman, Taysir Hassan A.

Quelle: Geo-Spatial Information Science; Jun2018, Vol. 21 Issue 2, p102-114, 13p

Schlagwörter: SPATIOTEMPORAL processes, BIG data, INFORMATION storage & retrieval systems, DATA mining, ELECTRONIC data processing

Power Consumption Due to Data Movement in Distributed Programming Models.

Autoren: Jana, Siddhartha Hernandez, Oscar Poole, Stephen et al.

Quelle: Euro-Par 2014 Parallel Processing; 2014, p366-378, 13p

Parallel Approaches for Multiobjective Optimization.

Autoren: Talbi, El-Ghazali Mostaghim, Sanaz Okabe, Tatsuya et al.

Quelle: Multiobjective Optimization; 2008, p349-372, 24p

The Abstract Task Graph.

Autoren: Zomaya, Albert Y. Bakshi, Amol B. Prasanna, Viktor K.

Quelle: Architecture-Independent Programming for Wireless Sensor Networks; 2008, p21-64, 43p

The design and analysis of parallel algorithms.

Autoren: Rodriguez, C.

Quelle: Proceedings 10th Euromicro Workshop on Parallel, Distributed & Network-based Processing; 2002, p1-1, 1p

On the interaction between mobile processes and objects.

Autoren: Jagannathan, S. Kelsey, R.

Quelle: Proceedings Seventh Heterogeneous Computing Workshop (HCW'98); 1998, p163-170, 8p

Language support for long-lived concurrent activities.

Autoren: Papazoglou, M.P. Delis, A. Haghjoo, M. et al.

Quelle: Proceedings of 16th International Conference on Distributed Computing Systems; 1996, p698-705, 8p

On a distributed implementation of a decomposition method for multistage linear stochastic programs.

Autoren: Korycki, J.

Quelle: Optimization; Jan1996, Vol. 38 Issue 2, p193-200, 8p

The Soma: A Programming Construct for Distributed Processing.

Autoren: Kessels, Joep L. W.

Quelle: IEEE Transactions on Software Engineering; Sep81, Vol. 7 Issue 5, p502-509, 8p, 3 Diagrams

Schlagwörter: DISTRIBUTED computing, ELECTRONIC data processing, PARALLEL computers, PARALLEL programming, SOFTWARE engineering, COMPUTER software, COMPUTER systems

The Lynx Distributed Programming Language: Motivation, Design, and Experience

Autoren: Michael L. Scott The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Michael L. Scott The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.cogsci.rochester.edu/u/scott/papers/1991_CompLang_Lynx.pdf.

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.83.218; http://www.cogsci.rochester.edu/u/scott/papers/1991_CompLang_Lynx.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.83.218
http://www.cogsci.rochester.edu/u/scott/papers/1991_CompLang_Lynx.pdf

Power Consumption Due to Data Movement in Distributed Programming Models

Autoren: Oscar Hernandez Barbara Chapman Stephen W. Poole et al.

Quelle: Lecture Notes in Computer Science ISBN: 9783319098722

Schlagwörter: 13. Climate action, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 7. Clean energy

Zugangs-URL: https://dblp.uni-trier.de/db/conf/europar/europar2014.html#JanaHPC14
https://link.springer.com/content/pdf/10.1007%2F978-3-319-09873-9_31.pdf
https://rd.springer.com/chapter/10.1007/978-3-319-09873-9_31
https://link.springer.com/chapter/10.1007%2F978-3-319-09873-9_31

Safe and secure execution mechanisms for mobile objects

Autoren: Kazuhiko Kato

Quelle: Lecture Notes in Computer Science ISBN: 9783540628521

Zugangs-URL: https://rd.springer.com/chapter/10.1007/3-540-62852-5_15
https://dblp.uni-trier.de/db/conf/mos/mos1996.html#Kato96
https://link.springer.com/chapter/10.1007%2F3-540-62852-5_15

The design and analysis of parallel algorithms

Autoren: Casiano Rodríguez

Quelle: Proceedings 10th Euromicro Workshop on Parallel, Distributed and Network-based Processing. :1-1

Zugangs-URL: https://www.computer.org/csdl/proceedings-article/pdp/2002/14440001/12OmNxH9Xe4
https://dblp.uni-trier.de/db/conf/pdp/pdp2002.html#Rodriguez02

Introducing contracting in distributed transactional workflows.

Autoren: Verharen, E.M. Papazoglou, M.P.

Quelle: Proceedings of the Thirty-First Hawaii International Conference on System Sciences; 1998, Issue 7, p324-324, 1p

Programación Paralela y Distribuida, Paso de mensajes.

Autoren: Martos-Valenzuela, María-de-Guía Martínez-Cruz, Carmen González-García, Pedro et al.

Weitere Verfasser: Martos-Valenzuela, María-de-Guía Martínez-Cruz, Carmen González-García, Pedro et al.

Schlagwörter: Informática, 1203.17, Informatics

Dateibeschreibung: application/pdf

Relation: https://hdl.handle.net/10953.1/4930

Verfügbarkeit: https://hdl.handle.net/10953.1/4930

Deep Learning Technologies for Social Impact

Autoren: Shajulin Benedict

Resource Type: eBook.

Schlagworte: Deep learning (Machine learning), Technology--Social aspects

Categories: COMPUTERS / Data Science / Neural Networks, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Data Science / Machine Learning

Multi-Processor System-on-Chip 1 : Architectures

Autoren: Liliana Andrade Frederic Rousseau

Resource Type: eBook.

Categories: COMPUTERS / Computer Architecture

Computational Science – ICCS 2020

Autoren: Valeria V. Krzhizhanovskaya Gábor Závodszky Michael H. Lees et al.

Resource Type: eBook.

Schlagworte: Computer science, Artificial intelligence, Computer engineering, Computer networks, Computer science—Mathematics, Computer vision

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Artificial Intelligence / Computer Vision & Pattern Recognition, COMPUTERS / Hardware / General, MATHEMATICS / Applied