Výsledky vyhledávání - Concurrent object-oriented programming*
-
1
Autoři:
Zdroj: Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control. :127-138
Témata: 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
-
2
Autoři:
Přispěvatelé:
Zdroj: Information and Software Technology
Inf Software TechnolTémata: 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
Přístupová URL adresa: 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 -
3
Autoři: a další
Zdroj: Machines, Vol 9, Iss 2, p 41 (2021)
Témata: autonomous vehicle, vehicle dynamics, torque vectoring, object-oriented programming, real-time simulations, Mechanical engineering and machinery, TJ1-1570
Popis souboru: electronic resource
Přístupová URL adresa: https://doaj.org/article/675f4df68fb14828b59fc05dc1701af8
-
4
Autoři: a další
Přispěvatelé: a další
Zdroj: 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.3375266Témata: 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
Přístupová URL adresa: 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 -
5
Autoři:
Zdroj: Electronic Proceedings in Theoretical Computer Science. 420:44-53
Témata: 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)
Přístupová URL adresa: http://arxiv.org/abs/2505.20850
-
6
-
7
-
8
Autoři:
Zdroj: Electronic Proceedings in Theoretical Computer Science, Vol 69, Iss Proc. PLACES 2010, Pp 12-28 (2011)
Témata: 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)
-
9
Autoři:
Zdroj: Formal Aspects of Computing. 30:163-192
Témata: 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)
Popis souboru: application/pdf
Přístupová URL adresa: 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 -
10
Autoři:
Zdroj: Proceedings of the 9th International Conference on Applied Informatics, Volume 2. :293-300
Témata: 0209 industrial biotechnology, 13. Climate action, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
Přístupová URL adresa: http://icai.ektf.hu/icai2014/papers/ICAI.9.2014.2.293.pdf
-
11
Autoři: a další
Přispěvatelé: a další
Zdroj: ACM Transactions on Programming Languages and Systems. 46:1-59
Témata: 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)
Popis souboru: application/pdf
Přístupová URL adresa: http://arxiv.org/abs/2005.09520
-
12
Autoři: a další
Zdroj: ACM Transactions on Programming Languages and Systems. 31:1-48
Témata: 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
Přístupová URL adresa: 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 -
13
Autoři: Michel Charpentier
Resource Type: eBook.
Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Parallel, COMPUTERS / Languages / Java, COMPUTERS / Languages / C#
-
14
Autoři:
Přispěvatelé:
Témata: Object-oriented programming, Concurrency, Type systems, Linear objects, Session types, Teses de mestrado - 2010
Popis souboru: application/pdf
Dostupnost: http://hdl.handle.net/10451/5900
-
15
Autoři: Drake, Maria Rosa
Popis souboru: application/pdf
-
16
Autoři: a další
Přispěvatelé: a další
Zdroj: 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
Témata: 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
Přístupová URL adresa: 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 -
17
Zdroj: Proceedings of the International Conference on Biomedical Electronics and Devices. :53-62
Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
Přístupová URL adresa: http://www.cplire.ru/Lab144/biodevices2014.pdf
-
18
Autoři: a další
Zdroj: Journal of Shanghai University (English Edition). 8:295-300
Témata: 16. Peace & justice
-
19
Autoři:
Zdroj: Proceedings of 1994 IEEE International Conference on Computer Languages (ICCL'94). :124-135
Témata: 4. Education, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
-
20
Autoři:
Zdroj: Proceedings of Twentieth Euromicro Conference. System Architecture and Integration. :258-264
Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
Přístupová URL adresa: http://ieeexplore.ieee.org/iel2/3105/8848/00390385.pdf
http://ieeexplore.ieee.org/document/390385/
Nájsť tento článok vo Web of Science
Full Text Finder