Search Results - "Concurrent and distributed programming"

Teaching Concurrent and Distributed Programming With Concepts Over Mathematical Proofs

Authors: Marchant, David Johnsen, Carl-Johannes Vinter, Brian et al.

Source: 2019 IEEE/ACM Workshop on Education for High-Performance Computing (EduHPC)

Subject Terms: CSP, ZeroMQ, Teaching, SME, 05 social sciences, Concurrent, Parallel, 0503 education, Concepts

Access URL: https://dblp.uni-trier.de/db/conf/sc/eduhpc2019.html#MarchantJVS19

Models, Languages, and Tools for Concurrent and Distributed Programming: Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday

Authors: M. Boreale F. Corradini M. Loreti et al.

Source: Lecture Notes in Computer Science ISBN: 9783030214845

Subject Terms: Models, Languages, Tools, Concurrent Programming, Distributed Programming, Rocco De Nicola

Access URL: https://hdl.handle.net/2158/1159314

Characterizing Extracurricular Effort on Concurrent and Distributed Programming Learning

Authors: Jeisson Hidalgo-Cespedes

Source: 2019 IV Jornadas Costarricenses de Investigación en Computación e Informática (JoCICI). :1-5

Subject Terms: 4. Education

Access URL: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=9105254
http://xplorestaging.ieee.org/ielx7/9103170/9105125/09105254.pdf?arnumber=9105254

A One Year Retrospective on a MOOC in Parallel, Concurrent, and Distributed Programming in Java

Authors: Vivek Sarkar Zoran Budimlić Max Grossman et al.

Source: 2018 IEEE/ACM Workshop on Education for High-Performance Computing (EduHPC). :61-68

Subject Terms: 4. Education, 3. Good health

Access URL: https://dblp.uni-trier.de/db/conf/sc/eduhpc2018.html#SarkarGBI18

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

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

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

Subject Terms: 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)

File Description: application/pdf

Access 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

Playing and learning with gamification: An in-class concurrent and distributed programming activity

Authors: Rodrigo Filev Maia Felipe Reis Graeml

Source: 2015 IEEE Frontiers in Education Conference (FIE). :1-6

Subject Terms: 4. Education, 8. Economic growth, 0502 economics and business, 05 social sciences, 0503 education

Access URL: https://ieeexplore.ieee.org/document/7344135/
https://dblp.uni-trier.de/db/conf/fie/fie2015.html#MaiaG15
http://dro.deakin.edu.au/view/DU:30129802

Reengineering the SLEEP simulator in a concurrent and distributed programming course

Authors: Milos Cvetanovic Zaharije Radivojevic Zoran Jovanovic

Source: Computer Applications in Engineering Education. 22:39-51

Subject Terms: 13. Climate action, 4. Education, 05 social sciences, 0503 education

Access URL: http://onlinelibrary.wiley.com/doi/10.1002/cae.20527/full
https://onlinelibrary.wiley.com/doi/10.1002/cae.20527/full
https://onlinelibrary.wiley.com/doi/10.1002/cae.20527

Models, Languages, and Tools for Concurrent and Distributed Programming

Authors: Michele Boreale Flavio Corradini Michele Loreti et al.

Resource Type: eBook.

Subjects: Computer science, Software engineering, Compilers (Computer programs), Computer programming, Computer systems, Computer networks

Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Architecture, COMPUTERS / Networking / General, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

Keynote Lecture : Towards Robust, Large-scale Concurrent and Distributed Programming

Authors: Philipp Haller

Source: 2021 20th International Symposium on Parallel and Distributed Computing (ISPDC). :xiv-xiv

Access URL: https://dblp.uni-trier.de/db/conf/ispdc/ispdc2021.html#Haller21

Principles of Concurrent and Distributed Programming UPDF EBook

Authors: M. Ben-Ari

Resource Type: eBook.

Categories: COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

Principles of concurrent and distributed programming

Source: Choice Reviews Online. 28:28-2760

A Semantics Comparison Workbench for a Concurrent, Asynchronous, Distributed Programming Language

Authors: Corrodi, Claudio Heußner, Alexander Poskitt, Christopher M.

Index Terms: Computer Science - Software Engineering, Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, text

URL: http://arxiv.org/abs/1710.03928

Principles of concurrent and distributed programming / M. Ben-Ari.

Authors: Ben-Ari, Mordechai (1948- ).

Source: Bibliogr. s. 351-354. Indeks.

Subject Terms: Programowanie równoległe (informatyka), Przetwarzanie rozproszone

Other Title: Principles of concurrent and distributed programming

Access URL: http://katalog.nukat.edu.pl/lib/item?id=chamo:1244128&theme=nukat

Concurrent and Distributed Programming

Authors: John C. Mitchell

Access URL: http://www.math.unipd.it/%7Econti/teaching/PCD1112/project.pdf
http://ebooks.cambridge.org/chapter.jsf?bid=CBO9780511804175&cid=CBO9780511804175A103

Principles of concurrent and distributed programming

Authors: Paritosh K. Pandya

Source: Science of Computer Programming. 16:292-294

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Software

Access URL: https://www.sciencedirect.com/science/article/pii/016764239190019T

Concurrent and Distributed Programming with Objects

Authors: Patrick Sallé Marc Pantel

Source: Lecture Notes in Computer Science ISBN: 9783540664437

Access URL: https://rd.springer.com/chapter/10.1007/3-540-48311-X_188
https://link.springer.com/chapter/10.1007%2F3-540-48311-X_188
https://link.springer.com/content/pdf/10.1007%2F3-540-48311-X_188.pdf

Principles of concurrent and distributed programming / M. Ben-Ari.

Authors: Ben-Ari, Mordechai (1948- ).

Subject Terms: Programowanie równoległe (informatyka), Przetwarzanie rozproszone

Access URL: http://katalog.nukat.edu.pl/lib/item?id=chamo:1645370&theme=nukat

Unified Interference-free Parallel, Concurrent and Distributed Programming

Authors: Schill, Mischael Mattern, Friedemann Meyer, Bertrand

Contributors: Schill, Mischael Mattern, Friedemann Meyer, Bertrand

Subject Terms: DISTRIBUTED ALGORITHMS + PARALLEL ALGORITHMS (PROGRAMMING METHODS), PARALLELVERARBEITUNG + NEBENLÄUFIGKEIT (BETRIEBSSYSTEME), VERTEILTE ALGORITHMEN + PARALLELE ALGORITHMEN (PROGRAMMIERMETHODEN), VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), PARALLEL PROCESSING + CONCURRENCY (OPERATING SYSTEMS), CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), Data processing, computer science

File Description: application/application/pdf

Access URL: https://www.research-collection.ethz.ch/mapping/view/eth:50417
http://e-collection.library.ethz.ch/eserv/eth:50417/eth-50417-02.pdf
https://e-collection.library.ethz.ch/view/eth:50417
https://www.research-collection.ethz.ch/bitstream/20.500.11850/127377/1/eth-50417-01.pdf
http://hdl.handle.net/20.500.11850/127377

Enhancing closures in scala 3 with spores3

Authors: Haller, Philipp

Source: Scala 2022 - Proceedings of the 2022 Scala Symposium. :22-27

Subject Terms: closures, distributed programming, marshalling, pickling, scala, serialization, Closure, Concurrent and distributed programming, Functional programming languages, Is-enabled, Language features, Marshaling, Safety hazards, Functional programming

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-328880
https://doi.org/10.1145/3550198.3550428

Local certification of graphs with bounded genus

Authors: Feuilloley, Laurent Fraigniaud, Pierre Montealegre, Pedro et al.

Contributors: Feuilloley, Laurent Fraigniaud, Pierre Montealegre, Pedro 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