Suchergebnisse - Concurrent object-oriented programming~

Concurrent object-oriented programming with agent-oriented abstractions: the ALOO approach

Autoren: RICCI, ALESSANDRO Andrea Santi

Quelle: Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control. :127-138

Schlagwörter: AGENT-ORIENTED PROGRAMMING, Actors, Active Objects, ALOO, Concurrent Programming, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Zugangs-URL: https://dl.acm.org/doi/10.1145/2541329.2541333
https://dblp.uni-trier.de/db/conf/agere/agere2013.html#RicciS13
https://dl.acm.org/citation.cfm?doid=2541329.2541333
https://hdl.handle.net/11585/398328
https://doi.org/10.1145/2541329.2541333

Concurrent object-oriented programming using term graph rewriting techniques

Autoren: Papadopoulos, George Angelos Papadopoulos, George Angelos [0000-0001-9250-4916]

Weitere Verfasser: Papadopoulos, George Angelos Papadopoulos, George Angelos [0000-0001-9250-4916]

Quelle: Information and Software Technology
Inf Software Technol

Schlagwörter: Term graph rewriting systems (TGRS), Implementation techniques, Parallel processing systems, Linear logic, 0102 computer and information sciences, 02 engineering and technology, Computer simulation, Dactyl, Logic programming, Concurrent constraint programming, 01 natural sciences, Dactl, Computer programming languages, Object oriented programming, Computational methods, 0202 electrical engineering, electronic engineering, information engineering, Concurrent object-oriented programming, Programming theory, Concurrency control, Term graph rewriting systems

Zugangs-URL: https://core.ac.uk/display/24347141
https://dblp.uni-trier.de/db/journals/infsof/infsof38.html#Papadopoulos96
https://www.sciencedirect.com/science/article/pii/0950584996010932
http://www.sciencedirect.com/science/article/pii/0950584996010932
http://gnosis.library.ucy.ac.cy/handle/7/54733

On the Benefits of Using Object-Oriented Programming for the Objective Evaluation of Vehicle Dynamic Performance in Concurrent Simulations

Autoren: Michele Perrelli Francesco Cosco Giuseppe Carbone et al.

Quelle: Machines, Vol 9, Iss 2, p 41 (2021)

Schlagwörter: autonomous vehicle, vehicle dynamics, torque vectoring, object-oriented programming, real-time simulations, Mechanical engineering and machinery, TJ1-1570

Dateibeschreibung: electronic resource

Relation: https://www.mdpi.com/2075-1702/9/2/41; https://doaj.org/toc/2075-1702

Zugangs-URL: https://doaj.org/article/675f4df68fb14828b59fc05dc1701af8

Evaluation of a Structured Design Methodology for Concurrent Programming

Autoren: Bijlsma, A. Huizing, Kees Kuiper, Ruurd et al.

Weitere Verfasser: Bijlsma, A. Huizing, Kees Kuiper, Ruurd et al.

Quelle: Rahimi, E. (ed.), CSERC '19: The 8th Computer Science Education Research Conference, Larnaca Cyprus, November, 2019, pp. 58-65
Bijlsma, A, Huizing, K, Kuiper, R, Passier, H J M, Pootjes, H J & Smetsers, S 2019, Evaluation of a Structured Design Methodology for Concurrent Programming. in E Rahimi & D Stikkolorum (eds), CSERC '19 : Proceedings of the 8th Computer Science Education Research Conference. Association for Computing Machinery, New York, NY, pp. 58–65, 8th Computer Science Education Research Conference (CSERC'19), Larnaca, Cyprus, 18/11/19. https://doi.org/10.1145/3375258.3375266

Schlagwörter: 4. Education, 05 social sciences, Software Science, 0202 electrical engineering, electronic engineering, information engineering, object-oriented programming, concurrency, 02 engineering and technology, Program design, 0503 education, Java, Education

Zugangs-URL: https://research.ou.nl/en/publications/evaluation-of-a-structured-design-methodology-for-concurrent-prog
https://dblp.uni-trier.de/db/conf/cserc/cserc2019.html#BijlsmaHKPPS19
https://www.narcis.nl/publication/RecordID/oai%3Arepository.ubn.ru.nl%3A2066%2F219622
https://dl.acm.org/doi/10.1145/3375258.3375266
https://repository.ubn.ru.nl/handle/2066/219622
https://doi.org/10.1145/3375258.3375266
https://hdl.handle.net/2066/219622
https://repository.ubn.ru.nl//bitstream/handle/2066/219622/219622.pdf

An Efficient Implementation of Guard-Based Synchronization for an Object-Oriented Programming Language

Autoren: Yao, Shucai Sekerinski, Emil

Quelle: Electronic Proceedings in Theoretical Computer Science. 420:44-53

Schlagwörter: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Computer Science - Distributed, Parallel, and Cluster Computing, Distributed, Parallel, and Cluster Computing (cs.DC), Programming Languages (cs.PL), Logic in Computer Science (cs.LO)

Zugangs-URL: http://arxiv.org/abs/2505.20850

Logic/Object-Oriented Concurrent Robot Programming and Performance Aspects

Autoren: Alfried Pollmann

Resource Type: eBook.

Categories: COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Programming / General

A logic-based concurrent object-oriented programming language

Autoren: Melendez, Rafael Ramirez

Schlagwörter: 005, Logic programming

Zugangs-URL: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.337487

Channels as Objects in Concurrent Object-Oriented Programming

Autoren: Joana Campos Vasco T. Vasconcelos

Quelle: Electronic Proceedings in Theoretical Computer Science, Vol 69, Iss Proc. PLACES 2010, Pp 12-28 (2011)

Schlagwörter: FOS: Computer and information sciences, Computer Science - Programming Languages, Electronic computers. Computer science, QA1-939, 0202 electrical engineering, electronic engineering, information engineering, QA75.5-76.95, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences, Mathematics, Programming Languages (cs.PL)

Zugangs-URL: http://arxiv.org/abs/1110.4157
https://doaj.org/article/564a57fd71834b56bd920cf5165456ae
http://ui.adsabs.harvard.edu/abs/2011arXiv1110.4157C/abstract
https://arxiv.org/pdf/1110.4157
https://arxiv.org/abs/1110.4157

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

Concurrent object construction in modern object-oriented programming languages

Autoren: Viktor Májer Norbert Pataki

Quelle: Proceedings of the 9th International Conference on Applied Informatics, Volume 2. :293-300

Schlagwörter: 0209 industrial biotechnology, 13. Climate action, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Zugangs-URL: http://icai.ektf.hu/icai2014/papers/ICAI.9.2014.2.293.pdf

Choral: Object-oriented Choreographic Programming: Object-oriented Choreographic Programming

Autoren: Saverio Giallorenzo Fabrizio Montesi Marco Peressotti et al.

Weitere Verfasser: Saverio Giallorenzo Fabrizio Montesi Marco Peressotti et al.

Quelle: ACM Transactions on Programming Languages and Systems. 46:1-59

Schlagwörter: FOS: Computer and information sciences, Computer Science - Programming Languages, communication, Communication, Higher-Kinded Types, 0202 electrical engineering, electronic engineering, information engineering, Choreographies, communication, higher-kinded types, higher-kinded types, Choreographies, 02 engineering and technology, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Programming Languages (cs.PL)

Dateibeschreibung: application/pdf

Zugangs-URL: http://arxiv.org/abs/2005.09520

A programming model for concurrent object-oriented programs

Autoren: Jacobs, Bart Piessens, Frank Smans, Jan et al.

Quelle: ACM Transactions on Programming Languages and Systems. 31:1-48

Schlagwörter: Technology, Science & Technology, Aliasing, Verification, ownership, 0803 Computer Software, Software Engineering, local reasoning, 4612 Software engineering, 4606 Distributed computing and systems software, 0102 computer and information sciences, 02 engineering and technology, Computer Science, Software Engineering, 01 natural sciences, VERIFICATION, verification condition generation, modular reasoning, 0806 Information Systems, Computer Science, 0202 electrical engineering, electronic engineering, information engineering, data races, concurrent programs, verification, MONITORS

Zugangs-URL: https://lirias.kuleuven.be/bitstream/123456789/208281/1/toplas.pdf
https://dialnet.unirioja.es/servlet/articulo?codigo=2960433
https://doi.acm.org/10.1145/1452044.1452045
https://research.microsoft.com/apps/pubs/default.aspx?id=77391
http://research.microsoft.com/pubs/77391/AProgrammingModel(Toplas2008).pdf
https://dl.acm.org/doi/10.1145/1452044.1452045
https://core.ac.uk/display/34412582
https://lirias.kuleuven.be/handle/123456789/208281
https://doi.org/10.1145/1452044.1452045

Functional and Concurrent Programming : Core Concepts and Features

Autoren: Michel Charpentier

Resource Type: eBook.

Schlagworte: Computer multitasking, Object-oriented programming (Computer science)

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Parallel, COMPUTERS / Languages / Java, COMPUTERS / Languages / C#

Linear and shared objects in concurrent programming

Autoren: Campos, Joana Correia Vasconcelos, Vasco Thudichum, 1964- Repositório Científico de Acesso Aberto da ULisboa

Weitere Verfasser: Campos, Joana Correia Vasconcelos, Vasco Thudichum, 1964- Repositório Científico de Acesso Aberto da ULisboa

Schlagwörter: Object-oriented programming, Concurrency, Type systems, Linear objects, Session types, Teses de mestrado - 2010

Dateibeschreibung: application/pdf

Verfügbarkeit: http://hdl.handle.net/10451/5900

Object-oriented concurrent programming on the connection machine with COOL (Concurrent Object-Oriented Language)

Autoren: Drake, Maria Rosa

Schlagwörter: Programming Languages and Compilers, Computer Sciences

Dateibeschreibung: application/pdf

Zugangs-URL: https://digitalcommons.fiu.edu/cgi/viewcontent.cgi?article=4375&context=etd
https://digitalcommons.fiu.edu/etd/3083/
https://digitalcommons.fiu.edu/cgi/viewcontent.cgi?article=4375&context=etd

A Structured Design Methodology for Concurrent Programming

Autoren: Bijlsma, A. Huizing, C. Kuiper, R. et al.

Weitere Verfasser: Bijlsma, A. Huizing, C. Kuiper, R. et al.

Quelle: Bijlsma, A, Huizing, C, Kuiper, R, Passier, H J M, Pootjes, H J & Smetsers, J E W 2017, A Structured Design Methodology for Concurrent Programming. in V Pieterse, M van Eekelen & M Giannakos (eds), Proceedings of the 6th Computer Science Education Research Conference, CSERC 2017 : November 13 and 14, Helsinki, Finland. ACM Digital Library, ICPS: ACM International Conference Proceeding Series, pp. 1-9, The 6th Computer Science Education Research Conference, Helsinki, Finland, 13/11/17. https://doi.org/10.1145/3162087.3162088

Schlagwörter: 4. Education, Concurrency, 05 social sciences, 0202 electrical engineering, electronic engineering, information engineering, Object-oriented programming, 02 engineering and technology, Program design, 0503 education, Java, Education

Zugangs-URL: https://research.tue.nl/nl/publications/a-structured-design-methodology-for-concurrent-programming
https://www.narcis.nl/publication/RecordID/oai%3Apure.tue.nl%3Apublications%2Fa62e31f3-b61d-41b4-bb99-74030a616746
https://dl.acm.org/doi/10.1145/3162087.3162088
https://core.ac.uk/display/160133577

Development of Concurrent Object-oriented Logic Programming System to Intelligent Monitoring of Anomalous Human Activities

Quelle: Proceedings of the International Conference on Biomedical Electronics and Devices. :53-62

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Zugangs-URL: http://www.cplire.ru/Lab144/biodevices2014.pdf

Concurrent object-oriented programming based on MPI

Autoren: Xiao-li Pei Yong-ling Xiao Hou-xiang Wang et al.

Quelle: Journal of Shanghai University (English Edition). 8:295-300

Schlagwörter: 16. Peace & justice

Zugangs-URL: https://en.cnki.com.cn/Article_en/CJFDTOTAL-SHDY200403010.htm
https://link.springer.com/article/10.1007%2Fs11741-004-0068-5

A compositional approach to concurrent object-oriented programming

Autoren: James C. Browne Raju Pandey

Quelle: Proceedings of 1994 IEEE International Conference on Computer Languages (ICCL'94). :124-135

Schlagwörter: 4. Education, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Zugangs-URL: https://ieeexplore.ieee.org/document/288387/
https://web.cs.ucdavis.edu/~pandey/Research/Papers/iccl94.pdf
http://www.cs.ucdavis.edu/~pandey/Research/Papers/iccl94.pdf

Integration of object oriented and concurrent programming

Autoren: B. Newman M. Payne

Quelle: Proceedings of Twentieth Euromicro Conference. System Architecture and Integration. :258-264

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Zugangs-URL: http://ieeexplore.ieee.org/iel2/3105/8848/00390385.pdf
http://ieeexplore.ieee.org/document/390385/